Concepedia
Statistics
Publications
28
Citations
1.1K
H-Index
19
Active since
1996
Affiliations
University of Oslo(Current)
University of Illinois Urbana-Champaign
SRI International
Menlo School
Pohang University of Science and Technology
Peter Csaba Ölveczky is an author at University of Oslo specializing in computer science, computing, and real-time systems.
Publications per year
1996–2022
Semantics and pragmatics of Real-Time Maude
Peter Csaba Ölveczky, José Meseguer · LISP and Symbolic Computation · 2007 · 250 citations
Language Studies, Computer Science, Computer Systems +12
Specification of real-time and hybrid systems in rewriting logic
Peter Csaba Ölveczky, José Meseguer · Theoretical Computer Science · 2002 · 118 citations
Computing, Computer Engineering, Computer Science +12
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
Peter Csaba Ölveczky, Stian Thorvaldsen · Theoretical Computer Science · 2008 · 84 citations
Computing, Computer Engineering, Computer Science +17
Abstraction and Completeness for Real-Time Maude
Peter Csaba Ölveczky, José Meseguer · Electronic Notes in Theoretical Computer Science · 2007 · 65 citations · Full text
Computing, Computer Science, Computer Systems +17
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
Peter Csaba Ölveczky, José Meseguer, Carolyn Talcott · Formal Methods in System Design · 2006 · 64 citations · Full text
Computing, Computer Engineering, Computer Science +11
1–5 of 28