The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Peter Csaba Ölveczky: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Csaba Ölveczky, Olav Lysne
    Order-Sorted Termination: The Unsorted Way. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:92-106 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]

  21. The Priced-Timed Maude Tool. [Citation Graph (, )][DBLP]


  22. Formal Real-Time Model Transformations in MOMENT2. [Citation Graph (, )][DBLP]


  23. Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. [Citation Graph (, )][DBLP]


  24. Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. [Citation Graph (, )][DBLP]


  25. Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. [Citation Graph (, )][DBLP]


  26. Formal Modeling and Analysis of an IETF Multicast Protocol. [Citation Graph (, )][DBLP]


  27. Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. [Citation Graph (, )][DBLP]


  28. The Real-Time Maude Tool. [Citation Graph (, )][DBLP]


  29. Teaching Formal Methods Based on Rewriting Logic and Maude. [Citation Graph (, )][DBLP]


  30. Some Tools. [Citation Graph (, )][DBLP]


  31. A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002