| Publication | Date of Publication | Type |
|---|
Synthesizing coalitions for multi-agent games
Lecture Notes in Computer Science | 2022-11-04 | Paper |
A temporal logic for real-time partial-ordering with named transactions
LATIN '95: Theoretical Informatics | 2022-08-16 | Paper |
| Rapid recovery for systems with scarce faults | 2021-04-27 | Paper |
Rapid recovery for systems with scarce faults
(available as arXiv preprint) | 2021-04-27 | Paper |
Efficient and user-friendly verification
IEEE Transactions on Computers | 2018-07-09 | Paper |
Model-checking iterated games
Acta Informatica | 2017-10-26 | Paper |
Complexity of node coverage games
Theoretical Computer Science | 2015-05-18 | Paper |
Model-checking iterated games
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Efficient model-checking of dense-time systems with time-convexity analysis
Theoretical Computer Science | 2013-02-19 | Paper |
Efficient verification of distributed real-time systems with broadcasting behaviors
Real-Time Systems | 2012-01-26 | Paper |
A Temporal Logic for the Interaction of Strategies
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Numerical coverage estimation for the symbolic simulation of real-time systems
Lecture Notes in Computer Science | 2010-05-26 | Paper |
Timing parameter characterization of real-time systems
Implementation and Application of Automata | 2010-05-07 | Paper |
TCTL inevitability analysis of dense-time systems
Implementation and Application of Automata | 2010-05-07 | Paper |
LTL model checking for recursive programs
Automated Technology for Verification and Analysis | 2009-12-01 | Paper |
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Symbolic Simulation-Checking of Dense-Time Automata
Lecture Notes in Computer Science | 2008-07-03 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis
International Journal of Foundations of Computer Science | 2005-02-28 | Paper |
Reachability solution characterization of parametric real-time systems
Theoretical Computer Science | 2005-01-11 | Paper |
| scientific article; zbMATH DE number 1953031 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1832228 (Why is no real title available?) | 2002-11-19 | Paper |
| scientific article; zbMATH DE number 1629960 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1487480 (Why is no real title available?) | 2001-02-19 | Paper |
| scientific article; zbMATH DE number 1418461 (Why is no real title available?) | 2000-03-19 | Paper |
A temporal logic for real-time partial ordering with named transactions
Theoretical Computer Science | 1998-07-22 | Paper |
Parametric timing analysis for real-time systems
Information and Computation | 1997-10-13 | Paper |
