José Eduardo Rivera

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies AMMSE (2011)
Javier Troya, José Eduardo Rivera, Antonio Vallecillo
Simulating domain specific visual models by observation. SpringSim (2010)
José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. WRLA (2010)
Roberto E. Lopez-Herrejon, José Eduardo Rivera
Realizing Feature Oriented Software Development with Equational Logic: An Exploratory Study. JISBD (2009)
José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
Formal Specification and Analysis of Domain Specific Models Using Maude. Simul. 85 (11-12) (2009)
Javier Troya, José Eduardo Rivera, Antonio Vallecillo
On the Specification of Non-functional Properties of Systems by Observation. MoDELS (Workshops) (2009)
Javier Troya, José Eduardo Rivera, Antonio Vallecillo
On the Specification of Non-Functional Properties of Systems by Observation. NFPinDSML@MoDELS (2009)
José Eduardo Rivera, Cristina Vicente-Chicote, Antonio Vallecillo
Extending Visual Modeling Languages with Timed Behavior Specifications. CIbSE (2009)
José Eduardo Rivera, Daniel Ruiz-González, Fernando López-Romero, José María Bautista
Wires* : A Tool for Orchestrating Model Transformations. JISBD (2009)
José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
A graphical approach for modeling time-dependent behavior of DSLs. VL/HCC (2009)
José Eduardo Rivera, Nathalie Moreno
Subtipado de Modelos: Una Definición Basada en la Sustitución entre Tipos y en la Aplicabilidad de Operaciones. CIbSE (2008)
José Eduardo Rivera, José Raúl Romero, Antonio Vallecillo
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE. MoDELS (Workshops) (2008)
José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. SLE (2008)
José Eduardo Rivera, Antonio Vallecillo
Representing and Operating with Model Differences. TOOLS (46) (2008)
José Eduardo Rivera, Antonio Vallecillo
Adding Behavior to Models. EDOC (2007)
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
MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods. MDWE (2007)
José Raúl Romero, José Eduardo Rivera, Francisco Durán, Antonio Vallecillo
Formal and Tool Support for Model Driven Engineering with Maude. J. Object Technol. 6 (9) (2007)
José Eduardo Rivera, Francisco Durán, Antonio Vallecillo, José Raúl Romero
Maudeling: Herramienta de gestión de modelos usando Maude. JISBD (2007)