Peter Csaba Olveczky
Peter Csaba Olveczky
Professor of Computer Science, University of Oslo
E-mail megerősítve itt: ifi.uio.no - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Semantics and pragmatics of real-time maude
PC Ölveczky, J Meseguer
Higher-order and symbolic computation 20 (1-2), 161-196, 2007
2722007
Specification of real-time and hybrid systems in rewriting logic
PC Ölveczky, J Meseguer
Theoretical Computer Science 285 (2), 359-405, 2002
1542002
Rewriting logic as a unifying framework for Petri nets
MO Stehr, J Meseguer, PC Ölveczky
Unifying Petri Nets, 250-303, 2001
932001
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
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
902009
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
The real-time maude tool
PC Ölveczky, J Meseguer
International Conference on Tools and Algorithms for the Construction and …, 2008
452008
Specification and analysis of real-time and hybrid systems in rewriting logic
PC Ölveczky
University of Bergen, 2000
452000
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 http://urn. nb. no/URN: NBN: no-35645, 2004
322004
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20