P. C. Ölveczky

Most-cited papers

Real-Time Maude and Its Applications
P. C. Ölveczky
2014Workshop on Rewriting Logic and Its Applications34 citations Open access
Semantic Scholar
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study
Kyungmin Bae, Joshua Krisiloff, J. Meseguer, P. C. Ölveczky
2015Science of Computer Programming33 citations Open access
Semantic Scholar
Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude
Rakesh B. Bobba, J. Grov, Indranil Gupta, Si Liu +3 more
2018Assured Cloud Computing32 citations
Semantic Scholar
Formal Modeling and Analysis of Google's Megastore in Real-Time Maude
J. Grov, P. C. Ölveczky
2014Specification, Algebra, and Software32 citations
Semantic Scholar
Formal modeling and analysis of RAMP transaction systems
Si Liu, P. C. Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra +2 more
2016ACM Symposium on Applied Computing25 citations Open access
Semantic Scholar
Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Si Liu, P. C. Ölveczky, J. Meseguer
2016J. Log. Algebraic Methods Program.25 citations Open access
Semantic Scholar
Definition, Semantics, and Analysis of Multirate Synchronous AADL
Kyungmin Bae, P. C. Ölveczky, J. Meseguer
2014World Congress on Formal Methods21 citations
Semantic Scholar
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Si Liu, P. C. Ölveczky, Min Zhang, Qi Wang +1 more
2019International Conference on Tools and Algorithms for Construction and Analysis of Systems20 citations Open access
Semantic Scholar
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories
D. Lepri, E. Ábrahám, P. C. Ölveczky
2015Science of Computer Programming19 citations Open access
Semantic Scholar
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Si Liu, Atul Sandur, J. Meseguer, P. C. Ölveczky +1 more
2020NASA Formal Methods18 citations Open access
Semantic Scholar
Designing Reliable Distributed Systems
P. C. Ölveczky
2017Undergraduate Topics in Computer Science18 citations
Semantic Scholar
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
Si Liu, P. C. Ölveczky, Qi Wang, Indranil Gupta +1 more
2019Formal Aspects of Computing17 citations Open access
Semantic Scholar
Formal modeling and analysis of safety-critical human multitasking
Giovanna Broccia, P. Milazzo, P. C. Ölveczky
2019Innovations in Systems and Software Engineering17 citations
Semantic Scholar
Formal patterns for multirate distributed real-time systems
Kyungmin Bae, J. Meseguer, P. C. Ölveczky
2014Science of Computer Programming17 citations Open access
Semantic Scholar
A Framework for Mobile Ad hoc Networks in Real-Time Maude
Si Liu, P. C. Ölveczky, J. Meseguer
2014Workshop on Rewriting Logic and Its Applications17 citations
Semantic Scholar
HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL
Jaehun Lee, Sharon Kim, Kyung-Soon Bae, P. C. Ölveczky
2021International Conference on Computer Aided Verification15 citations Open access
Semantic Scholar
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis
J. Grov, P. C. Ölveczky
2014IEEE International Conference on Software Engineering and Formal Methods15 citations
Semantic Scholar
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
A. Cerone, Markus Roggenbach, James H. Davenport, Casey Denner +9 more
2020FMFun14 citations Open access
Semantic Scholar
Formal Modeling and Analysis of the Walter Transactional Data Store
Si Liu, P. C. Ölveczky, Qi Wang, J. Meseguer
2018Workshop on Rewriting Logic and Its Applications14 citations Open access
Semantic Scholar
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking
Si Liu, P. C. Ölveczky, Jatin Ganhotra, Indranil Gupta +1 more
2017IEEE International Conference on Formal Engineering Methods14 citations Open access
Semantic Scholar
Formalizing and Validating the P-Store Replicated Data Store in Maude
P. C. Ölveczky
2016Workshop on Recent Trends in Algebraic Development Techniques14 citations Open access
Semantic Scholar
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis
Si Liu, P. C. Ölveczky, Keshav Santhanam, Qi Wang +2 more
2018Fundamental Approaches to Software Engineering13 citations Open access
Semantic Scholar
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
Kyungmin Bae, P. C. Ölveczky, Soonho Kong, Si-Cun Gao +1 more
2016International Conference on Hybrid Systems: Computation and Control13 citations
Semantic Scholar
Bridging the semantic gap between qualitative and quantitative models of distributed systems
Si Liu, J. Meseguer, P. C. Ölveczky, Min Zhang +1 more
2022Proc. ACM Program. Lang.12 citations Open access
Semantic Scholar
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL
Jaehun Lee, Kyungmin Bae, P. C. Ölveczky, Sharon Kim +1 more
2022International Journal on Software Tools for Technology Transfer (STTT)11 citations
Semantic Scholar
Formal Analysis of Leader Election in MANETs Using Real-Time Maude
Si Liu, P. C. Ölveczky, J. Meseguer
2015Software, Services, and Systems10 citations
Semantic Scholar
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
Zeynab Sabahi-Kaviani, R. Khosravi, P. C. Ölveczky, Ehsan Khamespanah +1 more
2015Science of Computer Programming9 citations Open access
Semantic Scholar
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving
Jaime Arias, Kyungmin Bae, Carlos Olarte, P. C. Ölveczky +2 more
2023Science of Computer Programming8 citations Open access
Semantic Scholar
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Jaime Arias, Kyungmin Bae, C. Olarte, P. C. Ölveczky +2 more
2022International Workshop on Formal Techniques for Safety-Critical Systems8 citations Open access
Semantic Scholar
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs
Jaehun Lee, Kyungmin Bae, P. C. Ölveczky
2022Leveraging Applications of Formal Methods8 citations
Semantic Scholar
An Executable Formal Framework for Safety-Critical Human Multitasking
Giovanna Broccia, P. Milazzo, P. C. Ölveczky
2018NASA Formal Methods6 citations Open access
Semantic Scholar
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
Jaime Arias, Kyungmin Bae, C. Olarte, P. C. Ölveczky +2 more
2023Applications and Theory of Petri Nets5 citations Open access
Semantic Scholar
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems
Kyungmin Bae, P. C. Ölveczky
2021ACM Transactions on Embedded Computing Systems5 citations
Semantic Scholar
Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude
A. Cerone, P. C. Ölveczky
2019FM Workshops5 citations
Semantic Scholar
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets
Jaime Arias, Kyungmin Bae, Carlos Olarte, P. C. Ölveczky +1 more
2024Fundamenta Informaticae4 citations
Semantic Scholar
Teaching Formal Methods for Fun Using Maude
P. C. Ölveczky
2019FMFun4 citations
Semantic Scholar
An Algorithm for Simulating Human Selective Attention
Giovanna Broccia, P. Milazzo, P. C. Ölveczky
2017SEFM Workshops4 citations
Semantic Scholar
Design and Validation of Cloud Computing Data Stores using Formal Methods ?
P. C. Ölveczky
20164 citations
Semantic Scholar
Logic, Rewriting, and Concurrency
Narciso Martí-Oliet, P. C. Ölveczky, C. Talcott
2015Lecture Notes in Computer Science4 citations
Semantic Scholar
Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic
M. Marin, P. C. Ölveczky, Mario Reja, Mikheil Rukhaia +1 more
2025Rebeca for Actor Analysis in Action3 citations
Semantic Scholar
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL
Antonio González-Burgueño, P. C. Ölveczky
2019Fundamentals of Software Engineering3 citations Open access
Semantic Scholar
Design and Validation of Cloud Storage Systems Using Formal Methods
P. C. Ölveczky
2017International Conference on Topics in Theoretical Computer Science3 citations Open access
Semantic Scholar
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?
Muhammad Fadlisyah, P. C. Ölveczky, E. Ábrahám
2015Science of Computer Programming3 citations Open access
Semantic Scholar
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude
S. Hansen, P. C. Ölveczky
2022Workshop on Rewriting Logic and Its Applications2 citations
Semantic Scholar
Formal aspects of component software (FACS 2018)
Kyungmin Bae, P. C. Ölveczky
2020Science of Computer Programming2 citations Open access
Semantic Scholar
Formal Techniques for Safety-Critical Systems (FTSCS 2015)
Cyrille Artho, P. C. Ölveczky
2017Science of Computer Programming2 citations Open access
Semantic Scholar
Formal Techniques for Safety-Critical Systems
Cyrille Artho, P. C. Ölveczky
2015Communications in Computer and Information Science2 citations
Semantic Scholar
Formalization and Simulation of alpha-Synuclein Aggregation and Propagation under Different Pathobiological Conditions in PSMaude
L. Bentea, P. C. Ölveczky, Eduard Bentea
20142 citations
Semantic Scholar
Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios
L. Bentea, P. C. Ölveczky, Eduard Bentea
2013Computational Methods in Systems Biology2 citations
Semantic Scholar
Formal analysis of real-time systems with user-defined strategies in rewriting logic
Carlos Olarte, P. C. Ölveczky
2025J. Log. Algebraic Methods Program.1 citations
Semantic Scholar