| Publication | Date of Publication | Type |
|---|
| Towards the existential control of Boolean networks: a preliminary report | 2023-05-26 | Paper |
| Sequential temporary and permanent control of Boolean networks | 2022-12-22 | Paper |
| Sequential reprogramming of Boolean networks made practical | 2019-10-10 | Paper |
| Model checking with fairness assumptions using PAT | 2019-05-28 | Paper |
| GPU-accelerated steady-state computation of large probabilistic Boolean networks | 2019-03-13 | Paper |
| An Automatic Proving Approach to Parameterized Verification | 2019-02-07 | Paper |
| Fast simulation of probabilistic Boolean networks | 2018-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3131824 | 2018-01-29 | Paper |
| ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols | 2016-01-08 | Paper |
| ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks | 2016-01-08 | Paper |
| Formalizing provable anonymity in Isabelle/HOL | 2015-07-23 | Paper |
| An inductive approach to strand spaces | 2014-11-11 | Paper |
| Privacy and verifiability in voting systems: methods, developments and trends | 2014-01-29 | Paper |
| Keeping Secrets in Resource Aware Components | 2014-01-17 | Paper |
| Weak Probabilistic Anonymity | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851076 | 2013-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848414 | 2013-09-26 | Paper |
| Fast leader election in anonymous rings with bounded expected delay | 2013-04-04 | Paper |
| Probabilistic Model Checking of the PDGF Signaling Pathway | 2013-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2916038 | 2012-10-05 | Paper |
| An Algorithm for Probabilistic Alternating Simulation | 2012-06-15 | Paper |
| A novel approach for clustering sentiments in Chinese blogs based on graph similarity | 2012-02-05 | Paper |
| On Probabilistic Alternating Simulations | 2010-10-27 | Paper |
| A formal framework for quantifying voter-controlled privacy | 2009-07-24 | Paper |
| Analyzing an Electronic Cash Protocol Using Applied Pi Calculus | 2009-03-10 | Paper |
| A Framework for Automatically Checking Anonymity with μCRL | 2009-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601869 | 2009-02-12 | Paper |
| Automating Verification of Cooperation, Control, and Design in Traffic Applications | 2008-09-25 | Paper |
| Automatic Verification of Hybrid Systems with Large Discrete State Space | 2008-09-04 | Paper |
| Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space | 2008-07-03 | Paper |
| Adapting the UPPAAL Model of a Distributed Lift System | 2008-07-01 | Paper |
| Model checking a cache coherence protocol of a Java DSM implementation | 2007-02-09 | Paper |
| Cones and foci: A mechanical framework for protocol verification | 2006-11-17 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Verification of a sliding window protocol in \(\mu\) CRL and PVS | 2005-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5705140 | 2005-11-08 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Analysis of a distributed system for lifting trucks. | 2003-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417864 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412521 | 2003-07-15 | Paper |
| A formal software development approach using refinement calculus | 2001-12-16 | Paper |
