Publications

 

2004

Books

bulletIván Armuelles, Tomás Robles, Iván Ganchev, Mairtin O'Droma, Hakima Chaouchi, Matthias Siebert. On Ad Hoc Networks in the 4G Integration Process. The Third Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net 2004). pp.45-56. Bodrum, Turkey, Junio 27 al 30, 2004. ISBN: 975-98840-0-3.

 

Conferences and Workshops

bullet

Iván Armuelles, Tomás Robles, Carolina Pinart, Carlos Bader, Hakima Chaouchi, Mairtin O’Droma, Iván Ganchev, Matthias Seibert. Modelo de Integración de Sistemas para el Desarrollo de Redes de Comunicaciones Móviles de 4ta Generación. XIV Jornadas de Telecom I+D 2004. Madrid, España, Noviembre 23 al 25, 2004, ISBN: 84-933783-4-8.

                                             

bullet

 Iván Armuelles Voinov, Tomás Robles Valladares, David Fernández Cambronero. Componentes Funcionales de Middleware para un Terminal Movil de Redes de Comunicaciones Móviles de 4G. XIX Simposium Nacional de la Unión  Científica Internacional de Radio. Barcelona. España, Septiembre 8 al 10, 2004. Clave Conferencia

 

2003

Journals

bullet

Robles, T.; Ortiz, R.; Salvachja, J.. Porting the session initiation protocol to IPv6.  Internet Computing, IEEE , Volume: 7 Issue: 3 , May-June 2003, Page(s): 43 -50, ISSN: 1089-7801.

Conferences and Workshops

bullet

Ivan Armuelles Voinov, Carlos Bader, Tomás Robles Valladares. Integración de Sistemas: Hacia una arquitectura de comunicaciones móviles de 4G. XIII JORNADAS TELECOM I+D 2003, 18 a 20 de Noviembre de 2003.

 

bullet

Joaquín Salvachúa, Gabriel Huecas, Tomas Robles, Blanca Rodríguez. Definition of an advanced multimedia services description language using the Semantic Web. Workshop on Service Design and Adaptability.18 November 2003, Paris, France. CLAVE: Ponencia.

 

bullet

Ivan Armuelles, Tomás Robles. The Role of Reconfigurability in the Deployment of Systems beyond 3G. ANWIRE Workshop on Reconfigurability. 25-26 September 2003. Mykonos, Greece. CLAVE: Ponencia

 

bullet

 Ivan Armuelles, Tomás Robles. An enhanced socket interface for next generation systems. ANWIRE 1st International Workshop on “Wireless, Mobile & Allways Best Connected” .  pp: 73-85. April 22, 2003. University of Strathclyde, Glasgow, UK. ISBN: 0 9545660 0 9. CLAVE: Ponencia.

bullet

Quemada, J.; de Miguel, T.; Castro, E.; Pavon, S.; Huecas, G.; Robles, T.; Salvachua, J.; Apolinario, E.; Sedano, J.; Perea, M.J.. Isabel distribution of the Madrid global IPv6 summit 2002 over an IPv6 transition network. Applications and the Internet Workshops, 2003. Proceedings. 2003 Symposium on, 27-31 Jan. 2003 Pages:200 – 203.

 

 

 

2002

 

Books

bullet

Jean-Christophe Rault, Louise Burness, Emilio García, Tomás Robles, Jukka Manner, Nikos Georganopoulos, Pedro Rúiz.  IP QOS and mobility experimentations within the mind trial workpackage.  13 IEEE International Symposium on Personal, Indoor and mobile radio communications (PIMRC 2002), September 2002.  ISBN: 0-7803-7589-0. CLAVE: CL.

 

bullet

J.C. Burguillo, M. Llamas, M.J. Fernandez and T. Robles. Heuristic-driven Techniques for Test Case Selection. 7th International Workshop on Formal Methods for Industrial Critical Systems. FMICS 02 Málaga (Spain), 12-13 July 2002. Edited by Electronic Notes in Theoretical Computer Science. ISBN: 0444513418.

 

 

