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:62 - 22 self

Documents Related by Co-Citation

598 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
112 Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems – Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler - 2000
147 From Timed to Hybrid Systems – Oded Maler, Zohar Manna, Amir Pnueli
79 Level set methods for computation in hybrid systems – I Mitchell, C Tomlin
99 Taming heterogeneity—the Ptolemy approach – J Eker, J W Janneck, E A Lee, J Liu, X Liu, J Ludvig, S Neuendorffer, S Sachs, Y Xiong
489 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
245 A Framework for Comparing Models of Computation – Edward A. Lee, Alberto Sangiovanni-vincentelli - 1998
44 Reachability Analysis of Hybrid Systems via Predicate Abstraction – Rajeev Alur, Thao Dang, Franjo Ivancic - 2002
32 Counter-Example Guided Predicate Abstraction of Hybrid Systems – Rajeev Alur, Thao Dang, Franjo Ivancic - 2003
1978 A theory of timed automata – Rajeev Alur - 1999
47 Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations – Alongkrit Chutinan, Bruce H. Krogh - 1999
233 The Tool KRONOS – C. Daws, A. Olivero, S. Tripakis, S. Yovine - 1996
357 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
2131 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
42 Modular specifications of hybrid systems in CHARON – Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee - 2000
134 Hybrid I/O Automata – Nancy Lynch, Roberto Segala, Frits Vaandrager - 1996
43 Heterogeneous reactive systems modeling and correct-by-construction deployment – Albert Benveniste, Luca P. Carloni, Paul Caspi - 2003
3 Reachability Analysis of Hybrid Systems using Counter-Example Guided Predicate Abstraction – Rajeev Alur, Franjo Ivancic, Thao Dang, Centre Équation - 2002
220 Bebop: A Symbolic Model Checker for Boolean Programs – Thomas Ball, Sriram K. Rajamani - 2000