Peter Csaba Ölveczky

142 papers A 4B 16C 6Misc 2Journal 37Unranked 61

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Efficient Verification of Lingua Franca Programs. TACAS (2) Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Mircea Marin
2026	—	`conf`	Modeling and Analyzing Real-Time Systems in Rewriting Logic. Concurrent Programming, Open Systems and Formal Methods Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky
2025	J	`jnl`	Formal analysis of real-time systems with user-defined strategies in rewriting logic. J. Log. Algebraic Methods Program. Carlos Olarte, Peter Csaba Ölveczky
2025	J	`jnl`	MR-HybridSynchAADL: formal modeling and analysis of multirate CPSs with advanced control programs and continuous dynamics. Int. J. Softw. Tools Technol. Transf. Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky
2025	—	`conf`	Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic. Rebeca for Actor Analysis in Action Mircea Marin, Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae
2024	J	`jnl`	A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets. Fundam. Informaticae Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
2024	J	`jnl`	A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. CoRR Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
2024	J	`jnl`	Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022). Sci. Comput. Program. Cyrille Artho, Peter Csaba Ölveczky
2024	—	`conf`	Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL. ISoLA (2) Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky
2024	J	`jnl`	Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Sci. Comput. Program. Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2024	—	`conf`	Teaching an Advanced Maude-Based Formal Methods Course in Oslo. WRLA Peter Csaba Ölveczky
2024	—	`conf`	Timed Strategies for Real-Time Rewrite Theories. WRLA Carlos Olarte, Peter Csaba Ölveczky
2024	J	`jnl`	Timed Strategies for Real-Time Rewrite Theories. CoRR Carlos Olarte, Peter Csaba Ölveczky
2023	—	`conf`	Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. FACS Kyungmin Bae, Peter Csaba Ölveczky
2023	—	`ed.`	Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023 FTSCS Cyrille Artho, Peter Csaba Ölveczky
2023	B	`conf`	Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2023	J	`jnl`	Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. CoRR Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2022	—	`conf`	An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. ISoLA (3) Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky
2022	J	`jnl`	Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin
2022	J	`jnl`	Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL. Int. J. Softw. Tools Technol. Transf. Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang
2022	—	`conf`	Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. WRLA Simon Thrane Hansen, Peter Csaba Ölveczky
2022	—	`ed.`	Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022 FTSCS Cyrille Artho, Peter Csaba Ölveczky
2022	—	`conf`	Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. FTSCS Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2022	—	`conf`	Teaching Formal Methods to Undergraduate Students Using Maude. WRLA Peter Csaba Ölveczky
2021	J	`jnl`	Formal Techniques for Safety-Critical Systems (FTSCS 2018). Sci. Comput. Program. Cyrille Artho, Peter Csaba Ölveczky
2021	J	`jnl`	Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL. J. Log. Algebraic Methods Program. Antonio González-Burgueño, Peter Csaba Ölveczky
2021	—	`conf`	HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. CAV (1) Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba Ölveczky
2021	J	`jnl`	MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems. ACM Trans. Embed. Comput. Syst. Kyungmin Bae, Peter Csaba Ölveczky
2021	J	`jnl`	Software engineering and formal methods: SEFM 2019 special section. Softw. Syst. Model. Peter Csaba Ölveczky, Gwen Salaün
2021	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings ICTAC Antonio Cerone, Peter Csaba Ölveczky
2020	J	`jnl`	Formal aspects of component software (FACS 2018). Sci. Comput. Program. Kyungmin Bae, Peter Csaba Ölveczky
2020	—	`conf`	Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang
2020	J	`jnl`	Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
2019	—	`conf`	Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. TACAS (2) Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer
2019	Misc	`conf`	Design and Validation of Cloud Storage Systems Using Rewriting Logic. SYNASC Peter Csaba Ölveczky
2019	J	`jnl`	Formal Techniques for Safety-Critical Systems (FTSCS 2016). Sci. Comput. Program. Cyrille Artho, Peter Csaba Ölveczky
2019	—	`ed.`	Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers FTSCS Cyrille Artho, Peter Csaba Ölveczky
2019	J	`jnl`	Formal modeling and analysis of safety-critical human multitasking. Innov. Syst. Softw. Eng. Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
2019	—	`conf`	Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL. FSEN Antonio González-Burgueño, Peter Csaba Ölveczky
2019	—	`conf`	Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. FM Workshops (1) Antonio Cerone, Peter Csaba Ölveczky
2019	J	`jnl`	Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. Formal Aspects Comput. Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer
2019	—	`conf`	Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun Antonio Cerone, Markus Roggenbach, James H. 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
2019	B	`ed.`	Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings SEFM Peter Csaba Ölveczky, Gwen Salaün
2019	—	`conf`	Teaching Formal Methods for Fun Using Maude. FMFun Peter Csaba Ölveczky
2018	—	`conf`	An Executable Formal Framework for Safety-Critical Human Multitasking. NFM Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
2018	—	`ed.`	Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings FACS Kyungmin Bae, Peter Csaba Ölveczky
2018	—	`conf`	Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer
2018	J	`jnl`	Formal Techniques for Safety-Critical Systems (FTSCS 2015). Sci. Comput. Program. Cyrille Artho, Peter Csaba Ölveczky
2018	B	`conf`	ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. FASE Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer
2017	—	`conf`	An Algorithm for Simulating Human Selective Attention. SEFM Workshops Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
2017	—	`conf`	Design and Validation of Cloud Storage Systems Using Formal Methods. TTCS Peter Csaba Ölveczky
2017	—	`book`	Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude Peter Csaba Ölveczky
2017	C	`conf`	Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. ICFEM Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer
2017	J	`jnl`	Formal Techniques for Safety-Critical Systems (FTSCS 2014). Sci. Comput. Program. Cyrille Artho, Peter Csaba Ölveczky
2017	—	`ed.`	Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers FTSCS Cyrille Artho, Peter Csaba Ölveczky
2016	—	`ed.`	Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers FACS Christiano Braga, Peter Csaba Ölveczky
2016	—	`ed.`	Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers FTSCS Cyrille Artho, Peter Csaba Ölveczky
2016	Misc	`conf`	Formal modeling and analysis of RAMP transaction systems. SAC Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer
2016	—	`conf`	Formalizing and Validating the P-Store Replicated Data Store in Maude. WADT Peter Csaba Ölveczky
2016	J	`jnl`	Modeling and analyzing mobile ad hoc networks in Real-Time Maude. J. Log. Algebraic Methods Program. Si Liu, Peter Csaba Ölveczky, José Meseguer
2016	—	`conf`	SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. HSCC Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke
2015	J	`jnl`	Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study. Sci. Comput. Program. Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
2015	—	`conf`	Formal Analysis of Leader Election in MANETs Using Real-Time Maude. Software, Services, and Systems Si Liu, Peter Csaba Ölveczky, José Meseguer
2015	—	`ed.`	Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers FTSCS Cyrille Artho, Peter Csaba Ölveczky
2015	J	`jnl`	Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? Sci. Comput. Program. Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
2015	J	`jnl`	Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Sci. Comput. Program. Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani
2015	—	`conf`	Hybrid Multirate PALS. Logic, Rewriting, and Concurrency Kyungmin Bae, Peter Csaba Ölveczky
2015	—	`conf`	José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott
2015	—	`ed.`	Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday Logic, Rewriting, and Concurrency Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott
2015	J	`jnl`	Preface. Sci. Comput. Program. Cyrille Artho, Peter Csaba Ölveczky
2015	J	`jnl`	Preface. Sci. Comput. Program. Cyrille Artho, Peter Csaba Ölveczky
2015	J	`jnl`	Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. Sci. Comput. Program. Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
2014	—	`conf`	A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA Si Liu, Peter Csaba Ölveczky, José Meseguer
2014	B	`conf`	Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer
2014	—	`conf`	Formal Modeling and Analysis of Google's Megastore in Real-Time Maude. Specification, Algebra, and Software Jon Grov, Peter Csaba Ölveczky
2014	—	`ed.`	Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers FTSCS Cyrille Artho, Peter Csaba Ölveczky
2014	J	`jnl`	Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
2014	B	`conf`	Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. SEFM Jon Grov, Peter Csaba Ölveczky
2014	J	`jnl`	Preface. Sci. Comput. Program. Farhad Arbab, Peter Csaba Ölveczky
2014	—	`conf`	Real-Time Maude and Its Applications. WRLA Peter Csaba Ölveczky
2013	B	`conf`	A Timed CTL Model Checker for Real-Time Maude. CALCO Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
2013	—	`conf`	Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. FTSCS Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah
2013	—	`conf`	Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation. Globe Jon Grov, Peter Csaba Ölveczky
2013	B	`conf`	The HI-Maude Tool. CALCO Muhammad Fadlisyah, Peter Csaba Ölveczky
2013	—	`conf`	Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios. CMSB Lucian Bentea, Peter Csaba Ölveczky, Eduard Bentea
2012	—	`conf`	A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing. WADT Lucian Bentea, Peter Csaba Ölveczky
2012	—	`ed.`	Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers FACS Farhad Arbab, Peter Csaba Ölveczky
2012	—	`conf`	Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. WRLA Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
2012	—	`conf`	Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
2012	J	`jnl`	Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Theor. Comput. Sci. José Meseguer, Peter Csaba Ölveczky
2012	—	`conf`	PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude FTSCS Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
2012	J	`jnl`	Preface. J. Log. Algebraic Methods Program. Narciso Martí-Oliet, Peter Csaba Ölveczky
2012	—	`ed.`	Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012. FTSCS Peter Csaba Ölveczky, Cyrille Artho
2012	B	`conf`	The SynchAADL2Maude Tool. FASE Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem
2012	—	`conf`	Timed CTL Model Checking in Real-Time Maude. WRLA Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
2012	J	`jnl`	Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis
2011	—	`conf`	Formal Model Engineering for Embedded Systems Using Real-Time Maude AMMSE Peter Csaba Ölveczky
2011	—	`conf`	Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies AMMSE Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera
2011	B	`conf`	Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. SEFM Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
2011	—	`conf`	Probabilistic Real-Time Rewrite Theories and Their Expressive Power. FORMATS Lucian Bentea, Peter Csaba Ölveczky
2011	—	`conf`	Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude. Formal Modeling: Actors, Open Systems, Biological Systems Peter Csaba Ölveczky
2011	C	`conf`	Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer
2010	—	`conf`	A Rewriting-Logic-Based Technique for Modeling Thermal Systems RTRTS Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky
2010	—	`conf`	Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. TTSS Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám
2010	—	`conf`	Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models RTRTS Kyungmin Bae, Peter Csaba Ölveczky
2010	B	`conf`	Formal Real-Time Model Transformations in MOMENT2. FASE Artur Boronat, Peter Csaba Ölveczky
2010	—	`conf`	Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE Peter Csaba Ölveczky, Artur Boronat, José Meseguer
2010	C	`conf`	Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. ICFEM José Meseguer, Peter Csaba Ölveczky
2010	—	`conf`	Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications RTRTS Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám
2010	—	`ed.`	Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010. RTRTS Peter Csaba Ölveczky
2010	—	`ed.`	Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers WRLA Peter Csaba Ölveczky
2010	—	`conf`	Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family RTRTS Peter Csaba Ölveczky, José Meseguer
2009	B	`conf`	Formal Modeling and Analysis of an IETF Multicast Protocol. SEFM Elisabeth Lien, Peter Csaba Ölveczky
2009	J	`jnl`	Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. Theor. Comput. Sci. Peter Csaba Ölveczky, Stian Thorvaldsen
2009	—	`conf`	Teaching Formal Methods Based on Rewriting Logic and Maude. TFM Peter Csaba Ölveczky
2009	B	`conf`	The Priced-Timed Maude Tool. CALCO Leon Bendiksen, Peter Csaba Ölveczky
2009	C	`conf`	Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis
2008	—	`conf`	A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. WRLA Francisco Durán, Peter Csaba Ölveczky
2008	A	`conf`	Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. IPDPS Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu
2008	A	`conf`	The Real-Time Maude Tool. TACAS Peter Csaba Ölveczky, José Meseguer
2008	C	`conf`	Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. SNPD Peter Csaba Ölveczky
2007	A	`conf`	Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. IPDPS Peter Csaba Ölveczky, Martin Grimeland
2007	—	`conf`	Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. FMOODS Peter Csaba Ölveczky, Stian Thorvaldsen
2007	J	`jnl`	Semantics and pragmatics of Real-Time Maude. High. Order Symb. Comput. Peter Csaba Ölveczky, José Meseguer
2007	—	`ch.`	Some Tools. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo
2007	B	`conf`	The Maude Formal Tool Environment. CALCO Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
2006	—	`conf`	Abstraction and Completeness for Real-Time Maude. WRLA Peter Csaba Ölveczky, José Meseguer
2006	B	`conf`	Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. FASE Peter Csaba Ölveczky, Marco Caccamo
2006	A	`conf`	Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude. IPDPS Peter Csaba Ölveczky, Stian Thorvaldsen
2006	—	`conf`	Recent Advances in Real-Time Maude. RULE@FLoC Peter Csaba Ölveczky, José Meseguer
2006	J	`jnl`	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. Formal Methods Syst. Des. Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott
2004	—	`conf`	Real-Time Maude 2.1. WRLA Peter Csaba Ölveczky, José Meseguer
2004	B	`conf`	Specification and Analysis of Real-Time Systems Using Real-Time Maude. FASE Peter Csaba Ölveczky, José Meseguer
2002	—	`conf`	Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. DANCE José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott
2002	J	`jnl`	Specification of real-time and hybrid systems in rewriting logic. Theor. Comput. Sci. Peter Csaba Ölveczky, José Meseguer
2001	—	`conf`	Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. UNIGRA Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
2001	—	`conf`	Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
2001	B	`conf`	Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. FASE Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele
2000	—	`conf`	Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. WRLA Peter Csaba Ölveczky, José Meseguer
1996	—	`conf`	Order-Sorted Termination: The Unsorted Way. ALP Peter Csaba Ölveczky, Olav Lysne
1996	—	`conf`	Specifying real-time systems in rewriting logic. WRLA Peter Csaba Ölveczky, José Meseguer
1995	—	`conf`	An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal Methods for Industrial Applications Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing