| Publication | Date of Publication | Type |
|---|
| Stack-aware hyperproperties | 2023-12-13 | Paper |
Controller synthesis made real: reach-avoid specifications and linear dynamics
Computer Aided Verification | 2023-05-26 | Paper |
Model checking indistinguishability of randomized security protocols
Computer Aided Verification | 2023-05-05 | Paper |
| Modular verification of protocol equivalence in the presence of randomness | 2022-08-25 | Paper |
Controller Synthesis for Linear System With Reach-Avoid Specifications
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
\textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
(available as arXiv preprint) | 2022-07-01 | Paper |
scientific article; zbMATH DE number 7533356 (Why is no real title available?)
(available as arXiv preprint) | 2022-05-28 | Paper |
What's decidable about program verification modulo axioms?
Tools and Algorithms for the Construction and Analysis of Systems | 2021-11-10 | Paper |
| Relating syntactic and semantic perturbations of hybrid automata | 2021-08-04 | Paper |
| Modelchecking safety properties in randomized security protocols | 2021-07-08 | Paper |
Decidable synthesis of programs with uninterpreted functions
(available as arXiv preprint) | 2021-02-09 | Paper |
The Complexity of Dynamic Data Race Prediction
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
| Complexity of model checking MDPs against LTL specifications | 2020-11-25 | Paper |
Optimal Translation of LTL to Limit Deterministic Automata
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Revisiting MITL to fix decision procedures
Lecture Notes in Computer Science | 2020-07-07 | Paper |
Statistical verification of PCTL using antithetic and stratified samples
Formal Methods in System Design | 2019-11-18 | Paper |
Extending Parikh's theorem to weighted and probabilistic context-free grammars
Quantitative Evaluation of Systems | 2019-09-17 | Paper |
| Limit deterministic and probabilistic automata for \(\mathrm{LTL}\backslash GU\) | 2019-09-17 | Paper |
| Hybridization based CEGAR for hybrid automata with affine dynamics | 2019-09-17 | Paper |
Parsimonious, Simulation Based Verification of Linear Systems
Computer Aided Verification | 2019-05-03 | Paper |
Verification of Bounded Discrete Horizon Hybrid Automata
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Stability Analysis of Switched Linear Systems Defined by Regular Languages
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Robust model checking of timed automata under clock drifts
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Statistical verification of dynamical systems using set oriented methods
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
A dynamic algorithm for approximate flow computations
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
On the decidability of stability of hybrid systems
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Pre-orders for reasoning about stability
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Hybrid automata-based CEGAR for rectangular hybrid systems
Formal Methods in System Design | 2015-10-30 | Paper |
A counterexample-guided abstraction-refinement framework for Markov decision processes
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Deciding concurrent planar monotonic linear hybrid systems
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints
Lecture Notes in Computer Science | 2015-08-06 | Paper |
A decidable class of planar linear hybrid systems
Theoretical Computer Science | 2015-02-24 | Paper |
Probabilistic Automata for Safety LTL Specifications
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Hybrid automata-based CEGAR for rectangular hybrid systems
Lecture Notes in Computer Science | 2014-11-03 | Paper |
| Conformance testing in the presence of multiple faults | 2014-10-13 | Paper |
Least upper bounds for probability measures and their applications to abstractions
Information and Computation | 2014-02-11 | Paper |
Reachability under contextual locking
Logical Methods in Computer Science | 2013-09-26 | Paper |
Probabilistic automata with isolated cut-points
Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
| Model checking concurrent programs with nondeterminism and randomization | 2012-08-29 | Paper |
Reachability under contextual locking
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Power of randomization in automata on infinite strings
Logical Methods in Computer Science | 2012-04-02 | Paper |
Specifications for decidable hybrid games
Theoretical Computer Science | 2011-12-07 | Paper |
Complexity bounds for the verification of real-time software
Lecture Notes in Computer Science | 2010-01-14 | Paper |
On Convergence of Concurrent Systems under Regular Interactions
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Query Automata for Nested Words
Mathematical Foundations of Computer Science 2009 | 2009-10-16 | Paper |
Deciding branching time properties for asynchronous programs
Theoretical Computer Science | 2009-10-09 | Paper |
STORMED Hybrid Games
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Least Upper Bounds for Probability Measures and Their Applications to Abstractions
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Propositional Tree Automata
Lecture Notes in Computer Science | 2008-09-25 | Paper |
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
A Decidable Class of Planar Linear Hybrid Systems
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
STORMED Hybrid Systems
Automata, Languages and Programming | 2008-08-19 | Paper |
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Computer Aided Verification | 2007-09-05 | Paper |
Minimization, Learning, and Conformance Testing of Boolean Programs
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Learning to verify branching time properties
Formal Methods in System Design | 2007-08-17 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
Java-MaC: A run-time assurance approach for Java programs
Formal Methods in System Design | 2004-09-09 | Paper |
| scientific article; zbMATH DE number 2043550 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 1775411 (Why is no real title available?) | 2004-01-14 | Paper |
An Approximate L1 -Difference Algorithm for Massive Data Streams
SIAM Journal on Computing | 2003-01-05 | Paper |
| scientific article; zbMATH DE number 1754638 (Why is no real title available?) | 2002-06-12 | Paper |
Spot-checkers
Journal of Computer and System Sciences | 2001-05-28 | Paper |
scientific article; zbMATH DE number 1351076 (Why is no real title available?)
Chicago Journal of Theoretical Computer Science | 1999-10-20 | Paper |
