Peter Csaba Ölveczky

Design and Validation of Cloud Storage Systems Using Rewriting Logic

Peter Csaba Ölveczky, 2019, 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).

Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude

Antonio Cerone, Peter Csaba Ölveczky, 2019, FM Workshops.

Formal aspects of component software (FACS 2018)

Kyungmin Bae, Peter Csaba Ölveczky, 2020, Sci. Comput. Program..

Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic

Peter Csaba Ölveczky, 2007 .