Peter Csaba Ölveczky

	2009
29		Leon Bendiksen, Peter Csaba Ölveczky: The Priced-Timed Maude Tool. CALCO 2009: 443-448
28		Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis: Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736
27		Peter Csaba Ölveczky: Teaching Formal Methods Based on Rewriting Logic and Maude. TFM 2009: 20-38
26		Francisco Durán, Peter Csaba Ölveczky: A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. Electr. Notes Theor. Comput. Sci. 238(3): 83-102 (2009)
25		Peter Csaba Ölveczky, Stian Thorvaldsen: Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. Theor. Comput. Sci. 410(2-3): 254-280 (2009)
	2008
24		Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu: Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. IPDPS 2008: 1-8
23		Peter Csaba Ölveczky: Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. SNPD 2008: 241-248
22		Peter Csaba Ölveczky, José Meseguer: The Real-Time Maude Tool. TACAS 2008: 332-336
	2007
21		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo: Some Tools. All About Maude 2007: 667-693
20		Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
19		Peter Csaba Ölveczky, Stian Thorvaldsen: Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. FMOODS 2007: 122-140
18		Peter Csaba Ölveczky, Martin Grimeland: Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. IPDPS 2007: 1-8
17		Peter Csaba Ölveczky, José Meseguer: Recent Advances in Real-Time Maude. Electr. Notes Theor. Comput. Sci. 174(1): 65-81 (2007)
16		Peter Csaba Ölveczky, José Meseguer: Abstraction and Completeness for Real-Time Maude. Electr. Notes Theor. Comput. Sci. 176(4): 5-27 (2007)
15		Peter Csaba Ölveczky, José Meseguer: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2): 161-196 (2007)
	2006
14		Peter Csaba Ölveczky, Marco Caccamo: Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. FASE 2006: 357-372
13		Peter Csaba Ölveczky, Stian Thorvaldsen: Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude. IPDPS 2006
12		Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott: Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. Formal Methods in System Design 29(3): 253-293 (2006)
	2005
11		Peter Csaba Ölveczky, José Meseguer: Real-Time Maude 2.1. Electr. Notes Theor. Comput. Sci. 117: 285-314 (2005)
	2004
10		Peter Csaba Ölveczky, José Meseguer: Specification and Analysis of Real-Time Systems Using Real-Time Maude. FASE 2004: 354-358
	2002
9		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. DANCE 2002: 494-510
8		Peter Csaba Ölveczky, José Meseguer: Specification of real-time and hybrid systems in rewriting logic. Theor. Comput. Sci. 285(2): 359-405 (2002)
	2001
7		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. FASE 2001: 333-348
6		Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky: Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets 2001: 250-303
5		Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky: Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
	2000
4		Peter Csaba Ölveczky, José Meseguer: Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. Electr. Notes Theor. Comput. Sci. 36: (2000)
	1996
3		Peter Csaba Ölveczky, Olav Lysne: Order-Sorted Termination: The Unsorted Way. ALP 1996: 92-106
2		Peter Csaba Ölveczky, José Meseguer: Specifying real-time systems in rewriting logic. Electr. Notes Theor. Comput. Sci. 4: (1996)
	1995
1		Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing: An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal Methods for Industrial Applications 1995: 379-402

Coauthor Index

1	Kyungmin Bae	[28]
2	Leon Bendiksen	[29]
3	Christiano Braga (Christiano de O. Braga)	[21]
4	Marco Caccamo	[14]
5	Manuel Clavel	[20] [21]
6	Francisco Durán	[20] [21] [26]
7	Steven Eker	[21]
8	Azadeh Farzan	[21]
9	Thomas Huining Feng	[28]
10	Martin Grimeland	[18]
11	Joe Hendrix	[20] [21]
12	Mark Keaton	[7]
13	Piotr Kosiuczenko	[1]
14	Patrick Lincoln	[21]
15	Xue Liu	[24]
16	Salvador Lucas	[20]
17	Olav Lysne	[3]
18	Narciso Martí-Oliet	[21]
19	José Meseguer	[2] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15] [16] [17] [20] [21] [22]
20	Miguel Palomino	[21]
21	Pavithra Prabhakar	[24]
22	Ralf Sasse	[21]
23	Mark-Oliver Stehr	[5] [6] [9] [21]
24	Carolyn L. Talcott	[7] [9] [12] [21]
25	Stian Thorvaldsen	[13] [19] [25]
26	Stavros Tripakis	[28]
27	Alberto Verdejo	[21]
28	Martin Wirsing	[1]
29	Steve Zabele	[7]

Colors in the list of coauthors