Peter Csaba Olveczky
Peter Csaba Olveczky
Professor of Computer Science, University of Oslo
Verified email at ifi.uio.no - Homepage
Title
Cited by
Cited by
Year
Semantics and pragmatics of real-time maude
PC Ölveczky, J Meseguer
Higher-order and symbolic computation 20 (1-2), 161-196, 2007
2882007
Specification of real-time and hybrid systems in rewriting logic
PC Ölveczky, J Meseguer
Theoretical Computer Science 285 (2), 359-405, 2002
1552002
Formal semantics and analysis of behavioral AADL models in Real-Time Maude
PC Ölveczky, A Boronat, J Meseguer
Formal Techniques for Distributed Systems, 47-62, 2010
982010
Rewriting logic as a unifying framework for Petri nets
MO Stehr, J Meseguer, PC Ölveczky
Unifying Petri Nets, 250-303, 2001
982001
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
PC Ölveczky, S Thorvaldsen
Theoretical Computer Science 410 (2-3), 254-280, 2009
942009
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
PC Ölveczky, M Keaton, J Meseguer, C Talcott, S Zabele
International Conference on Fundamental Approaches to Software Engineering …, 2001
93*2001
Formal modeling and analysis of the OGDC wireless sensor network algorithm in Real-Time Maude
PC Ölveczky, S Thorvaldsen
International conference on Formal methods for open object-based distributed …, 2007
752007
Specification and analysis of real-time systems using Real-Time Maude
PC Ölveczky, J Meseguer
International Conference on Fundamental Approaches to Software Engineering …, 2004
732004
Abstraction and completeness for real-time maude
PC Ölveczky, J Meseguer
Electronic Notes in Theoretical Computer Science 176 (4), 5-27, 2007
682007
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
PC Ölveczky, J Meseguer, CL Talcott
Formal Methods in System Design 29 (3), 253-293, 2006
652006
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
PC Ölveczky, J Meseguer, CL Talcott
Formal Methods in System Design 29 (3), 253-293, 2006
652006
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
PC Ölveczky, J Meseguer, CL Talcott
Formal Methods in System Design 29 (3), 253-293, 2006
652006
Formal simulation and analysis of the CASH scheduling algorithm in Real-Time Maude
PC Ölveczky, M Caccamo
International Conference on Fundamental Approaches to Software Engineering …, 2006
622006
The Maude formal tool environment
M Clavel, F Durán, J Hendrix, S Lucas, J Meseguer, P Ölveczky
International Conference on Algebra and Coalgebra in Computer Science, 173-178, 2007
592007
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude
PC Olveczky, S Thorvaldsen
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
502006
Specification and analysis of real-time and hybrid systems in rewriting logic
PC Ölveczky
University of Bergen, 2000
502000
The real-time maude tool
PC Ölveczky, J Meseguer
International Conference on Tools and Algorithms for the Construction and …, 2008
492008
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
J Meseguer, PC Ölveczky
International Conference on Formal Engineering Methods, 303-320, 2010
362010
PALS: Physically asynchronous logically synchronous systems
L Sha, A Al-Nayeem, M Sun, J Meseguer, PC Olveczky
332009
Formal real-time model transformations in MOMENT2
A Boronat, PC Ölveczky
International Conference on Fundamental Approaches to Software Engineering …, 2010
322010
The system can't perform the operation now. Try again later.
Articles 1–20