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
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
142 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
135 A logical theory of concurrent objects and its realization in the Maude language – J Meseguer - 1993
50 Scalable Fair Reliable Multicast Using Active Services – Sneha K. Kasera, Supratik Bhattacharyya, Mark Keaton, Diane Kiwior, Jim Kurose, Don Towsley, Steve Zabele - 2000
13 Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems – Peter Csaba Ölveczky, José Meseguer, Peter Csaba - 2000
356 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
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
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
31 Research Directions in Rewriting Logic – José Meseguer - 1998
51 The Maude LTL Model Checker – Steven Eker, José Meseguer, Ambarish Sridharanarayanan - 2002
209 Kronos: A Verification Tool for Real-time Systems – S Yovine - 1997
173 A tutorial on uppaal – Gerd Behrmann, Re David, Kim G. Larsen - 2004
16 Specification and analysis of real-time systems using Real-Time Maude – Peter Csaba Ölveczky, José Meseguer - 2004
9 Real-Time Maude 2.1 – P C Ölveczky - 2004
8 Formal modelling and analysis of the NORM multicast protocol using Real-Time Maude – Elisabeth Lien - 2004
34 A Reflective Module Algebra with Applications to the Maude Language – F Durán - 1999
8 A Rewriting Based Model for Probabilistic Distributed Object Systems – Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha - 2003