| Publication | Date of Publication | Type |
|---|
Reactivity and grammars: an exploration
Lecture Notes in Computer Science | 2015-02-10 | Paper |
| CTL\(^*\) model checking on a shared-memory architecture | 2013-09-25 | Paper |
| Effective state exploration for model checking on a shared memory architecture | 2013-08-16 | Paper |
Quantified event automata: towards expressive and efficient runtime monitors
FM 2012: Formal Methods | 2012-11-08 | Paper |
| Modelling evolvable systems: a temporal logic view | 2011-06-21 | Paper |
| Network modalities: an exploration paper | 2011-05-18 | Paper |
Modal and temporal argumentation networks
Time for Verification | 2010-09-07 | Paper |
Rule systems for run-time monitoring: from EAGLE to RULER
Journal Of Logic And Computation | 2010-06-17 | Paper |
Modelling evolvable component systems. I: A logical framework
Logic Journal of the IGPL | 2009-12-18 | Paper |
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
Lecture Notes in Computer Science | 2009-08-20 | Paper |
A Grammatical Representation of Visibly Pushdown Languages
Logic, Language, Information and Computation | 2009-03-10 | Paper |
Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
Formal Methods in System Design | 2008-07-30 | Paper |
CTL model checking on a shared-memory architecture
Formal Methods in System Design | 2006-10-24 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Practical CTL* model checking: Should SPIN be extended?
International Journal on Software Tools for Technology Transfer. STTT | 2000-01-01 | Paper |
| scientific article; zbMATH DE number 1069493 (Why is no real title available?) | 1997-10-01 | Paper |
| scientific article; zbMATH DE number 139816 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 65739 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4081518 (Why is no real title available?) | 1987-01-01 | Paper |
Up and Down The Temporal Way
The Computer Journal | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4119598 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3956416 (Why is no real title available?) | 1986-01-01 | Paper |
A Proof System for Ada Tasks
The Computer Journal | 1986-01-01 | Paper |
A survey of verification techniques for parallel programs
Lecture Notes in Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3902010 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3772916 (Why is no real title available?) | 1982-01-01 | Paper |
