13 citations · 23 across the 5 of their papers we have counts for
5 papers
Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
Tim Kräuter, Adrian Rutle, Yngve Lamo +2
Modern software systems are often realized by coordinating multiple heterogeneous parts, each responsible for specific tasks. These parts must work together seamlessly to satisfy t…
Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour
Fernando Macías, Uwe Wolter, Adrian Rutle +2
The use of Domain-Specific Languages (DSLs) is a promising field for the development of tools tailored to specific problem spaces, effectively diminishing the complexity of hand-ma…
Tracing Properties of UML and OCL Models with Maude
Francisco Durán, Martin Gogolla, Manuel Roldán
The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by…
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…
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering
Francisco Durán, Vlad Rusu
Over the past years there has been quite a lot of activity in the algebraic community about using algebraic methods for providing support to model-driven software engineering. The…