Peter Csaba Ölveczky

According to our database1, Peter Csaba Ölveczky authored at least 90 papers between 1995 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Formal Techniques for Safety-Critical Systems (FTSCS 2016).
Sci. Comput. Program., 2019

Formal modeling and analysis of safety-critical human multitasking.
ISSE, 2019

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL.
Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018
Formal Techniques for Safety-Critical Systems (FTSCS 2015).
Sci. Comput. Program., 2018

Formal Modeling and Analysis of the Walter Transactional Data Store.
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

An Executable Formal Framework for Safety-Critical Human Multitasking.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

ROLA: A New Distributed Transaction Protocol and Its Formal Analysis.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017
Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-4471-6686-3, 2017

Formal Techniques for Safety-Critical Systems (FTSCS 2014).
Sci. Comput. Program., 2017

Design and Validation of Cloud Storage Systems Using Formal Methods.
Proceedings of the Topics in Theoretical Computer Science, 2017

An Algorithm for Simulating Human Selective Attention.
Proceedings of the Software Engineering and Formal Methods, 2017

Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking.
Proceedings of the Formal Methods and Software Engineering, 2017

2016
Modeling and analyzing mobile ad hoc networks in Real-Time Maude.
J. Log. Algebr. Meth. Program., 2016

Formalizing and Validating the P-Store Replicated Data Store in Maude.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Formal modeling and analysis of RAMP transaction systems.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.
Sci. Comput. Program., 2015

Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories.
Sci. Comput. Program., 2015

Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?
Sci. Comput. Program., 2015

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study.
Sci. Comput. Program., 2015

Preface.
Sci. Comput. Program., 2015

José Meseguer: Scientist and Friend Extraordinaire.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

Formal Analysis of Leader Election in MANETs Using Real-Time Maude.
Proceedings of the Software, 2015

Hybrid Multirate PALS.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
Formal patterns for multirate distributed real-time systems.
Sci. Comput. Program., 2014

Preface.
Sci. Comput. Program., 2014

Real-Time Maude and Its Applications.
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

A Framework for Mobile Ad hoc Networks in Real-Time Maude.
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Definition, Semantics, and Analysis of Multirate Synchronous AADL.
Proceedings of the FM 2014: Formal Methods, 2014

Formal Modeling and Analysis of Google's Megastore in Real-Time Maude.
Proceedings of the Specification, Algebra, and Software, 2014

2013
Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation.
Proceedings of the Data Management in Cloud, Grid and P2P Systems, 2013

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios.
Proceedings of the Computational Methods in Systems Biology, 2013

A Timed CTL Model Checker for Real-Time Maude.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

The HI-Maude Tool.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012
Formalization and correctness of the PALS architectural pattern for distributed real-time systems.
Theor. Comput. Sci., 2012

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.
Sci. Comput. Program., 2012

Preface.
J. Log. Algebr. Program., 2012

PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

Timed CTL Model Checking in Real-Time Maude.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

The SynchAADL2Maude Tool.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Formal Patterns for Multi-rate Distributed Real-Time Systems.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems.
Electr. Notes Theor. Comput. Sci., 2011

Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

Formal Model Engineering for Embedded Systems Using Real-Time Maude
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Synchronous AADL and Its Formal Analysis in Real-Time Maude.
Proceedings of the Formal Methods and Software Engineering, 2011

Probabilistic Real-Time Rewrite Theories and Their Expressive Power.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

A Rewriting-Logic-Based Technique for Modeling Thermal Systems
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems.
Proceedings of the Formal Methods and Software Engineering, 2010

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.
Proceedings of the Formal Techniques for Distributed Systems, 2010

Formal Real-Time Model Transformations in MOMENT2.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude.
Theor. Comput. Sci., 2009

A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude.
Electr. Notes Theor. Comput. Sci., 2009

Teaching Formal Methods Based on Rewriting Logic and Maude.
Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Formal Modeling and Analysis of an IETF Multicast Protocol.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.
Proceedings of the Formal Methods and Software Engineering, 2009

The Priced-Timed Maude Tool.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008
The Real-Time Maude Tool.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2007
Semantics and pragmatics of Real-Time Maude.
Higher-Order and Symbolic Computation, 2007

Abstraction and Completeness for Real-Time Maude.
Electr. Notes Theor. Comput. Sci., 2007

Recent Advances in Real-Time Maude.
Electr. Notes Theor. Comput. Sci., 2007


Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

The Maude Formal Tool Environment.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.
Formal Methods in System Design, 2006

Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005
Real-Time Maude 2.1.
Electr. Notes Theor. Comput. Sci., 2005

2004
Specification and Analysis of Real-Time Systems Using Real-Time Maude.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

2002
Specification of real-time and hybrid systems in rewriting logic.
Theor. Comput. Sci., 2002

Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.
Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002

2001
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework.
Electr. Notes Theor. Comput. Sci., 2001

Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

Rewriting Logic as a Unifying Framework for Petri Nets.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems.
Electr. Notes Theor. Comput. Sci., 2000

1996
Specifying real-time systems in rewriting logic.
Electr. Notes Theor. Comput. Sci., 1996

Order-Sorted Termination: The Unsorted Way.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1995
An Object-Oriented Algebraic Steam-Boiler Control Specification.
Proceedings of the Formal Methods for Industrial Applications, 1995


  Loading...