Conferences and Workshops
bullet

A. Kassler, T.Guenkova-Luy, D. Mandato, P.Schoo, I.Armuelles, T. Robles, P.Ruiz, A. Bascuñana. Enabling Mobile Heterogeneous Networking Environments eith End-to-End QoS - The BRAIN vision and the MIND approach. Procs. European Wireless 2002. Next Generation Wireless Netwroks: Technologies, Protocols, Services and Applications. Pags: 503-509.26-28 February 2002. Florence, Italy. (supported by IEEE, IEE).

 
bullet

Tomás Robles, Enric Mitjana and Pedro Ruiz. Usage scenarios and business opportunities for systems beyond 3G. Proceedings IST Summit 2002 (IST Mobile Communications Summit 2002), pp. 513-517, ISBN 960-91918-0-0. Thessaloniki (Grecia), June 2002. 

 

bullet

 Emilio Garcia, Pedro M. Ruiz, Lars Kollecker, Tomás Robles. MIND Terminal Auto-adaptability to Achieve a Better User-Perceived QoS in Networks beyond 3G. Proceedings of IST Summit 2002 (IST Mobile Communications Summit 2002), pp. 848-852, ISBN 960-91918-0-0. Thessaloniki (Grecia), June 2002.  

 

bullet

 M. Bradley, L. Llana, N. Martí-Oliet, T. Robles, J. Salvachua, A. Verdejo. Transforming Information in RDF to Rewriting logic. II Jornadas sobre Programación y Lenguajes (PROLE 2002). 18 y y 22  November at El Escorial (Madrid).

 

bullet

Iván Armuelles Voinov, David Fernández Cambronero, Tomás Robles Valladares. Acoplamiento vertical de la Arquitectura TCP/IP para la gestión de calidad de servicio en redes móviles ad hoc. de Actas de XVII Simposium Nacional de la Unión Científica Internacional de Radio 2002, septiembre 2002. ISBN: 84-813-517-4.

 

2001

Journals
bullet

T. Robles, A. Kadelka, H. Velayos, A. Lappeteläinen, A. Kassler, H. Li, D. Mandato, J. Ojala, B. Wegmann. QoS Support for an All-IP System Beyond 3G. IEEE CM, Vol. 39, No. 8.August 2001. ISSN 0163-6804.

 
bullet

Josef Urban, Dave Wisely, Edgar Bolinth. Georg Neureiter, Mika Liljeberg, Tomás Robles,.BRAIN- an architecture for a broadband radio access network of the next generation. WIRELESS COMMUNICATIONS AND MOBILE COMPUTING,  Wirel. Commund, ISSN: 1530-8669 , pp: 56-67. Comput. 2001.

Books
bullet

T. Robles, G. Huecas, J. Quemada, A. Verdejo, L.F. Llana-Díaz. Process Calculi: E-LOTOS. . Chapter in book: Formal Methods for Distributed Processing, a Survey of Object-Oriented Approaches,ISBN: 0-521-77184-6, pp 77-104. 2001. Editors: Howard Bowman, John Derrick. Edited by: Cambridge University Press..

bullet

T. Robles, J. Quemada, T. de Miguel, S. Pavón, J. Salvachúa, Manuel Petit, G. Huecas, H. Velayos, E. Castro.  Distributed Global Conferences over Heterogeneous Networks, pp. 53-72. Chapter in book: Multimedia Internet Broadcasting: quality, technology and interface. ISBN I-85233-283-2, 2001.

Conferences and Workshops

bullet

Tomás Robles, Narumi Umeda and Georg Neureite. Using BRAIN - Usage Scenarios and Business Model Case Studies. Second International Workshop on Broadband RadioAccess for IP-based Network. Yokosuka, Japan. 20 February 2001.

 

bullet

Dave Wisely, Tomás Robles and Josef Urban. In Proc. BRAIN – A Contribution to Systems beyond 3G.Proc of the Conferenc: 3G Infrastructure and Services, pp 364-368. 2-3 July 2001, Athens,  Greece.

 

