Travelled to:1 × Denmark
1 × Finland
2 × Austria
Collaborated with:∅ R.Bozianu E.Filiot D.Vekris F.Lang R.Mateescu A.Girault C.Lavarenne Y.Sorel E.Asarin M.Blockelet A.Degorre C.Mu
Talks about:tempor (2) specif (2) time (2) safraless (1) behaviour (1) synthesi (1) reachabl (1) automata (1) asymptot (1) schedul (1)
Person: Catalin Dima
DBLP: Dima:Catalin
Contributed to:
2014
2014
20132002
2001Wrote 5 papers:
- CAV-2014-BozianuDF #specification #synthesis
- Safraless Synthesis for Epistemic Temporal Specifications (RB, CD, EF), pp. 441–456.
- LICS-CSL-2014-AsarinBDDM #behaviour #logic
- Asymptotic behaviour in temporal logic (EA, MB, AD, CD, CM), p. 9.
- IFM-2013-VekrisLDM #specification #using #verification
- Verification of EB3 Specifications Using CADP (DV, FL, CD, RM), pp. 61–76.
- LICS-2002-Dima #automaton #reachability
- Computing Reachability Relations in Timed Automata (CD), p. 177–?.
- PDP-2001-DimaGLS #fault tolerance #realtime #scheduling
- Off-Line Real-Time Fault-Tolerant Scheduling (CD, AG, CL, YS), pp. 410–417.