Edit Profile (opens in new tab) Asarin, Eugene Compute Distance To: Compute Author ID: asarin.eugene Published as: Asarin, Eugene Documents Indexed: 51 Publications since 1987 2 Contributions as Editor Co-Authors: 43 Co-Authors with 50 Joint Publications 836 Co-Co-Authors all top 5 Co-Authors 3 single-authored 20 Maler, Oded 11 Degorre, Aldric 7 Dang, Thao 7 Schneider, Gerardo 6 Basset, Nicolas 6 Yovine, Sergio 4 Dima, Cătălin 4 Ferrère, Thomas 4 Ulus, Dogan 3 Nickovic, Dejan 3 Pnueli, Amir 2 Abdeddaïm, Yasmina 2 Girard, Antoine 2 Niebert, Peter 2 Pace, Gordon J. 2 Perrin, Dominique 1 Annichini, Aurore 1 Bakhirkin, Alexey 1 Bansal, Sorav 1 Béal, Marie-Pierre 1 Blockelet, Michel 1 Bouajjani, Ahmed 1 Bournez, Olivier 1 Bouyer, Patricia 1 Bozga, Marius 1 Cachat, Thierry 1 Caspi, Paul 1 Cervelle, Julien 1 Chane-Yack-Fa, Raphaël 1 Collins, Peter J. 1 Cotton, Scott 1 Espiau, Bernard 1 Horn, Florian 1 Inclán, Bernardo Jacobo 1 Kozyakin, Viktor Sergeevich 1 Lyubetsky, Vassily Aleksandrovich 1 Mahfoudh, Moez 1 Mu, Chunyan 1 Mysore, Venkatesh P. 1 Seliverstov, Alexandr Vladislavovich 1 Testylier, Romain 1 Touili, Tayssir 1 Varacca, Daniele all top 5 Serials 4 Theoretical Computer Science 2 Information and Computation 1 Acta Informatica 1 Journal of Computer and System Sciences 1 Journal of the ACM 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Lecture Notes in Computer Science 1 Electronic Notes in Theoretical Computer Science 1 RAIRO. Theoretical Informatics and Applications all top 5 Fields 43 Computer science (68-XX) 12 Systems theory; control (93-XX) 7 Information and communication theory, circuits (94-XX) 5 Mathematical logic and foundations (03-XX) 3 Ordinary differential equations (34-XX) 2 General and overarching topics; collections (00-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 44 Publications have been cited 404 times in 280 Documents Cited by ▼ Year ▼ Approximate reachability analysis of piecewise-linear dynamical systems. Zbl 0938.93502Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded 60 2000 Reachability analysis of dynamical systems having piecewise-constant derivatives. Zbl 0884.68050Asarin, Eugene; Maler, Oded; Pnueli, Amir 53 1995 Timed regular expressions. Zbl 1323.68335Asarin, Eugene; Caspi, Paul; Maler, Oded 27 2002 As soon as possible: Time optimal control for timed automata. Zbl 0952.93064Asarin, Eugene; Maler, Oded 25 1999 Scheduling with timed automata. Zbl 1088.68023Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded 20 2006 On discretization of delays in timed automata and digital circuits. Zbl 0933.94045Asarin, Eugene; Maler, Oded; Pnueli, Amir 19 1998 Hybridization methods for the analysis of nonlinear systems. Zbl 1134.93026Asarin, Eugene; Dang, Thao; Girard, Antoine 17 2007 The \(d/dt\) tool for verification of hybrid systems. Zbl 1010.68796Asarin, Eugene; Dang, Thao; Maler, Oded 17 2002 Reachability analysis of nonlinear systems using conservative approximation. Zbl 1032.93034Asarin, Eugene; Dang, Thao; Girard, Antoine 13 2003 Volume and entropy of regular timed languages: discretization approach. Zbl 1254.68128Asarin, Eugene; Degorre, Aldric 12 2009 Verification of timed automata via satisfiability checking. Zbl 1278.68187Niebert, Peter; Mahfoudh, Moez; Asarin, Eugene; Bozga, Marius; Maler, Oded 11 2002 Some progress in satisfiability checking for difference logic. Zbl 1109.68513Cotton, Scott; Asarin, Eugene; Maler, Oded; Niebert, Peter 11 2004 Algorithmic analysis of polygonal hybrid systems. I: Reachability. Zbl 1121.68071Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 10 2007 Symbolic techniques for parametric reasoning about counter and clock systems. Zbl 0974.68523Annichini, Aurore; Asarin, Eugene; Bouajjani, Ahmed 10 2000 Volume and entropy of regular timed languages: analytic approach. Zbl 1262.68083Asarin, Eugene; Degorre, Aldric 7 2009 On some relations between dynamical systems and transition systems. Zbl 1418.68088Asarin, Eugene; Maler, Oded 7 1994 Low dimensional hybrid systems – decidable, undecidable, don’t know. Zbl 1279.68127Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo 6 2012 On the decidability of the reachability problem for planar differential inclusions. Zbl 0991.93009Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 6 2002 Widening the boundary between decidable and undecidable hybrid systems. Zbl 1012.68141Asarin, Eugene; Schneider, Gerardo 6 2002 Entropy games and matrix multiplication games. Zbl 1390.91016Asarin, Eugene; Cervelle, Julien; Degorre, Aldric; Dima, Catalin; Horn, Florian; Kozyakin, Victor 6 2016 Online timed pattern matching using derivatives. Zbl 1420.68247Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded 6 2016 Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 0928.68128Asarin, Eugene; Maler, Oded 5 1998 Abstraction by projection and application to multi-affine systems. Zbl 1135.93339Asarin, Eugene; Dang, Thao 4 2004 Timed pattern matching. Zbl 1419.68221Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded 4 2014 Balanced timed regular expressions. Zbl 1270.68118Asarin, Eugene; Dima, Cătălin 3 2003 SPeeDI – a verification tool for polygonal hybrid systems. Zbl 1010.68791Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 3 2002 Towards computing phase portraits of polygonal differential inclusions. Zbl 1054.93030Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 3 2002 Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 1354.03057Asarin, Eugene; Maler, Oded 3 1995 Generating functions of timed languages. Zbl 1365.68302Asarin, Eugene; Basset, Nicolas; Degorre, Aldric; Perrin, Dominique 3 2012 Toward a timed theory of channel coding. Zbl 1374.68250Asarin, Eugene; Basset, Nicolas; Béal, Marie-Pierre; Degorre, Aldric; Perrin, Dominique 3 2012 Thin and thick timed regular languages. Zbl 1348.68091Basset, Nicolas; Asarin, Eugene 3 2011 Using redundant constraints for refinement. Zbl 1305.68117Asarin, Eugene; Dang, Thao; Maler, Oded; Testylier, Romain 3 2010 Online timed pattern matching using automata. Zbl 06989608Bakhirkin, Alexey; Ferrère, Thomas; Nickovic, Dejan; Maler, Oded; Asarin, Eugene 3 2018 Spectral gap in timed automata. Zbl 1390.68372Asarin, Eugene; Basset, Nicolas; Degorre, Aldric 2 2013 Two size measures for timed languages. Zbl 1245.68117Asarin, Eugene; Degorre, Aldric 2 2010 Challenges in timed languages: from applied theory to basic theory. Zbl 1169.68535Asarin, Eugene 2 2004 Asymptotic behaviour in temporal logic. Zbl 1394.03031Asarin, Eugene; Blockelet, Michel; Degorre, Aldric; Dima, Cătălin; Mu, Chunyan 2 2014 Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Zbl 1137.68001 1 2006 On optimal scheduling under uncertainty. Zbl 1031.68030Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded 1 2003 Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. Zbl 1134.68026Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 1 2008 Entropy of regular timed languages. Zbl 1309.68114Asarin, Eugene; Basset, Nicolas; Degorre, Aldric 1 2015 Fair adversaries and randomization in two-player games. Zbl 1284.68378Asarin, Eugene; Chane-Yack-Fa, Raphaël; Varacca, Daniele 1 2010 Noisy Turing machines. Zbl 1085.68042Asarin, Eugene; Collins, Pieter 1 2005 Distance on timed words and applications. Zbl 06989607Asarin, Eugene; Basset, Nicolas; Degorre, Aldric 1 2018 Online timed pattern matching using automata. Zbl 06989608Bakhirkin, Alexey; Ferrère, Thomas; Nickovic, Dejan; Maler, Oded; Asarin, Eugene 3 2018 Distance on timed words and applications. Zbl 06989607Asarin, Eugene; Basset, Nicolas; Degorre, Aldric 1 2018 Entropy games and matrix multiplication games. Zbl 1390.91016Asarin, Eugene; Cervelle, Julien; Degorre, Aldric; Dima, Catalin; Horn, Florian; Kozyakin, Victor 6 2016 Online timed pattern matching using derivatives. Zbl 1420.68247Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded 6 2016 Entropy of regular timed languages. Zbl 1309.68114Asarin, Eugene; Basset, Nicolas; Degorre, Aldric 1 2015 Timed pattern matching. Zbl 1419.68221Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded 4 2014 Asymptotic behaviour in temporal logic. Zbl 1394.03031Asarin, Eugene; Blockelet, Michel; Degorre, Aldric; Dima, Cătălin; Mu, Chunyan 2 2014 Spectral gap in timed automata. Zbl 1390.68372Asarin, Eugene; Basset, Nicolas; Degorre, Aldric 2 2013 Low dimensional hybrid systems – decidable, undecidable, don’t know. Zbl 1279.68127Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo 6 2012 Generating functions of timed languages. Zbl 1365.68302Asarin, Eugene; Basset, Nicolas; Degorre, Aldric; Perrin, Dominique 3 2012 Toward a timed theory of channel coding. Zbl 1374.68250Asarin, Eugene; Basset, Nicolas; Béal, Marie-Pierre; Degorre, Aldric; Perrin, Dominique 3 2012 Thin and thick timed regular languages. Zbl 1348.68091Basset, Nicolas; Asarin, Eugene 3 2011 Using redundant constraints for refinement. Zbl 1305.68117Asarin, Eugene; Dang, Thao; Maler, Oded; Testylier, Romain 3 2010 Two size measures for timed languages. Zbl 1245.68117Asarin, Eugene; Degorre, Aldric 2 2010 Fair adversaries and randomization in two-player games. Zbl 1284.68378Asarin, Eugene; Chane-Yack-Fa, Raphaël; Varacca, Daniele 1 2010 Volume and entropy of regular timed languages: discretization approach. Zbl 1254.68128Asarin, Eugene; Degorre, Aldric 12 2009 Volume and entropy of regular timed languages: analytic approach. Zbl 1262.68083Asarin, Eugene; Degorre, Aldric 7 2009 Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. Zbl 1134.68026Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 1 2008 Hybridization methods for the analysis of nonlinear systems. Zbl 1134.93026Asarin, Eugene; Dang, Thao; Girard, Antoine 17 2007 Algorithmic analysis of polygonal hybrid systems. I: Reachability. Zbl 1121.68071Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 10 2007 Scheduling with timed automata. Zbl 1088.68023Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded 20 2006 Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Zbl 1137.68001 1 2006 Noisy Turing machines. Zbl 1085.68042Asarin, Eugene; Collins, Pieter 1 2005 Some progress in satisfiability checking for difference logic. Zbl 1109.68513Cotton, Scott; Asarin, Eugene; Maler, Oded; Niebert, Peter 11 2004 Abstraction by projection and application to multi-affine systems. Zbl 1135.93339Asarin, Eugene; Dang, Thao 4 2004 Challenges in timed languages: from applied theory to basic theory. Zbl 1169.68535Asarin, Eugene 2 2004 Reachability analysis of nonlinear systems using conservative approximation. Zbl 1032.93034Asarin, Eugene; Dang, Thao; Girard, Antoine 13 2003 Balanced timed regular expressions. Zbl 1270.68118Asarin, Eugene; Dima, Cătălin 3 2003 On optimal scheduling under uncertainty. Zbl 1031.68030Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded 1 2003 Timed regular expressions. Zbl 1323.68335Asarin, Eugene; Caspi, Paul; Maler, Oded 27 2002 The \(d/dt\) tool for verification of hybrid systems. Zbl 1010.68796Asarin, Eugene; Dang, Thao; Maler, Oded 17 2002 Verification of timed automata via satisfiability checking. Zbl 1278.68187Niebert, Peter; Mahfoudh, Moez; Asarin, Eugene; Bozga, Marius; Maler, Oded 11 2002 On the decidability of the reachability problem for planar differential inclusions. Zbl 0991.93009Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 6 2002 Widening the boundary between decidable and undecidable hybrid systems. Zbl 1012.68141Asarin, Eugene; Schneider, Gerardo 6 2002 SPeeDI – a verification tool for polygonal hybrid systems. Zbl 1010.68791Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 3 2002 Towards computing phase portraits of polygonal differential inclusions. Zbl 1054.93030Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 3 2002 Approximate reachability analysis of piecewise-linear dynamical systems. Zbl 0938.93502Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded 60 2000 Symbolic techniques for parametric reasoning about counter and clock systems. Zbl 0974.68523Annichini, Aurore; Asarin, Eugene; Bouajjani, Ahmed 10 2000 As soon as possible: Time optimal control for timed automata. Zbl 0952.93064Asarin, Eugene; Maler, Oded 25 1999 On discretization of delays in timed automata and digital circuits. Zbl 0933.94045Asarin, Eugene; Maler, Oded; Pnueli, Amir 19 1998 Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 0928.68128Asarin, Eugene; Maler, Oded 5 1998 Reachability analysis of dynamical systems having piecewise-constant derivatives. Zbl 0884.68050Asarin, Eugene; Maler, Oded; Pnueli, Amir 53 1995 Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 1354.03057Asarin, Eugene; Maler, Oded 3 1995 On some relations between dynamical systems and transition systems. Zbl 1418.68088Asarin, Eugene; Maler, Oded 7 1994 all cited Publications top 5 cited Publications all top 5 Cited by 537 Authors 14 Asarin, Eugene 11 Bournez, Olivier 11 Bouyer, Patricia 9 Maler, Oded 7 Dang, Thao 7 Larsen, Kim Guldstrand 7 Markey, Nicolas 6 Sastry, S. Shankar 5 André, Étienne 5 Bartocci, Ezio 5 Dang, Zhe 5 Pappas, George J. 5 Piazza, Carla 5 Traytel, Dmitry 5 Yovine, Sergio 4 Abate, Alessandro 4 Basin, David A. 4 Basset, Nicolas 4 Bérard, Béatrice 4 Brihaye, Thomas 4 Cimatti, Alessandro 4 Degorre, Aldric 4 Fischer, Thomas Robert 4 Girard, Antoine 4 Haddad, Serge 4 Ibarra, Oscar H. 4 Norman, Gethin 4 Platzer, André 4 Prabhakar, Pavithra 4 Sankaranarayanan, Sriram 4 Schneider, Gerardo 4 Subramani, Krishnan 3 Bersani, Marcello Maria 3 Blondel, Vincent D. 3 Bogomolov, Sergiy 3 Cui, Cewei 3 Dima, Cătălin 3 Fahrenberg, Uli 3 Frehse, Goran 3 Graça, Daniel Silva 3 Jaulin, Luc 3 Koiran, Pascal 3 Kozyakin, Viktor Sergeevich 3 Krstić, Srđan 3 Kulkarni, Sandeep S. 3 Kwiatkowska, Marta Z. 3 La Torre, Salvatore 3 Lanotte, Ruggero 3 Lazar, Mircea 3 Lygeros, John 3 Nickovic, Dejan 3 Pnueli, Amir 3 Potapov, Igor 3 Rossi, Matteo A. C. 3 Sankur, Ocan 3 Siegelmann, Hava T. 3 Sproston, Jeremy 3 Tsitsiklis, John N. 3 van Schuppen, Jan H. 3 Viswanathan, Mahesh 2 Ábrahám, Erika 2 Alrajeh, Dalal 2 Althoff, Matthias 2 Alur, Rajeev 2 Ames, Aaron D. 2 Avni, Guy 2 Bell, Paul C. 2 Ben-Hur, Asa 2 Bhatt, Bhargav Nagaraja 2 Bonakdarpour, Borzoo 2 Bozga, Marius 2 Bozzano, Marco 2 Bruttomesso, Roberto 2 Buescu, Jorge 2 Busatto-Gaston, Damien 2 Campagna, Dario 2 Campagnolo, Manuel Lameiras 2 Casagrande, Alberto 2 Cavezza, Davide Giacomo 2 Clarke, Edmund Melson jun. 2 Cocquempot, Vincent 2 Collins, Peter J. 2 Corradini, Flavio 2 Di Berardini, Maria Rita 2 Doyen, Laurent 2 Dreossi, Tommaso 2 Dullerud, Geir E. 2 Entcheva, Emilia 2 Ferrère, Thomas 2 Fishman, Shmuel 2 Forets, Marcelo 2 Fribourg, Laurent 2 Gaubert, Stéphane 2 González, Humberto A. 2 Grosu, Radu 2 Guha, Shibashis 2 György, András 2 Hainry, Emmanuel 2 Heemels, W. P. Maurice H. 2 Hunt, Harry Bowen III ...and 437 more Authors all top 5 Cited in 54 Serials 36 Theoretical Computer Science 18 Information and Computation 17 Formal Methods in System Design 14 Automatica 12 Nonlinear Analysis. Hybrid Systems 7 Discrete Event Dynamic Systems 6 Journal of Automated Reasoning 5 Journal of Computer and System Sciences 5 Formal Aspects of Computing 4 International Journal of Control 4 Applied Mathematics and Computation 3 Information Processing Letters 3 International Journal of Foundations of Computer Science 3 European Journal of Control 3 The Journal of Logic and Algebraic Programming 2 Acta Informatica 2 Discrete Applied Mathematics 2 Journal of Complexity 2 Real-Time Systems 2 Distributed Computing 2 Fundamenta Informaticae 2 Journal of Systems Science and Complexity 2 Logical Methods in Computer Science 1 ACM Computing Surveys 1 Artificial Intelligence 1 International Journal of General Systems 1 International Journal of Systems Science 1 Linear and Multilinear Algebra 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Systems & Control Letters 1 Science of Computer Programming 1 International Journal of Production Research 1 Physica D 1 Algorithmica 1 MSCS. Mathematical Structures in Computer Science 1 Automation and Remote Control 1 Mathematical Programming. Series A. Series B 1 International Journal of Robust and Nonlinear Control 1 The Bulletin of Symbolic Logic 1 Sbornik: Mathematics 1 Theory of Computing Systems 1 Vietnam Journal of Mathematics 1 Optimization Methods & Software 1 Journal of Scheduling 1 Chaos 1 Discrete Dynamics in Nature and Society 1 RAIRO. Theoretical Informatics and Applications 1 Mathematics in Computer Science 1 Numerical Algebra, Control and Optimization 1 Journal of Theoretical Biology 1 Computability 1 Computer Science Review 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Modelirovanie i Analiz Informatsionnykh Sistem all top 5 Cited in 27 Fields 202 Computer science (68-XX) 89 Systems theory; control (93-XX) 36 Mathematical logic and foundations (03-XX) 16 Operations research, mathematical programming (90-XX) 14 Numerical analysis (65-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Ordinary differential equations (34-XX) 11 Dynamical systems and ergodic theory (37-XX) 10 Biology and other natural sciences (92-XX) 9 Information and communication theory, circuits (94-XX) 8 Calculus of variations and optimal control; optimization (49-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 5 Probability theory and stochastic processes (60-XX) 3 Combinatorics (05-XX) 2 Commutative algebra (13-XX) 2 Measure and integration (28-XX) 2 Operator theory (47-XX) 2 Statistics (62-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 General topology (54-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) Citations by Year