Eugene Asarin

According to our database1, Eugene Asarin authored at least 64 papers between 1994 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Bandwidth of Timed Automata: 3 Classes.
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022
Bounded Delay Timed Channel Coding.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021
On the Complexity of Timed Pattern Matching.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

2018
Online Timed Pattern Matching Using Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Distance on Timed Words and Applications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2017
Combining the Temporal and Epistemic Dimensions for MTL Monitoring.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016
Online Timed Pattern Matching Using Derivatives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Entropy Games and Matrix Multiplication Games.
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016

2015
Entropy of regular timed languages.
Inf. Comput., 2015

Entropy Games.
CoRR, 2015

2014
Timed Pattern Matching.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Asymptotic behaviour in temporal logic.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013
Spectral Gap in Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012
Low dimensional hybrid systems - decidable, undecidable, don't know.
Inf. Comput., 2012

Generating Functions of Timed Languages.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Measuring Information in Timed Languages.
Proceedings of the Language and Automata Theory and Applications, 2012

Toward a Timed Theory of Channel Coding.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011
Parametric Identification of Temporal Properties.
Proceedings of the Runtime Verification - Second International Conference, 2011

Thin and Thick Timed Regular Languages.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2010
On the computation of covert channel capacity.
RAIRO Theor. Informatics Appl., 2010

Two Size Measures for Timed Languages.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Fair Adversaries and Randomization in Two-Player Games.
Proceedings of the Foundations of Software Science and Computational Structures, 2010

Using Redundant Constraints for Refinement.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Simple Algorithm for Simple Timed Games.
Proceedings of the TIME 2009, 2009

Volume and Entropy of Regular Timed Languages: Analytic Approach.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Volume and Entropy of Regular Timed Languages: Discretization Approach.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools.
Theor. Comput. Sci., 2008

2007
Algorithmic analysis of polygonal hybrid systems, part I: Reachability.
Theor. Comput. Sci., 2007

Hybridization methods for the analysis of nonlinear systems.
Acta Informatica, 2007

Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Attenuation Regulation as a Term Rewriting System.
Proceedings of the Algebraic Biology, Second International Conference, 2007

2006
Scheduling with timed automata.
Theor. Comput. Sci., 2006

2005
Noisy Turing Machines.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

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

Abstraction by Projection and Application to Multi-affine Systems.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Some Progress in Satisfiability Checking for Difference Logic.
Proceedings of the Formal Techniques, 2004

2003
On Optimal Scheduling under Uncertainty.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Reachability Analysis of Nonlinear Systems Using Conservative Approximation .
Proceedings of the Hybrid Systems: Computation and Control, 2003

Timed Automata and Timed Languages Challenges and Open Problems.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002
Timed regular expressions.
J. ACM, 2002

Preface.
Proceedings of the Theory and Practice of Timed Systems, 2002

Balanced timed regular expressions.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2002

Towards Computing Phase Portraits of Polygonal Differential Inclusions.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Verification of Timed Automata via Satisfiability Checking.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Widening the Boundary between Decidable and Undecidable Hybrid Systems.
Proceedings of the CONCUR 2002, 2002

SPeeDI - A Verification Tool for Polygonal Hybrid Systems.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

The d/dt Tool for Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Perturbed Turing Machines and Hybrid Systems.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

On the Decidability of the Reachability Problem for Planar Differential Inclusions.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

On Hybrid Control of Under-Actuated Mechanical Systems.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

d/dt: a verification tool for hybrid systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000
Effective synthesis of switching controllers for linear systems.
Proc. IEEE, 2000

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
As Soon as Possible: Time Optimal Control for Timed Automata.
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

1998
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.
J. Comput. Syst. Sci., 1998

Equations on Timed Languages.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

On Discretization of Delays in Timed Automata and Digital Circuits.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
A Kleene Theorem for Timed Automata.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Data-Structures for the Verification of Timed Automata.
Proceedings of the Hybrid and Real-Time Systems, 1997

1995
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives.
Theor. Comput. Sci., 1995

1994
On some Relations between Dynamical Systems and Transition Systems.
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

Symbolic Controller Synthesis for Discrete and Timed Systems.
Proceedings of the Hybrid Systems II, 1994


  Loading...