| Publication | Date of Publication | Type |
|---|
| Efficient analysis of cyclic redundancy architectures via Boolean fault propagation | 2024-02-01 | Paper |
| Searching for ribbon-shaped paths in fair transition systems | 2024-01-23 | Paper |
| Analysis of cyclic fault propagation via ASP | 2023-04-04 | Paper |
Diagnosability of fair transition systems
Artificial Intelligence | 2022-07-08 | Paper |
Formal reliability analysis of redundancy architectures
Formal Aspects of Computing | 2019-03-13 | Paper |
Formal safety assessment via contract-based design
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
Logical Methods in Computer Science | 2015-11-05 | Paper |
The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits
Formal Aspects of Computing | 2014-11-11 | Paper |
The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits
Formal Aspects of Computing | 2014-11-11 | Paper |
| Encoding RTL constructs for \textsc{MathSAT}: a preliminary report | 2013-09-26 | Paper |
| Verifying industrial hybrid systems with \textsc{MathSAT} | 2013-09-20 | Paper |
On the relations between disjunctive and linear logic programming
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Symbolic Fault Tree Analysis for Reactive Systems
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
Model Checking and Artificial Intelligence | 2007-11-01 | Paper |
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
Journal of Symbolic Computation | 2007-08-24 | Paper |
M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
Journal of Automated Reasoning | 2007-01-24 | Paper |
Efficient theory combination via Boolean search
Information and Computation | 2006-10-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Model checking linear logic specifications
Theory and Practice of Logic Programming | 2005-04-15 | Paper |
| scientific article; zbMATH DE number 2080051 (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 1693040 (Why is no real title available?) | 2002-01-22 | Paper |
