Specification of Real-Time and Hybrid Systems in Rewriting Logic (1999)

Cached

Download Links

by Peter Csaba Olveczky , Peter Csaba , José Meseguer
Citations:33 - 17 self

Documents Related by Co-Citation

472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
142 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
170 Maude: Specification and Programming in Rewriting Logic – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 2001
135 A logical theory of concurrent objects and its realization in the Maude language – J Meseguer - 1993
13 Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems – Peter Csaba Ölveczky, José Meseguer, Peter Csaba - 2000
10 Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic – Peter Csaba Ölveczky - 2000
1975 A theory of timed automata – Rajeev Alur - 1999
209 Kronos: A Verification Tool for Real-time Systems – S Yovine - 1997
184 Logics and Models of Real Time: A Survey – Rajeev Alur, Thomas A. Henzinger
356 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
31 Research Directions in Rewriting Logic – José Meseguer - 1998
23 Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude – Peter Csaba Ölveczky, Mark Keaton, Peter Csaba, José Meseguer, Carolyn Talcott, Steve Zabele - 2001
491 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
50 Scalable Fair Reliable Multicast Using Active Services – Sneha K. Kasera, Supratik Bhattacharyya, Mark Keaton, Diane Kiwior, Jim Kurose, Don Towsley, Steve Zabele - 2000
25 Semantics and pragmatics of Real-Time Maude – P C Ölveczky, J Meseguer - 2007
51 The Maude LTL Model Checker – Steven Eker, José Meseguer, Ambarish Sridharanarayanan - 2002
35 Generalized Rewrite Theories – Roberto Bruni, Jose Meseguer - 2003
58 Model-checking continuous-time Markov chains – A Aziz, K Sanwal, V Singhal, R Brayton - 2000
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996