From ATP to Timed Graphs and Hybrid Systems (1993)

Cached

Download Links

by Xavier Nicollin , Joseph Sifakis , Sergio Yovine
Citations:80 - 9 self

Documents Related by Co-Citation

472 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
363 D: Model-checking for real-time systems – R Alur, C Courcoubetis, Dill
1975 A theory of timed automata – Rajeev Alur - 1999
407 D.L.: Automata For Modeling Real-Time Systems – R Alur, Dill - 1990
238 A Really Temporal Logic – Rajeev Alur, Thomas A. Henzinger - 1989
3219 Communication and Concurrency – R Milner - 1990
173 A temporal calculus of communicating systems – F Moller, C Tofts - 1990
77 An Approach to the Description and Analysis of Hybrid Systems – X. Nicollin, A. Olivero, J. Sifakis, S. Yovine
140 An overview and synthesis on timed process algebras – Xavier Nicollin, Joseph Sifakis - 1991
29 ATP: an algebra for timed processes – X Nicollin, J-L Richier, J Sifakis, J Voiron - 1990
155 Termination in Timed Process Algebra – J.C.M. Baeten, M.A. Reniers - 2000
75 Compiling Real-Time Specifications into Extended Automata – Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
67 Integration Graphs: A Class of Decidable Hybrid Systems – Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine - 1993
146 From Timed to Hybrid Systems – Oded Maler, Zohar Manna, Amir Pnueli
247 A Calculus of Durations – Z Chaochen, C Hoare, A Ravn - 1991
64 Decidability of Bisimulation Equivalences for Parallel Timer Processes – K ˘Cerāns - 1992
150 Statecharts: a visual approach to complex systems – D Harel - 1987
77 Minimization of Timed Transition Systems – Rajeev Alur, Costas Courcoubetis, N. Halbwachs, D. Dill, H. Wong-toi - 1992
211 An Old-Fashioned Recipe for Real Time – Martín Abadi, Leslie Lamport - 1993