| Publication | Date of Publication | Type |
|---|
| Verification of multi-agent properties in electronic voting: a case study | 2023-03-24 | Paper |
Parametric verification: an introduction
(available as arXiv preprint) | 2021-06-14 | Paper |
Multi-valued verification of strategic ability
Fundamenta Informaticae | 2021-05-20 | Paper |
Towards partial order reductions for strategic ability
Journal of Artificial Intelligence Research | 2020-09-14 | Paper |
Timed ATL: Forget Memory, Just Count
Journal of Artificial Intelligence Research | 2019-10-11 | Paper |
Applying modern SAT-solvers to solving hard problems
Fundamenta Informaticae | 2019-05-24 | Paper |
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Model checking temporal properties of reaction systems
Information Sciences | 2018-05-16 | Paper |
Verification of linear-time temporal properties for reaction systems with discrete concentrations
Fundamenta Informaticae | 2018-01-19 | Paper |
Concrete planning in Plan\textsc{ics} framework by combining SMT with GEO and simulated annealing
Fundamenta Informaticae | 2017-11-09 | Paper |
SMT-based abstract parametric temporal planning
Transactions on Petri Nets and Other Models of Concurrency X | 2017-06-20 | Paper |
Towards quantitative verification of reaction systems
Unconventional Computation and Natural Computation | 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
Fundamenta Informaticae | 2015-06-26 | Paper |
Parameter Synthesis for Timed Kripke Structures
Fundamenta Informaticae | 2014-12-22 | Paper |
| scientific article; zbMATH DE number 6300104 (Why is no real title available?) | 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
Transactions on Petri Nets and Other Models of Concurrency VIII | 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
Lecture Notes in Computer Science | 2012-11-01 | Paper |
Towards SAT-based BMC for LTLK over interleaved interpreted systems
Fundamenta Informaticae | 2012-10-29 | Paper |
Symbolic model checking for temporal-epistemic logic
Logic Programs, Norms and Action | 2012-07-23 | Paper |
Bounded Model Checking for Parametric Timed Automata
Lecture Notes in Computer Science | 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
Fundamenta Informaticae | 2011-11-10 | Paper |
Towards Bounded Model Checking for the Universal Fragment of TCTL
Lecture Notes in Computer Science | 2011-04-08 | Paper |
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems
Fundamenta Informaticae | 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
Transactions on Petri Nets and Other Models of Concurrency IV | 2011-01-08 | Paper |
Bounded parametric model checking for elementary net systems
Transactions on Petri Nets and Other Models of Concurrency IV | 2011-01-08 | Paper |
SAT-based (parametric) reachability for a class of distributed time Petri nets
Transactions on Petri Nets and Other Models of Concurrency IV | 2011-01-08 | Paper |
Towards checking parametric reachability for UML state machines
Perspectives of Systems Informatics | 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
Artificial Intelligence | 2009-07-09 | Paper |
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
Model Checking and Artificial Intelligence | 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 ?
Lecture Notes in Computer Science | 2008-07-01 | Paper |
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata
Model Checking and Artificial Intelligence | 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 |
| scientific article; zbMATH DE number 5201490 (Why is no real title available?) | 2007-10-17 | Paper |
| scientific article; zbMATH DE number 5051652 (Why is no real title available?) | 2006-09-06 | Paper |
Advances in verification of time Petri nets and timed automata. A temporal logic approach.
Studies in Computational Intelligence | 2006-06-13 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Applications and Theory of Petri Nets 2004
Lecture Notes in Computer Science | 2005-12-23 | Paper |
A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
Synthese | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2104629 (Why is no real title available?) | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2104635 (Why is no real title available?) | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2086795 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087373 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2064229 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 2064232 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 2064231 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 2042616 (Why is no real title available?) | 2004-02-15 | Paper |
Temporal approach to causal knowledge
Logic Journal of the IGPL | 2004-01-28 | Paper |
| scientific article; zbMATH DE number 1956587 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1927565 (Why is no real title available?) | 2003-06-12 | Paper |
A partial order approach to branching time logic model checking.
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1799521 (Why is no real title available?) | 2002-10-21 | Paper |
| scientific article; zbMATH DE number 1799517 (Why is no real title available?) | 2002-09-11 | Paper |
| scientific article; zbMATH DE number 1759732 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1755150 (Why is no real title available?) | 2002-06-13 | Paper |
| Modeling agent organizations | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1497792 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1536568 (Why is no real title available?) | 2000-11-28 | Paper |
| scientific article; zbMATH DE number 1515293 (Why is no real title available?) | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1354160 (Why is no real title available?) | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 1059322 (Why is no real title available?) | 1997-09-10 | Paper |
| scientific article; zbMATH DE number 845931 (Why is no real title available?) | 1996-07-01 | Paper |
| scientific article; zbMATH DE number 512851 (Why is no real title available?) | 1994-03-10 | Paper |
TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION
International Journal of Foundations of Computer Science | 1994-01-13 | Paper |
| scientific article; zbMATH DE number 218548 (Why is no real title available?) | 1993-06-29 | Paper |
On undecidability of propositional temporal logics on trace systems
Information Processing Letters | 1993-01-16 | Paper |
Inevitability in diamond processes
RAIRO - Theoretical Informatics and Applications | 1990-01-01 | Paper |
Concurrent systems and inevitability
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4108727 (Why is no real title available?) | 1988-01-01 | Paper |
