| Publication | Date of Publication | Type |
|---|
Reachability analysis of pushdown automata: Application to model-checking
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
| scientific article; zbMATH DE number 7361375 (Why is no real title available?) | 2021-06-21 | Paper |
scientific article; zbMATH DE number 7361375 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-21 | Paper |
| Mixed-time signal temporal logic | 2020-05-05 | Paper |
A generic algorithm for learning symbolic automata from membership queries
Lecture Notes in Computer Science | 2020-02-24 | Paper |
From real-time logic to timed automata
Journal of the ACM | 2020-02-11 | Paper |
| Online timed pattern matching using derivatives | 2019-09-17 | Paper |
On some relations between dynamical systems and transition systems
Automata, Languages and Programming | 2019-04-29 | Paper |
| Online timed pattern matching using automata | 2018-12-06 | Paper |
Efficient parametric identification for STL
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Specifying timed patterns using temporal logic
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
| Measuring with timed patterns | 2018-03-01 | Paper |
On the synthesis of discrete controllers for timed systems
STACS 95 | 2017-12-04 | Paper |
| On the quantitative semantics of regular expressions over real-valued signals | 2017-12-01 | Paper |
| Combining the temporal and epistemic dimensions for MTL monitoring | 2017-12-01 | Paper |
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
Accurate hybridization of nonlinear systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
Achilles and the tortoise climbing up the arithmetical hierarchy
Lecture Notes in Computer Science | 2017-01-19 | Paper |
Stochastic local search for falsification of hybrid systems
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Trace diagnostics using temporal implicants
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Timed regular expressions
Journal of the ACM | 2015-10-30 | Paper |
Learning regular languages over large ordered alphabets
Logical Methods in Computer Science | 2015-10-29 | Paper |
Timed pattern matching
Lecture Notes in Computer Science | 2015-08-06 | Paper |
The Unmet Challenge of Timed Systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Symmetry breaking for multi-criteria mapping and scheduling on multicores
Lecture Notes in Computer Science | 2013-08-16 | Paper |
Verification of asynchronous circuits using timed automata
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
As soon as probable: optimal scheduling under stochastic uncertainty
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
On temporal logic and signal processing
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Performance evaluation of schedulers in a probabilistic setting
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Computing reachable states for nonlinear biological models
Theoretical Computer Science | 2011-05-03 | Paper |
Verification of timed automata via satisfiability checking
Lecture Notes in Computer Science | 2011-04-08 | Paper |
Using redundant constraints for refinement
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
Robust satisfaction of temporal logic over real-valued signals
Lecture Notes in Computer Science | 2010-09-10 | Paper |
On the Krohn-Rhodes cascaded decomposition theorem
Time for Verification | 2010-09-07 | Paper |
Approximating the Pareto front of multi-criteria optimization problems
Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
On Omega-Languages Defined by Mean-Payoff Conditions
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Systematic Simulation Using Sensitivity Analysis
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
On Scheduling Policies for Streams of Structured Jobs
Lecture Notes in Computer Science | 2008-12-02 | Paper |
From MITL to Timed Automata
Lecture Notes in Computer Science | 2008-07-08 | Paper |
On Timed Models of Gene Networks
Lecture Notes in Computer Science | 2008-07-03 | Paper |
An efficient automata approach to some problems on context-free grammars.
Information Processing Letters | 2008-06-27 | Paper |
Approximating Continuous Systems by Timed Automata
Formal Methods in Systems Biology | 2008-06-17 | Paper |
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
Pillars of Computer Science | 2008-03-25 | Paper |
On Synthesizing Controllers from Bounded-Response Properties
Computer Aided Verification | 2007-11-29 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Fast and Flexible Difference Constraint Propagation for DPLL(T)
Lecture Notes in Computer Science | 2007-09-04 | Paper |
On Interleaving in Timed Automata
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Scheduling with timed automata
Theoretical Computer Science | 2006-04-28 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2102711 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2080044 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1956636 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1956584 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1905118 (Why is no real title available?) | 2003-05-21 | Paper |
| scientific article; zbMATH DE number 1796155 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1794356 (Why is no real title available?) | 2002-09-03 | Paper |
| scientific article; zbMATH DE number 1794362 (Why is no real title available?) | 2002-09-03 | Paper |
| scientific article; zbMATH DE number 1670871 (Why is no real title available?) | 2001-11-11 | Paper |
Symbolic model checking with rich assertional languages
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1303059 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1444339 (Why is no real title available?) | 2000-06-21 | Paper |
| scientific article; zbMATH DE number 1303061 (Why is no real title available?) | 1999-12-02 | Paper |
| scientific article; zbMATH DE number 1304998 (Why is no real title available?) | 1999-09-23 | Paper |
Discrete-continuous systems. An algorithmic aspect.
Automation and Remote Control | 1999-05-30 | Paper |
Achilles and the tortoise climbing up the arithmetical hierarchy
Journal of Computer and System Sciences | 1999-04-26 | Paper |
On syntactic congruences for \(\omega\)-languages
Theoretical Computer Science | 1998-07-22 | Paper |
Reachability analysis of dynamical systems having piecewise-constant derivatives
Theoretical Computer Science | 1997-09-29 | Paper |
A decomposition theorem for probabilistic transition systems
Theoretical Computer Science | 1997-02-28 | Paper |
On the effects of noise and speed on computations
Theoretical Computer Science | 1995-10-09 | Paper |
On the learnability of infinitary regular sets
Information and Computation | 1995-07-10 | Paper |
| scientific article; zbMATH DE number 604887 (Why is no real title available?) | 1995-02-13 | Paper |
| scientific article; zbMATH DE number 512839 (Why is no real title available?) | 1994-11-28 | Paper |
| scientific article; zbMATH DE number 512864 (Why is no real title available?) | 1994-03-10 | Paper |
