| 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 | 2023-05-26 | Paper |
| Runtime Verification: Passing on the Baton | 2023-04-13 | Paper |
| Incorporating monitors in reactive synthesis without paying the price | 2022-06-22 | Paper |
| Gray-box monitoring of hyperproperties with an application to privacy | 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 | 2022-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384175 | 2021-12-14 | Paper |
| Timed epistemic knowledge bases for social networks | 2021-05-04 | Paper |
| A collaborative access control framework for online social networks | 2020-07-14 | Paper |
| A survey of challenges for runtime verification from advanced application domains (beyond software) | 2019-11-25 | Paper |
| Verifying data- and control-oriented properties combining static and runtime verification: theory and tools | 2017-09-08 | Paper |
| Modelling and analysis of normative documents | 2017-08-31 | Paper |
| Formalising privacy policies in social networks | 2017-07-04 | Paper |
| Differential privacy: now it's getting personal | 2016-09-29 | Paper |
| A framework for conflict analysis of normative texts written in controlled natural language | 2014-02-25 | Paper |
| Automatic Testing of Real-Time Graphics Systems | 2013-08-05 | Paper |
| A dynamic deontic logic for complex contracts | 2012-08-14 | Paper |
| Reachability Analysis of Non-linear Planar Autonomous Systems | 2012-06-29 | Paper |
| Low dimensional hybrid systems -- decidable, undecidable, don't know | 2012-05-24 | Paper |
| Safe runtime verification of real-time properties | 2009-12-01 | Paper |
| Automatic Conflict Detection on Contracts | 2009-08-20 | Paper |
| $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts | 2009-07-02 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2009-05-15 | Paper |
| Challenges in the Specification of Full Contracts | 2009-02-24 | Paper |
| Relaxing Goodness Is Still Good | 2009-01-27 | Paper |
| Run-Time Monitoring of Electronic Contracts | 2008-11-20 | Paper |
| A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems | 2008-09-11 | Paper |
| Static Analysis for State-Space Reduction of Polygonal Hybrid Systems | 2008-07-08 | Paper |
| Model Checking Contracts – A Case Study | 2008-07-03 | Paper |
| Computation and Visualisation of Phase Portraits for Model Checking SPDIs | 2008-04-11 | Paper |
| Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools | 2008-03-05 | Paper |
| A Formal Language for Electronic Contracts | 2007-11-28 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Algorithmic analysis of polygonal hybrid systems. I: Reachability | 2007-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4658726 | 2005-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736573 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484488 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806207 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552459 | 2002-09-03 | Paper |
