| The VMT-LIB Language and Tools. | 0 | 0.34 | 2022 |
| A first-order logic characterisation of safety and co-safety languages | 0 | 0.34 | 2022 |
| Diagnosability of fair transition systems | 0 | 0.34 | 2022 |
| Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures | 0 | 0.34 | 2022 |
| Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL plus FP Synthesis | 0 | 0.34 | 2021 |
| Universal Invariant Checking Of Parametric Systems With Quantifier-Free Smt Reasoning | 0 | 0.34 | 2021 |
| Optimization Modulo Non-linear Arithmetic via Incremental Linearization | 0 | 0.34 | 2021 |
| Model-based Safety Assessment of a Triple Modular Generator with xSAP | 0 | 0.34 | 2021 |
| Assumption-Based Runtime Verification of Infinite-State Systems | 0 | 0.34 | 2021 |
| Proving the Existence of Fair Paths in Infinite-State Systems. | 0 | 0.34 | 2021 |
| Temporal Planning With Intermediate Conditions And Effects | 0 | 0.34 | 2020 |
| Reactive Synthesis from Extended Bounded Response LTL Specifications | 0 | 0.34 | 2020 |
| Synthesis of P-Stable Abstractions. | 0 | 0.34 | 2020 |
| SMT-based satisfiability of first-order LTL with event freezing functions and metric operators | 1 | 0.35 | 2020 |
| Robustness Envelopes for Temporal Plans | 0 | 0.34 | 2019 |
| Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions | 0 | 0.34 | 2018 |
| Invariant Checking Of Nra Transition Systems Via Incremental Reduction To Lra With Euf | 6 | 0.46 | 2018 |
| Satisfiability Modulo Transcendental Functions via Incremental Linearization. | 6 | 0.44 | 2018 |
| Formal Specification and Verification of Dynamic Parametrized Architectures. | 0 | 0.34 | 2018 |
| Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. | 0 | 0.34 | 2017 |
| Verilog2smv: A Tool For Word-Level Verification | 0 | 0.34 | 2016 |
| Automated Synthesis of Timed Failure Propagation Graphs. | 2 | 0.40 | 2016 |
| From Electrical Switched Networks to Hybrid Automata. | 3 | 0.39 | 2016 |
| An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty | 5 | 0.44 | 2015 |
| The xSAP Safety Analysis Platform. | 16 | 0.77 | 2015 |
| Strong Temporal Planning With Uncontrollable Durations: A State-Space Approach | 8 | 0.53 | 2015 |
| Safety assessment of AltaRica models via symbolic model checking. | 7 | 0.52 | 2015 |
| Contracts-refinement proof system for component-based embedded systems. | 19 | 0.76 | 2015 |
| Smt-Based Validation Of Timed Failure Propagation Graphs | 6 | 0.55 | 2015 |
| Parameter Synthesis with IC3 (Informal Presentation). | 0 | 0.34 | 2015 |
| Comparing Different Functional Allocations in Automated Air Traffic Control Design. | 2 | 0.39 | 2015 |
| Formal Design And Safety Analysis Of Air6110 Wheel Brake System | 15 | 0.72 | 2015 |
| Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic. | 3 | 0.43 | 2015 |
| Solving strong controllability of temporal problems with uncertainty using SMT | 17 | 0.70 | 2015 |
| Efficient Anytime Techniques For Model-Based Safety Analysis | 9 | 0.56 | 2015 |
| Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. | 7 | 0.51 | 2014 |
| An Integrated Process for FDIR Design in Aerospace. | 6 | 0.60 | 2014 |
| Non-deterministic policies in Markovian decision processes | 6 | 0.62 | 2014 |
| IC3 Modulo Theories via Implicit Predicate Abstraction. | 34 | 1.02 | 2014 |
| The nuXmv Symbolic Model Checker. | 34 | 1.42 | 2014 |
| Computing small unsatisfiable cores in satisfiability modulo theories | 18 | 0.77 | 2014 |
| Automated Planning and Model Checking (Dagstuhl Seminar 14482). | 0 | 0.34 | 2014 |
| Spacecraft early design validation using formal methods. | 2 | 0.42 | 2014 |
| A modular approach to MaxSAT modulo theories | 17 | 0.70 | 2013 |
| Efficient Analysis of Reliability Architectures via Predicate Abstraction. | 2 | 0.37 | 2013 |
| SMT-based scenario verification for hybrid systems | 14 | 0.66 | 2013 |
| Automated Analysis of Reliability Architectures | 2 | 0.39 | 2013 |
| Time-aware relational abstractions for hybrid systems | 11 | 0.49 | 2013 |
| A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. | 1 | 0.38 | 2013 |
| Symbolic Synthesis of Observability Requirements for Diagnosability. | 4 | 0.46 | 2012 |
