146 citations
- Carnegie Mellon UniversityUS3 papers
- The University of Texas at AustinUS3 papers
- Data61AU2 papers
- Georgia Institute of TechnologyUS2 papers
- National Chung Hsing UniversityTW2 papers
- Stanford UniversityUS2 papers
- The University of MelbourneAU2 papers
- University of California San DiegoUS2 papers
- Advanced Micro Devices (United States)US1 paper
- ARC Centre of Excellence for All-sky AstrophysicsAU1 paper
- ARC Centre of Excellence for Gravitational Wave DiscoveryAU1 paper
- Astronomy and SpaceAU1 paper
Showing 2010Show all
2 papers · 1 filter
cs.LO2010
A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction
Niklas Een, Alan Mishchenko, Nina Amla
This paper presents an efficient, combined formulation of two widely used abstraction methods for bit-level verification: counterexample-based abstraction (CBA) and proof-based abs…
cs.FL2010
Fault Diagnosis with Dynamic Observers
Franck Cassez, Stavros Tripakis
In this paper, we review some recent results about the use of dynamic observers for fault diagnosis of discrete event systems. Fault diagnosis consists in synthesizing a diagnoser…