|
Search the dblp DataBase
Peter Csaba Ölveczky:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Peter Csaba Ölveczky, Olav Lysne
Order-Sorted Termination: The Unsorted Way. [Citation Graph (0, 0)][DBLP] ALP, 1996, pp:92-106 [Conf]
- Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
Rewriting Logic as a Unifying Framework for Petri Nets. [Citation Graph (0, 0)][DBLP] Unifying Petri Nets, 2001, pp:250-303 [Conf]
- Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing
An Object-Oriented Algebraic Steam-Boiler Control Specification. [Citation Graph (0, 0)][DBLP] Formal Methods for Industrial Applications, 1995, pp:379-402 [Conf]
- José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. [Citation Graph (0, 0)][DBLP] DANCE, 2002, pp:494-510 [Conf]
- Peter Csaba Ölveczky, Marco Caccamo
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. [Citation Graph (0, 0)][DBLP] FASE, 2006, pp:357-372 [Conf]
- Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:333-348 [Conf]
- Peter Csaba Ölveczky, José Meseguer
Specification and Analysis of Real-Time Systems Using Real-Time Maude. [Citation Graph (0, 0)][DBLP] FASE, 2004, pp:354-358 [Conf]
- Peter Csaba Ölveczky, Stian Thorvaldsen
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude. [Citation Graph (0, 0)][DBLP] IPDPS, 2006, pp:- [Conf]
- Peter Csaba Ölveczky, José Meseguer
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
- Peter Csaba Ölveczky, José Meseguer
Real-Time Maude 2.1. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:285-314 [Journal]
- Peter Csaba Ölveczky, José Meseguer
Specifying real-time systems in rewriting logic. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
- Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
- Peter Csaba Ölveczky, José Meseguer
Recent Advances in Real-Time Maude. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:65-81 [Journal]
- Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:3, pp:253-293 [Journal]
- Peter Csaba Ölveczky, José Meseguer
Specification of real-time and hybrid systems in rewriting logic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:285, n:2, pp:359-405 [Journal]
- Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
The Maude Formal Tool Environment. [Citation Graph (0, 0)][DBLP] CALCO, 2007, pp:173-178 [Conf]
- Peter Csaba Ölveczky, Stian Thorvaldsen
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. [Citation Graph (0, 0)][DBLP] FMOODS, 2007, pp:122-140 [Conf]
- Peter Csaba Ölveczky, Martin Grimeland
Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. [Citation Graph (0, 0)][DBLP] IPDPS, 2007, pp:1-8 [Conf]
- Peter Csaba Ölveczky, José Meseguer
Abstraction and Completeness for Real-Time Maude. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:5-27 [Journal]
- Peter Csaba Ölveczky, José Meseguer
Semantics and pragmatics of Real-Time Maude. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:161-196 [Journal]
The Priced-Timed Maude Tool. [Citation Graph (, )][DBLP]
Formal Real-Time Model Transformations in MOMENT2. [Citation Graph (, )][DBLP]
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. [Citation Graph (, )][DBLP]
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. [Citation Graph (, )][DBLP]
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. [Citation Graph (, )][DBLP]
Formal Modeling and Analysis of an IETF Multicast Protocol. [Citation Graph (, )][DBLP]
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. [Citation Graph (, )][DBLP]
The Real-Time Maude Tool. [Citation Graph (, )][DBLP]
Teaching Formal Methods Based on Rewriting Logic and Maude. [Citation Graph (, )][DBLP]
Some Tools. [Citation Graph (, )][DBLP]
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.005secs
|