Peter Csaba Ölveczky

	2012
47		Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem: The SynchAADL2Maude Tool. FASE 2012: 59-62
	2011
46		Peter Csaba Ölveczky: Formal Model Engineering for Embedded Systems Using Real-Time Maude AMMSE 2011: 3-13
45		Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera: Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies AMMSE 2011: 49-63
44		Lucian Bentea, Peter Csaba Ölveczky: Probabilistic Real-Time Rewrite Theories and Their Expressive Power. FORMATS 2011: 60-79
43		Peter Csaba Ölveczky: Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 368-402
42		Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer: Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM 2011: 651-667
41		Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám: Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. SEFM 2011: 415-430
40		Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám: Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. Electr. Notes Theor. Comput. Sci. 274: 17-32 (2011)
	2010
39		Peter Csaba Ölveczky: Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems RTRTS 2010
38		Peter Csaba Ölveczky: Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers Springer 2010
37		Artur Boronat, Peter Csaba Ölveczky: Formal Real-Time Model Transformations in MOMENT2. FASE 2010: 29-43
36		Peter Csaba Ölveczky, Artur Boronat, José Meseguer: Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010: 47-62
35		José Meseguer, Peter Csaba Ölveczky: Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. ICFEM 2010: 303-320
34		Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám: Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications RTRTS 2010: 117-136
33		Peter Csaba Ölveczky, José Meseguer: Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family RTRTS 2010: 137-157
32		Kyungmin Bae, Peter Csaba Ölveczky: Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models RTRTS 2010: 46-66
31		Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky: A Rewriting-Logic-Based Technique for Modeling Thermal Systems RTRTS 2010: 82-100
	2009
30		Leon Bendiksen, Peter Csaba Ölveczky: The Priced-Timed Maude Tool. CALCO 2009: 443-448
29		Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis: Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736
28		Elisabeth Lien, Peter Csaba Ölveczky: Formal Modeling and Analysis of an IETF Multicast Protocol. SEFM 2009: 273-282
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): 140-162 (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: 361-382 (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: 284-309 (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	Erika Ábrahám (Erika Ábrahám-Mumm)	[31] [34] [40] [41]
2	Abdullah Al-Nayeem	[42] [47]
3	Kyungmin Bae	[29] [32] [42] [47]
4	Leon Bendiksen	[30]
5	Lucian Bentea	[44]
6	Artur Boronat	[36] [37]
7	Christiano Braga (Christiano de O. Braga)	[21]
8	Marco Caccamo	[14]
9	Manuel Clavel	[20] [21]
10	Francisco Durán	[20] [21] [26] [45]
11	Steven Eker	[21]
12	Muhammad Fadlisyah	[31] [40] [41]
13	Azadeh Farzan	[21]
14	Thomas Huining Feng	[29]
15	Martin Grimeland	[18]
16	Joe Hendrix	[20] [21]
17	Mark Keaton	[7]
18	Piotr Kosiuczenko	[1]
19	Daniela Lepri	[31] [34]
20	Elisabeth Lien	[28]
21	Patrick Lincoln	[21]
22	Xue Liu	[24]
23	Salvador Lucas	[20]
24	Olav Lysne	[3]
25	Narciso Martí-Oliet	[21]
26	José Meseguer	[2] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15] [16] [17] [20] [21] [22] [33] [35] [36] [42] [47]
27	Miguel Palomino	[21]
28	Pavithra Prabhakar	[24]
29	José Eduardo Rivera	[45]
30	Ralf Sasse	[21]
31	Mark-Oliver Stehr	[5] [6] [9] [21]
32	Carolyn L. Talcott	[7] [9] [12] [21]
33	Stian Thorvaldsen	[13] [19] [25]
34	Stavros Tripakis	[29]
35	Alberto Verdejo	[21]
36	Martin Wirsing	[1]
37	Steve Zabele	[7]

Colors in the list of coauthors

Last update Fri May 25 03:49:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page