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:55 - 19 self

Documents Related by Co-Citation

596 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
146 From Timed to Hybrid Systems – Oded Maler, Zohar Manna, Amir Pnueli
79 C.J.: Level set methods in for computation in hybrid systems – I Mitchell, Tomlin - 2000
132 Hybrid I/O Automata – Nancy Lynch, Roberto Segala, Frits Vaandrager - 1996
45 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
1975 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
356 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
2120 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
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
488 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
102 HYTECH: The next generation – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
220 Bebop: A Symbolic Model Checker for Boolean Programs – Thomas Ball, Sriram K. Rajamani - 2000
57 Series of Abstractions for Hybrid Automata – Ashish Tiwari, Gaurav Khanna - 2002
456 The Quickhull algorithm for convex hulls – C. Bradford Barber, David P. Dobkin, Hannu Huhdanpaa - 1996