Travelled to:1 × Austria
1 × Cyprus
1 × Denmark
1 × Israel
1 × Portugal
1 × Spain
2 × Poland
3 × USA
Collaborated with:O.Maler A.Bouajjani ∅ P.Collins R.Chane-Yack-Fa D.Varacca Y.Abdeddaïm T.Dang A.Annichini P.Caspi G.J.Pace G.Schneider S.Yovine M.Mahfoudh P.Niebert M.Blockelet A.Degorre C.Dima C.Mu
Talks about:system (6) hybrid (3) machin (2) verif (2) logic (2) ture (2) tool (2) time (2) uncertainti (1) behaviour (1)
Person: Eugene Asarin
DBLP: Asarin:Eugene
Contributed to:
2014
2012
2010
2005
2003
2002
20022001200019971994Wrote 12 papers:
- LICS-CSL-2014-AsarinBDDM #behaviour #logic
- Asymptotic behaviour in temporal logic (EA, MB, AD, CD, CM), p. 9.
- LATA-2012-Asarin #information management
- Measuring Information in Timed Languages (EA), pp. 1–2.
- FoSSaCS-2010-AsarinCV #game studies
- Fair Adversaries and Randomization in Two-Player Games (EA, RCYF, DV), pp. 64–78.
- ICALP-2005-AsarinC #turing machine
- Noisy Turing Machines (EA, PC), pp. 1031–1042.
- TACAS-2003-AbdeddaimAM #nondeterminism #on the #scheduling
- On Optimal Scheduling under Uncertainty (YA, EA, OM), pp. 240–253.
- CAV-2002-AsarinDM #hybrid #verification
- The d/dt Tool for Verification of Hybrid Systems (EA, TD, OM), pp. 365–370.
- CAV-2002-AsarinPSY #hybrid #named #verification
- SPeeDI — A Verification Tool for Polygonal Hybrid Systems (EA, GJP, GS, SY), pp. 354–358.
- SAT-2002-MalerMNA #difference #logic #satisfiability
- A satisfiability checker for difference logic (OM, MM, PN, EA), p. 27.
- LICS-2001-AsarinB #hybrid #turing machine
- Perturbed Turing Machines and Hybrid Systems (EA, AB), pp. 269–278.
- CAV-2000-AnnichiniAB #parametricity #reasoning
- Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems (AA, EA, AB), pp. 419–434.
- LICS-1997-AsarinCM #automaton #theorem
- A Kleene Theorem for Timed Automata (EA, PC, OM), pp. 160–171.
- ICALP-1994-AsarinM #on the
- On some Relations between Dynamical Systems and Transition Systems (EA, OM), pp. 59–72.