Out-of-date Russian version

Eugene Asarin's home page

Short resume:

I was born in 1962 in Moscow. In 1984 I graduated from the Dept. of Mathematics and mechanics of Moscow State University, my specialisation was the mathematical logic. In 1988 I made my Ph.D. "Individual random Signals: an approach based on complexity", directed by A.Kolmogorov. In 1984-1988 I worked in M.Krasnosel'skii's team at the Institute for Control Science in Moscow. In 1990-1999 I was at the Institute for Information Transmission Problems in Moscow. Now I am an external member of that institute.

Since 1999 I was working as professor of computer science at the Université Joseph Fourier (Grenoble, France). My research work was done at VERIMAG laboratory (I cooperate with it since 1994), and teaching at the UFR-IMA department of the university.

In September 2003 I moved to Université Paris 7 and LIAFA laboratory (see contact information below). I belong to the Modelisation and Verification team.

Scientific interests (chronological order):

 

Editorial board member

 

Mathematical Structures in Computer Science

Conferences

Co-organizer:

Steering Committee member: FORMATS

Program Committee member:

My guest

Professor Vassily Lyubetsky (Moscow). His talk on Gene expression regulation (2006) and on some Algorithms in bioinformatics (2007).

Subjects for master theses (in French)

Teaching activity:

These pages are in French

Old teaching-related pages

Also in French

Paris 7:

·          ISIFAR

·         Databases(IUP);

·         Databases (licence and ISIFAR)

·         Programming 1 (Java)

·         Complexity

 

Grenoble 1 (very old):

Publications

(if you have problems with pdf-files you should download them and open on your local system)

List of publications before 1994

here

Journal papers

  1. E. Asarin, O. Maler, A. Pnueli, Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical Computer Science 138, 35-65, 1995 [Abstract],[Postscript]
  2. E. Asarin, O. Maler, Discrete-continuous systems: an algorithmic aspect (in Russian) Avtomatika i Telemekhanika, 1995, No 5, 124-137. [Abstract], [Postscript]
  3. E .Asarin, O. Maler, Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy, J. of Computer and System Sciences 57, 389-398, 1998. [Abstract],[Pdf]
  4. E. Asarin, O. Bournez, T. Dang, O. Maler, A. Pnueli, Effective Synthesis of Switching Controllers for Linear Systems, Proceedings of the IEEE 88, No. 7, 2000, 1011-1025 [Pdf]
  5. E. Asarin, P. Caspi, O. Maler, Timed Regular Expressions, Journal of the ACM 49, No.2, 2002, 172-206 [Abstract], [Pdf]
  6. E. Asarin, Challenges in Timed Languages: From Applied Theory to Basic Theory, The Bulletin of the European Association for Theoretical Computer Science, Number 83, June, 2004 hal-00157685
  7. Y. Abdeddaïm, E. Asarin, O. Maler  Scheduling with Timed Automata, Theoretical Computer Science, 354:2, 2006,  272-300, [Pdf] 
  8. E. Asarin, T. Dang,  A. Girard, Hybridization methods for the analysis of nonlinear systems, Acta Informatica, 43:7, 2007, 451-476 , doi:10.1007/s00236-006-0035-7
  9. E. Asarin, G. Schneider, S. Yovine,  Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability,  Theoretical Computer Science, 379:1-2, 2007, 231-265,  doi:10.1016/j.tcs.2007.03.055 
  10. E. Asarin, G. Pace, G. Schneider, S. Yovine,  Algorithmic Analysis of Polygonal Hybrid Systems, Part II: Phase Portrait and Tools,   Theoretical Computer Science, 390, 2008,  1–26,  hal-00172768/

Conference proceedings (editor)

  1. Eugene Asarin, Oded Maler and Sergio Yovine, Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002)
    Grenoble, France, 6 - 7 April 2002, ENTCS, Volume 65, Issue 6, Pages 1-31 (June 2002), http://www.sciencedirect.com/science/journal/15710661
  2. Eugene Asarin, Patricia Bouyer, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings
    LNCS 4202, © Springer, http://www.springerlink.com/content/978-3-540-45026-9
     

