Symbolic Controller Synthesis for Discrete and Timed Systems. - Eugene Asarin; Oded Maler; Amir Pnueli (Hybrid Systems, 1994)

On some Relations between Dynamical Systems and Transition Systems. - Eugene Asarin; Oded Maler (ICALP, 1994)

Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. - Eugene Asarin; Oded Maler; Amir Pnueli (Theor. Comput. Sci., 1995)

Data-Structures for the Verification of Timed Automata. - Eugene Asarin; Marius Bozga; Alain Kerbrat; Oded Maler; Amir Pnueli; Anne Rasse (HART, 1997)

A Kleene Theorem for Timed Automata. - Eugene Asarin; Paul Caspi; Oded Maler (LICS, 1997)

On Discretization of Delays in Timed Automata and Digital Circuits. - Eugene Asarin; Oded Maler; Amir Pnueli (CONCUR, 1998)

Equations on Timed Languages. - Eugene Asarin (HSCC, 1998)

Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. - Eugene Asarin; Oded Maler (J. Comput. Syst. Sci., 1998)

As Soon as Possible: Time Optimal Control for Timed Automata. - Eugene Asarin; Oded Maler (HSCC, 1999)

Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. - Aurore Annichini; Eugene Asarin; Ahmed Bouajjani (CAV, 2000)

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. - Eugene Asarin; Thao Dang 001; Oded Maler; Olivier Bournez (HSCC, 2000)

Effective synthesis of switching controllers for linear systems. - Eugene Asarin; Olivier Bournez; Thao Dang 001; Oded Maler; Amir Pnueli (Proc. IEEE, 2000)

d/dt: a verification tool for hybrid systems. - Eugene Asarin; Thao Dang 001; Oded Maler (CDC, 2001)

On Hybrid Control of Under-Actuated Mechanical Systems. - Eugene Asarin; Sorav Bansal; Bernard Espiau; Thao Dang 001; Oded Maler (HSCC, 2001)

On the Decidability of the Reachability Problem for Planar Differential Inclusions. - Eugene Asarin; Gerardo Schneider; Sergio Yovine (HSCC, 2001)

Perturbed Turing Machines and Hybrid Systems. - Eugene Asarin; Ahmed Bouajjani (LICS, 2001)

The d/dt Tool for Verification of Hybrid Systems. - Eugene Asarin; Thao Dang 001; Oded Maler (CAV, 2002)

SPeeDI - A Verification Tool for Polygonal Hybrid Systems. - Eugene Asarin; Gordon J. Pace; Gerardo Schneider; Sergio Yovine (CAV, 2002)

Widening the Boundary between Decidable and Undecidable Hybrid Systems. - Eugene Asarin; Gerardo Schneider (CONCUR, 2002)

Verification of Timed Automata via Satisfiability Checking. - Peter Niebert; Moez Mahfoudh; Eugene Asarin; Marius Bozga; Oded Maler; Navendu Jain (FTRTFT, 2002)

Towards Computing Phase Portraits of Polygonal Differential Inclusions. - Eugene Asarin; Gerardo Schneider; Sergio Yovine (HSCC, 2002)

Balanced timed regular expressions. - Eugene Asarin; Catalin Dima (MTCS, 2002)

Preface. - Eugene Asarin; Oded Maler; Sergio Yovine (Theory and Practice of Timed Systems @ ETAPS, 2002)

Timed regular expressions. - Eugene Asarin; Paul Caspi; Oded Maler (J. ACM, 2002)

Timed Automata and Timed Languages Challenges and Open Problems. - Eugene Asarin (FORMATS, 2003)

Reachability Analysis of Nonlinear Systems Using Conservative Approximation . - Eugene Asarin; Thao Dang 001; Antoine Girard (HSCC, 2003)

On Optimal Scheduling under Uncertainty. - Yasmina Abdeddaïm; Eugene Asarin; Oded Maler (TACAS, 2003)

Some Progress in Satisfiability Checking for Difference Logic. - Scott Cotton; Eugene Asarin; Oded Maler; Peter Niebert (FORMATS/FTRTFT, 2004)

Abstraction by Projection and Application to Multi-affine Systems. - Eugene Asarin; Thao Dang 001 (HSCC, 2004)

Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency). - Eugene Asarin (Bull. EATCS, 2004)

Noisy Turing Machines. - Eugene Asarin; Pieter Collins (ICALP, 2005)

Scheduling with timed automata. - Yasmina Abdeddaïm; Eugene Asarin; Oded Maler (Theor. Comput. Sci., 2006)

Attenuation Regulation as a Term Rewriting System. - Eugene Asarin; Thierry Cachat; Alexander V. Seliverstov; Tayssir Touili; Vassily A. Lyubetsky (AB, 2007)

Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. - Yasmina Abdeddaïm; Eugene Asarin; Matthieu Gallien; Félix Ingrand; Charles Lesire; Mihaela Sighireanu (ICAPS, 2007)

Hybridization methods for the analysis of nonlinear systems. - Eugene Asarin; Thao Dang 001; Antoine Girard (Acta Informatica, 2007)

