| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5884964 | 2023-03-24 | Paper |
| Parametric verification: an introduction | 2021-06-14 | Paper |
| Multi-valued Verification of Strategic Ability | 2021-05-20 | Paper |
| Towards Partial Order Reductions for Strategic Ability | 2020-09-14 | Paper |
| Timed ATL: Forget Memory, Just Count | 2019-10-11 | Paper |
| Applying Modern SAT-solvers to Solving Hard Problems | 2019-05-24 | Paper |
| SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME | 2019-02-08 | Paper |
| Model checking temporal properties of reaction systems | 2018-05-16 | Paper |
| Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations | 2018-01-19 | Paper |
| Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing* | 2017-11-09 | Paper |
| SMT-Based Abstract Parametric Temporal Planning | 2017-06-20 | Paper |
| Towards Quantitative Verification of Reaction Systems | 2016-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5500852 | 2015-08-10 | Paper |
| SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework | 2015-06-26 | Paper |
| Parameter Synthesis for Timed Kripke Structures | 2014-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5418256 | 2014-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848072 | 2013-09-25 | Paper |
| Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets | 2013-09-17 | Paper |
| Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios | 2013-01-14 | Paper |
| Specification and Verification of Multi-Agent Systems | 2012-11-01 | Paper |
| Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems | 2012-10-29 | Paper |
| Symbolic Model Checking for Temporal-Epistemic Logic | 2012-07-23 | Paper |
| Bounded Model Checking for Parametric Timed Automata | 2012-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3225705 | 2012-03-22 | Paper |
| BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets | 2011-11-10 | Paper |
| Towards Bounded Model Checking for the Universal Fragment of TCTL | 2011-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081898 | 2011-03-09 | Paper |
| Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems | 2011-03-09 | Paper |
| Bounded Parametric Model Checking for Elementary Net Systems | 2011-01-08 | Paper |
| SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets | 2011-01-08 | Paper |
| Parametric Model Checking with VerICS | 2011-01-08 | Paper |
| Towards Checking Parametric Reachability for UML State Machines | 2010-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192933 | 2009-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192937 | 2009-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5192940 | 2009-08-10 | Paper |
| Bounded model checking for knowledge and real time | 2009-07-09 | Paper |
| Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic | 2009-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5506377 | 2009-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5506380 | 2009-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5506384 | 2009-01-28 | Paper |
| Is Your Security Protocol on Time ? | 2008-07-01 | Paper |
| SAT-Based Verification of Security Protocols Via Translation to Networks of Automata | 2007-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422283 | 2007-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422284 | 2007-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422290 | 2007-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5486061 | 2006-09-06 | Paper |
| Advances in verification of time Petri nets and timed automata. A temporal logic approach. | 2006-06-13 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-01-10 | Paper |
| Applications and Theory of Petri Nets 2004 | 2005-12-23 | Paper |
| A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818743 | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818749 | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737366 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738151 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461756 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461758 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461759 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4450445 | 2004-02-15 | Paper |
| Temporal approach to causal knowledge | 2004-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417931 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484490 | 2003-06-12 | Paper |
| A partial order approach to branching time logic model checking. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3146278 | 2002-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3146274 | 2002-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536747 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535185 | 2002-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729695 | 2001-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499210 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518436 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4507826 | 2000-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268475 | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353629 | 1997-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4864475 | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281547 | 1994-03-10 | Paper |
| TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION | 1994-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694252 | 1993-06-29 | Paper |
| On undecidability of propositional temporal logics on trace systems | 1993-01-16 | Paper |
| Inevitability in diamond processes | 1990-01-01 | Paper |
| Concurrent systems and inevitability | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832541 | 1988-01-01 | Paper |
