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

by Peter Csaba Ölveczky
Citations:10 - 3 self

Documents Related by Co-Citation

33 Specification of Real-Time and Hybrid Systems in Rewriting Logic – Peter Csaba Olveczky, Peter Csaba, José Meseguer - 1999
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
13 Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems – Peter Csaba Ölveczky, José Meseguer, Peter Csaba - 2000
142 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
491 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
209 Kronos: A Verification Tool for Real-time Systems – S Yovine - 1997
1975 A theory of timed automata – Rajeev Alur - 1999
51 The Maude LTL Model Checker – Steven Eker, José Meseguer, Ambarish Sridharanarayanan - 2002
35 Generalized Rewrite Theories – Roberto Bruni, Jose Meseguer - 2003
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
16 Equational rules for rewriting logic – P Viry
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
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
50 Scalable Fair Reliable Multicast Using Active Services – Sneha K. Kasera, Supratik Bhattacharyya, Mark Keaton, Diane Kiwior, Jim Kurose, Don Towsley, Steve Zabele - 2000
30 Rewriting logic and Maude: a Wide-Spectrum Semantic Framework for Object-based Distributed Systems – J Meseguer - 2000
31 Research Directions in Rewriting Logic – José Meseguer - 1998
56 Rewriting Logic: Roadmap and Bibliography – Narciso Martí-Oliet, José Meseguer - 2001
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993