Algorithmic analysis of polygonal hybrid systems, part I: Reachability. - Eugene Asarin; Gerardo Schneider; Sergio Yovine (Theor. Comput. Sci., 2007)

Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. - Eugene Asarin; Gordon J. Pace; Gerardo Schneider; Sergio Yovine (Theor. Comput. Sci., 2008)

Volume and Entropy of Regular Timed Languages: Discretization Approach. - Eugene Asarin; Aldric Degorre (CONCUR, 2009)

Volume and Entropy of Regular Timed Languages: Analytic Approach. - Eugene Asarin; Aldric Degorre (FORMATS, 2009)

Simple Algorithm for Simple Timed Games. - Yasmina Abdeddaïm; Eugene Asarin; Mihaela Sighireanu (TIME, 2009)

Using Redundant Constraints for Refinement. - Eugene Asarin; Thao Dang 001; Oded Maler; Romain Testylier (ATVA, 2010)

Fair Adversaries and Randomization in Two-Player Games. - Eugene Asarin; Raphaël Chane-Yack-Fa; Daniele Varacca (FoSSaCS, 2010)

Two Size Measures for Timed Languages. - Eugene Asarin; Aldric Degorre (FSTTCS, 2010)

On the computation of covert channel capacity. - Eugene Asarin; Catalin Dima (RAIRO Theor. Informatics Appl., 2010)

Thin and Thick Timed Regular Languages. - Nicolas Basset; Eugene Asarin (FORMATS, 2011)

Parametric Identification of Temporal Properties. - Eugene Asarin; Alexandre Donzé; Oded Maler; Dejan Nickovic (RV, 2011)

Toward a Timed Theory of Channel Coding. - Eugene Asarin; Nicolas Basset; Marie-Pierre Béal; Aldric Degorre; Dominique Perrin (FORMATS, 2012)

Measuring Information in Timed Languages. - Eugene Asarin (LATA, 2012)

Generating Functions of Timed Languages. - Eugene Asarin; Nicolas Basset; Aldric Degorre; Dominique Perrin (MFCS, 2012)

Low dimensional hybrid systems - decidable, undecidable, don't know. - Eugene Asarin; Venkatesh Mysore; Amir Pnueli; Gerardo Schneider (Inf. Comput., 2012)

Spectral Gap in Timed Automata. - Eugene Asarin; Nicolas Basset; Aldric Degorre (FORMATS, 2013)

Asymptotic behaviour in temporal logic. - Eugene Asarin; Michel Blockelet; Aldric Degorre; Catalin Dima; Chunyan Mu (CSL-LICS, 2014)

Timed Pattern Matching. - Dogan Ulus; Thomas Ferrère; Eugene Asarin; Oded Maler (FORMATS, 2014)

Entropy Games. - Eugene Asarin; Julien Cervelle; Aldric Degorre; Catalin Dima; Florian Horn 001; Victor S. Kozyakin (CoRR, 2015)

Entropy of regular timed languages. - Eugene Asarin; Nicolas Basset; Aldric Degorre (Inf. Comput., 2015)

Entropy Games and Matrix Multiplication Games. - Eugene Asarin; Julien Cervelle; Aldric Degorre; Catalin Dima; Florian Horn 001; Victor S. Kozyakin (STACS, 2016)

Online Timed Pattern Matching Using Derivatives. - Dogan Ulus; Thomas Ferrère; Eugene Asarin; Oded Maler (TACAS, 2016)

Combining the Temporal and Epistemic Dimensions for MTL Monitoring. - Eugene Asarin; Oded Maler; Dejan Nickovic; Dogan Ulus (FORMATS, 2017)

Distance on Timed Words and Applications. - Eugene Asarin; Nicolas Basset; Aldric Degorre (FORMATS, 2018)

Online Timed Pattern Matching Using Automata. - Alexey Bakhirkin; Thomas Ferrère; Dejan Nickovic; Oded Maler; Eugene Asarin (FORMATS, 2018)

On the Complexity of Timed Pattern Matching. - Eugene Asarin; Thomas Ferrère; Dejan Nickovic; Dogan Ulus (FORMATS, 2021)

Bounded Delay Timed Channel Coding. - Bernardo Jacobo Inclán; Aldric Degorre; Eugene Asarin (FORMATS, 2022)

Bandwidth of Timed Automata: 3 Classes. - Eugene Asarin; Aldric Degorre; Catalin Dima; Bernardo Jacobo Inclán (FSTTCS, 2023)

Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. - Akshay Mambakam; Eugene Asarin; Nicolas Basset; Thao Dang 001 (HSCC, 2023)

Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL. - Neha Rino; Mohammed Foughali; Eugene Asarin (QEST+FORMATS, 2024)

Computing the Bandwidth of Meager Timed Automata. - Eugene Asarin; Aldric Degorre; Catalin Dima; Bernardo Jacobo Inclán (CIAA, 2024)

Elements of Timed Pattern Matching. - Dogan Ulus; Thomas Ferrère; Eugene Asarin; Dejan Nickovic; Oded Maler (ACM Trans. Embed. Comput. Syst., 2024)

Robust Identification of Hybrid Automata from Noisy Data. - Niklas Kochdumper; Mohammed Aristide Foughali; Peter Habermehl; Eugene Asarin (HSCC, 2025)