| Publication | Date of Publication | Type |
|---|
Verification Modulo theories
Formal Methods in System Design | 2023-10-30 | Paper |
A Markovian model for the spread of the SARS-CoV-2 virus
Automatica | 2023-06-30 | Paper |
| Optimization modulo non-linear arithmetic via incremental linearization | 2022-03-24 | Paper |
Certifying proofs for SAT-based model checking
Formal Methods in System Design | 2021-12-08 | Paper |
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
Information and Computation | 2020-05-26 | Paper |
A new method for testing decision procedures in modal logics
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions
ACM Transactions on Computational Logic | 2018-10-24 | Paper |
| Experimenting on solving nonlinear integer arithmetic with incremental linearization | 2018-08-10 | Paper |
Satisfiability modulo transcendental functions via incremental linearization
(available as arXiv preprint) | 2017-09-22 | Paper |
Dynamic controllability via timed game automata
Acta Informatica | 2016-10-21 | Paper |
Formal Verification of Infinite-State BIP Models
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
HRELTL: a temporal logic for hybrid systems
Information and Computation | 2015-12-07 | Paper |
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
Artificial Intelligence | 2015-11-18 | Paper |
Solving strong controllability of temporal problems with uncertainty using SMT
Constraints | 2015-04-29 | Paper |
| Requirements-driven verification of web services | 2013-09-11 | Paper |
Software model checking with explicit scheduler and symbolic threads
Logical Methods in Computer Science | 2012-08-15 | Paper |
Boosting Lazy Abstraction for SystemC with Partial Order Reduction
Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
From sequential extended regular expressions to NFA with symbolic labels
Implementation and Application of Automata | 2011-02-11 | Paper |
Requirements Validation for Hybrid Systems
Computer Aided Verification | 2009-06-30 | Paper |
SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA
International Journal of Foundations of Computer Science | 2008-05-20 | Paper |
Diagnostic Information for Realizability
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Boolean Abstraction for Temporal Logic Satisfiability
Computer Aided Verification | 2007-11-29 | Paper |
Strong planning under partial observability
Artificial Intelligence | 2007-10-23 | Paper |
Symbolic Implementation of Alternating Automata
Implementation and Application of Automata | 2007-09-06 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence | 2006-02-07 | Paper |
Conformant planning via symbolic model checking and heuristic search
Artificial Intelligence | 2006-02-07 | Paper |
| scientific article; zbMATH DE number 2102731 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2086516 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086590 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1903365 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1701767 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1560498 (Why is no real title available?) | 2001-06-04 | Paper |
NuSMV: A new symbolic model checker
International Journal on Software Tools for Technology Transfer. STTT | 2000-01-01 | Paper |
