Tomás Robles Valladares

(+34)915495700 ext 367 or 913367234/5/6 ext 438

(+34)913367333

<robles@dit.upm.es>

ETSI Telecomunicación · Ciudad Universitaria · E-28040 Madrid · Spain · Europe

B-210 (office shared with Joaquín Salvachúa Rodríquez )

Research interests

• Multimedia and Teleconference
• Isabel Project
• Communication Software Engineering
• Specification Languajes: E-LOTOS, LOTOS, SDL, ...
•  An E-LOTOS Front-End written in JAVA (Spanish documentation)
• Programming Languages: C++, Pascal, Ada, ...
• Hardware Description Languages (in particular VHDL)
• Formal Methods for Hardware Design
• Testing: verification, validation and Conformance testing
• Protocols and Networks
• Ethernet
• ISDN

Research projects

• BRAIN
• Isabel-Project
• EASEL

Finised Proyects

• BONAPARTE
• FORMAT (Esprit 6128) 
• COBRA (Esprit 8135)
• INTEGRAL (TIC93-0515-C02-01)
• SIMM
• CAIRD
• TELE-RDSI
• FIREWORK  ESPRIT Working Group 23531)
• EXPERT

Teaching duties

• Regular Course
• Fundamentos de Programación, 1er curso
• Laboratorio de Programación, 1er curso
• Laboratoriode Software de Comunicaciones
• Doctoral Course
•  Object Oriented Programming and Design
• Master courses

Publications

