|
13
|
Compositional Verification of Hybrid Systems using Simulation Relations
– Goran Fedja Frehse
- 2005
|
|
|
Formal Verification of C-element Circuits
– Chao Yan, Florent Ouchet, Laurent Fesquet, Katell Morin-allory
|
|
|
Hybrid System Verification is not a Sinecure - The Electronic Throttle Control Case Study
– Ansgar Fehnker, Bruce H. Krogh
- 2004
|
|
1
|
Time domain verification of oscillator circuit properties
– Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler
- 2005
|
|
2
|
Circuit Level Verification of a High-Speed Toggle
– Chao Yan, Mark R. Greenstreet
|
|
1
|
Coho: A Verification Tool for Circuit Verification by Reachability Analysis
– Chao Yan
- 2006
|
|
8
|
Recent progress in continuous and hybrid reachability analysis
– Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, Oded Maler
- 2006
|
|
|
Reachability analysis of non-linear planar autonomous
– Hallstein A. Hansen, Gerardo Schneider, Martin Steffen
|
|
5
|
Modeling and analysis of hybrid systems
– Franjo Ivančić
- 2003
|
|
2
|
Continuity Controlled Hybrid Automata
– J. A. Bergstra, C. A. Middelburg
- 2006
|
|
4
|
Denotational semantics of hybrid automata
– Abbas Edalat, Dirk Pattinson
- 2006
|
|
23
|
Process algebra for hybrid systems
– J. A. Bergstra, C. A. Middelburg
- 2003
|
|
27
|
Benchmarks for Hybrid Systems Verification
– Ansgar Fehnker, Franjo Ivancic
- 2004
|
|
6
|
Symbolic model checking of hybrid systems using template polyhedra
– Sriram Sankaranarayanan, Thao Dang, Franjo Ivančić
- 2008
|
|
3
|
Formal Verification of an Automotive Engine Controller in Cutoff Mode
– Tiziano Villa, Howard Wong-Toi, Andrea Balluchi, Jörg Preußig, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe
- 1998
|
|
29
|
Counter-Example Guided Predicate Abstraction of Hybrid Systems
– Rajeev Alur, Thao Dang, Franjo Ivancic
- 2003
|
|
1
|
On Timed Simulation Relations for Hybrid Systems and Compositionality
– Goran Frehse
|
|
33
|
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
– Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald
- 2003
|
|
34
|
Precise Widening Operators for Convex Polyhedra
– Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
- 2003
|
