Peter Csaba Olveczky
Peter Csaba Olveczky
Professor of Computer Science, University of Oslo
Bestätigte E-Mail-Adresse bei ifi.uio.no - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Semantics and pragmatics of real-time maude
PC Ölveczky, J Meseguer
Higher-order and symbolic computation 20 (1-2), 161-196, 2007
2712007
Specification of real-time and hybrid systems in rewriting logic
PC Ölveczky, J Meseguer
Theoretical Computer Science 285 (2), 359-405, 2002
1542002
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
912010
Rewriting logic as a unifying framework for Petri nets
MO Stehr, J Meseguer, PC Ölveczky
Unifying Petri Nets, 250-303, 2001
912001
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
892009
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
88*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
742007
Specification and analysis of real-time systems using Real-Time Maude
PC Ölveczky, J Meseguer
International Conference on Fundamental Approaches to Software Engineering …, 2004
672004
Abstraction and completeness for real-time maude
PC Ölveczky, J Meseguer
Electronic Notes in Theoretical Computer Science 176 (4), 5-27, 2007
642007
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
612006
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
612006
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
612006
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
562007
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
562006
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
482006
Specification and analysis of real-time and hybrid systems in rewriting logic
PC Ölveczky
University of Bergen, 2000
452000
The real-time maude tool
PC Ölveczky, J Meseguer
International Conference on Tools and Algorithms for the Construction and …, 2008
432008
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
372010
Real-time maude 2.3 manual
PC Ölveczky
Research report, 2008
322008
Synchronous AADL and its formal analysis in Real-Time Maude
K Bae, PC Ölveczky, A Al-Nayeem, J Meseguer
International Conference on Formal Engineering Methods, 651-667, 2011
312011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20