8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.SE2011
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Francisco Durán, Peter Csaba Ölveczky, José E. Rivera
e-Motions is an Eclipse-based visual timed model transformation framework with a Real-Time Maude semantics that supports the usual Maude formal analysis methods, including simulati…
cs.LO2011★ 8 cited
Formal Model Engineering for Embedded Systems Using Real-Time Maude
Peter Csaba Ölveczky
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems. One can th…