×

zbMATH — the first resource for mathematics

Olveczky, Peter Csaba

Compute Distance To:
Author ID: olveczky.peter-csaba Recent zbMATH articles by "Olveczky, Peter Csaba"
Published as: Ölveczky, Peter Csaba; Csaba Ölveczky, Peter; Olveczky, Peter Csaba
Documents Indexed: 35 Publications since 1996, including 7 Books

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 131 times in 61 Documents Cited by Year
Semantics and pragmatics of real-time maude. Zbl 1115.68095
Ölveczky, Peter Csaba; Meseguer, José
24
2007
Specification of real-time and hybrid systems in rewriting logic. Zbl 1001.68061
Ölveczky, Peter Csaba; Meseguer, José
22
2002
Rewriting logic as a unifying framework for Petri nets. Zbl 1017.68080
Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba
16
2001
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. Zbl 1178.68699
Ölveczky, Peter Csaba; Thorvaldsen, Stian
11
2009
Abstraction and completeness for real-time Maude. Zbl 1279.68218
Ölveczky, Peter Csaba; Meseguer, José
9
2007
Specification and analysis of the AER/NCA active network protocol suite in real-time Maude. Zbl 1109.68010
Ölveczky, Peter Csaba; Meseguer, José; Talcott, Carolyn L.
8
2006
Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems. Zbl 0962.68109
Olveczky, Peter Csaba; Meseguer, Jose
8
2000
Specification and analysis of the AER/NCA active network protocol suite in real-time maude. Zbl 0977.68865
Ölveczky, Peter Csaba; Keaton, Mark; Meseguer, José; Talcott, Carolyn; Zabele, Steve
6
2001
Verifying hierarchical Ptolemy II discrete-event models using real-time maude. Zbl 1264.68051
Bae, Kyungmin; Ölveczky, Peter Csaba; Feng, Thomas Huining; Lee, Edward A.; Tripakis, Stavros
5
2012
Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Zbl 1284.68073
Meseguer, José; Ölveczky, Peter Csaba
4
2012
Specifying real-time systems in rewriting logic. Zbl 0912.68098
Ölveczky, Peter Csaba; Meseguer, José
3
1996
Order-sorted termination: the unsorted way. Zbl 1355.68134
Csaba Ölveczky, Peter; Lysne, Olav
3
1996
Formal analysis of leader election in MANETs using Real-Time Maude. Zbl 1454.68014
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
2
2015
A framework for mobile ad hoc networks in Real-Time Maude. Zbl 1356.68122
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
2
2014
SMT-based analysis of virtually synchronous distributed hybrid systems. Zbl 1364.68258
Bae, Kyungmin; Ölveczky, Peter Csaba; Kong, Soonho; Gao, Sicun; Clarke, Edmund M.
2
2016
Timed CTL model checking in Real-Time Maude. Zbl 1366.68176
Lepri, Daniela; Ábrahám, Erika; Ölveczky, Peter Csaba
1
2012
Representation and execution of Petri nets using rewriting logic as a unifying framework. Zbl 1263.68094
Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba
1
2001
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. Zbl 1197.68017
Ölveczky, Peter Csaba (ed.)
1
2010
Modeling and analyzing mobile ad hoc networks in Real-Time Maude. Zbl 1356.68123
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
1
2016
Probabilistic real-time rewrite theories and their expressive power. Zbl 1348.68080
Bentea, Lucian; Ölveczky, Peter Csaba
1
2011
Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude. Zbl 1400.68003
Ölveczky, Peter Csaba
1
2017
Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude. Zbl 1400.68003
Ölveczky, Peter Csaba
1
2017
SMT-based analysis of virtually synchronous distributed hybrid systems. Zbl 1364.68258
Bae, Kyungmin; Ölveczky, Peter Csaba; Kong, Soonho; Gao, Sicun; Clarke, Edmund M.
2
2016
Modeling and analyzing mobile ad hoc networks in Real-Time Maude. Zbl 1356.68123
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
1
2016
Formal analysis of leader election in MANETs using Real-Time Maude. Zbl 1454.68014
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
2
2015
A framework for mobile ad hoc networks in Real-Time Maude. Zbl 1356.68122
Liu, Si; Ölveczky, Peter Csaba; Meseguer, José
2
2014
Verifying hierarchical Ptolemy II discrete-event models using real-time maude. Zbl 1264.68051
Bae, Kyungmin; Ölveczky, Peter Csaba; Feng, Thomas Huining; Lee, Edward A.; Tripakis, Stavros
5
2012
Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Zbl 1284.68073
Meseguer, José; Ölveczky, Peter Csaba
4
2012
Timed CTL model checking in Real-Time Maude. Zbl 1366.68176
Lepri, Daniela; Ábrahám, Erika; Ölveczky, Peter Csaba
1
2012
Probabilistic real-time rewrite theories and their expressive power. Zbl 1348.68080
Bentea, Lucian; Ölveczky, Peter Csaba
1
2011
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. Zbl 1197.68017
Ölveczky, Peter Csaba
1
2010
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. Zbl 1178.68699
Ölveczky, Peter Csaba; Thorvaldsen, Stian
11
2009
Semantics and pragmatics of real-time maude. Zbl 1115.68095
Ölveczky, Peter Csaba; Meseguer, José
24
2007
Abstraction and completeness for real-time Maude. Zbl 1279.68218
Ölveczky, Peter Csaba; Meseguer, José
9
2007
Specification and analysis of the AER/NCA active network protocol suite in real-time Maude. Zbl 1109.68010
Ölveczky, Peter Csaba; Meseguer, José; Talcott, Carolyn L.
8
2006
Specification of real-time and hybrid systems in rewriting logic. Zbl 1001.68061
Ölveczky, Peter Csaba; Meseguer, José
22
2002
Rewriting logic as a unifying framework for Petri nets. Zbl 1017.68080
Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba
16
2001
Specification and analysis of the AER/NCA active network protocol suite in real-time maude. Zbl 0977.68865
Ölveczky, Peter Csaba; Keaton, Mark; Meseguer, José; Talcott, Carolyn; Zabele, Steve
6
2001
Representation and execution of Petri nets using rewriting logic as a unifying framework. Zbl 1263.68094
Stehr, Mark-Oliver; Meseguer, José; Ölveczky, Peter Csaba
1
2001
Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems. Zbl 0962.68109
Olveczky, Peter Csaba; Meseguer, Jose
8
2000
Specifying real-time systems in rewriting logic. Zbl 0912.68098
Ölveczky, Peter Csaba; Meseguer, José
3
1996
Order-sorted termination: the unsorted way. Zbl 1355.68134
Csaba Ölveczky, Peter; Lysne, Olav
3
1996
all top 5

