Следене
Peter Csaba Olveczky
Peter Csaba Olveczky
Professor of Computer Science, University of Oslo
Потвърден имейл адрес: ifi.uio.no - Начална страница
Заглавие
Позовавания
Позовавания
Година
Some tools
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ...
All About Maude-A High-Performance Logical Framework: How to Specify …, 2007
15972007
Semantics and pragmatics of real-time maude
PC Ölveczky, J Meseguer
Higher-order and symbolic computation 20, 161-196, 2007
3212007
Specification of real-time and hybrid systems in rewriting logic
PC Ölveczky, J Meseguer
Theoretical Computer Science 285 (2), 359-405, 2002
1712002
Rewriting logic as a unifying framework for Petri nets
MO Stehr, J Meseguer, PC Ölveczky
Unifying Petri Nets: Advances in Petri Nets, 250-303, 2001
1232001
Formal semantics and analysis of behavioral AADL models in Real-Time Maude
PC Ölveczky, A Boronat, J Meseguer
International Conference on Formal Methods for Open Object-Based Distributed …, 2010
1142010
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
1092009
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
102*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
782007
Abstraction and completeness for real-time maude
PC Ölveczky, J Meseguer
Electronic Notes in Theoretical Computer Science 176 (4), 5-27, 2007
762007
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
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
722006
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
722006
The real-time maude tool
PC Ölveczky, J Meseguer
International Conference on Tools and Algorithms for the Construction and …, 2008
712008
The Maude formal tool environment
M Clavel, F Durán, J Hendrix, S Lucas, J Meseguer, P Ölveczky
Algebra and Coalgebra in Computer Science: Second International Conference …, 2007
702007
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
672006
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
J Meseguer, PC Ölveczky
Theoretical Computer Science 451, 1-37, 2012
652012
Real-Time Maude and its applications
PC Ölveczky
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014
532014
Specification and analysis of real-time and hybrid systems in rewriting logic
PC Ölveczky
University of Bergen, 2000
532000
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
Survivability: design, formal modeling, and validation of cloud storage systems using Maude
R Bobba, J Grov, I Gupta, S Liu, J Meseguer, PC Ölveczky, S Skeirik
Assured cloud computing, 10-48, 2018
462018
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20