default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Csaba Ölveczky
Person information
- affiliation: University of Oslo, Norway
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j31]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. Fundam. Informaticae 192(3-4): 261-312 (2024)- [j30]Jaime Arias
, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Sci. Comput. Program. 233: 103074 (2024) - [j29]Cyrille Artho, Peter Csaba Ölveczky:
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022). Sci. Comput. Program. 237: 103149 (2024) - [c84]Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky:
Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL. ISoLA (2) 2024: 243-262 - [c83]Carlos Olarte, Peter Csaba Ölveczky:
Timed Strategies for Real-Time Rewrite Theories. WRLA 2024: 124-144 - [c82]Peter Csaba Ölveczky:
Teaching an Advanced Maude-Based Formal Methods Course in Oslo. WRLA 2024: 195-207 - [i4]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) - [i3]Carlos Olarte, Peter Csaba Ölveczky:
Timed Strategies for Real-Time Rewrite Theories. CoRR abs/2403.08920 (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 - [e16]Cyrille Artho, Peter Csaba Ölveczky:
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023. ACM 2023 [contents] - [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
- [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) - [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 - [c77]Peter Csaba Ölveczky:
Teaching Formal Methods to Undergraduate Students Using Maude. WRLA@ETAPS 2022: 85-110 - [c76]Simon Thrane Hansen, Peter Csaba Ölveczky:
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. WRLA@ETAPS 2022: 130-150 - [e15]Cyrille Artho, Peter Csaba Ölveczky:
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022. ACM 2022, ISBN 978-1-4503-9907-4 [contents] - 2021
- [j26]Antonio González-Burgueño, Peter Csaba Ölveczky:
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL. J. Log. Algebraic Methods Program. 122: 100685 (2021) - [j25]Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2018). Sci. Comput. Program. 208: 102658 (2021) - [j24]Peter Csaba Ölveczky, Gwen Salaün:
Software engineering and formal methods: SEFM 2019 special section. Softw. Syst. Model. 20(2): 291-292 (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 - [e14]Antonio Cerone, Peter Csaba Ölveczky:
Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings. Lecture Notes in Computer Science 12819, Springer 2021, ISBN 978-3-030-85314-3 [contents] - 2020
- [j22]Kyungmin Bae, Peter Csaba Ölveczky:
Formal aspects of component software (FACS 2018). Sci. Comput. Program. 200: 102547 (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 - [i1]Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov:
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR abs/2010.05708 (2020)
2010 – 2019
- 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) - [j20]Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky:
Formal modeling and analysis of safety-critical human multitasking. Innov. Syst. Softw. Eng. 15(3-4): 169-190 (2019) - [j19]Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2016). Sci. Comput. Program. 175: 35-36 (2019) - [c73]Antonio Cerone, Peter Csaba Ölveczky:
Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude. FM Workshops (1) 2019: 424-442 - [c72]Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov:
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun 2019: 1-26 - [c71]Peter Csaba Ölveczky:
Teaching Formal Methods for Fun Using Maude. FMFun 2019: 58-91 - [c70]Antonio González-Burgueño, Peter Csaba Ölveczky:
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL. FSEN 2019: 129-144 - [c69]Peter Csaba Ölveczky:
Design and Validation of Cloud Storage Systems Using Rewriting Logic. SYNASC 2019: 17-21 - [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 - [e13]Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Communications in Computer and Information Science 1008, Springer 2019, ISBN 978-3-030-12987-3 [contents] - [e12]Peter Csaba Ölveczky, Gwen Salaün:
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science 11724, Springer 2019, ISBN 978-3-030-30445-4 [contents] - 2018
- [j18]Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2015). Sci. Comput. Program. 154: 1-2 (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 - [c66]Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky:
An Executable Formal Framework for Safety-Critical Human Multitasking. NFM 2018: 54-69 - [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 - [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] - 2017
- [b1]Peter Csaba Ölveczky:
Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude. Undergraduate Topics in Computer Science, Springer 2017, ISBN 978-1-4471-6686-3, pp. 1-298 - [j17]Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2014). Sci. Comput. Program. 133: 89-90 (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 - [c63]Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky:
An Algorithm for Simulating Human Selective Attention. SEFM Workshops 2017: 48-55 - [c62]Peter Csaba Ölveczky:
Design and Validation of Cloud Storage Systems Using Formal Methods. TTCS 2017: 3-8 - [e10]Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers. Communications in Computer and Information Science 694, 2017, ISBN 978-3-319-53945-4 [contents] - 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) - [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 - [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 - [c59]Peter Csaba Ölveczky:
Formalizing and Validating the P-Store Replicated Data Store in Maude. WADT 2016: 189-207 - [e9]Christiano Braga, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9539, Springer 2016, ISBN 978-3-319-28933-5 [contents] - [e8]Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers. Communications in Computer and Information Science 596, Springer 2016, ISBN 978-3-319-29509-1 [contents] - 2015
- [j15]Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám:
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? Sci. Comput. Program. 99: 95-127 (2015) - [j14]Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky:
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. Sci. Comput. Program. 99: 128-192 (2015) - [j13]Cyrille Artho, Peter Csaba Ölveczky:
Preface. Sci. Comput. Program. 103: 1-2 (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) - [j11]Cyrille Artho, Peter Csaba Ölveczky:
Preface. Sci. Comput. Program. 113: 83-84 (2015) - [j10]Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani:
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Sci. Comput. Program. 113: 85-118 (2015) - [c58]Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency 2015: 1-47 - [c57]Kyungmin Bae, Peter Csaba Ölveczky:
Hybrid Multirate PALS. Logic, Rewriting, and Concurrency 2015: 114-134 - [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 - [e7]Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9200, Springer 2015, ISBN 978-3-319-23164-8 [contents] - [e6]Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers. Communications in Computer and Information Science 476, Springer 2015, ISBN 978-3-319-17580-5 [contents] - 2014
- [j9]Farhad Arbab, Peter Csaba Ölveczky:
Preface. Sci. Comput. Program. 83: 1-2 (2014) - [j8]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. 91: 3-44 (2014) - [c55]Jon Grov, Peter Csaba Ölveczky:
Formal Modeling and Analysis of Google's Megastore in Real-Time Maude. Specification, Algebra, and Software 2014: 494-519 - [c54]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer:
Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM 2014: 94-109 - [c53]Jon Grov, Peter Csaba Ölveczky:
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. SEFM 2014: 159-174 - [c52]Peter Csaba Ölveczky:
Real-Time Maude and Its Applications. WRLA 2014: 42-79 - [c51]Si Liu, Peter Csaba Ölveczky, José Meseguer:
A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA 2014: 162-177 - [e5]Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers. Communications in Computer and Information Science 419, Springer 2014, ISBN 978-3-319-05415-5 [contents] - 2013
- [c50]Muhammad Fadlisyah, Peter Csaba Ölveczky:
The HI-Maude Tool. CALCO 2013: 322-327 - [c49]Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky:
A Timed CTL Model Checker for Real-Time Maude. CALCO 2013: 334-339 - [c48]Lucian Bentea, Peter Csaba Ölveczky, Eduard Bentea:
Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios. CMSB 2013: 92-105 - [c47]Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah:
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. FTSCS 2013: 178-194 - [c46]Jon Grov, Peter Csaba Ölveczky:
Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation. Globe 2013: 26-38 - 2012
- [j7]Narciso Martí-Oliet, Peter Csaba Ölveczky:
Preface. J. Log. Algebraic Methods Program. 81(7-8): 719-720 (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) - [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 - [c43]Lucian Bentea, Peter Csaba Ölveczky:
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing. WADT 2012: 77-94 - [c42]Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám:
Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. WRLA 2012: 139-161 - [c41]Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky:
Timed CTL Model Checking in Real-Time Maude. WRLA 2012: 182-200 - [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 - [e4]Farhad Arbab, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7253, Springer 2012, ISBN 978-3-642-35742-8 [contents] - [e3]Peter Csaba Ölveczky, Cyrille Artho:
Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012. EPTCS 105, 2012 [contents] - 2011
- [c39]Peter Csaba Ölveczky:
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 368-402 - [c38]Lucian Bentea, Peter Csaba Ölveczky:
Probabilistic Real-Time Rewrite Theories and Their Expressive Power. FORMATS 2011: 60-79 - [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 - [c36]Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám:
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. SEFM 2011: 415-430 - [c35]Peter Csaba Ölveczky:
Formal Model Engineering for Embedded Systems Using Real-Time Maude. AMMSE 2011: 3-13 - [c34]Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera:
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies. AMMSE 2011: 49-63 - 2010
- [c33]Artur Boronat, Peter Csaba Ölveczky:
Formal Real-Time Model Transformations in MOMENT2. FASE 2010: 29-43 - [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 - [c30]Kyungmin Bae, Peter Csaba Ölveczky:
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models. RTRTS 2010: 46-66 - [c29]Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky:
A Rewriting-Logic-Based Technique for Modeling Thermal Systems. RTRTS 2010: 82-100 - [c28]Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám:
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications. RTRTS 2010: 117-136 - [c27]Peter Csaba Ölveczky, José Meseguer:
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family. RTRTS 2010: 137-157 - [c26]Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám:
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. TTSS 2010: 17-32 - [e2]Peter Csaba Ölveczky:
Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6381, Springer 2010, ISBN 978-3-642-16309-8 [contents] - [e1]Peter Csaba Ölveczky:
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010. EPTCS 36, 2010 [contents]
2000 – 2009
- 2009
- [j4]Peter Csaba Ölveczky, Stian Thorvaldsen:
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. Theor. Comput. Sci. 410(2-3): 254-280 (2009) - [c25]Leon Bendiksen, Peter Csaba Ölveczky:
The Priced-Timed Maude Tool. CALCO 2009: 443-448 - [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 - [c23]Elisabeth Lien, Peter Csaba Ölveczky:
Formal Modeling and Analysis of an IETF Multicast Protocol. SEFM 2009: 273-282 - [c22]Peter Csaba Ölveczky:
Teaching Formal Methods Based on Rewriting Logic and Maude. TFM 2009: 20-38 - 2008
- [c21]Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu:
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. IPDPS 2008: 1-8 - [c20]Peter Csaba Ölveczky:
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. SNPD 2008: 241-248 - [c19]Peter Csaba Ölveczky, José Meseguer:
The Real-Time Maude Tool. TACAS 2008: 332-336 - [c18]Francisco Durán, Peter Csaba Ölveczky:
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. WRLA 2008: 83-102 - 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 - [c16]Peter Csaba Ölveczky, Stian Thorvaldsen:
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. FMOODS 2007: 122-140 - [c15]Peter Csaba Ölveczky, Martin Grimeland:
Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. IPDPS 2007: 1-8 - [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) - [c14]Peter Csaba Ölveczky, Marco Caccamo:
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. FASE 2006: 357-372 - [c13]Peter Csaba Ölveczky, Stian Thorvaldsen:
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude. IPDPS 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
1990 – 1999
- 1996
- [c3]Peter Csaba Ölveczky, Olav Lysne:
Order-Sorted Termination: The Unsorted Way. ALP 1996: 92-106 - [c2]Peter Csaba Ölveczky, José Meseguer:
Specifying real-time systems in rewriting logic. WRLA 1996: 284-309 - 1995
- [c1]Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing:
An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal Methods for Industrial Applications 1995: 379-402
Coauthor Index
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 2025-05-03 01:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
