José Eduardo Rivera

18 papers B 3Journal 2Unranked 13
YearRankTypeTitle / Venue / Authors
2011 — conf
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
AMMSE
Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera
2010 — conf
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages.
WRLA
José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
2010 — conf
Simulating domain specific visual models by observation.
SpringSim
Javier Troya, José Eduardo Rivera, Antonio Vallecillo
2009 B conf
A graphical approach for modeling time-dependent behavior of DSLs.
VL/HCC
José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
2009 — conf
Extending Visual Modeling Languages with Timed Behavior Specifications.
CIbSE
José Eduardo Rivera, Cristina Vicente-Chicote, Antonio Vallecillo
2009 J jnl
Formal Specification and Analysis of Domain Specific Models Using Maude.
Simul.
José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
2009 — conf
On the Specification of Non-Functional Properties of Systems by Observation.
NFPinDSML@MoDELS
Javier Troya, José Eduardo Rivera, Antonio Vallecillo
2009 — conf
On the Specification of Non-functional Properties of Systems by Observation.
MoDELS (Workshops)
Javier Troya, José Eduardo Rivera, Antonio Vallecillo
2009 — conf
Realizing Feature Oriented Software Development with Equational Logic: An Exploratory Study.
JISBD
Roberto E. Lopez-Herrejon, José Eduardo Rivera
2009 — conf
Wires* : A Tool for Orchestrating Model Transformations.
JISBD
José Eduardo Rivera, Daniel Ruiz-González, Fernando López-Romero, José María Bautista
2008 B conf
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.
SLE
José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo
2008 — conf
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE.
MoDELS (Workshops)
José Eduardo Rivera, José Raúl Romero, Antonio Vallecillo
2008 — conf
Representing and Operating with Model Differences.
TOOLS (46)
José Eduardo Rivera, Antonio Vallecillo
2008 — conf
Subtipado de Modelos: Una Definición Basada en la Sustitución entre Tipos y en la Aplicabilidad de Operaciones.
CIbSE
José Eduardo Rivera, Nathalie Moreno
2007 B conf
Adding Behavior to Models.
EDOC
José Eduardo Rivera, Antonio Vallecillo
2007 J jnl
Formal and Tool Support for Model Driven Engineering with Maude.
J. Object Technol.
José Raúl Romero, José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
2007 — conf
MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods.
MDWE
Antonio Vallecillo, Nora Koch, Cristina Cachero, Sara Comai, Piero Fraternali, Irene Garrigós, Jaime Gómez, Gerti Kappel, Alexander Knapp, Maristella Matera, Santiago Meliá, Nathalie Moreno, Birgit Pröll, Thomas Reiter, Werner Retschitzegger, José Eduardo Rivera, Andrea Schauerhuber, Wieland Schwinger, Manuel Wimmer, Gefei Zhang
2007 — conf
Maudeling: Herramienta de gestión de modelos usando Maude.
JISBD
José Eduardo Rivera, Francisco Durán, Antonio Vallecillo, José Raúl Romero