| Publication | Date of Publication | Type |
|---|
| HyperMonitor: a Python prototype for hyper predictive runtime verification | 2024-10-23 | Paper |
Incrementally predictive runtime verification
Journal Of Logic And Computation | 2023-06-15 | Paper |
| Well structured transition systems with history | 2021-12-03 | Paper |
Well structured transition systems with history
(available as arXiv preprint) | 2021-12-03 | Paper |
| Model checking Paxos in Spin | 2021-06-24 | Paper |
Model checking Paxos in Spin
(available as arXiv preprint) | 2021-06-24 | Paper |
Declarative parameterized verification of distributed protocols via the Cubicle model checker
Fundamenta Informaticae | 2021-06-04 | Paper |
| Automata-based static analysis of XML document adaptation | 2021-04-27 | Paper |
Automata-based static analysis of XML document adaptation
(available as arXiv preprint) | 2021-04-27 | Paper |
Data tracking in parameterized systems
Trustworthy Global Computing | 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
Fundamenta Informaticae | 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
Fundamenta Informaticae | 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
Theoretical Computer Science | 2015-12-15 | Paper |
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
Lecture Notes in Computer Science | 2015-10-28 | Paper |
Push-down automata with gap-order constraints
Fundamentals of Software Engineering | 2015-09-30 | Paper |
Deciding reachability in mobile ambients with name restriction
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Validating XML document adaptations via hedge automata transformations
Theoretical Computer Science | 2014-12-02 | Paper |
Parameterized verification and model checking for distributed broadcast protocols
Graph Transformation | 2014-09-26 | Paper |
Parameterized verification of broadcast networks of register automata
Lecture Notes in Computer Science | 2014-07-07 | Paper |
On reachability and spatial reachability in fragments of BioAmbients
Electronic Notes in Theoretical Computer Science | 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
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Decidability and complexity results for verification of asynchronous broadcast networks
Language and Automata Theory and Applications | 2013-03-18 | Paper |
On the coverability and reachability languages of monotonic extensions of Petri nets
Theoretical Computer Science | 2013-02-19 | Paper |
Reachability problems in BioAmbients
Theoretical Computer Science | 2012-05-30 | Paper |
On the Verification of Timed Ad Hoc Networks
Lecture Notes in Computer Science | 2011-10-07 | Paper |
A classification of the expressive power of well-structured transition systems
Information and Computation | 2011-07-27 | Paper |
Automatic verification of directory-based consistency protocols with graph constraints
International Journal of Foundations of Computer Science | 2011-07-14 | Paper |
On the power of cliques in the parameterized verification of ad hoc networks
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
On the verification of membrane systems with dynamic structure
Natural Computing | 2010-11-30 | Paper |
Parameterized verification of ad hoc networks
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Constrained monotonic abstraction: a CEGAR for parameterized verification
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Static analysis, abstract interpretation and verification in (constraint logic) programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
Language and Automata Theory and Applications | 2010-05-26 | Paper |
Approximated parameterized verification of infinite-state processes with global conditions
Formal Methods in System Design | 2009-11-23 | Paper |
MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS
International Journal of Foundations of Computer Science | 2009-11-19 | Paper |
Automatic Verification of Directory-Based Consistency Protocols
Lecture Notes in Computer Science | 2009-11-19 | Paper |
On the Qualitative Analysis of Conformon P Systems
Membrane Computing | 2009-07-28 | Paper |
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations
Language and Automata Theory and Applications | 2009-04-02 | Paper |
Comparing the Expressive Power of Well-Structured Transition Systems
Computer Science Logic | 2009-03-05 | Paper |
Monotonic Abstraction in Action
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
A Biologically Inspired Model with Fusion and Clonation of Membranes
Unconventional Computing | 2008-12-02 | Paper |
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting
Lecture Notes in Computer Science | 2008-09-11 | Paper |
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Reachability analysis of fragments of mobile ambients in AC term rewriting
Formal Aspects of Computing | 2008-08-21 | Paper |
Handling Parameterized Systems with Non-atomic Global Conditions
Lecture Notes in Computer Science | 2008-04-04 | Paper |
On the Dynamics of PB Systems with Volatile Membranes
Membrane Computing | 2008-03-28 | Paper |
Parameterized Verification of Infinite-State Processes with Global Conditions
Computer Aided Verification | 2007-11-29 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
Journal of Symbolic Computation | 2007-08-24 | Paper |
Constraint-based automatic verification of abstract models of multithreaded programs
Theory and Practice of Logic Programming | 2007-03-23 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
SAT-Based Analysis of Cellular Automata
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Model checking linear logic specifications
Theory and Practice of Logic Programming | 2005-04-15 | Paper |
Constraint-based verification of parameterized cache coherence protocols
Formal Methods in System Design | 2004-09-09 | Paper |
| scientific article; zbMATH DE number 2090117 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086592 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2084712 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2080048 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080051 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080915 (Why is no real title available?) | 2004-08-04 | Paper |
An effective fixpoint semantics for linear logic programs
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1903360 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1796141 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1701773 (Why is no real title available?) | 2002-02-05 | Paper |
Constraint-based deductive model checking
International Journal on Software Tools for Technology Transfer. STTT | 2002-01-23 | Paper |
| scientific article; zbMATH DE number 1693040 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1692895 (Why is no real title available?) | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1670768 (Why is no real title available?) | 2001-11-11 | Paper |
Proofs as computations in linear logic
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1538050 (Why is no real title available?) | 2000-12-03 | Paper |
Object calculi in linear logic
Journal Of Logic And Computation | 2000-07-27 | Paper |
| scientific article; zbMATH DE number 1406234 (Why is no real title available?) | 2000-05-28 | Paper |
| scientific article; zbMATH DE number 1424027 (Why is no real title available?) | 2000-03-23 | Paper |
| scientific article; zbMATH DE number 1231695 (Why is no real title available?) | 1999-01-10 | Paper |
