Peter Csaba Olveczky

Peter Csaba Olveczky

University of Oslo - Oslo / Norway
Engineering & Technology / Computer Science
AD Scientific Index ID: 1056739
Universitetet i Oslo
person_outline Peter Csaba Olveczky's MOST POPULAR ARTICLES
1-) Some toolsM 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 …, 200715632007
2-) Semantics and pragmatics of real-time maudePC Ölveczky, J MeseguerHigher-order and symbolic computation 20, 161-196, 20073152007
3-) Specification of real-time and hybrid systems in rewriting logicPC Ölveczky, J MeseguerTheoretical Computer Science 285 (2), 359-405, 20021682002
4-) Rewriting logic as a unifying framework for Petri netsMO Stehr, J Meseguer, PC ÖlveczkyUnifying Petri Nets: Advances in Petri Nets, 250-303, 20011232001
5-) Formal semantics and analysis of behavioral AADL models in Real-Time MaudePC Ölveczky, A Boronat, J MeseguerInternational Conference on Formal Methods for Open Object-Based Distributed …, 20101142010