Eugene Asarin

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 12

Top Topics

Matrix Multiplication

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

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