| 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 |
| Well structured transition systems with history | 2021-12-03 | Paper |
| Model checking Paxos in Spin | 2021-06-24 | Paper |
| Declarative parameterized verification of distributed protocols via the Cubicle model checker | 2021-06-04 | Paper |
| Automata-based static analysis of XML document adaptation | 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 |
| On the complexity of parameterized reachability in reconfigurable broadcast networks | 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 |
| A symbolic procedure for control reachability in the asynchronous \(\pi\)-calculus (extended abstract) | 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 |
| Parameterized verification of ad hoc networks | 2010-08-31 | Paper |
| Constrained monotonic abstraction: a CEGAR for parameterized verification | 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 |
