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:56 - 20 self

Active Bibliography

5 Modeling and analysis of hybrid systems – Franjo Ivančić - 2003
Vehicle-Vehicle Automotive OEP Problem – Franjo Ivancic, Franjo Ivancic, Franjo Ivancic - 2002
26 Hierarchical Hybrid Modeling of Embedded Systems – R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, O. Sokolsky - 2001
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
17 Predicate abstraction for reachability analysis of hybrid systems – Rajeev Alur - 2006
32 Counter-Example Guided Predicate Abstraction of Hybrid Systems – Rajeev Alur, Thao Dang, Franjo Ivancic - 2003
44 Reachability Analysis of Hybrid Systems via Predicate Abstraction – Rajeev Alur, Thao Dang, Franjo Ivancic - 2002
463 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
11 Lecture notes on hybrid systems – John Lygeros - 2004
10 Formal verification of hybrid systems – Rajeev Alur - 2011
44 The Theory of Timed I/O Automata – Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager - 2003
5 A Framework for Reasoning about Animation Systems – Eric Aaron, Dimitris Metaxas, Franjo Ivancic, Oleg Sokolsky - 2001
1 A Dynamic Logics of Dynamical Systems – André Platzer
22 Model checking C programs using F-Soft – Franjo Ivančić, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang - 2005
13 Compositional modeling and refinement for hierarchical hybrid systems – Rajeev Alur, Insup Lee, Oleg Sokolsky - 2006
30 Compositional refinement for hierarchical hybrid systems – Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky - 2001
1 Timed Automata for the Development of Real-Time Systems – Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie - 2011
4 Structure and Hierarchy in Real-Time Systems – M. Oliver Möller - 2002