Peter Csaba Olveczky

Formal modeling and analysis of hybrid systems in rewriting logic using higher-order numerical methods and discrete-event detection

Muhammad Fadlisyah, Erika Abraham, Peter Csaba Olveczky, 2011, 2011 CSI International Symposium on Computer Science and Software Engineering (CSSE).

Formal Model Engineering for Embedded Systems Using Real-Time Maude

Peter Csaba Olveczky, 2011 .

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

Cyrille Artho, Peter Csaba Olveczky, 2012 .

Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems

Peter Csaba Olveczky, 2010 .

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

Peter Csaba Olveczky, 2010 .