bullet

D.Mandato, A. Kassler, T. Robles, G. Neureiter. Concepts of Service adaptation, Scalability and QoS Handling on mobility enabled networks. IST Global Summit 2001. Barcelona, September 2001.

 

bullet

D. Mandato, A. Kassler, T. Robles, G. Neureiter. Handling End-to-End QoS in Mobile Heterogeneous Networking Environments. PIMRC 2001.

 

bullet

A. López, H. Velayos, T. Robles, N. Villaseñor. Provision de Calidad de Servicio Basada en Reservas para entornos Móviles. JITEL - III Jornadas de Ingeniería Telemática 2001.

 

bullet

T. Robles, A. López, H. Velayos. Propuesta de una arquitectura para una futura Red de acceso radio basada en IP. JITEL - III Jornadas de Ingeniería Telemática 2001

 

2000

Books

bullet

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. Chapter in book: Next Generation Networks in Europe, pps: 143-160. ISBN 84-923942-1-8. Edited by the ACTS Project InfoBridge (AC 359).2000.

 
bullet

T. Robles, H..Velayos, J. Quemada, T. de Miguel, S, Pavón, J. Salvachúa, G Huecas, E. Castro, M. Petit. Managing Distributed Conferences with ISABEL. Chapter in book: Managing QoS in Multimedia Networks and Services, pps 89-102. ISBN 0-7923-7962-4. Edited by Kluwer Academic Publishers. September 2000.

 
bullet

 J. Quemada, T. de Miguel, M. Petit, S. Pavón, J. Salvachúa, G. Huecas, T. Robles,  H. Velayos, E. Castro, F. Echevarrieta . La Aplicación ISABEL. Chapter in book: Seminario Prog. Nac de Aplicaciones y Servicios (ISBN 84-905075-27-X), pps: 143-160. Edited by  Universidad Pública de Navarra.. 2000.

Conferences and Workshops

bullet

Autores: Encarna Pastor, David Fernández, Tomás Robles. My teacher is on the network - Experiences using multimedia communication technologies in distance learning. Proc Education in the communication age. Cambridge, England. 7 August 2000.

 
bullet

G. Neureiter, L. Burness, A. Kassler, P. Khengar, E. Kovacs, D. Mandato, J. Manner, T. Robles, H. Velayos. The BRAIN Quality of Service Architecture for Adaptable Services with Mobility Support. Proc.11th IEEE International Symposium on Personal, Indoor and Mobile Radio Communication. London, United Kingdom, 18-21 September 2000.

bullet

Andreas Kassler, Louise Burness, Piyush Khengar, Ernö Kovacs, Davide Mandato,Jukka Manner, Georg Neureiter, Tomàs Robles, Hector Velayos. BRENTA - Supporting Mobility and Quality of Service for Adaptable Multimedia Communication. Proc. IST Mobile Communications Summit 2000, Galway, Ireland, 1-4 October 2000, pp 403 - 408.

bullet

Tomás Robles, Narumi Umeda  and Georg Neureiter. Service scenarios and business model in BRAIN project. Proc. International Workshop on Broadband RadioAccess for IP-based Networks. London, UK, 20 November 2000.

bullet

Andreas Kassler, Louise Burness, Piyush Khengar. Ernö Kovacs, Davide Mandato, Jukka Manner, Georg Neureiter, Tomàs Robles, Hector Velayos. An Open Endsystem Architecture for Adaptable Multimedia Services with QoS Support. Proc. Brain Workshop London, UK, 20 November 2000.

 

1999

Books

bullet

Gabriel Huecas, Luis F. Llana-Díaz, Tomas Robles and Alberto Verdejo. E-LOTOS: an Overwiew.  Chapter in book: Formal Methods and Telecommunications. Editors: Marco Ajmone Amrsan, Juan Quemada, Tomás Robles, Manuel Silva. PP. 94-102, ISBN: 84-7733-515-X, Septiembre 1999.

 
bullet

J. Quemada, T. de Miguel, S. Pavón, J. Salvachua, M. Petit, T. Robles, G. Huecas, F. Echevarrieta, E. Castro. La Aplicación ISABEL. Chater in book: Seminario del Programa Nacional de Aplicaciones y Servicios Telematicos, Ed. Univ. Publica de Navarra, ISBN 84-95075-27-X, Noviembre 1999.

 

1998

Journals

bullet

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. Special Issue: Número especial:  Interoperability of Networks for Interoperable Services, ISSN 1385 9501,pp:303,310. Editor: Baltzer Science Publishe. July 1998.

 
bullet

T. Robles, J. Quemada, J. Salvachúa, A. Azcorra, D. Larrabeiti, J.A. Mañas, T. de Miguel, S. Pavón, G. Huecas.  FDTs foundations, methods and tools in the educational context: the DIT-UPM experience. Jouranl:  Formal Description Techniques 98 . ISSN 1242-5125  Páginas: 173- 188.  Noviembre 1998.

 

Books

bullet

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. Chapter in book:  FORTE XI/PSTV XVIII'98 3-6 de November 1998, Paris,   FRANCE. Edited by: Stan Budkowski, Ana Cavalli, Elie Najm. ISBN:0-412-84760-4 Kluwer Academic Publishers.

 

Conferences and Workshops

bullet

Autores: Marco Ajmone Marsan, M.Munafò, U.Killat, J.Asmussen, J.Quemada, T.Robles, J.Salvachua.The European Teleteaching Experiments of the ACTS Bonaparte Project. Proc. EDEN '98. Bologna, Italy . July 199Fecha: Junio, 1998.

 
bullet

Juan C. Dueñas, Gabriel Huecas, Santiago pavón, Tomas Robles, Joaquín Salvachúa. Experiencias en el uso del lenguaje Java para la enseñanza de Ingeniería Telemática. Proc. II Jornadas de Ingeniería Telemática. Publicación: Proceedings. Madrid. 1998.

 

1997

Journals

bullet

G. Huecas, J. A. Mañas, T. Robles. Métricas de Cobertura y Técnicas de Descripción Formales.  Journal: Novatica, Num 128, ISBN: 0211-2124,July-August, 1997, pps 16-24. Spain.

 

Books

bullet

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.1997.

 
bullet

T. Robles, A. Marín, C. Delgado, T. de Miguel, W. Tiedemann, S. Lenk, C., W. Grass. Synthesis Techniques. Chapter in book: Practical Formal Methods for Hardware Design, pp 227- 265, Spring-Verlang, ISBN 3-5540-62007-9. 1997.

 
bullet

T. Robles, A. Marín, C. Delgado, T. de Miguel. Generating VHDL Code from LOTOS Descriptions. Chapter in book: Practical Formal Methods for Hardware Design, pp 266- 293, Spring-Verlang, ISBN 3-5540-62007-9. 1997.

 

Conferences and Workshops

bullet

J. Quemada, J. Salvachua, T. Robles, U. Killat, J. Asmussen, M. Ajmone Marsan, M. Munafo. A Pan-European ATM-Based Teleteaching Experiment.  Proc. World conference on educational multimedia and hypermedia world conference on educational telecommunications,  June 14-19, 1997, Calgary, Canada.

 
bullet

J. Quemada, T. de Miguel, A. Azcorra, S. Pavón, J. Salvachua, M. Petit, D. Larrabeiti, T. Robles, G. Huecas. Distribution of Events with the ISABEL CSCW Application. 3rd CaberNet Plenary workshop 16-18 April 1997, Rennes.

 

bullet

G. Huecas, T. Robles, L.M. González, J. Serrano. Validation of Hardware Implementations using Formal Description  Techniques. Proc. Second International Workshop on Applied Formal Methods in System Design (WFMSD), June 18-19, 1997,  Zagreb, Croatia.

 
bullet

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. Proc. JITEL'97: Jornadas sobre Ingeniería Telemática. September 15-17, 1997, Bilbao, Spain.

 
bullet

