| Publication | Date of Publication | Type |
|---|
| HyperMonitor: a Python prototype for hyper predictive runtime verification | 2024-10-23 | Paper |
| Incrementally predictive runtime verification | 2023-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013882 | 2021-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995365 | 2021-06-24 | Paper |
| Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker | 2021-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986507 | 2021-04-27 | Paper |
| Data Tracking in Parameterized Systems | 2021-04-07 | Paper |
| On the Decidability Status of Reachability and Coverability in Graph Transformation Systems | 2020-05-27 | Paper |
| Parameterised verification of publish/subscribe networks with exception handling | 2019-10-22 | Paper |
| Logic-based Verification of the Distributed Dining Philosophers Protocol | 2018-10-02 | Paper |
| Reachability predicates for graph assertions | 2018-03-26 | Paper |
| An abstract machine for asynchronous programs with closures and priority queues | 2017-12-20 | Paper |
| Adding Data Registers to Parameterized Networks with Broadcast | 2017-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2957507 | 2017-01-26 | Paper |
| Parameterized verification of time-sensitive models of ad hoc network protocols | 2015-12-15 | Paper |
| Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations | 2015-10-28 | Paper |
| Push-Down Automata with Gap-Order Constraints | 2015-09-30 | Paper |
| Deciding Reachability in Mobile Ambients with Name Restriction | 2015-03-19 | Paper |
| Validating XML document adaptations via hedge automata transformations | 2014-12-02 | Paper |
| Parameterized Verification and Model Checking for Distributed Broadcast Protocols | 2014-09-26 | Paper |
| Parameterized Verification of Broadcast Networks of Register Automata | 2014-07-07 | Paper |
| On Reachability and Spatial Reachability in Fragments of BioAmbients | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847412 | 2013-09-09 | Paper |
| On the Relations between Disjunctive and Linear Logic Programming | 2013-05-24 | Paper |
| Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks | 2013-03-18 | Paper |
| On the coverability and reachability languages of monotonic extensions of Petri nets | 2013-02-19 | Paper |
| Reachability problems in BioAmbients | 2012-05-30 | Paper |
| On the Verification of Timed Ad Hoc Networks | 2011-10-07 | Paper |
| A classification of the expressive power of well-structured transition systems | 2011-07-27 | Paper |
| AUTOMATIC VERIFICATION OF DIRECTORY-BASED CONSISTENCY PROTOCOLS WITH GRAPH CONSTRAINTS | 2011-07-14 | Paper |
| On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks | 2011-05-19 | Paper |
| On the verification of membrane systems with dynamic structure | 2010-11-30 | Paper |
| Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification | 2010-08-31 | Paper |
| Parameterized Verification of Ad Hoc Networks | 2010-08-31 | Paper |
| Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming | 2010-07-20 | Paper |
| Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data | 2010-05-26 | Paper |
| Approximated parameterized verification of infinite-state processes with global conditions | 2009-11-23 | Paper |
| MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS | 2009-11-19 | Paper |
| Automatic Verification of Directory-Based Consistency Protocols | 2009-11-19 | Paper |
| On the Qualitative Analysis of Conformon P Systems | 2009-07-28 | Paper |
| A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations | 2009-04-02 | Paper |
| Comparing the Expressive Power of Well-Structured Transition Systems | 2009-03-05 | Paper |
| Monotonic Abstraction in Action | 2009-01-27 | Paper |
| A Biologically Inspired Model with Fusion and Clonation of Membranes | 2008-12-02 | Paper |
| Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting | 2008-09-11 | Paper |
| Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols | 2008-09-04 | Paper |
| Reachability analysis of fragments of mobile ambients in AC term rewriting | 2008-08-21 | Paper |
| Handling Parameterized Systems with Non-atomic Global Conditions | 2008-04-04 | Paper |
| On the Dynamics of PB Systems with Volatile Membranes | 2008-03-28 | Paper |
| Parameterized Verification of Infinite-State Processes with Global Conditions | 2007-11-29 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) | 2007-09-03 | Paper |
| Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols | 2007-08-24 | Paper |
| Constraint-based automatic verification of abstract models of multithreaded programs | 2007-03-23 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| SAT-Based Analysis of Cellular Automata | 2005-08-17 | Paper |
| Model checking linear logic specifications | 2005-04-15 | Paper |
| Constraint-based verification of parameterized cache coherence protocols | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808809 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737126 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475639 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472236 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472240 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473980 | 2004-08-04 | Paper |
| An effective fixpoint semantics for linear logic programs | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804903 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551160 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769606 | 2002-02-05 | Paper |
| Constraint-based deductive model checking | 2002-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763695 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763635 | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754073 | 2001-11-11 | Paper |
| Proofs as computations in linear logic | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518906 | 2000-12-03 | Paper |
| Object calculi in linear logic | 2000-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939270 | 2000-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945217 | 2000-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223026 | 1999-01-10 | Paper |
