BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Asarin:Eugene

Contributed to:

CSL-LICS 20142014
LATA 20122012
FOSSACS 20102010
ICALP 20052005
TACAS 20032003
CAV 20022002
SAT 20022002
LICS 20012001
CAV 20002000
LICS 19971997
ICALP 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.