Hierarchical Modeling and Analysis of Embedded Systems (2003)

Cached

Download Links

by Rajeev Alur , Thao Dang , Joel Esposito , Yerang Hur , Franjo Ivancic , Vijay Kumar , Insup Lee , Pradyumna Mishra , George J. Pappas , Oleg Sokolsky
Citations:47 - 17 self

Active Bibliography

5 Modeling and analysis of hybrid systems – Franjo Ivančić - 2003
7 Report on Verification of the MoBIES Vehicle-Vehicle Automotive OEP Problem – Franjo Ivancic - 2002
3 Reachability Analysis of Hybrid Systems using Counter-Example Guided Predicate Abstraction – Rajeev Alur, Franjo Ivancic, Thao Dang, Centre Équation - 2002
10 Predicate abstraction for reachability analysis of hybrid systems – Rajeev Alur - 2006
20 Hierarchical Hybrid Modeling of Embedded Systems – R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivan Cid, F. Ivancid, V. Kumar, I. Lee, G. Pappas, P. Mishra, O. Sokolsky - 2001
29 Counter-Example Guided Predicate Abstraction of Hybrid Systems – Rajeev Alur, Thao Dang, Franjo Ivancic - 2003
41 Reachability Analysis of Hybrid Systems via Predicate Abstraction – Rajeev Alur, Thao Dang, Franjo Ivancic - 2002
388 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
19 Model checking C programs using F-Soft – Franjo Ivančić, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang - 2005
6 Lecture notes on hybrid systems – John Lygeros - 2004
22 Efficient Verification of Sequential and Concurrent C Programs – Sagar Chaki, Edmund Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav - 2003
15 Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach – Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund Clarke - 2003
Timed Automata for the Development of Real-Time Systems – Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie - 2011
2 Structure and Hierarchy in Real-Time Systems – M. Oliver Möller - 2002
1 Logics of Dynamical Systems – André Platzer
1 Communication and control of distributed hybrid systems – P. Varaiya, J. Borges De Sousa - 2001
5 A Framework for Reasoning about Animation Systems – Eric Aaron, Dimitris Metaxas, Franjo Ivancic, Oleg Sokolsky - 2001
12 On the expressiveness and decidability of o-minimal hybrid systems – Thomas Brihaye, Christian Michaux
348 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001