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 cs.FLShow all
2 papers · 1 filter
cs.FL2020★ 1 cited
Hardware/Software Co-verification Using Path-based Symbolic Execution
Rajdeep Mukherjee, Saurabh Joshi, John O'Leary +2
Conventional tools for formal hardware/software co-verification use bounded model checking techniques to construct a single monolithic propositional formula. Formulas generated in…
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…