Peter Csaba Ölveczky

Available identifiers

zbMath Open olveczky.peter-csabaMaRDI QIDQ714795

List of research outcomes

Publication	Date of Publication	Type
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL	2024-03-14	Paper
Automatic analysis of consistency properties of distributed transaction systems in Maude	2023-11-24	Paper
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL	2021-09-03	Paper
Formalizing and Validating the P-Store Replicated Data Store in Maude	2020-01-16	Paper
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis	2019-11-18	Paper
ROLA: a new distributed transaction protocol and its formal analysis	2019-09-16	Paper
Design and validation of cloud storage systems using formal methods	2018-02-16	Paper
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems	2017-05-19	Paper
Order-sorted termination: The unsorted way	2017-01-19	Paper
Modeling and analyzing mobile ad hoc networks in Real-Time Maude	2016-12-28	Paper
José Meseguer: Scientist and Friend Extraordinaire	2015-09-14	Paper
Hybrid Multirate PALS	2015-09-14	Paper
A Framework for Mobile Ad hoc Networks in Real-Time Maude	2015-09-09	Paper
Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude	2015-07-15	Paper
Formal Analysis of Leader Election in MANETs Using Real-Time Maude	2015-06-22	Paper
Abstraction and Completeness for Real-Time Maude	2014-01-24	Paper
Recent Advances in Real-Time Maude	2013-12-06	Paper
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing	2013-09-13	Paper
Verifying hierarchical Ptolemy II discrete-event models using real-time maude	2013-06-06	Paper
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework	2013-05-24	Paper
Timed CTL Model Checking in Real-Time Maude	2012-10-16	Paper
Formalization and correctness of the PALS architectural pattern for distributed real-time systems	2012-10-11	Paper
Probabilistic Real-Time Rewrite Theories and Their Expressive Power	2011-10-07	Paper
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude	2009-03-02	Paper
Semantics and pragmatics of real-time maude	2007-05-21	Paper
Specification and analysis of the AER/NCA active network protocol suite in real-time Maude	2007-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4421726	2003-09-01	Paper
Specification of real-time and hybrid systems in rewriting logic	2002-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q2764137	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2703709	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222863	1998-12-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter Csaba Ölveczky