Остановите войну!
for scientists:
default search action
Peter Csaba Ölveczky
- > Home > Persons > Peter Csaba Ölveczky
Publications
- 2024
- [i3]Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci:
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. CoRR abs/2401.01884 (2024) - 2023
- [c81]Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets 2023: 369-392 - [c80]Kyungmin Bae, Peter Csaba Ölveczky:
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. FACS 2023: 127-152 - [i2]Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. CoRR abs/2303.08929 (2023) - 2022
- [j27]Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang:
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL. Int. J. Softw. Tools Technol. Transf. 24(6): 911-948 (2022) - [c79]Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. FTSCS 2022: 3-15 - [c78]Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky:
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. ISoLA (3) 2022: 47-64 - 2021
- [j23]Kyungmin Bae, Peter Csaba Ölveczky:
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems. ACM Trans. Embed. Comput. Syst. 20(5s): 105:1-105:26 (2021) - [c75]Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba Ölveczky:
HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. CAV (1) 2021: 491-504 - 2020
- [j22]Kyungmin Bae, Peter Csaba Ölveczky:
Formal aspects of component software (FACS 2018). Sci. Comput. Program. 200: 102547 (2020) - 2018
- [e11]Kyungmin Bae, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. Lecture Notes in Computer Science 11222, Springer 2018, ISBN 978-3-030-02145-0 [contents] - 2016
- [c61]Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. HSCC 2016: 145-154 - 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) - [c57]Kyungmin Bae, Peter Csaba Ölveczky:
Hybrid Multirate PALS. Logic, Rewriting, and Concurrency 2015: 114-134 - 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 - 2012
- [j6]Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis:
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. 77(12): 1235-1271 (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
- [c30]Kyungmin Bae, Peter Csaba Ölveczky:
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models. RTRTS 2010: 46-66 - 2009
- [c24]Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis:
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736
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-01-24 23:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint