Peter Csaba Ölveczky's selected publications

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Please also see the Real-Time Maude home page for information about the Real-Time Maude tool and comments about the papers, etc.

  1. The Real-Time Maude Tool.
    By Peter Csaba Ölveczky and José Meseguer.
    In Proc. TACAS 2008, volume 4963 of Springer's Lecture Notes in Computer Science, 2008.

  2. Formal Modeling and Analysis of Real-Time Resource-Sharing Protocols in Real-Time Maude.
    By Peter Csaba Ölveczky, Pavithra Prabhakar, and Xue Liu.
    In Proc. IPDPS 2008, IEEE Computer Society Press 2008.

  3. Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.
    By Peter Csaba Ölveczky.
    In Proc. The Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD2008), IEEE Computer Society Press 2008.

  4. Formal Modeling and Analysis of a Distributed Database Protocol in Maude.
    By Peter Csaba Ölveczky.
    In Proc. The 2008 International Symposium on Scientific and Engineering Computing (SEC 2008), IEEE Computer Society Press 2008. (SEC was held in conjunction with the 2008 IEEE 11th International Conference on Computational Science and Engineering).

  5. A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude.
    By Francisco Duran and Peter Csaba Ölveczky.
    In Proc. 7th International Workshop on Rewriting Logic and its Applications (WRLA 2008). To appear in Electronic Notes in Theoretical Computer Science.

  6. Some Tools.
    By M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. L. Talcott, C. Braga, A. Farzan, J. Hendrix, P. C. Ölveczky, M. Palomino, R. Sasse, M.-O. Stehr, A. Verdejo.
    This is Chapter 21 in the "Maude book" All About Maude, volume 4350 of Springer's Lecture Notes in Computer Science, 2007.

  7. The Maude Formal Tool Environment.
    By M. Clavel, F. Duran, J. Hendrix, S. Lucas, J. Meseguer, P. C. Ölveczky.
    In Proc. CALCO 2007, volume 4624 of Springer's Lecture Notes in Computer Science, 2007 (extern link to paper at Springerlink).

  8. Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.
    By Peter Csaba Ölveczky and Stian Thorvaldsen.
    In Proc. 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 07), volume 4468 of Springer's Lecture Notes in Computer Science, 2007

  9. Abstraction and Completeness for Real-Time Maude.
    By Peter Csaba Ölveczky and José Meseguer.
    In Proc. 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006), volume 176 of Electronic Notes in Theoretical Computer Science, 2007.

  10. Semantics and Pragmatics of Real-Time Maude.
    By Peter Csaba Ölveczky and José Meseguer.
    In volume 20 of Higher-Order and Symbolic Computation, 2007.

  11. Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.
    By Peter Csaba Ölveczky and Martin Grimeland.
    In Proc. IPDPS 2007, IEEE 2007.

  12. Recent Advances in Real-Time Maude.
    By Peter Csaba Ölveczky and José Meseguer.
    In Proceedings of the 7th International Workshop on Rule Based Programming (RULE 2006), volume 174 of Electronic Notes in Theoretical Computer Science, 2007.

  13. Formal Modeling and Analysis of Distributed Systems in Maude.
    By Peter Csaba Ölveczky.
    Course notes/book for the introductory formal methods course INF 3230 - Formal modeling and analysis of communicating systems at the Department of Informatics, University of Oslo.

  14. Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.
    By Peter Csaba Ölveczky and Marco Caccamo.
    In Proc. Fundamental Approaches to Software Engineering (FASE) 2006, volume 3922 of Springer's Lecture Notes in Computer Science, 2006.

  15. Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
    By P. C. Ölveczky, J. Meseguer, and C. L. Talcott.
    In Formal Methods in System Design, volume 29(3), 2006.

  16. Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude.
    By Peter Csaba Ölveczky and Stian Thorvaldsen.
    Invited paper at the 14th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS) 2006, held in conjunction with IPDPS 2006.
    In Proc. IPDPS 2006, IEEE.

  17. Real-Time Maude 2.3 Manual.
    By Peter Csaba Ölveczky.
    User's manual for the tool Real-Time Maude.

  18. Real-Time Maude 2.1.
    By Peter Csaba Ölveczky and José Meseguer.
    In Proceedings, Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004), Electronic Notes in Theoretical Computer Science, volume 117, Elsevier, 2005.

  19. Specification and Analysis of Real-Time Systems Using Real-Time Maude.
    By Peter Csaba Ölveczky and José Meseguer.
    In Proceedings, Fundamental Approaches to Software Engineering (FASE), Barcelona, 2004. Volume 2984 of Lecture Notes in Computer Science, Springer, 2004.

  20. Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.
    By J. Meseguer, P. C. Ölveczky, M.-O. Stehr, and C. Talcott.
    In Proceedings, DARPA Active Networks Conference and Exposition (DANCE), San Francisco, 2002. IEEE.

  21. Specification of real-time and hybrid systems in rewriting logic.
    By Peter Csaba Ölveczky and José Meseguer.
    Theoretical Computer Science, volume 285, 2002.

  22. Specifying and Analyzing Real-Time Object Systems in Real-Time Maude.
    By Peter Csaba Ölveczky and José Meseguer.
    In Proc. Workshop on Real-Time Tools, Aalborg University, Denmark, August 20, 2001.

  23. Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
    By P. C. Ölveczky, M. Keaton, J. Meseguer, C. Talcott, and S. Zabele.
    In Proc. FASE 2001, LNCS 2029.

  24. Representation and Execution of Petri Nets Using Rewriting Logic as a Uniform Framework.
    By Mark-Oliver Stehr, Jose Meseguer, and Peter C. Ölveczky.
    In Proceedings of UNIGRA'2001, Uniform Approaches to Graphical Process Specification Techniques, Electronic Notes in Theoretical Computer Science 44, Elsevier, 2001.

  25. Rewriting Logic as a Unifying Framework for Petri Nets.
    By Mark-Oliver Stehr, Jose Meseguer, and Peter C. Ölveczky.
    In the book Unifying Petri Nets , Volume 2128 of Lecture Notes in Computer Science (Advances in Petri Nets), Springer-Verlag, 2001.

  26. Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic.
    By Peter Csaba Ölveczky.
    Doctoral Thesis. University of Bergen, 2000.

  27. Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems.
    By Peter Csaba Ölveczky and José Meseguer.
    In Third International Workshop on Rewriting Logic and its Applications (WRLA00), Kanazawa Cultural Hall, Kanazawa, Japan, September 18-20, 2000. Electronic Notes in Theoretical Computer Science 36, Elsevier.

  28. Software Prototyping.
    By S. Meldal, D. J. Stearns, G. L. Fisher, and P. C. Ölveczky.
    In Wiley Encyclopedia of Electrical and Electronics Engineering. John Wiley & sons, 1999. (DOI: 10.1002/047134608X.W6950)

  29. Specification and prototyping of network protocols in rewriting logic.
    By P. C. Ölveczky and S. Meldal.
    In Proc. NIK'98 (Norwegian Informatics Conference), 1998.

  30. Specification and Analysis of a Reliable Broadcasting Protocol in Maude.
    By G. Denker, J.J. Garcia-Luna-Aveces, J. Meseguer, P.C. Ölveczky, Y Raju, B. Smith, and C. Talcott.
    In Hajek, B. and Sreenivas, R. S., editors, 37th Annual Allerton Conference on Communication, Control, and Computation, , University of Illinois, USA, September 22-24, 1999.

  31. Specifying Real-Time Systems in Rewriting Logic.
    By Peter Csaba Ölveczky and José Meseguer.
    In Proc. 1st Intl. Workshop on Rewriting Logic and its Applications, Volume 4 of Electronic Notes in Theoretical Computer Science, Elsevier Sciences, 1996.
    (Paper superseded by "Specifying Real-Time and Hybrid Systems in Rewriting Logic" above).

  32. An Object-Oriented Algebraic Steam-Boiler Control Specification.
    By P. C. Ölveczky, P. Kosiuczenko, and M. Wirsing.
    In Formal Methods for Industrial Application: Specifying and Programming the Steam-Boiler Control, LNCS 1165, 1996. (A more complete version used to be available as Technical report 9701, Institut für Informatik, Ludwig-Maximilians-Universität München, 1997.)

  33. Termination of order-sorted rewriting.
    By P. C. Ölveczky and O.Lysne.
    5th International Conference on Algebraic and Logic Programming, Aachen, Germany. LNCS 1139. 1996. (Earlier versions appeared under different titles in Proc. 5th Nordic Workshop on Programming Theory and in Proc. NIK'95.)

  34. Terminering av typeordnet omskrivning.
    By P. C. Ölveczky.
    Master's thesis, University of Oslo, 1994. (In Norwegian)