A Kit for building UML model Simulators
Type: Spanish Conference Place: IV Jornadas trabajo DOLMEN. Alicante (DOLMEN IV)
Publishing Date: .2003-11-11
Authors: José Sáez
                 Francisco Maestre
                 Ambrosio Toval Alvarez

Automated property verification in UML models
Type: Workshop Internaticonal Place: AVoCS 2003: Third Workshop on Automated Verification of Critical Systems, Southampton (UK)
Publishing Date: .2003-04-30
Authors: Ambrosio Toval Alvarez
                 José Sáez
                 Francisco Maestre

Una infraestructura común para la animación de modelos UML
Type: Spanish Conference Place: VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD’02) El Escorial, Madrid
Publishing Date: .2002-11-19
Authors: José Sáez
                 Ambrosio Toval Alvarez
                 F.J. Albacete

Verificación de propiedades de los diagramas de estados de UML
Type: Spanish Conference Place: III Jornadas trabajo DOLMEN. El Escorial (Madrid) (DOLMEN III)
Publishing Date: .2002-11-19
Authors: José Sáez
                 Francisco Maestre
                 Ambrosio Toval Alvarez

Integration and Transformation of UML Models
Type: LCNS-JCR Place: Object-Oriented Technology: ECOOP 2002 Workshop Reader J. Hernandez, A. Moreira (eds.), Lecture Notes in Computer Science, vol. 2548, Springer-Verlag, 2002, pp.184-191. ISSN 0302-9743; ISBN 3-540-00233-2
Publishing Date: .2002-10-01
Authors: João Araújo
                 Jonathan Whittle
                 Ambrosio Toval Alvarez
                 Robert France