Остановите войну!
for scientists:
default search action
Peter Csaba Ölveczky
- > Home > Persons > Peter Csaba Ölveczky
Publications
- 2022
- [j28]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): 315-344 (2022) - 2020
- [c74]Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang:
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM 2020: 22-40 - 2019
- [j21]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): 503-540 (2019) - [c68]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: 40-57 - 2018
- [c67]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: 77-93 - [c65]Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer:
Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA@ETAPS 2018: 136-152 - 2017
- [c64]Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer:
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking. ICFEM 2017: 298-314 - 2016
- [j16]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): 34-66 (2016) - [c60]Si Liu, Peter Csaba Ölveczky, Muntasir Raihan Rahman, Jatin Ganhotra, Indranil Gupta, José Meseguer:
Formal modeling and analysis of RAMP transaction systems. SAC 2016: 1700-1707 - 2015
- [j12]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: 13-50 (2015) - [c56]Si Liu, Peter Csaba Ölveczky, José Meseguer:
Formal Analysis of Leader Election in MANETs Using Real-Time Maude. Software, Services, and Systems 2015: 231-252 - 2014
- [j8]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. 91: 3-44 (2014) - [c54]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer:
Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM 2014: 94-109 - [c51]Si Liu, Peter Csaba Ölveczky, José Meseguer:
A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA 2014: 162-177 - 2012
- [j5]José Meseguer, Peter Csaba Ölveczky:
Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Theor. Comput. Sci. 451: 1-37 (2012) - [c45]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS 2012: 1-18 - [c44]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem:
The SynchAADL2Maude Tool. FASE 2012: 59-62 - [c40]Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky:
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude. FTSCS 2012: 5-21 - 2011
- [c37]Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer:
Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM 2011: 651-667 - 2010
- [c32]Peter Csaba Ölveczky, Artur Boronat, José Meseguer:
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010: 47-62 - [c31]José Meseguer, Peter Csaba Ölveczky:
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. ICFEM 2010: 303-320 - [c27]Peter Csaba Ölveczky, José Meseguer:
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family. RTRTS 2010: 137-157 - 2008
- [c19]Peter Csaba Ölveczky, José Meseguer:
The Real-Time Maude Tool. TACAS 2008: 332-336 - 2007
- [j3]Peter Csaba Ölveczky, José Meseguer:
Semantics and pragmatics of Real-Time Maude. High. Order Symb. Comput. 20(1-2): 161-196 (2007) - [c17]Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky:
The Maude Formal Tool Environment. CALCO 2007: 173-178 - [p1]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:
Some Tools. All About Maude 2007: 667-693 - 2006
- [j2]Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott:
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. Formal Methods Syst. Des. 29(3): 253-293 (2006) - [c12]Peter Csaba Ölveczky, José Meseguer:
Abstraction and Completeness for Real-Time Maude. WRLA 2006: 5-27 - [c11]Peter Csaba Ölveczky, José Meseguer:
Recent Advances in Real-Time Maude. RULE@FLoC 2006: 65-81 - 2004
- [c10]Peter Csaba Ölveczky, José Meseguer:
Specification and Analysis of Real-Time Systems Using Real-Time Maude. FASE 2004: 354-358 - [c9]Peter Csaba Ölveczky, José Meseguer:
Real-Time Maude 2.1. WRLA 2004: 285-314 - 2002
- [j1]Peter Csaba Ölveczky, José Meseguer:
Specification of real-time and hybrid systems in rewriting logic. Theor. Comput. Sci. 285(2): 359-405 (2002) - [c8]José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott:
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. DANCE 2002: 494-510 - 2001
- [c7]Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets 2001: 250-303 - [c6]Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele:
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. FASE 2001: 333-348 - [c5]Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. UNIGRA 2001: 140-162 - 2000
- [c4]Peter Csaba Ölveczky, José Meseguer:
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. WRLA 2000: 361-382 - 1996
- [c2]Peter Csaba Ölveczky, José Meseguer:
Specifying real-time systems in rewriting logic. WRLA 1996: 284-309
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-09 00:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint