 | 2011 |
| 12 |  | Francisco Durán,
Camilo Rocha,
José M. Álvarez:
Tool Interoperability in the Maude Formal Environment.
CALCO 2011: 400-406 |
| 11 |  | Francisco Durán,
Camilo Rocha,
José M. Álvarez:
Towards a Maude Formal Environment.
Formal Modeling: Actors, Open Systems, Biological Systems 2011: 329-351 |
| 10 |  | José M. Álvarez,
Antonio M. López:
Road Detection Based on Illuminant Invariance.
IEEE Transactions on Intelligent Transportation Systems 12(1): 184-193 (2011) |
| 9 |  | Fadi Dornaika,
José M. Álvarez,
Angel Domingo Sappa,
Antonio M. López:
A New Framework for Stereo Sensor Pose Through Road Segmentation and Registration.
IEEE Transactions on Intelligent Transportation Systems 12(4): 954-966 (2011) |
| 2003 |
| 8 |  | José M. Álvarez,
Manuel Díaz,
Luis Llopis,
Ernesto Pimentel,
José M. Troya:
An Object-oriented Methodology for Embedded Real-time Systems.
Comput. J. 46(2): 123-145 (2003) |
| 7 |  | José M. Álvarez,
Manuel Díaz,
Luis Llopis,
Ernesto Pimentel,
José M. Troya:
Integrating Schedulability Analysis and Design Techniques in SD.
Real-Time Systems 24(3): 267-302 (2003) |
| 2001 |
| 6 |  | José M. Álvarez,
Manuel Díaz,
Luis Llopis,
Ernesto Pimentel,
José M. Troya:
Deriving hard real-time embedded systems implementations directly from SDL specifications.
CODES 2001: 128-133 |
| 5 |  | José M. Álvarez,
Tony Clark,
Andy Evans,
Paul Sammut:
An Action Semantics for MML.
UML 2001: 2-18 |
| 4 |  | José M. Álvarez,
Andy Evans,
Paul Sammut:
Mapping between Levels in the Metamodel Architecture.
UML 2001: 34-46 |
| 2000 |
| 3 |  | José M. Álvarez,
Manuel Díaz,
Luis Llopis,
Ernesto Pimentel,
José M. Troya:
Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real.
JISBD 2000: 229-240 |
| 2 |  | José M. Álvarez,
Manuel Díaz,
Luis Llopis,
Ernesto Pimentel,
José M. Troya:
SDL and hard real time systems: new design and analyze techniques.
SAM 2000: 92-107 |
| 1999 |
| 1 |  | José M. Álvarez,
Manuel Díaz,
Luis Llopis,
Ernesto Pimentel,
José M. Troya:
Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems.
SDL Forum 1999: 241- |