Eugene Asarin

75 papers A* 8A 3B 7C 3Journal 17Unranked 35
YearRankTypeTitle / Venue / Authors
2025 — conf
Robust Identification of Hybrid Automata from Noisy Data.
HSCC
Niklas Kochdumper, Mohammed Aristide Foughali, Peter Habermehl, Eugene Asarin
2025 — conf
Weighing Obese Timed Languages.
RP
Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán
2025 J jnl
Weighing Obese Timed Languages.
CoRR
Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán
2024 C conf
Computing the Bandwidth of Meager Timed Automata.
CIAA
Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán
2024 J jnl
Computing the Bandwidth of Meager Timed Automata.
CoRR
Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán
2024 — conf
Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL.
QEST+FORMATS
Neha Rino, Mohammed Foughali, Eugene Asarin
2024 J jnl
Elements of Timed Pattern Matching.
ACM Trans. Embed. Comput. Syst.
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Dejan Nickovic, Oded Maler
2023 — conf
Bandwidth of Timed Automata: 3 Classes.
FSTTCS
Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán
2023 J jnl
Bandwidth of Timed Automata: 3 Classes.
CoRR
Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán
2023 — conf
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions.
HSCC
Akshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang
2022 — conf
Bounded Delay Timed Channel Coding.
FORMATS
Bernardo Jacobo Inclán, Aldric Degorre, Eugene Asarin
2021 — conf
On the Complexity of Timed Pattern Matching.
FORMATS
Eugene Asarin, Thomas Ferrère, Dejan Nickovic, Dogan Ulus
2018 — conf
Distance on Timed Words and Applications.
FORMATS
Eugene Asarin, Nicolas Basset, Aldric Degorre
2018 — conf
Online Timed Pattern Matching Using Automata.
FORMATS
Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin
2017 — conf
Combining the Temporal and Epistemic Dimensions for MTL Monitoring.
FORMATS
Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus
2016 A conf
Entropy Games and Matrix Multiplication Games.
STACS
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin
2016 A conf
Online Timed Pattern Matching Using Derivatives.
TACAS
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
2015 J jnl
Entropy Games.
CoRR
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin
2015 J jnl
Entropy of regular timed languages.
Inf. Comput.
Eugene Asarin, Nicolas Basset, Aldric Degorre
2014 — conf
Asymptotic behaviour in temporal logic.
CSL-LICS
Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu
2014 — conf
Timed Pattern Matching.
FORMATS
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
2013 — conf
Spectral Gap in Timed Automata.
FORMATS
Eugene Asarin, Nicolas Basset, Aldric Degorre
2012 B conf
Generating Functions of Timed Languages.
MFCS
Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin
2012 J jnl
Low dimensional hybrid systems - decidable, undecidable, don't know.
Inf. Comput.
Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider
2012 C conf
Measuring Information in Timed Languages.
LATA
Eugene Asarin
2012 — conf
Toward a Timed Theory of Channel Coding.
FORMATS
Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin
2011 B conf
Parametric Identification of Temporal Properties.
RV
Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic
2011 — conf
Thin and Thick Timed Regular Languages.
FORMATS
Nicolas Basset, Eugene Asarin
2010 B conf
Fair Adversaries and Randomization in Two-Player Games.
FoSSaCS
Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca
2010 J jnl
On the computation of covert channel capacity.
RAIRO Theor. Informatics Appl.
Eugene Asarin, Catalin Dima
2010 — conf
Two Size Measures for Timed Languages.
FSTTCS
Eugene Asarin, Aldric Degorre
2010 B conf
Using Redundant Constraints for Refinement.
ATVA
Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier
2009 C conf
Simple Algorithm for Simple Timed Games.
TIME
Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu
2009 — conf
Volume and Entropy of Regular Timed Languages: Analytic Approach.
FORMATS
Eugene Asarin, Aldric Degorre
2009 B conf
Volume and Entropy of Regular Timed Languages: Discretization Approach.
CONCUR
Eugene Asarin, Aldric Degorre
2008 J jnl
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools.
Theor. Comput. Sci.
Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
2007 J jnl
Algorithmic analysis of polygonal hybrid systems, part I: Reachability.
Theor. Comput. Sci.
Eugene Asarin, Gerardo Schneider, Sergio Yovine
2007 — conf
Attenuation Regulation as a Term Rewriting System.
AB
Eugene Asarin, Thierry Cachat, Alexander V. Seliverstov, Tayssir Touili, Vassily A. Lyubetsky
2007 J jnl
Hybridization methods for the analysis of nonlinear systems.
Acta Informatica
Eugene Asarin, Thao Dang, Antoine Girard
2007 A* conf
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches.
ICAPS
Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu
2006 — ed.
Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
FORMATS
Eugene Asarin, Patricia Bouyer
2006 J jnl
Scheduling with timed automata.
Theor. Comput. Sci.
Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
2005 A* conf
Noisy Turing Machines.
ICALP
Eugene Asarin, Pieter Collins
2004 — conf
Abstraction by Projection and Application to Multi-affine Systems.
HSCC
Eugene Asarin, Thao Dang
2004 J jnl
Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency).
Bull. EATCS
Eugene Asarin
2004 — conf
Some Progress in Satisfiability Checking for Difference Logic.
FORMATS/FTRTFT
Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert
2003 A conf
On Optimal Scheduling under Uncertainty.
TACAS
Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
2003 — conf
Reachability Analysis of Nonlinear Systems Using Conservative Approximation .
HSCC
Eugene Asarin, Thao Dang, Antoine Girard
2003 — conf
Timed Automata and Timed Languages Challenges and Open Problems.
FORMATS
Eugene Asarin
2002 — conf
Balanced timed regular expressions.
MTCS
Eugene Asarin, Catalin Dima
2002 — conf
Preface.
Theory and Practice of Timed Systems @ ETAPS
Eugene Asarin, Oded Maler, Sergio Yovine
2002 A* conf
SPeeDI - A Verification Tool for Polygonal Hybrid Systems.
CAV
Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
2002 A* conf
The d/dt Tool for Verification of Hybrid Systems.
CAV
Eugene Asarin, Thao Dang, Oded Maler
2002 — ed.
Theory and Practice of Timed Systems (TPTS), Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002
Theory and Practice of Timed Systems @ ETAPS
Eugene Asarin, Oded Maler, Sergio Yovine
2002 J jnl
Timed regular expressions.
J. ACM
Eugene Asarin, Paul Caspi, Oded Maler
2002 — conf
Towards Computing Phase Portraits of Polygonal Differential Inclusions.
HSCC
Eugene Asarin, Gerardo Schneider, Sergio Yovine
2002 — conf
Verification of Timed Automata via Satisfiability Checking.
FTRTFT
Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
2002 B conf
Widening the Boundary between Decidable and Undecidable Hybrid Systems.
CONCUR
Eugene Asarin, Gerardo Schneider
2001 — conf
On Hybrid Control of Under-Actuated Mechanical Systems.
HSCC
Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler
2001 — conf
On the Decidability of the Reachability Problem for Planar Differential Inclusions.
HSCC
Eugene Asarin, Gerardo Schneider, Sergio Yovine
2001 A* conf
Perturbed Turing Machines and Hybrid Systems.
LICS
Eugene Asarin, Ahmed Bouajjani
2001 — conf
d/dt: a verification tool for hybrid systems.
CDC
Eugene Asarin, Thao Dang, Oded Maler
2000 — conf
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.
HSCC
Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez
2000 J jnl
Effective synthesis of switching controllers for linear systems.
Proc. IEEE
Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli
2000 A* conf
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems.
CAV
Aurore Annichini, Eugene Asarin, Ahmed Bouajjani
1999 — conf
As Soon as Possible: Time Optimal Control for Timed Automata.
HSCC
Eugene Asarin, Oded Maler
1998 J jnl
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.
J. Comput. Syst. Sci.
Eugene Asarin, Oded Maler
1998 — conf
Equations on Timed Languages.
HSCC
Eugene Asarin
1998 B conf
On Discretization of Delays in Timed Automata and Digital Circuits.
CONCUR
Eugene Asarin, Oded Maler, Amir Pnueli
1997 A* conf
A Kleene Theorem for Timed Automata.
LICS
Eugene Asarin, Paul Caspi, Oded Maler
1997 — conf
Data-Structures for the Verification of Timed Automata.
HART
Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse
1995 — conf
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.
FSTTCS
Eugene Asarin, Oded Maler
1995 J jnl
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives.
Theor. Comput. Sci.
Eugene Asarin, Oded Maler, Amir Pnueli
1994 A* conf
On some Relations between Dynamical Systems and Transition Systems.
ICALP
Eugene Asarin, Oded Maler
1994 — conf
Symbolic Controller Synthesis for Discrete and Timed Systems.
Hybrid Systems
Eugene Asarin, Oded Maler, Amir Pnueli