| Publication | Date of Publication | Type |
|---|
| Synchronous agents, verification, and blame -- a deontic view | 2024-09-13 | Paper |
| Gray-box monitoring of hyperproperties | 2024-03-14 | Paper |
Refining privacy-aware data flow diagrams
Software Engineering and Formal Methods | 2023-05-26 | Paper |
| Runtime Verification: Passing on the Baton | 2023-04-13 | Paper |
Incorporating monitors in reactive synthesis without paying the price
(available as arXiv preprint) | 2022-06-22 | Paper |
Gray-box monitoring of hyperproperties with an application to privacy
Formal Methods in System Design | 2022-06-20 | Paper |
Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker
Texts in Theoretical Computer Science. An EATCS Series | 2022-02-21 | Paper |
| scientific article; zbMATH DE number 7445170 (Why is no real title available?) | 2021-12-14 | Paper |
scientific article; zbMATH DE number 7445170 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-14 | Paper |
Timed epistemic knowledge bases for social networks
(available as arXiv preprint) | 2021-05-04 | Paper |
A collaborative access control framework for online social networks
Journal of Logical and Algebraic Methods in Programming | 2020-07-14 | Paper |
A survey of challenges for runtime verification from advanced application domains (beyond software)
Formal Methods in System Design | 2019-11-25 | Paper |
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
Formal Methods in System Design | 2017-09-08 | Paper |
Modelling and analysis of normative documents
Journal of Logical and Algebraic Methods in Programming | 2017-08-31 | Paper |
Formalising privacy policies in social networks
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
Differential privacy: now it's getting personal
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
A framework for conflict analysis of normative texts written in controlled natural language
The Journal of Logic and Algebraic Programming | 2014-02-25 | Paper |
Automatic testing of real-time graphics systems
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
A dynamic deontic logic for complex contracts
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Reachability analysis of non-linear planar autonomous systems
Fundamentals of Software Engineering | 2012-06-29 | Paper |
Low dimensional hybrid systems -- decidable, undecidable, don't know
Information and Computation | 2012-05-24 | Paper |
Safe runtime verification of real-time properties
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Automatic Conflict Detection on Contracts
Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
$\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2009-05-15 | Paper |
Challenges in the Specification of Full Contracts
Lecture Notes in Computer Science | 2009-02-24 | Paper |
Relaxing Goodness Is Still Good
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Run-Time Monitoring of Electronic Contracts
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
Lecture Notes in Computer Science | 2008-09-11 | Paper |
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Model Checking Contracts – A Case Study
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Computation and Visualisation of Phase Portraits for Model Checking SPDIs
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
Theoretical Computer Science | 2008-03-05 | Paper |
A Formal Language for Electronic Contracts
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Algorithmic analysis of polygonal hybrid systems. I: Reachability
Theoretical Computer Science | 2007-07-16 | Paper |
| scientific article; zbMATH DE number 2147040 (Why is no real title available?) | 2005-03-18 | Paper |
| scientific article; zbMATH DE number 2085315 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1927563 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1905117 (Why is no real title available?) | 2003-05-21 | Paper |
| scientific article; zbMATH DE number 1794363 (Why is no real title available?) | 2002-09-03 | Paper |
