Peter Csaba Ölveczky

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 53

Top Venues

Sci. Comput. Program.

CoRR

WRLA

WRLA@ETAPS

Publications

Carlos Olarte, Peter Csaba Ölveczky
Timed Strategies for Real-Time Rewrite Theories. CoRR (2024)
Cyrille Artho, Peter Csaba Ölveczky
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022). Sci. Comput. Program. 237 (2024)
Carlos Olarte, Peter Csaba Ölveczky
Timed Strategies for Real-Time Rewrite Theories. WRLA (2024)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. CoRR (2024)
Peter Csaba Ölveczky
Teaching an Advanced Maude-Based Formal Methods Course in Oslo. WRLA (2024)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Sci. Comput. Program. 233 (2024)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets (2023)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. CoRR (2023)
Kyungmin Bae, Peter Csaba Ölveczky
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. FACS (2023)
Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin
Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. FTSCS (2022)
Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. ISoLA (3) (2022)
Simon Thrane Hansen, Peter Csaba Ölveczky
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. WRLA@ETAPS (2022)
Peter Csaba Ölveczky
Teaching Formal Methods to Undergraduate Students Using Maude. WRLA@ETAPS (2022)
Kyungmin Bae, Peter Csaba Ölveczky
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba Ölveczky
HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. CAV (1) (2021)
Peter Csaba Ölveczky, Gwen Salaün
Software engineering and formal methods: SEFM 2019 special section. Softw. Syst. Model. 20 (2) (2021)
Cyrille Artho, Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems (FTSCS 2018). Sci. Comput. Program. 208 (2021)
Antonio González-Burgueño, Peter Csaba Ölveczky
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL. J. Log. Algebraic Methods Program. 122 (2021)
Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM (2020)
Kyungmin Bae, Peter Csaba Ölveczky
Formal aspects of component software (FACS 2018). Sci. Comput. Program. 200 (2020)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR (2020)
Antonio González-Burgueño, Peter Csaba Ölveczky
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL. FSEN (2019)
Cyrille Artho, Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems (FTSCS 2016). Sci. Comput. Program. 175 (2019)
Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
Formal modeling and analysis of safety-critical human multitasking. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. Formal Aspects Comput. 31 (5) (2019)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun (2019)
Peter Csaba Ölveczky
Teaching Formal Methods for Fun Using Maude. FMFun (2019)
Antonio Cerone, Peter Csaba Ölveczky
Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. FM Workshops (1) (2019)
Peter Csaba Ölveczky
Design and Validation of Cloud Storage Systems Using Rewriting Logic. SYNASC (2019)
Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. TACAS (2) (2019)
Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. FASE (2018)
Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer
Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA@ETAPS (2018)
Cyrille Artho, Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems (FTSCS 2015). Sci. Comput. Program. 154 (2018)
Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
An Executable Formal Framework for Safety-Critical Human Multitasking. NFM (2018)
Cyrille Artho, Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems (FTSCS 2014). Sci. Comput. Program. 133 (2017)
Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
An Algorithm for Simulating Human Selective Attention. SEFM Workshops (2017)
Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. ICFEM (2017)
Peter Csaba Ölveczky
Design and Validation of Cloud Storage Systems Using Formal Methods. TTCS (2017)
Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. HSCC (2016)
Peter Csaba Ölveczky
Formalizing and Validating the P-Store Replicated Data Store in Maude. WADT (2016)
Si Liu, Peter Csaba Ölveczky, José Meseguer
Modeling and analyzing mobile ad hoc networks in Real-Time Maude. J. Log. Algebraic Methods Program. 85 (1) (2016)
Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer
Formal modeling and analysis of RAMP transaction systems. SAC (2016)
Cyrille Artho, Peter Csaba Ölveczky
Preface. Sci. Comput. Program. 113 (2015)
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? Sci. Comput. Program. 99 (2015)
Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study. Sci. Comput. Program. 103 (2015)
Cyrille Artho, Peter Csaba Ölveczky
Preface. Sci. Comput. Program. 103 (2015)
Si Liu, Peter Csaba Ölveczky, José Meseguer
Formal Analysis of Leader Election in MANETs Using Real-Time Maude. Software, Services, and Systems (2015)
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott
José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency (2015)
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Sci. Comput. Program. 113 (2015)
Kyungmin Bae, Peter Csaba Ölveczky
Hybrid Multirate PALS. Logic, Rewriting, and Concurrency (2015)
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. Sci. Comput. Program. 99 (2015)
Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. 91 (2014)
Peter Csaba Ölveczky
Real-Time Maude and Its Applications. WRLA (2014)
Si Liu, Peter Csaba Ölveczky, José Meseguer
A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA (2014)
Jon Grov, Peter Csaba Ölveczky
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. SEFM (2014)
Jon Grov, Peter Csaba Ölveczky
Formal Modeling and Analysis of Google's Megastore in Real-Time Maude. Specification, Algebra, and Software (2014)
Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer
Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM (2014)
Farhad Arbab, Peter Csaba Ölveczky
Preface. Sci. Comput. Program. 83 (2014)
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. FTSCS (2013)
Muhammad Fadlisyah, Peter Csaba Ölveczky
The HI-Maude Tool. CALCO (2013)
Lucian Bentea, Peter Csaba Ölveczky, Eduard Bentea
Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios. CMSB (2013)
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
A Timed CTL Model Checker for Real-Time Maude. CALCO (2013)
Jon Grov, Peter Csaba Ölveczky
Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation. Globe (2013)
Lucian Bentea, Peter Csaba Ölveczky
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing. WADT (2012)
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. WRLA (2012)
Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem
The SynchAADL2Maude Tool. FASE (2012)
Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude FTSCS (2012)
Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. 77 (12) (2012)
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
Timed CTL Model Checking in Real-Time Maude. WRLA (2012)
Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS (2012)
Narciso Martí-Oliet, Peter Csaba Ölveczky
Preface. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
José Meseguer, Peter Csaba Ölveczky
Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Theor. Comput. Sci. 451 (2012)
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. Electron. Notes Theor. Comput. Sci. 274 (2011)
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. SEFM (2011)
Peter Csaba Ölveczky
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Peter Csaba Ölveczky
Formal Model Engineering for Embedded Systems Using Real-Time Maude AMMSE (2011)
Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer
Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM (2011)
Lucian Bentea, Peter Csaba Ölveczky
Probabilistic Real-Time Rewrite Theories and Their Expressive Power. FORMATS (2011)
Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies AMMSE (2011)
Peter Csaba Ölveczky, José Meseguer
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family RTRTS (2010)
Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications RTRTS (2010)
Kyungmin Bae, Peter Csaba Ölveczky
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models RTRTS (2010)
Artur Boronat, Peter Csaba Ölveczky
Formal Real-Time Model Transformations in MOMENT2. FASE (2010)
Peter Csaba Ölveczky, Artur Boronat, José Meseguer
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE (2010)
José Meseguer, Peter Csaba Ölveczky
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. ICFEM (2010)
Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky
A Rewriting-Logic-Based Technique for Modeling Thermal Systems RTRTS (2010)
Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM (2009)
Peter Csaba Ölveczky
Teaching Formal Methods Based on Rewriting Logic and Maude. TFM (2009)
Elisabeth Lien, Peter Csaba Ölveczky
Formal Modeling and Analysis of an IETF Multicast Protocol. SEFM (2009)
Leon Bendiksen, Peter Csaba Ölveczky
The Priced-Timed Maude Tool. CALCO (2009)
Peter Csaba Ölveczky, Stian Thorvaldsen
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. Theor. Comput. Sci. 410 (2-3) (2009)
Peter Csaba Ölveczky, José Meseguer
The Real-Time Maude Tool. TACAS (2008)
Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. IPDPS (2008)
Peter Csaba Ölveczky
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. SNPD (2008)
Francisco Durán, Peter Csaba Ölveczky
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. WRLA (2008)
Peter Csaba Ölveczky, José Meseguer
Recent Advances in Real-Time Maude. Electron. Notes Theor. Comput. Sci. 174 (1) (2007)
Peter Csaba Ölveczky, Stian Thorvaldsen
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. FMOODS (2007)
Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
The Maude Formal Tool Environment. CALCO (2007)

Peter Csaba Ölveczky.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Csaba Ölveczky