Cited by 87 Authors

25 Meseguer Guaita, José
15 Olveczky, Peter Csaba
6 Talcott, Carolyn L.
5 Johnsen, Einar Broch
5 Martí-Oliet, Narciso
4 Durán, Francisco
4 Lucas, Salvador
4 Owe, Olaf
3 Clavel, Manuel
3 Eker, Steven
3 Liu, Si
3 Roşu, Grigore
2 Bae, Kyungmin
2 Bruni, Roberto
2 Escobar, Santiago
2 Lanotte, Ruggero
2 Lee, Edward Ashford
2 Lincoln, Patrick D.
2 Merro, Massimo
2 Rosa-Velardo, Fernando
2 Schlatte, Rudolf
2 Stehr, Mark-Oliver
2 Tapia Tarifa, Silvia Lizeth
2 Tripakis, Stavros
1 Ábrahám, Erika
1 AlTurki, Musab A.
1 Arbab, Farhad
1 Balasingham, Ilangko
1 Ban Kirigin, Tajana
1 Bartoletti, Massimo
1 Basuki, Thomas Anung
1 Bentea, Lucian
1 Bjørk, Joakim
1 Boronat, Artur
1 Cerone, Antonio
1 Clarke, Dave
1 Cleaveland, Rance
1 Colvin, Robert J.
1 Daggitt, Matthew L.
1 Feng, Thomas Huining
1 Fenton, Flavio H.
1 Futatsugi, Kokichi
1 Giese, Holger
1 Griffin, Timothy G.
1 Grosu, Radu
1 Gutiérrez, Raúl
1 Haller, Philipp
1 Huang, Hejiao
1 Islam, Md. Ariful
1 Jones, Paul L.
1 Kanovich, Max Iosifovich
1 Katelman, Michael
1 Kazemeyni, Fatemeh
1 Kim, Minyoung
1 Kirchner, Hélène
1 Krause, Christian
1 Kremer, Gereon
1 Kyas, Marcel
1 Martos-Salgado, María
1 Maximova, Maria
1 McCarthy, Tim
1 Milazzo, Paolo
1 Montanari, Ugo G.
1 Murgia, Maurizio
1 Nigam, Vivek
1 Ogata, Kazuhiro
1 Padawitz, Peter
1 Padberg, Julia
1 Palomino, Miguel
1 Perovic, Ranko
1 Riesco, Adrián
1 Rodriguez, Dilia E.
1 Rubio, Rubén
1 Scalas, Alceste
1 Scedrov, Andre
1 Schulz, Alexander
1 Sen Gupta, Indranil
1 Shaver, Chris
1 Smolka, Scott A.
1 Stergiou, Christos
1 Thati, Prasanna
1 Thorvaldsen, Stian
1 Tini, Simone
1 Yadav, Maneesh K.
1 Zhao, Xin
1 Zmigrod, Ran
1 Zunino, Roberto

Citations by Year