José María Álvarez

According to our database, José María Álvarez authored at least 9 papers between 1999 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Dynamic Validation of Maude Prototypes of UML Models.

Francisco Durán, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez

Proceedings of the Specification, Algebra, and Software, 2014

2011

Tool Interoperability in the Maude Formal Environment.

Francisco Durán, Camilo Rocha, José María Álvarez

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

Towards a Maude Formal Environment.

Francisco Durán, Camilo Rocha, José María Álvarez

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2003

Integrating Schedulability Analysis and Design Techniques in SD.

José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya

Real Time Syst., 2003

An Object-oriented Methodology for Embedded Real-time Systems.

José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya

Comput. J., 2003

2001

Deriving hard real-time embedded systems implementations directly from SDL specifications.

José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya

Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

2000

SDL and hard real time systems: new design and analyze techniques.

José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya

Proceedings of the SAM 2000, 2000

Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real.

José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1999

Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems.

José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya

Proceedings of the SDL '99 The Next Millennium, 1999