• Tomás P. De Miguel, Juan Quemada, Santiago Pavón, Joaquín Salvachúa, Tomás Robles, Gabriel  Huecas, Héctor Velayos, Eva Castro. Advanced Collaborative Services over Broadband Networks: the ISABEL experience. LIBRO: Next Generation Networks in Europe. Páginas: 143-160. ISBN 84-923942-1-8. Editeded by the ACTS Project InfoBridge (AC 359).
• Gabriel Huecas, Luis F. Llana-Díaz, Tomas Robles and Alberto Verdejo.E-LOTOS: an Overwiew.  LIBRO: Formal Methods and Telecommunications. Editores: Marco Ajmone Amrsan, Juan Quemada, Tomás Robles, Manuel Silva. PP. 94-102, ISBN: 84-7733-515-X, Septiembre 1999.
• Juan Quemada, Tomás de Miguel Arturo Azcorra, Santiago Pavón, Joaquín Salvachúa, Manuel Petit, David Larrabeiti, Tomás Robles, Gabriel Huecas, Daniel Rodríguez, Fernando Echevarrieta, Eva Castro,Teleservice creation with ISABEL in heterogeneous network environments,  SERIE: Interoperable Communication Network. Número especial:  Interoperability of Networks for Interoperable Services, ISSN 1385 9501,pp:303,310.Editorial: Baltzer Science Publishe. July 1998.
• T.Robles, D. Fernández, E. Pastar and S. Alamillo. Using Multimedia Communication Technologies in Distance Learning. Integrating Technology into computer Science Education. ACM ASBN 0-89791-923-8.
• J. Quemada, J. Salvachua, T. Robles, U. Killat, J. Asmussen, M. Ajmone Marsan, M. Munafo. A Pan-European ATM-Based Teleteaching Experiment.  World conference on educational multimedia and hypermedia world conference on educational telecommunications,  June 14-19, 1997, Calgary, CANADA.
• G. Huecas, T. Robles, L.M. González, J. Serrano. Development of a Validation System based on Formal Description     Techniques: Application to an Ada Run Time System FORTE XI/PSTV XVIII'98 3-6 de Noviembre de 1998, Paris,     FRANCE. Edited by: Stan Budkowski, Ana Cavalli, Elie Najm. ISBN:0-412-84760-4 Kluwer Academic Publishers.
• T. Robles, A. Marín, C. Delgado, T. de Miguel, W. Tiedemann, S. Lenk, C., W. Grass. Synthesis Techniques. Practical Formal Methods for Hardware Design, pp 227- 265, Spring-Verlang, ISBN 3-5540-62007-9.
• T. Robles, A. Marín, C. Delgado, T. de Miguel. Generating VHDL Code from LOTOS Descriptions. Practical Formal Methods for Hardware Design, pp 266- 293, Spring-Verlang, ISBN 3-5540-62007-9.
• W. Grass, C. Grobe, S. Lenk,  W. Tiedemann,  C. Delgado, A. Marín and T. Robles. Transformation of Timing Diagram Specifications into VHDL Code. Computer Hardware Description Languages and Their Applications, pp 659-668. Septiembre 1995. ISBN: 4-930813-67-0.
• J. Quemada, T. de Miguel, A. Azcorra, S. Pavón, J. Salvachúa, M. Petit, D. Larrabeiti, T. Robles, G. Huecas. ABC'96: Un   servicio de Teleeducación sobre ATM de ámbito intercontinental JITEL'97: Jornadas sobre Ingeniería Telemática. September 15-17, 1997, Bilbao, ESPAÑA.
• G. Huecas, J.A. Mañas, T. Robles. Métricas de Cobertura y Técnicas de Descripción Formales.  Novatica, Num 128, Julio-Agosto, 1997, pps 16/24 SPAIN.
• G. Huecas, T. Robles, L.M. González, J. Serrano. Validation of Hardware Implementations using Formal Description     Techniques Second International Workshop on Applied Formal Methods in System Design (WFMSD), June 18-19, 1997,  Zagreb, Croatia.
• J. Quemada, T. de Miguel, A. Azcorra, S. Pavón, J. Salvachúa, M. Petit, D. Larrabeiti, T. Robles, G. Huecas. ISABEL: A CSCW Application for the Distribution of Events. BOOK: Multimedia Telecomunications and Applications, Springer Verlag,   LNCS 1185, 1996, Edited by: G. Ventre, J. Domingo-Pascual, A. Danthine. pp. 137-153, ISSN 0-7923-9529-8.
• G. Huecas, J.A. Mañas, T. Robles. Modelado Formal de los PCOs para Entornos de Pruebas. V Jornadas de I+D en Telecomunicaciones, Madrid, SPAIN, Novenber 21-22, 1995.
• G. Huecas, J.A. Mañas, T. Robles. Impacto en la Calidad de la Fase de Pruebas con el Uso de Técnicas Formales. Novatica, Num 118, November-December, 1995, pps 82/87 SPAIN.
• G. Huecas, J.A. Mañas, T. Robles. Impacto en la Calidad de la Fase de Pruebas con el Uso de Tecnicas Formales.  IV Jornadas Técnicas de Calidad en Tecnologias Electrónicas, Madrid, SPAIN, Octover 19-20, 1995.
• W. Grass, C. Grobe, S. Lenk, W. Tiedemann, C. Delgado, A. Martín, T. Robles. Transformation of Timing Diagram Specifications into VHDL Code, . Computer Hardware Description Languages and Their Applications. CHDL'95, Tokyo (Japón), August 30 Ago-- September 1. 1995.
• T. Robles, J.A. Mañas, G. Huecas. Specification and Derivation of OSI Conformance Test Suites. IWPTS'92 Proceedings, Montreal, CANADA, 1992.
• T. Robles, J.A. Mañas, G. Huecas. Especificación de Conjuntos de Pruebas de Conformidad. Segundas Jornadas de I+D en   Telecomunicaciones, Madrid, SPAIN, 17-18 Noviembre 1992.
• T. Robles, J.A. Mañas, G. Huecas. Arquitectura de un Sistema de Ejecución de Pruebas Basado en FDTs. Primeras Jornadas de I+D en Telecomunicaciones, Madrid, ESPAÑA, 12-13 Noviembre 1991.

 

Updated by Tomas Robles Valladares on 5 February 1999