Peter Csaba Ölveczky

发表

Concurrent Objects in Maude

Peter Csaba Ölveczky, 2017 .

Virtual Single-Core for Multicore Real-Time Computing

José Meseguer, Lui Sha, Peter Csaba Ölveczky, 2020 .

Analyzing a Cryptographic Protocol

Peter Csaba Ölveczky, 2017 .

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper pdf

Faron Moller, Magne Haveraaen, Antonio Cerone, 2020, FMFun.

Modeling Communication in Maude

Peter Csaba Ölveczky, 2017 .

Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude

Indranil Gupta, José Meseguer, Rakesh B. Bobba, 2017, Assured Cloud Computing.

Formalizing and Checking Requirements

Peter Csaba Ölveczky, 2017 .

Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems: Preface

Cyrille Artho, Peter Csaba Ölveczky, 2012 .

Formally specifying and analyzing a parallel virtual machine for lazy functional languages using Maude

Nikolaos Papaspyrou, Georgios Fourtounis, Peter Csaba Ölveczky, 2011, HLPP '11.