Peter Csaba Ölveczky

2009
25	EE	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	EE	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	EE	Peter Csaba Ölveczky: Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. SNPD 2008: 241-248
22	EE	Peter Csaba Ölveczky, José Meseguer: The Real-Time Maude Tool. TACAS 2008: 332-336
2007
21	EE	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	EE	Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
19	EE	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	EE	Peter Csaba Ölveczky, Martin Grimeland: Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. IPDPS 2007: 1-8
17	EE	Peter Csaba Ölveczky, José Meseguer: Recent Advances in Real-Time Maude. Electr. Notes Theor. Comput. Sci. 174(1): 65-81 (2007)
16	EE	Peter Csaba Ölveczky, José Meseguer: Abstraction and Completeness for Real-Time Maude. Electr. Notes Theor. Comput. Sci. 176(4): 5-27 (2007)
15	EE	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	EE	Peter Csaba Ölveczky, Marco Caccamo: Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. FASE 2006: 357-372
13	EE	Peter Csaba Ölveczky, Stian Thorvaldsen: Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude. IPDPS 2006
12	EE	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	EE	Peter Csaba Ölveczky, José Meseguer: Real-Time Maude 2.1. Electr. Notes Theor. Comput. Sci. 117: 285-314 (2005)
2004
10	EE	Peter Csaba Ölveczky, José Meseguer: Specification and Analysis of Real-Time Systems Using Real-Time Maude. FASE 2004: 354-358
2002
9	EE	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	EE	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	EE	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	EE	Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky: Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets 2001: 250-303
5	EE	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	EE	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	EE	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	Christiano Braga (Christiano de O. Braga)	[21]
2	Marco Caccamo	[14]
3	Manuel Clavel	[20] [21]
4	Francisco Durán	[20] [21]
5	Steven Eker	[21]
6	Azadeh Farzan	[21]
7	Martin Grimeland	[18]
8	Joe Hendrix	[20] [21]
9	Mark Keaton	[7]
10	Piotr Kosiuczenko	[1]
11	Patrick Lincoln	[21]
12	Xue Liu	[24]
13	Salvador Lucas	[20]
14	Olav Lysne	[3]
15	Narciso Martí-Oliet	[21]
16	José Meseguer	[2] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15] [16] [17] [20] [21] [22]
17	Miguel Palomino	[21]
18	Pavithra Prabhakar	[24]
19	Ralf Sasse	[21]
20	Mark-Oliver Stehr	[5] [6] [9] [21]
21	Carolyn L. Talcott	[7] [9] [12] [21]
22	Stian Thorvaldsen	[13] [19] [25]
23	Alberto Verdejo	[21]
24	Martin Wirsing	[1]
25	Steve Zabele	[7]

Colors in the list of coauthors