José Eduardo Rivera

According to our database1, José Eduardo Rivera authored at least 17 papers between 2007 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

On the Behavioral Semantics of Real-Time Domain Specific Visual Languages.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Simulating domain specific visual models by observation.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

Formal Specification and Analysis of Domain Specific Models Using Maude.
Simul., 2009

A graphical approach for modeling time-dependent behavior of DSLs.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

On the Specification of Non-Functional Properties of Systems by Observation.
Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages NFPinDSML2009 Affiliated with the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009) Denver, 2009

Wires* : A Tool for Orchestrating Model Transformations.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Realizing Feature Oriented Software Development with Equational Logic: An Exploratory Study.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Extending Visual Modeling Languages with Timed Behavior Specifications.
Proceedings of the Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), 2009

Representing and Operating with Model Differences.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude.
Proceedings of the Software Language Engineering, First International Conference, 2008

Behavior, Time and Viewpoint Consistency: Three Challenges for MDE.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Subtipado de Modelos: Una Definición Basada en la Sustitución entre Tipos y en la Aplicabilidad de Operaciones.
Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

Formal and Tool Support for Model Driven Engineering with Maude.
J. Object Technol., 2007

Maudeling: Herramienta de gestión de modelos usando Maude.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods.
Proceedings of the 3rd International Workshop on Model-Driven Web Engineering MDWE 2007, 2007

Adding Behavior to Models.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007