Peter Csaba Ölveczky

Available identifiers

zbMath Open olveczky.peter-csabaMaRDI QIDQ714795

List of research outcomes

Publication	Date of Publication	Type
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets	2024-10-22	Paper
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
Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving	2023-11-16	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
Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222863	1998-12-20	Paper

Research outcomes over time

This page was built for person: Peter Csaba Ölveczky