BibSLEIGH — Peter_Csaba

Travelled to:

1 × Austria
1 × Cyprus
1 × Germany
1 × Hungary
1 × Italy
1 × Singapore
1 × Spain
1 × Uruguay
1 × Vietnam
2 × Estonia
2 × France

Collaborated with:

J.Meseguer E.Ábrahám M.Fadlisyah K.Bae J.Grov ∅ A.Boronat E.Lien F.Durán M.Caccamo O.Lysne S.Liu D.Lepri A.Al-Nayeem M.Keaton C.L.Talcott S.Zabele S.L.0003 K.Santhanam Q.W.0017 I.Gupta

Talks about:

time (18) real (17) maud (16) analysi (9) formal (7) system (5) model (5) protocol (3) specif (3) hybrid (3)

Person: Peter Csaba Ölveczky

DBLP: =Ouml=lveczky:Peter_Csaba

Facilitated 2 volumes:

Contributed to:

2014

2012

2011

2010

2009

2008

2009

2006

2007

2004

2005

2007

2001

2000

1996

2002

2018

Wrote 23 papers:

FM-2014-BaeOM #analysis #multi #semantics: Definition, Semantics, and Analysis of Multirate Synchronous AADL (KB, PCÖ, JM), pp. 94–109.
SEFM-2014-GrovO #analysis #consistency #formal method #multi: Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis (JG, PCÖ), pp. 159–174.
WRLA-2014-LiuOM #ad hoc #framework #maude #mobile #network #realtime: A Framework for Mobile Ad hoc Networks in Real-Time Maude (SL, PCÖ, JM), pp. 162–177.
WRLA-2014-Olveczky #maude #realtime: Real-Time Maude and Its Applications (PCÖ), pp. 42–79.
FASE-2012-BaeOMA #maude: The SynchAADL2Maude Tool (KB, PCÖ, JM, AAN), pp. 59–62.
WRLA-2012-FadlisyahOA #analysis #formal method #modelling: Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude (MF, PCÖ, EÁ), pp. 139–161.
WRLA-2012-LepriAO #maude #model checking #realtime: Timed CTL Model Checking in Real-Time Maude (DL, EÁ, PCÖ), pp. 182–200.
SEFM-2011-FadlisyahOA #analysis #formal method #hybrid #modelling #object-oriented: Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude (MF, PCÖ, EÁ), pp. 415–430.
FASE-2010-BoronatO #model transformation #realtime: Formal Real-Time Model Transformations in MOMENT2 (AB, PCÖ), pp. 29–43.
SEFM-2009-LienO #analysis #formal method #modelling #multi #protocol: Formal Modeling and Analysis of an IETF Multicast Protocol (EL, PCÖ), pp. 273–282.
TACAS-2008-OlveczkyM #maude #realtime: The Real-Time Maude Tool (PCÖ, JM), pp. 332–336.
WRLA-2008-DuranO09 #implementation #maude #realtime: A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude (FD, PCÖ), pp. 83–102.
FASE-2006-OlveczkyC #algorithm #analysis #maude #realtime #scheduling #simulation: Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude (PCÖ, MC), pp. 357–372.
WRLA-2006-OlveczkyM07a #abstraction #maude #realtime: Abstraction and Completeness for Real-Time Maude (PCÖ, JM), pp. 5–27.
FASE-2004-OlveczkyM #analysis #maude #realtime #specification #using: Specification and Analysis of Real-Time Systems Using Real-Time Maude (PCÖ, JM), pp. 354–358.
WRLA-2004-OlveczkyM05 #maude #realtime: Real-Time Maude 2.1 (PCÖ, JM), pp. 285–314.
WRLA-J-2004-OlveczkyM07 #maude #realtime #semantics: Semantics and pragmatics of Real-Time Maude (PCÖ, JM), pp. 161–196.
FASE-2001-OlveczkyKMTZ #analysis #maude #network #protocol #realtime #specification: Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude (PCÖ, MK, JM, CLT, SZ), pp. 333–348.
WRLA-2000-OlveczkyM #hybrid #maude #realtime #simulation: Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems (PCÖ, JM), pp. 361–382.
ALP-1996-OlveszkyL #order #termination: Order-Sorted Termination: The Unsorted Way (PCÖ, OL), pp. 92–106.
RWLW-1996-OlveczkyM #logic #realtime #specification: Specifying real-time systems in rewriting logic (PCÖ, JM), pp. 284–309.
WRLA-J-1996-OlveczkyM02 #hybrid #logic #realtime #specification: Specification of real-time and hybrid systems in rewriting logic (PCÖ, JM), pp. 359–405.
FASE-2018-LiuOSWGM #analysis #distributed #formal method #named #protocol #transaction: ROLA: A New Distributed Transaction Protocol and Its Formal Analysis (SL0, PCÖ, KS, QW0, IG, JM), pp. 77–93.