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

Documents Related by Co-Citation

593 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 Level set methods for computation in hybrid systems – I Mitchell, C Tomlin
132 Hybrid I/O Automata – Nancy Lynch, Roberto Segala, Frits Vaandrager - 1996
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
1964 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
231 The Tool KRONOS – C. Daws, A. Olivero, S. Tripakis, S. Yovine - 1996
354 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
2115 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
487 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
244 A Framework for Comparing Models of Computation – Edward A. Lee, Alberto Sangiovanni-vincentelli - 1998
218 Bebop: A Symbolic Model Checker for Boolean Programs – Thomas Ball, Sriram K. Rajamani - 2000
101 HYTECH: The next generation – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
57 Series of Abstractions for Hybrid Automata – Ashish Tiwari, Gaurav Khanna - 2002
452 The Quickhull algorithm for convex hulls – C. Bradford Barber, David P. Dobkin, Hannu Huhdanpaa - 1996