The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eugene Asarin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eugene Asarin, Thao Dang, Oded Maler
    The d/dt Tool for Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:365-370 [Conf]
  2. Aurore Annichini, Eugene Asarin, Ahmed Bouajjani
    Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:419-434 [Conf]
  3. Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
    SPeeDI - A Verification Tool for Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:354-358 [Conf]
  4. Eugene Asarin, Oded Maler, Amir Pnueli
    On Discretization of Delays in Timed Automata and Digital Circuits. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:470-484 [Conf]
  5. Eugene Asarin, Gerardo Schneider
    Widening the Boundary between Decidable and Undecidable Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:193-208 [Conf]
  6. Eugene Asarin
    Timed Automata and Timed Languages Challenges and Open Problems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:1- [Conf]
  7. Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert
    Some Progress in Satisfiability Checking for Difference Logic. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:263-276 [Conf]
  8. Eugene Asarin, Oded Maler
    Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:471-483 [Conf]
  9. Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
    Verification of Timed Automata via Satisfiability Checking. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:225-244 [Conf]
  10. Eugene Asarin
    Equations on Timed Languages. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:1-12 [Conf]
  11. Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler
    On Hybrid Control of Under-Actuated Mechanical Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:77-88 [Conf]
  12. Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse
    Data-Structures for the Verification of Timed Automata. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:346-360 [Conf]
  13. Eugene Asarin, Thao Dang
    Abstraction by Projection and Application to Multi-affine Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:32-47 [Conf]
  14. Eugene Asarin, Thao Dang, Antoine Girard
    Reachability Analysis of Nonlinear Systems Using Conservative Approximation . [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:20-35 [Conf]
  15. Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez
    Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:20-31 [Conf]
  16. Eugene Asarin, Oded Maler
    As Soon as Possible: Time Optimal Control for Timed Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 1999, pp:19-30 [Conf]
  17. Eugene Asarin, Oded Maler, Amir Pnueli
    Symbolic Controller Synthesis for Discrete and Timed Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:1-20 [Conf]
  18. Eugene Asarin, Gerardo Schneider, Sergio Yovine
    On the Decidability of the Reachability Problem for Planar Differential Inclusions. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:89-104 [Conf]
  19. Eugene Asarin, Gerardo Schneider, Sergio Yovine
    Towards Computing Phase Portraits of Polygonal Differential Inclusions. [Citation Graph (0, 0)][DBLP]
    HSCC, 2002, pp:49-61 [Conf]
  20. Eugene Asarin, Pieter Collins
    Noisy Turing Machines. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1031-1042 [Conf]
  21. Eugene Asarin, Oded Maler
    On some Relations between Dynamical Systems and Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1994, pp:59-72 [Conf]
  22. Eugene Asarin, Ahmed Bouajjani
    Perturbed Turing Machines and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:269-278 [Conf]
  23. Eugene Asarin, Paul Caspi, Oded Maler
    A Kleene Theorem for Timed Automata. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:160-171 [Conf]
  24. Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
    On Optimal Scheduling under Uncertainty. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:240-253 [Conf]
  25. Eugene Asarin, Thao Dang, Antoine Girard
    Hybridization methods for the analysis of nonlinear systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2007, v:43, n:7, pp:451-476 [Journal]
  26. Eugene Asarin
    Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency). [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2004, v:83, n:, pp:106-120 [Journal]
  27. Eugene Asarin, Catalin Dima
    Balanced timed regular expressions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  28. Eugene Asarin, Oded Maler, Sergio Yovine
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
  29. Eugene Asarin, Paul Caspi, Oded Maler
    Timed regular expressions. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2002, v:49, n:2, pp:172-206 [Journal]
  30. Eugene Asarin, Oded Maler
    Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1998, v:57, n:3, pp:389-398 [Journal]
  31. Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
    Scheduling with timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:272-300 [Journal]
  32. Eugene Asarin, Oded Maler, Amir Pnueli
    Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:35-65 [Journal]
  33. Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky
    Attenuation Regulation as a Term Rewriting System. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:81-94 [Conf]
  34. Eugene Asarin, Gerardo Schneider, Sergio Yovine
    Algorithmic analysis of polygonal hybrid systems, part I: Reachability. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:379, n:1-2, pp:231-265 [Journal]

  35. Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. [Citation Graph (, )][DBLP]


  36. Using Redundant Constraints for Refinement. [Citation Graph (, )][DBLP]


  37. Volume and Entropy of Regular Timed Languages: Discretization Approach. [Citation Graph (, )][DBLP]


  38. Volume and Entropy of Regular Timed Languages: Analytic Approach. [Citation Graph (, )][DBLP]


  39. Fair Adversaries and Randomization in Two-Player Games. [Citation Graph (, )][DBLP]


  40. Simple Algorithm for Simple Timed Games. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002