


Остановите войну!
for scientists:


default search action
Peter 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
- 2023
- [c80]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 - [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]