Peter Csaba Olveczky
Universitetet i Oslo
H-index: 28
Europe-Norway
Top articles of Peter Csaba Olveczky
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets | arXiv preprint arXiv:2401.01884 | Jaime Arias Kyungmin Bae Carlos Olarte Peter Csaba Ölveczky Laure Petrucci | 2024/1/3 |
Timed Strategies for Real-Time Rewrite Theories | arXiv preprint arXiv:2403.08920 | Carlos Olarte Peter Csaba Ölveczky | 2024/3/13 |
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving | Science of Computer Programming | Jaime Arias Kyungmin Bae Carlos Olarte Peter Csaba Ölveczky Laure Petrucci | 2024/3/1 |
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL | Kyungmin Bae Peter Csaba Ölveczky | 2023/10/26 | |
Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving | Jaime Arias Kyungmin Bae Carlos Olarte Peter Csaba Ölveczky Laure Petrucci | 2023/5/28 | |
Rewriting logic semantics and symbolic analysis for parametric timed automata | Jaime Arias Kyungmin Bae Carlos Olarte Peter Csaba Ölveczky Laure Petrucci | 2022/11/29 | |
Bridging the semantic gap between qualitative and quantitative models of distributed systems | Proceedings of the ACM on Programming Languages | Si Liu José Meseguer Peter Csaba Ölveczky Min Zhang David Basin | 2022/10/31 |
An extension of HybridSynchAADL and its application to collaborating autonomous UAVs | Jaehun Lee Kyungmin Bae Peter Csaba Ölveczky | 2022/10/17 | |
Teaching Formal Methods to Undergraduate Students Using Maude | Peter Csaba Ölveczky | 2022/4/2 | |
FTSCS’22 | Cyrille Artho Peter Csaba Ölveczky | 2022/12/7 | |
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude | Simon Thrane Hansen Peter Csaba Ölveczky | 2022/4/2 | |
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL | International Journal on Software Tools for Technology Transfer | Jaehun Lee Kyungmin Bae Peter Csaba Ölveczky Sharon Kim Minseok Kang | 2022/12 |
MSYNC: a generalized formal design pattern for virtually synchronous multirate cyber-physical systems | ACM Transactions on Embedded Computing Systems (TECS) | Kyungmin Bae Peter Csaba Ölveczky | 2021/9/22 |
Teaching formal methods for fun using Maude | Peter Csaba Ölveczky | 2021 | |
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL | Journal of Logical and Algebraic Methods in Programming | Antonio González-Burgueño Peter Csaba Ölveczky | 2021/8/1 |
Rooting formal methods within higher education curricula for computer science and software engineering—a white paper— | Antonio Cerone Markus Roggenbach James Davenport Casey Denner Marie Farrell | 2021 | |
Software engineering and formal methods: SEFM 2019 special section | Software and Systems Modeling | Peter Csaba Ölveczky Gwen Salaün | 2021/4 |
Preface: Special issue on Software Engineering and Formal Methods | Software and Systems Modeling | Peter Csaba C Ölveczky Gwen Salaün | 2021 |
Theoretical Aspects of Computing-ICTAC 2021 | Antonio Cerone Peter Csaba Ölveczky | 2021 | |
Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL | Jaehun Lee Sharon Kim Kyungmin Bae Peter Csaba Ölveczky | 2021 |