Azucena Hernández, David Fernández, Tomás Robles, Encarna Pastor, Julian Cabrera, Saúl Labajo, José María Martínez, Guillermo Cisneros, Jose Fco. García de Miguel, Jaime Cid, Susana Jurado. Proyectos de Teleeducación RDSI del CITAM: sistemas de grabación y reproducción de clases. Proc. Jornadas de I+D en Telecomunicaciones. Madrid, Spain. November, 1997.  

 

1996

Journals

bullet

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. Journal: Multimedia Telecommunications and Applications, Lecture Notes in Computer Science 1185 (ISSN 0302-9743), Springer-Verlag, Barcelona, 1996.

 

Conferences and Workshops

 

bullet

Quemada Vives, J. , Pavón Gómez S., Salvachúa Rodríguez, J., Larrabeiti López, D., Robles Valladaes, T. Distributed Multimedia Services: Concepts, Case Studies and Challenges. Proc. 3rd International Workshop on Protocols for Multimedia Systems PROMS'96. Madrid, Spain .Fecha: 1996

 
bullet

Robles Valladares, T., Marín López, A., Delgado Kloos, C., Miguel Moro, T. Diseño de Sistemas Hardware soportado por Técnicas Formales. Proc.  II Jornadas Informáticas. Almuñecar, Spain. 15-19 Julio1996.

 

1995

Journals

bullet

G. Huecas, J.A. Mañas, T. Robles. Impacto en la Calidad de la Fase de Pruebas con el Uso de Técnicas Formales. Journal: Novatica, Num 118,  ISBN: 0211-2124,November-December, 1995, pps 82-87 Spain.

Books

bullet

Carlos Delgado Kloos, Tomás Robles Valladares, Andrés Marín López, Tomás de Miguel. From LOTOS to VHDL. Chapter in book: Current Issues in Electronic Modelling. High-Level System Modelling: Specification languages (ISBN 0-7923-9632-4) .Editorial: Kluwer Academic Publishers. Pages:  110-140.November 1995.

 

bullet

W. Grass, C. Grobe, S. Lenk,  W. Tiedemann,  C. Delgado, A. Marín and T. Robles. Transformation of Timing Diagram Specifications into VHDL Code. Chapter in book: Computer Hardware Description Languages and Their Applications, pp 659-668. Septiembre 1995. ISBN: 4-930813-67-0.

Conferences and Workshops

bullet

G. Huecas, J.A. Mañas, T. Robles. Modelado Formal de los PCOs para Entornos de Pruebas. Proc. V Jornadas de I+D en Telecomunicaciones, Madrid, Spain, November 21-22, 1995.

 

bullet

G. Huecas, J.A. Mañas, T. Robles. Impacto en la Calidad de la Fase de Pruebas con el Uso de Tecnicas Formales.  Proc. V Jornadas Técnicas de Calidad en Tecnologias Electrónicas, Madrid, Spain, October 19-20, 1995.

 

bullet

W. Grass, C. Grobe, S. Lenk, W. Tiedemann, C. Delgado, A. Martín, T. Robles. Transformation of Timing Diagram Specifications into VHDL Code. Proc. Computer Hardware Description Languages and Their Applications. CHDL'95, Tokyo (Japón), August 30 Ago-- September 1. 1995.

 
bullet

T. Robles et all. Un servidor de datos multimedia de propósito general. Servidor de información multimedia (SIMM). Proc. Quintas Jornadas TELECOM I+D. Madrid, Spain. November, 1995.

1994

1993

Journals

bullet

Autores (p.o. de firma):  Carlos Delgado Kloos, Tomás de Miguel, Tomás Robles, Gualberto Rabay y  Andrés Marín. VHDL Generation from a timed extension of the formal description  technique LOTOS within the FORMAT project. Journal: Microprocessing and Microprogramming Nº 38  (ISSN 0165-6074), Vol 3. Pages: 589-596. 1993.  

 

