Peter Csaba Ölveczky
Orcid: 0000-0002-0708-3721Affiliations:
- University of Oslo, Norway
According to our database1,
Peter Csaba Ölveczky
authored at least 114 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on folk.uio.no
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., 2024
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving.
Sci. Comput. Program., 2024
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets.
Fundam. Informaticae, 2024
Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024
Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
2023
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL.
Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.
Int. J. Softw. Tools Technol. Transf., 2022
Bridging the semantic gap between qualitative and quantitative models of distributed systems.
Proc. ACM Program. Lang., 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022
2021
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems.
ACM Trans. Embed. Comput. Syst., 2021
Softw. Syst. Model., 2021
Sci. Comput. Program., 2021
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL.
J. Log. Algebraic Methods Program., 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
2019
Sci. Comput. Program., 2019
Innov. Syst. Softw. Eng., 2019
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis.
Formal Aspects Comput., 2019
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2019
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2018
Sci. Comput. Program., 2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
Proceedings of the Fundamental Approaches to Software Engineering, 2018
2017
Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in Maude
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-4471-6686-3, 2017
Sci. Comput. Program., 2017
Proceedings of the Topics in Theoretical Computer Science, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking.
Proceedings of the Formal Methods and Software Engineering, 2017
2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
2015
Sci. Comput. Program., 2015
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories.
Sci. Comput. Program., 2015
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?
Sci. Comput. Program., 2015
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study.
Sci. Comput. Program., 2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
Proceedings of the Software, 2015
2014
Sci. Comput. Program., 2014
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Proceedings of the FM 2014: Formal Methods, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation.
Proceedings of the Data Management in Cloud, Grid and P2P Systems, 2013
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013
Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios.
Proceedings of the Computational Methods in Systems Biology, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
2012
Formalization and correctness of the PALS architectural pattern for distributed real-time systems.
Theor. Comput. Sci., 2012
Sci. Comput. Program., 2012
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
2011
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
2010
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems.
Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Proceedings of the Formal Techniques for Distributed Systems, 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
2009
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude.
Theor. Comput. Sci., 2009
Proceedings of the Teaching Formal Methods, Second International Conference, 2009
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude.
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude.
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
2006
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.
Formal Methods Syst. Des., 2006
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Proceedings of the 7th International Workshop on Rule Based Programming, 2006
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the Fundamental Approaches to Software Engineering, 2006
2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Proceedings of the Fundamental Approaches to Software Engineering, 2004
2002
Theor. Comput. Sci., 2002
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.
Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002
2001
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
1996
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996
1995
Proceedings of the Formal Methods for Industrial Applications, 1995