| 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 Plan\textsc{ics} 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 |
| Web services composition -- from ontology to plan by query | 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 |
| Bounded model checking for deontic interpreted systems | 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 |
| Runtime monitoring of contract regulated web services | 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 |
| Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems | 2011-03-09 | Paper |
| Bounded parametric verification for distributed time Petri nets with discrete-time semantics | 2011-03-09 | Paper |
| Parametric model checking with VerICS | 2011-01-08 | 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 |
| Towards checking parametric reachability for UML state machines | 2010-02-02 | Paper |
| Simulation of security protocols based on scenarios of attacks | 2009-08-10 | Paper |
| Timed automata based model checking of timed security protocols | 2009-08-10 | Paper |
| A new approach to model checking of UML state machines | 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 |
| LDYIS: a framework for model checking security protocols | 2009-01-28 | Paper |
| VERICS 2007 -- a model checker for knowledgee and real-time | 2009-01-28 | Paper |
| SAT-based unbounded model checking of timed automata | 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 |
| Modelling and checking timed authentication of security protocols | 2007-10-17 | Paper |
| Verifying security protocols modelled by networks of automata | 2007-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422284 | 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/Q4461759 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461758 | 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 |
| Modeling agent organizations | 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 |