Books

bullet

J. Quemada, T. Robles, L. Pires, J. Mañas, A. Azcorra.  Introduction to LOTOS. Chapter in book: Using Formal Description Techniques. Páginas: 47-84, John Wiley, 1993, ISBN 0-471-93455-0. Edited by John Wiley. 1993.    

1992

Books

 

bullet

T. Robles, J.A. Mañas, G. Huecas. Specification and Derivation of OSI Conformance Test Suites, pp 1-12In Proc .  Proceedings Protocol Test System V IWPTS'92.  Edited by North-Holland , ISBN 0-444-89980-4  Montreal, CANADA, 1992.

 

Conferences and Workshops

 

bullet

T. Robles, J.A. Mañas, G. Huecas. Especificación de Conjuntos de Pruebas de Conformidad. Proc. Segundas Jornadas de I+D en   Telecomunicaciones, Madrid, SPAIN, 17-18 Noviembre 1992.

 
bullet

Tomás de Miguel, José A. Mañas y Tomás Robles. Generación de Herramientas para Software de Comunicaciones. Proc. Jornadas de I+D en Telecomunicaciones. Publicación: Proceedings. Madrid, Spain. November 17-18 1992. 

 

1991

Journals

bullet

Ettore Paolilo, Marco Riboli, Paolo Bossi, José A. Mañas, Tomás Robles, Laura Proietti, Sebastiano Trigila, Fernando Lucidi, Ricardo di Blasi, Jan de Meer, Axel Rennoch, Ilona Schubert, Rudolph Roth, Jörg Burmeister. Applicability of Formal Description Techniques for Test Specification. Journal: Applicability of Formal Description Techniques for Test Specification   (ISSN 0723-0508). Pages: 1-125. May 1991. Edited by   Arbeitspapiere der GMD 532. Germany.

Books

bullet

E. Paolilo, P. Bossi, M. Riboli, T. Robles, J. Mañas, Ilona Schöer, J. de Meer,  A. Rennoch, L. Proietti, F. Lucidi, S. Trigila,  N. Christiansen, L. Pedrosa, G. Martín.  IBCN Conformance Testing: the ITACA approach. Chapter in book:     Protocol Test Systems III . ISBN 0-444-89177-3. Páginas: 202-226. 1991.  

 

Conferences and Workshops

bullet

T. Robles, J. A. Mañas, G. Huecas. Arquitectura de un Sistema de Ejecución de Pruebas Basado en FDTs. Procs. Primeras Jornadas de I+D en Telecomunicaciones, Madrid, Spain, 12-13 Noviembre 1991.

 

1990

Journals

bullet

Rudi Alderden, Ed. Brinksma, Jörg Burmeister, Jan de Meer,  Tomás Robles, Jan Tretmans and Clazien Wezeman. Theoretical and Methodological Framework to Conformance Testing. pp 1--158. Editors:  Editado por Jan de Meer y Jörg Burmeister. Journal :  Theoretical and Methodological Framework to Conformance testing (ISSN 0723-0508). Edited by Arbeitspapiere der GMD 471. July 1990. Germany .

 

Books
bullet

T. de Miguel, T. Robles, J. Salvachúa, A. Azcorra. The SRTS experience: Using LOTOS for Design and Realization. Chapter in book: Formal Description Techniques III , ISBN 0-444-89024-6. Páginas: 383-394. Edited by North-Holland. 1990.

 

1989

Conferences and Workshops

bullet

J. Quemada, J. Mañas, A. Fernández, T. de Miguel, A. Azcorra, T. Robles, S. Pavón, J. Berrocal, L. Vidaller, C. Miguel, J. Salvachúa, J. Viñas, J. Riera. On Protocol Engineering using LOTOS. Proc. Workshop on Communication Networks and Distributed Operating Systems within the Space Environment (European Space Agency ). Estec, Holanda.  24-26 October 1989.