Conference proceedings

(see LNCS Homepage)

  1. E. Asarin, O. Maler, On some Relations between Dynamical Systems and Transition Systems, in S. Abiteboul and E. Shamir (Eds.), Proc. of ICALP'94, 59-72, LNCS 820, © Springer-Verlag , 1994. [Abstract], [Postscript]
  2. E. Asarin, O. Maler and A.Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems, in P. Antsaklis, W. Kohn, A. Nerode and S. Sastry (Eds.), Hybrid Systems II, LNCS 999, © Springer-Verlag, 1995. [Abstract],[Postscript]
  3. E. Asarin, M. Bozga, A. Kerbrat, O. Maler, A. Pnueli, A. Rasse, Data-Structures for the Verification of Timed Automata, in O. Maler (Ed.), Proc. HART'97, 346-360, LNCS 1201, © Springer-Verlag, 1997. [Abstract],[Postscript]
  4. E. Asarin, O. Maler, P. Caspi, A Kleene Theorem for Timed Automata, in G. Winskel (Ed.) Proc. LICS'97, 1997. [Abstract], [Postscript]
  5. E. Asarin, Equations on Timed Languages, in T.Henzinger and S. Sastry (Eds.), Hybrid Systems : Computation and Control, LNCS 1386, © Springer-Verlag, 1998. [Abstract], [Pdf]
  6. E. Asarin, O. Maler, A.Pnueli, J. Sifakis, Controller Synthesis for Timed Automata, in Proc. IFAC Symposium on System Structure and Control, 469-474, Elsevier, 1998. [Abstract],[Postscript]
  7. E. Asarin, O. Maler, A. Pnueli, On Discretization of Delays in Timed Automata and Digital Circuits in R. de Simone and D. Sangiorgi (Eds), Proc. Concur'98, 470-484, LNCS 1466, © Springer-Verlag, 1998. [Postscript]
  8. E. Asarin, O. Maler, As Soon as Possible: Time Optimal Control for Timed Automata. in F. Vaandrager and J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, 19-30, LNCS 1569, © Springer-Verlag, 1999. [Pdf]
  9. E. Asarin, O. Bournez, T. Dang, O. Maler, Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. in B. Krogh and N. Lynch (Eds.) Hybrid Systems: Computation and Control , 20-31 LNCS 1790, © Springer-Verlag, 2000. [Postscript]
  10. A. Annichini, E. Asarin, A. Bouajjani , Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems , in Proc. 12th Intern. Conf. on Computer Aided Verification (CAV'00) , LNCS 1855, Chicago (Il, USA), July 2000. [Postscript]
  11. E. Asarin, G. Schneider, S.Yovine. On the Decidability of the Reachability Problem for Planar Differential Inclusions. in M.  Di Benedetto and A. Sangiovanni-Vincentelli (Eds.) Hybrid Systems: Computation and Control, 89-104, LNCS 2034, © Springer-Verlag, 2001. [Pdf]
  12. E. Asarin, S. Bansal, B. Espiau, T. Dang, Oded Maler. On Hybrid Control of Under-actuated Mechanical Systems. in M.  Di Benedetto and A. Sangiovanni-Vincentelli (Eds.) Hybrid Systems: Computation and Control, 77-88, LNCS 2034, © Springer-Verlag, 2001. [Pdf]
  13. E. Asarin, A. Bouajjani, Perturbed Turing Machines and Hybrid Systems, LICS'2001 [Pdf]
  14. E. Asarin, G. Schneider, S.Yovine. Towards Computing Phase Portraits of Polygonal Differential Inclusions. in C.J. Tomlin and M.R. Greenstreet (Eds.) Hybrid Systems: Computation and Control, 49-61, LNCS 2289, © Springer-Verlag, 2002. [Pdf]
  15. E. Asarin,  G. Pace, G. Schneider and S. Yovine. SPeeDI - a Verification Tool for Polygonal Hybrid Systems.  In: CAV'2002, Copenhagen, Denmark, July 2002, 354-358, LNCS 2404 © Springer-Verlag Postscript
  16. E. Asarin, T. Dang, O. Maler. The d/dt Tool for Verification of Hybrid Systems. In: CAV'2002, Copenhagen, Denmark, July 2002, 365-370, LNCS 2404 © Springer-Verlag Postscript
  17. E. Asarin and G. Schneider. Widening the boundary between decidable and undecidable hybrid systems. In: CONCUR'2002, Brno, Czech Republic, August 2002, 193-208, LNCS 2421. © Springer-Verlag Postscript
  18. E. Asarin, C. Dima: Balanced timed regular expressions.  Electronic Notes in Theoretical Computer Science, Volume 68, Issue 5 , May 2003, Pages 1-18.
  19. P. Niebert, M. Mahfoudh, E. Asarin, M. Bozga, N. Jain, O. Maler, Verification of Timed Automata  via Satisfiability Checking. In: FTRTFT'2002, Oldenburg, Germany, September 2002, 225-243, LNCS 2469, © Springer-Verlag, Postscript
  20. Y. Abdeddaïm, E. Asarin, O. Maler, On Optimal Scheduling under Uncertainty TACAS 2003 240-255, LNCS 2619, © Springer-Verlag, 2003 [Postscript]
  21. E. Asarin, T. Dang, and A. Girard. Reachability Analysis of Nonlinear Systems Using Conservative Approximation. HSCC'03 - Hybrid Systems: Control and Computation, 20-35, LNCS 2623, © Springer-Verlag, April 2003. [ps.gz] 
  22. E. Asarin and T. Dang, Abstraction by projection and application to multi-affine systems.  HSCC'04 - Hybrid Systems: Control and Computation, 32-47, LNCS 2993, © Springer-Verlag March 2004. [ps.gz]
  23.  S. Cotton, E. Asarin, O. Maler, P. Niebert Some Progress in Satisfiability Checking for Difference Logic, FORMATS/FTRTFT 2004, 63-76, LNCS 3253. © Springer-Verlag [Pdf]
  24. E. Asarin, P. Collins, Noisy Turing Machines, in. Proc. of ICALP'05, 1031-1042 LNCS 3580, © Springer-Verlag , 2005. [Pdf]
  25. E. Asarin, Th. Cachat, A. Seliverstov, T. Touili, V. Lyubetsky. Attenuation Regulation as a Term Rewriting System, Algebraic Biology,  LNCS 4545, © Springer-Verlag,   2007, p.81-94. hal-00154748

26.  Y. Abdeddaïm, E. Asarin, M. Gallien, F. Ingrand, Ch. Lesire, M. Sighireanu: Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. ICAPS 2007: 2-9

27.   Y. Abdeddaïm, E. Asarin, M. Sighireanu : Simple strategies for simple timed games. Accepted to TIME’09. hal-00374700

28.  E. Asarin, A. Degorre, Volume and Entropy of Regular Timed Languages: Discretization Approach. CONCUR'09, LNCS 5710, © Springer-Verlag,   2009, p.69-83. See preprint  hal-00369812

29.  E. Asarin, A. Degorre, Volume and Entropy of Regular Timed Languages: Analytic Approach. FORMATS'09,  LNCS 5813, © Springer-Verlag,   2009, p.13-27. Best Paper Award. See preprint hal-00369812

Manuscripts and preprints:

  1. Chaos and Undecidability (Based on invited talk at the workshop on Hybrid Systems at Grenoble, 1995) [Abstract],[Pdf]
  2. E. Asarin, A. Degorre, Volume and Entropy of Regular Timed Languages (2009) hal-00369812

 

 

Contact information

Mailing address:

Eugene Asarin
LIAFA
CNRS and Université Paris Diderot, Case 7014
75205 Paris Cedex 13

FRANCE

Physical address:
175 rue du Chevaleret, Paris
Office 6A21

E-mail: Eugene.Asarin@liafa.jussieu.fr

Phone: +33 (0) 1 44 27 28 45

Fax :  +33 (0) 1 44 27 68 49