|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 3 keywords
|
|
|
|
|
Results
Found 48 publication records. Showing 48 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider |
Low dimensional hybrid systems - decidable, undecidable, don't know.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin |
Measuring Information in Timed Languages. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic |
Parametric Identification of Temporal Properties. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Basset, Eugene Asarin |
Thin and Thick Timed Regular Languages. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Catalin Dima |
On the computation of covert channel capacity. |
RAIRO - Theor. Inf. and Applic. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier |
Using Redundant Constraints for Refinement. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca |
Fair Adversaries and Randomization in Two-Player Games. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Aldric Degorre |
Two Size Measures for Timed Languages. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Aldric Degorre |
Volume and Entropy of Regular Timed Languages: Discretization Approach. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu |
Simple Algorithm for Simple Timed Games. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
reachability games, temporal uncertainity, timed game automata, STNU |
| 1 | Eugene Asarin, Aldric Degorre |
Volume and Entropy of Regular Timed Languages: Analytic Approach. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine |
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Gerardo Schneider, Sergio Yovine |
Algorithmic analysis of polygonal hybrid systems, part I: Reachability. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Antoine Girard |
Hybridization methods for the analysis of nonlinear systems. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky |
Attenuation Regulation as a Term Rewriting System. |
AB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasmina Abdeddaïm, Eugene Asarin, Oded Maler |
Scheduling with timed automata. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Patricia Bouyer (eds.) |
Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings |
FORMATS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Eugene Asarin, Pieter Collins |
Noisy Turing Machines. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin |
Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert |
Some Progress in Satisfiability Checking for Difference Logic. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang |
Abstraction by Projection and Application to Multi-affine Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasmina Abdeddaïm, Eugene Asarin, Oded Maler |
On Optimal Scheduling under Uncertainty. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin |
Timed Automata and Timed Languages Challenges and Open Problems. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Antoine Girard |
Reachability Analysis of Nonlinear Systems Using Conservative Approximation . |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler, Sergio Yovine |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Catalin Dima |
Balanced timed regular expressions. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Paul Caspi, Oded Maler |
Timed regular expressions. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
Kleene theorem, timed languages, timed automata |
| 1 | Eugene Asarin, Gerardo Schneider |
Widening the Boundary between Decidable and Undecidable Hybrid Systems. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine |
SPeeDI - A Verification Tool for Polygonal Hybrid Systems. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Oded Maler |
The d/dt Tool for Verification of Hybrid Systems. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Gerardo Schneider, Sergio Yovine |
Towards Computing Phase Portraits of Polygonal Differential Inclusions. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain |
Verification of Timed Automata via Satisfiability Checking. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Gerardo Schneider, Sergio Yovine |
On the Decidability of the Reachability Problem for Planar Differential Inclusions. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler |
On Hybrid Control of Under-Actuated Mechanical Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Ahmed Bouajjani |
Perturbed Turing Machines and Hybrid Systems. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurore Annichini, Eugene Asarin, Ahmed Bouajjani |
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez |
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler |
As Soon as Possible: Time Optimal Control for Timed Automata. |
HSCC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler |
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. |
J. Comput. Syst. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler, Amir Pnueli |
On Discretization of Delays in Timed Automata and Digital Circuits. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin |
Equations on Timed Languages. |
HSCC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse |
Data-Structures for the Verification of Timed Automata. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Paul Caspi, Oded Maler |
A Kleene Theorem for Timed Automata. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory |
| 1 | Eugene Asarin, Oded Maler, Amir Pnueli |
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler |
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler |
On some Relations between Dynamical Systems and Transition Systems. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Oded Maler, Amir Pnueli |
Symbolic Controller Synthesis for Discrete and Timed Systems. |
Hybrid Systems |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #48 of 48 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")