Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter Csaba Ölveczky
2010 – today
- 2013
[c42]- [c41]Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky: A Timed CTL Model Checker for Real-Time Maude. CALCO 2013: 334-339
- [c40]Lucian Bentea, Peter Csaba Ölveczky, Eduard Bentea: Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios. CMSB 2013: 92-105
- [c39]Jon Grov, Peter Csaba Ölveczky: Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation. Globe 2013: 26-38
- 2012
- [j15]Narciso Martí-Oliet, Peter Csaba Ölveczky: Preface. J. Log. Algebr. Program. 81(7-8): 719-720 (2012)
- [j14]Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis: Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. 77(12): 1235-1271 (2012)
- [j13]José Meseguer, Peter Csaba Ölveczky: Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Theor. Comput. Sci. 451: 1-37 (2012)
- [c38]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky: Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS 2012: 1-18
- [c37]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem: The SynchAADL2Maude Tool. FASE 2012: 59-62
- [c36]Lucian Bentea, Peter Csaba Ölveczky: A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing. WADT 2012: 77-94
- [c35]Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám: Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. WRLA 2012: 139-161
- [c34]Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky: Timed CTL Model Checking in Real-Time Maude. WRLA 2012: 182-200
- [c33]Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky: PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude. FTSCS 2012: 5-21
- [e4]Farhad Arbab, Peter Csaba Ölveczky (Eds.): Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7253, Springer 2012, ISBN 978-3-642-35742-8
- [e3]Peter Csaba Ölveczky, Cyrille Artho (Eds.): Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems. EPTCS 105, 2012
- 2011
- [j12]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)
- [c32]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
- [c31]Lucian Bentea, Peter Csaba Ölveczky: Probabilistic Real-Time Rewrite Theories and Their Expressive Power. FORMATS 2011: 60-79
- [c30]Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer: Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM 2011: 651-667
- [c29]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
- [c28]Peter Csaba Ölveczky: Formal Model Engineering for Embedded Systems Using Real-Time Maude. AMMSE 2011: 3-13
- [c27]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
- 2010
- [c26]Artur Boronat, Peter Csaba Ölveczky: Formal Real-Time Model Transformations in MOMENT2. FASE 2010: 29-43
- [c25]Peter Csaba Ölveczky, Artur Boronat, José Meseguer: Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010: 47-62
- [c24]José Meseguer, Peter Csaba Ölveczky: Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. ICFEM 2010: 303-320
- [c23]Kyungmin Bae, Peter Csaba Ölveczky: Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models. RTRTS 2010: 46-66
- [c22]Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky: A Rewriting-Logic-Based Technique for Modeling Thermal Systems. RTRTS 2010: 82-100
- [c21]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
- [c20]Peter Csaba Ölveczky, José Meseguer: Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family. RTRTS 2010: 137-157
- [e2]Peter Csaba Ölveczky (Ed.): 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. Lecture Notes in Computer Science 6381, Springer 2010, ISBN 978-3-642-16309-8
- [e1]
2000 – 2009
- 2009
- [j11]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)
- [j10]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)
- [c19]
- [c18]Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis: Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736
- [c17]Elisabeth Lien, Peter Csaba Ölveczky: Formal Modeling and Analysis of an IETF Multicast Protocol. SEFM 2009: 273-282
- [c16]
- 2008
- [c15]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
- [c14]Peter Csaba Ölveczky: Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. SNPD 2008: 241-248
- [c13]
- 2007
- [j9]Peter Csaba Ölveczky, José Meseguer: Recent Advances in Real-Time Maude. Electr. Notes Theor. Comput. Sci. 174(1): 65-81 (2007)
- [j8]Peter Csaba Ölveczky, José Meseguer: Abstraction and Completeness for Real-Time Maude. Electr. Notes Theor. Comput. Sci. 176(4): 5-27 (2007)
- [j7]Peter Csaba Ölveczky, José Meseguer: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2): 161-196 (2007)
- [c12]Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
- [c11]Peter Csaba Ölveczky, Stian Thorvaldsen: Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. FMOODS 2007: 122-140
- [c10]Peter Csaba Ölveczky, Martin Grimeland: Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. IPDPS 2007: 1-8
- [c9]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
- 2006
- [j6]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)
- [c8]Peter Csaba Ölveczky, Marco Caccamo: Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. FASE 2006: 357-372
- [c7]Peter Csaba Ölveczky, Stian Thorvaldsen: Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude. IPDPS 2006
- 2005
- [j5]Peter Csaba Ölveczky, José Meseguer: Real-Time Maude 2.1. Electr. Notes Theor. Comput. Sci. 117: 285-314 (2005)
- 2004
- [c6]Peter Csaba Ölveczky, José Meseguer: Specification and Analysis of Real-Time Systems Using Real-Time Maude. FASE 2004: 354-358
- 2002
- [j4]Peter Csaba Ölveczky, José Meseguer: Specification of real-time and hybrid systems in rewriting logic. Theor. Comput. Sci. 285(2): 359-405 (2002)
- [c5]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
- 2001
- [j3]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)
- [c4]Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky: Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets 2001: 250-303
- [c3]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
- 2000
- [j2]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)
1990 – 1999
- 1996
- [j1]Peter Csaba Ölveczky, José Meseguer: Specifying real-time systems in rewriting logic. Electr. Notes Theor. Comput. Sci. 4: 284-309 (1996)
- [c2]
- 1995
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:04 CEST by the dblp team