| Publication | Date of Publication | Type |
|---|
| Reachability analysis of pushdown automata: Application to model-checking | 2023-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994712 | 2021-06-21 | Paper |
| Mixed-time signal temporal logic | 2020-05-05 | Paper |
| A generic algorithm for learning symbolic automata from membership queries | 2020-02-24 | Paper |
| From real-time logic to timed automata | 2020-02-11 | Paper |
| Online timed pattern matching using derivatives | 2019-09-17 | Paper |
| On some relations between dynamical systems and transition systems | 2019-04-29 | Paper |
| Online timed pattern matching using automata | 2018-12-06 | Paper |
| Efficient parametric identification for STL | 2018-12-06 | Paper |
| Specifying timed patterns using temporal logic | 2018-12-06 | Paper |
| Measuring with timed patterns | 2018-03-01 | Paper |
| On the synthesis of discrete controllers for timed systems | 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 | 2017-05-10 | Paper |
| Accurate hybridization of nonlinear systems | 2017-05-10 | Paper |
| Achilles and the tortoise climbing up the arithmetical hierarchy | 2017-01-19 | Paper |
| Stochastic local search for falsification of hybrid systems | 2016-01-08 | Paper |
| Trace diagnostics using temporal implicants | 2016-01-08 | Paper |
| Timed regular expressions | 2015-10-30 | Paper |
| Learning regular languages over large ordered alphabets | 2015-10-29 | Paper |
| Timed pattern matching | 2015-08-06 | Paper |
| The Unmet Challenge of Timed Systems | 2014-07-24 | Paper |
| Symmetry breaking for multi-criteria mapping and scheduling on multicores | 2013-08-16 | Paper |
| Verification of asynchronous circuits using timed automata | 2013-08-15 | Paper |
| As soon as probable: optimal scheduling under stochastic uncertainty | 2013-08-05 | Paper |
| On temporal logic and signal processing | 2012-11-21 | Paper |
| Performance evaluation of schedulers in a probabilistic setting | 2011-10-07 | Paper |
| Computing reachable states for nonlinear biological models | 2011-05-03 | Paper |
| Verification of timed automata via satisfiability checking | 2011-04-08 | Paper |
| Using redundant constraints for refinement | 2010-10-04 | Paper |
| Robust satisfaction of temporal logic over real-valued signals | 2010-09-10 | Paper |
| On the Krohn-Rhodes cascaded decomposition theorem | 2010-09-07 | Paper |
| Approximating the Pareto front of multi-criteria optimization problems | 2010-04-27 | Paper |
| On Omega-Languages Defined by Mean-Payoff Conditions | 2009-03-31 | Paper |
| Systematic Simulation Using Sensitivity Analysis | 2009-03-11 | Paper |
| On Scheduling Policies for Streams of Structured Jobs | 2008-12-02 | Paper |
| From MITL to Timed Automata | 2008-07-08 | Paper |
| On Timed Models of Gene Networks | 2008-07-03 | Paper |
| An efficient automata approach to some problems on context-free grammars. | 2008-06-27 | Paper |
| Approximating Continuous Systems by Timed Automata | 2008-06-17 | Paper |
| Checking Temporal Properties of Discrete, Timed and Continuous Behaviors | 2008-03-25 | Paper |
| On Synthesizing Controllers from Bounded-Response Properties | 2007-11-29 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Fast and Flexible Difference Constraint Propagation for DPLL(T) | 2007-09-04 | Paper |
| On Interleaving in Timed Automata | 2007-09-04 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| Scheduling with timed automata | 2006-04-28 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-01-10 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817550 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472231 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417997 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417926 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806208 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551179 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552451 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552458 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754197 | 2001-11-11 | Paper |
| Symbolic model checking with rich assertional languages | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249561 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953376 | 2000-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249563 | 1999-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251920 | 1999-09-23 | Paper |
| Discrete-continuous systems. An algorithmic aspect. | 1999-05-30 | Paper |
| Achilles and the tortoise climbing up the arithmetical hierarchy | 1999-04-26 | Paper |
| On syntactic congruences for \(\omega\)-languages | 1998-07-22 | Paper |
| Reachability analysis of dynamical systems having piecewise-constant derivatives | 1997-09-29 | Paper |
| A decomposition theorem for probabilistic transition systems | 1997-02-28 | Paper |
| On the effects of noise and speed on computations | 1995-10-09 | Paper |
| On the learnability of infinitary regular sets | 1995-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4299865 | 1995-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281534 | 1994-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281561 | 1994-03-10 | Paper |
