default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEugene Asarin
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j13]Dogan Ulus
, Thomas Ferrère, Eugene Asarin, Dejan Nickovic, Oded Maler:
Elements of Timed Pattern Matching. ACM Trans. Embed. Comput. Syst. 23(4): 59:1-59:45 (2024)- [c54]Neha Rino, Mohammed Foughali, Eugene Asarin:
Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL. QEST+FORMATS 2024: 179-195 - [c53]Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán:
Computing the Bandwidth of Meager Timed Automata. CIAA 2024: 19-34 - [i3]Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán:
Computing the Bandwidth of Meager Timed Automata. CoRR abs/2406.12694 (2024) - 2023
- [c52]Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán:
Bandwidth of Timed Automata: 3 Classes. FSTTCS 2023: 10:1-10:17 - [c51]Akshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang:
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. HSCC 2023: 14:1-14:13 - [i2]Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán:
Bandwidth of Timed Automata: 3 Classes. CoRR abs/2310.01941 (2023) - 2022
- [c50]Bernardo Jacobo Inclán, Aldric Degorre, Eugene Asarin:
Bounded Delay Timed Channel Coding. FORMATS 2022: 65-79 - 2021
- [c49]Eugene Asarin, Thomas Ferrère, Dejan Nickovic, Dogan Ulus:
On the Complexity of Timed Pattern Matching. FORMATS 2021: 15-31
2010 – 2019
- 2018
- [c48]Eugene Asarin, Nicolas Basset, Aldric Degorre:
Distance on Timed Words and Applications. FORMATS 2018: 199-214 - [c47]Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin:
Online Timed Pattern Matching Using Automata. FORMATS 2018: 215-232 - 2017
- [c46]Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus:
Combining the Temporal and Epistemic Dimensions for MTL Monitoring. FORMATS 2017: 207-223 - 2016
- [c45]Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin:
Entropy Games and Matrix Multiplication Games. STACS 2016: 11:1-11:14 - [c44]Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler:
Online Timed Pattern Matching Using Derivatives. TACAS 2016: 736-751 - 2015
- [j12]Eugene Asarin, Nicolas Basset, Aldric Degorre:
Entropy of regular timed languages. Inf. Comput. 241: 142-176 (2015) - [i1]Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin:
Entropy Games. CoRR abs/1506.04885 (2015) - 2014
- [c43]Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu:
Asymptotic behaviour in temporal logic. CSL-LICS 2014: 10:1-10:9 - [c42]Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler:
Timed Pattern Matching. FORMATS 2014: 222-236 - 2013
- [c41]Eugene Asarin, Nicolas Basset, Aldric Degorre:
Spectral Gap in Timed Automata. FORMATS 2013: 16-30 - 2012
- [j11]Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider:
Low dimensional hybrid systems - decidable, undecidable, don't know. Inf. Comput. 211: 138-159 (2012) - [c40]Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin:
Toward a Timed Theory of Channel Coding. FORMATS 2012: 27-42 - [c39]Eugene Asarin:
Measuring Information in Timed Languages. LATA 2012: 1-2 - [c38]Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin:
Generating Functions of Timed Languages. MFCS 2012: 124-135 - 2011
- [c37]Nicolas Basset, Eugene Asarin:
Thin and Thick Timed Regular Languages. FORMATS 2011: 113-128 - [c36]Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic:
Parametric Identification of Temporal Properties. RV 2011: 147-160 - 2010
- [j10]Eugene Asarin, Catalin Dima:
On the computation of covert channel capacity. RAIRO Theor. Informatics Appl. 44(1): 37-58 (2010) - [c35]Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier:
Using Redundant Constraints for Refinement. ATVA 2010: 37-51 - [c34]Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca:
Fair Adversaries and Randomization in Two-Player Games. FoSSaCS 2010: 64-78 - [c33]Eugene Asarin, Aldric Degorre:
Two Size Measures for Timed Languages. FSTTCS 2010: 376-387
2000 – 2009
- 2009
- [c32]Eugene Asarin, Aldric Degorre:
Volume and Entropy of Regular Timed Languages: Discretization Approach. CONCUR 2009: 69-83 - [c31]Eugene Asarin, Aldric Degorre:
Volume and Entropy of Regular Timed Languages: Analytic Approach. FORMATS 2009: 13-27 - [c30]Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu:
Simple Algorithm for Simple Timed Games. TIME 2009: 99-106 - 2008
- [j9]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): 1-26 (2008) - 2007
- [j8]Eugene Asarin, Thao Dang, Antoine Girard:
Hybridization methods for the analysis of nonlinear systems. Acta Informatica 43(7): 451-476 (2007) - [j7]Eugene Asarin, Gerardo Schneider, Sergio Yovine:
Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theor. Comput. Sci. 379(1-2): 231-265 (2007) - [c29]Eugene Asarin, Thierry Cachat, Alexander V. Seliverstov, Tayssir Touili, Vassily A. Lyubetsky:
Attenuation Regulation as a Term Rewriting System. AB 2007: 81-94 - [c28]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: 2-9 - 2006
- [j6]Yasmina Abdeddaïm, Eugene Asarin, Oded Maler:
Scheduling with timed automata. Theor. Comput. Sci. 354(2): 272-300 (2006) - [e2]Eugene Asarin, Patricia Bouyer:
Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings. Lecture Notes in Computer Science 4202, Springer 2006, ISBN 3-540-45026-2 [contents] - 2005
- [c27]Eugene Asarin, Pieter Collins:
Noisy Turing Machines. ICALP 2005: 1031-1042 - 2004
- [j5]Eugene Asarin:
Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency). Bull. EATCS 83: 106-120 (2004) - [c26]Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert:
Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT 2004: 263-276 - [c25]Eugene Asarin, Thao Dang:
Abstraction by Projection and Application to Multi-affine Systems. HSCC 2004: 32-47 - 2003
- [c24]Eugene Asarin:
Timed Automata and Timed Languages Challenges and Open Problems. FORMATS 2003: 1 - [c23]Eugene Asarin, Thao Dang, Antoine Girard:
Reachability Analysis of Nonlinear Systems Using Conservative Approximation . HSCC 2003: 20-35 - [c22]Yasmina Abdeddaïm, Eugene Asarin, Oded Maler:
On Optimal Scheduling under Uncertainty. TACAS 2003: 240-253 - 2002
- [j4]Eugene Asarin, Paul Caspi, Oded Maler:
Timed regular expressions. J. ACM 49(2): 172-206 (2002) - [c21]Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine:
SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358 - [c20]Eugene Asarin, Thao Dang, Oded Maler:
The d/dt Tool for Verification of Hybrid Systems. CAV 2002: 365-370 - [c19]Eugene Asarin, Gerardo Schneider:
Widening the Boundary between Decidable and Undecidable Hybrid Systems. CONCUR 2002: 193-208 - [c18]Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain:
Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244 - [c17]Eugene Asarin, Gerardo Schneider, Sergio Yovine:
Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC 2002: 49-61 - [c16]Eugene Asarin, Catalin Dima:
Balanced timed regular expressions. MTCS 2002: 16-33 - [c15]Eugene Asarin, Oded Maler, Sergio Yovine:
Preface. Theory and Practice of Timed Systems @ ETAPS 2002: 273-274 - [e1]Eugene Asarin, Oded Maler, Sergio Yovine:
Theory and Practice of Timed Systems, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002. Electronic Notes in Theoretical Computer Science 65(6), Elsevier 2002 [contents] - 2001
- [c14]Eugene Asarin, Thao Dang, Oded Maler:
d/dt: a verification tool for hybrid systems. CDC 2001: 2893-2898 - [c13]Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler:
On Hybrid Control of Under-Actuated Mechanical Systems. HSCC 2001: 77-88 - [c12]Eugene Asarin, Gerardo Schneider, Sergio Yovine:
On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC 2001: 89-104 - [c11]Eugene Asarin, Ahmed Bouajjani:
Perturbed Turing Machines and Hybrid Systems. LICS 2001: 269-278 - 2000
- [j3]Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli:
Effective synthesis of switching controllers for linear systems. Proc. IEEE 88(7): 1011-1025 (2000) - [c10]Aurore Annichini, Eugene Asarin, Ahmed Bouajjani:
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. CAV 2000: 419-434 - [c9]Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez:
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. HSCC 2000: 20-31
1990 – 1999
- 1999
- [c8]Eugene Asarin, Oded Maler:
As Soon as Possible: Time Optimal Control for Timed Automata. HSCC 1999: 19-30 - 1998
- [j2]Eugene Asarin, Oded Maler:
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. J. Comput. Syst. Sci. 57(3): 389-398 (1998) - [c7]Eugene Asarin, Oded Maler, Amir Pnueli:
On Discretization of Delays in Timed Automata and Digital Circuits. CONCUR 1998: 470-484 - [c6]Eugene Asarin:
Equations on Timed Languages. HSCC 1998: 1-12 - 1997
- [c5]Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse:
Data-Structures for the Verification of Timed Automata. HART 1997: 346-360 - [c4]Eugene Asarin, Paul Caspi, Oded Maler:
A Kleene Theorem for Timed Automata. LICS 1997: 160-171 - 1995
- [j1]Eugene Asarin, Oded Maler, Amir Pnueli:
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. Theor. Comput. Sci. 138(1): 35-65 (1995) - [c3]Eugene Asarin, Oded Maler:
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. FSTTCS 1995: 471-483 - 1994
- [c2]Eugene Asarin, Oded Maler, Amir Pnueli:
Symbolic Controller Synthesis for Discrete and Timed Systems. Hybrid Systems 1994: 1-20 - [c1]Eugene Asarin, Oded Maler:
On some Relations between Dynamical Systems and Transition Systems. ICALP 1994: 59-72
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-13 02:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
