DEPARTAMENTO: INGENIERIA DE SISTEMAS TELEMATICOS

Tfno.: 3367329 (secretaría) Fax: 3367333 Correo electrónico: secretaria@dit.upm.es

ADSCRITO A LA ESCUELA/FACULTAD: ESCUELA TECNICA SUPERIOR INGENIEROS DE TELECOMUNICACION:

INCLUYE PROFESORES EN LOS CENTROS: ESCUELA TECNICA SUPERIOR DE INGENIEROS DE TELECOMUNICACION:

PERSONAL:

Director del Departamento: Julio Berrocal Colmenarejo

Subdirectora del Departamento: Mercedes Garijo Ayestarán

Secretario del Departamento: Carlos Miguel Nieto

Catedráticos de Universidad:

Profesores Titulares de Universidad:

Profesores Asociados:

Becarios:

Personal de Administración y Servicios y Personal Laboral:

LINEAS DE INVESTIGACION

• Diseño de software de comunicaciones: ingeniería de protocolos (E-LOTOS), entornos de programación, ingeniería software, sistemas de tiempo real críticos, plataformas distribuidas, CORBA, TINA, técnicas orientadas a objetos. Codiseño Hardware/Software, métodos formales.

• Aplicaciones multimedia, trabajo cooperativo (CSCW), tele-educación, tele-trabajo, interfaces de usuario y protocolos multimedia.

• Redes y servicios telemáticos: nuevos servicios telemáticos, servicios INTERNET, WWW, protocolos de alta velocidad, ATM, redes de banda ancha, RDSI, gestión integrada de redes, sistemas y servicios (TMN, SMNP); redes satélite, redes locales y metropolitanas: simulación; cifrado; seguridad en redes.

• Sistemas inteligentes: procesamiento del lenguaje natural; agentes inteligentes; aprendizaje e inducción del conocimiento; aplicaciones en monitorización, control y comunicaciones.

• Bases de Datos: bases de datos distribuidas; modelos de datos; bases de datos orientadas a objetos; interoperabilidad en bases de datos heterogéneas.

• Teoría de la ofimática, sistemas complejos.

LINES OF RESEARCH

• Software design, software engineering, software engineering toolsets, protocol engineering E-LOTOS, real time critical systems, distributed platforms, CORBA, TINA object oriented techniques. Hardware/Software design, formal methods.

• Multimedia applications, cooperative work (CSCW), tele-education and tele-training, multimedia protocols and user's interfaces.

• Telematic services and networks: new telematic services, Internet service, WWW, high speed protocols, ATM, broadband networks, ISDN, integrated management of networks, systems and services (TMN, SNMP); satellite network, local and metropolitan network; simulation; cryptography; network security.

• Expert Systems: natural language processing; knowledge induction and learning; monitoring applications control and communications.

• Databases: distributed data bases; data models; object databases; inter-operability of heterogeneous databases.

• Office automation theory, complex systems.

PALABRAS CLAVE

Telemática, Ingeniería Software, Inteligencia Artificial, Redes de Ordenadores, Simulación, Protocolos de Comunicación, Bases de Datos.

KEYWORDS

Telematics, Software Engineering, Artificial Intelligence, Computer Networks, Simulation, Communication Protocols, Databases.

PROYECTOS DE INVESTIGACION (Activos en 1996)

Título del proyecto: "TETRA: Análisis, Diseño, Gestión e Implantación de un Centro Satélite de Teletrabajo"
Director: Pedro Alonso Martín
Financiación: CICYT (Plan Nacional de I+D)

Título del proyecto: "SIGER: Sistema Integral de Gestión de Red"
Director: Arturo Azcorra Saloña
Financiación: CE-CDTI (Acción Especial PASO)

Título del proyecto: "ABS: Architecture for Information Brokerage Service"
Director: Julio Berrocal Colmenarejo
Financiación: CE (Programa ACTS)

Título del proyecto: "DESITAS: Demostrador de Servicios de Información y Transacciones Seguras en el Entorno de las Administraciones Públicas"
Director: Julio Berrocal Colmenarejo
Financiación: CICYT

Título del proyecto: "SEIC: Sistema de Información Ciudadana"
Director: Gregorio Fernández Fernández
Financiación: CE - CDTI (Acción Especial PASO)

Título del proyecto: "PROTEGER: Sistema MultiAgente Experimental para Gestión de Red y Servicios"
Directora: Mercedes Garijo Ayestarán
Financiación: CICYT (Plan Nacional de I+D)

Título del proyecto: "SICHAN: Sistema Inteligente de Chequeo Automático de Normas"
Directora: Mercedes Garijo Ayestarán
Financiación: CE - CDTI (Acción Especial PASO)

Título del proyecto: "ATILA: Aplicaciones Telemáticas de Ingeniería Lingüística"
Director: José C. González Cristóbal
Financiación: CICYT (Plan Nacional de I+D)

Título del proyecto: "CRATER: Corpus Resources and Terminology Extraction"
Director: José C. González Cristóbal
Financiación: CE (Programa MLAP)

Título del proyecto: "INTAS 93--725: Multivariate Statistical Analysis and Bayesian Belief Networks for the Development of Intelligent Decision Support Systems with Applications in Medicine and Agriculture"
Director: José C. González Cristóbal
Financiación: CE (Programa INTAS)

Título del proyecto: "MIX: Modular Integration of Connectionist and Symbolic Processing in Knowledge-Based Systems"
Director: José C. González Cristóbal
Financiación: CE (Programa ESPRIT)

Título del proyecto: "EMEDAS. Entorno Avanzado para la Especificación y Diseño de Sistemas de Comunicaciones"
Director: Gonzalo León Serrano
Financiación: CICYT

Título del proyecto: "HEUNIX"
Director: Gonzalo León Serrano
Financiación: CE - CDTI (Acción Especial PASO)

Título del proyecto: "IDERS: Integrated Development Environment for Embedded Real-Time Systems with Complete Process and Product Visibility"
Directores: Gonzalo León Serrano y Juan A. de la Puente Alfaro
Financiación: CE (Programa ESPRIT) y CICYT

Título del proyecto: "MATES: Multimedia Assisted distributed Tele-Engineering Services"
Director: Gonzalo León Serrano
Financiación: CE (Programa ESPRIT)

Título del proyecto: "OTELSO: Object technology for Telecommunication Software"
Director: Gonzalo León Serrano
Financiación: CE (EUREKA), CDTI y PEIN

Título del proyecto: "Proceso Abierto Distribuido para la Colaboración Remota"
Director: Gonzalo León Serrano
Financiación: Ministerio de Asuntos Exteriores

Título del proyecto: "VITAL: Validation of Integrated Telecommunication Architectures for the Long-term"
Director: Gonzalo León Serrano
Financiación: CE (Programa ACTS)

Título del proyecto: "Diseño de un Servidor Internet para el Museo Hispano de Ciencia y Tecnología"
Director: Tomás P. de Miguel Moro
Financiación: Comunidad Autónoma de Madrid

Título del proyecto: "MHCT: Museo Hispano de Ciencia y Tecnología"
Director: Tomás P. de Miguel Moro
Financiación: CICYT

Título del proyecto: "Realización de un CDROM de exposición del MHCT"
Director: Tomás P. de Miguel Moro
Financiación: Ministerio de Educación y Cultura

Título del proyecto: "TECODIS: Teleworking in Co-operative Development of Industrial Software"
Director: Tomás P. de Miguel Moro
Financiación: CE (Programa ACTS)

Título del proyecto: "TELEMACO: Experimentos de uso de Aplicaciones Telemáticas Multimedia y Trabajo Cooperativo en Educación y Formación"
Directora: Encarna Pastor Martín
Financiación: CICYT

Título del proyecto: "LEVERAGE: Learn From Video Extensive Real ATM Gigabit Experiment"
Directora: Encarna Pastor Martín
Financiación: CE (Programa ACTS)

Título del proyecto: "SISCO: Sistemas Cooperativos Software"
Directora: Encarna Pastor Martín
Financiación: Programa Iberoamericano de Ciencia y Tecnología para el Desarrollo (CYTED). Subprograma Electrónica e Informática Aplicadas

Título del proyecto: "ARES: Architectural Reasoning for Embedded Software"
Directores: Juan A. de la Puente Alfaro y Gonzalo León Serrano
Financiación: CE (Programa ESPRIT) y CICYT

Título del proyecto: "Diseño de software de tiempo real para sistemas de señalización de ferrocarriles"
Director: Juan Antonio de la Puente Alfaro
Financiación: ALCATEL SEL Señalización S.A.

Título del proyecto: "Software de tiempo real para el robot ROSA-3"
Director: Juan Antonio de la Puente Alfaro
Financiación: ENWESA

Título del proyecto: "Técnicas avanzadas de desarrollo de software para el control de procesos industriales con requisitos de seguridad críticos"
Director: Juan A. de la Puente Alfaro
Financiación: CICYT

Título del proyecto: "Técnicas de Desarrollo de Sistemas de Tiempo Real Complejos, Distribuidos y Tolerantes a Fallos"
Director: Juan A. de la Puente Alfaro
Financiación: CICYT

Título del proyecto: "DISC: Diseño Integral de Sistemas de Comunicaciones"
Directores: Juan Quemada Vives, David de Frutos
Financiación: CICYT

Título del proyecto: "LOTOS Validation"
Director: Juan Quemada Vives
Financiación: Agencia Europea del espacio - ESTEC

Título del proyecto: "NICE - National Hosts Interconnection Experiments"
Director: Juan Quemada Vives
Financiación: CE (Programa ACTS)

Título del proyecto: "Verification and Validation of Communication Systems"
Directores: Juan Quemada Vives, David de Frutos
Financiación: CE (COST - Telecomunicaciones, 247)

Título del proyecto: "ISAT: Infraestructura de Seguridad para Aplicaciones Telemáticas"
Director: Juan Bautista Riera García
Financiación: CICYT

Título del proyecto: "ALFA - CAIRD"
Director: Tomás Robles Valladares
Financiación: CE (Programa ALFA)

Título del proyecto: "Feature Integration in Requirements Engineering"
Director: Tomás Robles Valladares
Financiación: CE (Programa ESPRIT)

Título del proyecto: "Teleeducación sobre RDSI"
Director: Tomas Robles Valladares
Financiación: CITAM

Título del proyecto: "Investigación Educativa sobre Tecnologías de Comunicaciones, Redes y Servicios Integrados orientada a Directivos y Técnicos Usuarios"
Director: Fernando Sáez Vacas
Financiación: BT Telecomunicaciones

Título del proyecto: "BONAPARTE: Broadband Optical Network using ATM PON Access Facilities in Realistic Telecomunications Environements"
Director: Joaquín Salvachúa Rodríguez
Financiación: CE (Programa ACTS)

Título del proyecto: "CEPAT: Certificación de Protocolos ATM"
Director: Enrique Vázquez Gallo
Financiación: CICYT

Título del proyecto: "INFOWIN: Multimedia Information Window for National Hosts"
Director: Enrique Vázquez Gallo
Financiación: CE (Programa ACTS)

Título del proyecto: "Multimedia Telecommunication Systems"
Directores: Enrique Vázquez Gallo
Financiación: CE (COST - Telecomunicaciones, 237)

Título del proyecto: "CORAGE: Control y Optimización por Razonamiento Aproximado y algoritmos Genéticos"
Director: Juan Ramón Velasco Pérez
Financiación: CE-CDTI (Acción Especial PASO)

Título del proyecto: "MITA: Metodología de Integración y Tecnologías Avanzadas de Control Inteligente de Procesos Continuos"
Director: Juan Ramón Velasco Pérez
Financiación: CICYT (Plan Nacional de I+D)

Título del proyecto: "EPHOS 2 bis Topic S: Networks based on DQDB"
Director: León Vidaller Siso
Financiación: CE (Iniciativa EPHOS)

Título del proyecto: "EPHOS 2 c Topic A.25: High Speed Wide Area Networks"
Director: León Vidaller Siso
Financiación: CE (Iniciativa EPHOS)

Título del proyecto: "EUROSAT"
Director: León Vidaller Siso
Financiación: CE (COPERNICUS 9645)

Título del proyecto: "INTERACT: Interactive Television Return Channel Standardisation and Trials"
Director: León Vidaller Siso
Financiación: CE (Programa ACTS)

Título del proyecto: "TEN: Tele Education Network"
Director: León Vidaller Siso
Financiación: CE (Programa Telematics)

ARTICULOS PUBLICADOS DURANTE 1996

EN REVISTAS ESPAÑOLAS

MIRANDA, J., ALVAREZ RODRIGUEZ, A., GUERRA, F., AREVALO, S.

"Estado del arte en lenguajes para programación distribuida".
Novática, núm. 123, Septiembre - Octubre, págs. 73-82. Barcelona, 1996.

EN REVISTAS EXTRANJERAS

DE LA PUENTE ALFARO, J.A., ALONSO MUÑOZ, A., ALVAREZ RODRIGUEZ, A.

"Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries".
Springer-Verlag LNCS (Lecture Notes in Computer Science), núm. 1088, págs. 78-88. Berlín (Alemania), 1996.

MIRANDA, J., ALVAREZ RODRIGUEZ, A., AREVALO, S., GUERRA, F.

"Drago: An Ada Extension to Program Fault-tolerant Distributed Applications".
Springer-Verlag LCNS (Lecture Notes in Computer Science), núm. 1088, págs. 235-246. Berlín (Alemania), 1996.

QUEMADA, J., DE MIGUEL, T., AZCORRA, A., PAVON, S., SALVACHUA, J., PETIT DE GABRIEL, M., LARRABEITI, D., ROBLES, T., HUECAS, G.

"ISABEL: A CSCW Application for the Distribution of Events".
Revista ISSN 0302-9743, Multimedia Telecommunications and Applications, Lecture Notes in Computer Science 1185, Springer-Verlag, Barcelona, 1996.

VELASCO PEREZ, J.R., GONZALEZ CRISTOBAL, J.C., IGLESIAS FERNANDEZ, C.A., MAGDALENA LAYOS, L.

"Multiagent Based Control Systems: A Hybrid Approach to Distributed Process Control".
Control Engineering Practice, Vol. 4, núm. 6, págs. 839-845. 1996.

MONOGRAFIAS Y OTRAS PUBLICACIONES EN 1996

AZCORRA SALOÑA, A., DE MIGUEL MORO, T., PASTOR MARTIN, E., VAZQUEZ GALLO, E.
(Editores)

Protocols for Multimedia Systems'96
ISBN 84-605-5621-2, 395 págs. Editorial Dpto. Publicaciones ETSIT-UPM. Madrid, 1996.

CHRIST, P., VAZQUEZ GALLO, E.

"Handbook on Communication Services".
105 págs. DeTeBerkom. Berlín (Alemania), 1996.

GONZALEZ CRISTOBAL, J.C., VELASCO PEREZ, J.R., IGLESIAS FERNANDEZ, C.A.

"A Distributed Platform for Symbolic-Connectionist Interoperation".
En R. Sun, and F. Alexandre: Connectionist-Symbolic Integration: From Unified to Hybrid Approaches, capítulo 10, págs. 195-214. Lawrence Erlbaum, 1996.

IGLESIAS FERNANDEZ, C.A., GONZALEZ CRISTOBAL, J.C., VELASCO PEREZ, J.R.

"MIX: A General Purpose Multiagent Architecture".
En M. Wooldridge, K. Fischer, P. Gmytrasiewicz, N.R. Jennings, J.P. M:uller, M. Tambe (eds.): INTELLIGENT AGENTS II: Agent Theories, Architectures, and Languages, págs. 251-266. Springer Verlag, 1996.

MAGDALENA LAYOS, L., VELASCO PEREZ, J.R.

"Fuzzy Rule-Based Controllers that Learn by Evolving their Knowledge Base".
En Genetic Algorithms and Soft Computing. Physica Verlag, 1996.

PONENCIAS Y COMUNICACIONES EN CONGRESOS Y REUNIONES TECNICAS DURANTE 1996

ACUÑA, C., CHAS, P.L., RODRIGUES, L., LAGARTO, V., BASTOS, J., FONTES, F., DOMINGUES, J., QUEMADA, J., DE MIGUEL, T., AZCORRA, A., PAVON, S., SALVACHUA, J., PETIT DE GABRIEL, M., MORENO, J.I.

"Distribution of the RACE Summer School '95 on Advanced Broadband Communications: a Step Towards the European Tele-Classroom".
IEEE ATM Workshop 96, Washington DC (EEUU), 1996.

ALONSO MUÑOZ, A., DE LA PUENTE ALFARO, J.A., ALVAREZ RODRIGUEZ, A.

"Building Reusable Software Architectures with Ada 95".
Second IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 96, Montreal (Canadá), 1996.

ALONSO MUÑOZ, A., LEON SERRANO, G., DUEÑAS LOPEZ, J.C., DE LA PUENTE ALFARO, J.A.

"Framework for documenting design decisions in product families development".
International Workshop on Development and Evolution of Software Architectures for Product Families, Las Navas del Marqués, Avila, 1996.

BELLIDO TRIANA, L., FERNANDEZ CAMBRONERO, D., PASTOR MARTIN, E.

"Architectural Issues for Multimedia Co-operative Systems".
3rd International Workshop on Protocols for Multimedia Systems, PROMS 96, págs. 33-47. Madrid, 1996.

CANCER, A., SANCHEZ, J., GARIJO AYESTARAN, M.

"A Multi-Agent System for Cooperative Network-Faults Management".
Proceedings of the First International Conference on the Practical Applications of Intelligent Agents and Multi-Agent Technology, PAAM-96, págs. 279-294. London (UK), 1996.

DE LA PUENTE ALFARO, J.A., ALONSO MUÑOZ, A., ALVAREZ RODRIGUEZ, A.

"Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries".
Ada-Europe 96, Montreaux (Suiza), 1996.

DE MIGUEL CABELLO, M.A., DUEÑAS LOPEZ, J.C.

"Hard Real-Time Systems Modeling and Simulation".
Modelling and Simujlation, ESM96, págs. 108-112. Budapest (Hungría), 1996.

DE MIGUEL CABELLO, M.A., DUEÑAS LOPEZ, J.C., RENDON GALLON, A., DE LA PUENTE ALFARO, J.A., ALONSO MUÑOZ, A., LEON SERRANO, G.

"Early Validation of Real-Time Systems by Model Execution".
13rd World Congress of IFAC International Federation of Automatic Control, págs. 315-320. San Francisco (CA, USA), 1996.

DUEÑAS LOPEZ, J.C., LEON SERRANO, G.

"Concurrent Prototyping for Software-Based Systems".
3rd International Conference on Concurrent Engineering and Electronic Design Automation, págs. 88-92. Cambridge (UK), 1996.

DUEÑAS LOPEZ, J.C., RENDON GALLON, A., DE MIGUEL CABELLO, M.A.

"Validación de Prototipos Heterogéneos".
V Jornadas de Calidad en Tecnologías de la Información, págs. 27-38. Madrid, 1996.

FERNANDEZ CAMBRONERO, D., PASTOR MARTIN, E., BELLIDO TRIANA, L.

"Experiences Integrating Co-operative Multimedia Applications into WWW".
Second CYTED-RITOS International Workshop on Groupware. Puerto Varas (Chile), 1996.

GARCIA GARCIA, V., GONZALEZ, O., ALVAREZ, F., VAZQUEZ GALLO, E., ALVAREZ-CAMPANA, M.

"A synchronous and Asynchronous Mode Algorithm in an Industrial LAN Based Distributed Communication System".
MELECON 96, págs. 1698-1701. Bari (Italia), 1996.

IGLESIAS FERNANDEZ, C.A., GARIJO AYESTARAN, M., GONZALEZ CRISTOBAL, J.C., VELASCO PEREZ, J.R.

"A Methodological Proposal for Multiagent Systems Development Extending CommonKADS".
Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, págs. 25-1/17. Banff (Canadá), 1996.

IGLESIAS FERNANDEZ, C.A., GONZALEZ CRISTOBAL, J.C., VELASCO PEREZ, J.R.

"The Role of Hybrid Systems in Intelligent Data Management: the Case of Fuzzy/Neural Hybrids".
Proceedings of the Seminar on Intelligent Data Management UNICOM, págs. 90-104. London (UK), 1996.

LARRABEITI LOPEZ, D., QUEMADA VIVES, J., PAVON GOMEZ, S.

"From LOTOS to Petri Nets through Iexpansion".
Formal Descriptions Techniques IX and Protocol Specification Testing and Validation XVI, págs. 485-500. Kaiserslautern (Alemania), 1996.

LLAMAS, M., QUEMADA VIVES, J., FERNANDEZ, M.J.

"Direct Verification of Bisimulations".
Formal Descriptions Techniques IX and Protocol Specification Testing and Validation XVI, págs. 349-363. Kaiserslautern (Alemania), 1996.

MIRANDA, J., ALVAREZ RODRIGUEZ, A., AREVALO, S., GUERRA, F.

"Drago: An Ada Extension to Program Fault-tolerant Distributed Applications".
Ada-Europe 96, Montreaux (Suiza), 1996.

MOCALVO, A., CHAS, P., QUEMADA VIVES, J.

"The Technical Realization of ABC'96".
4^th International Summer School on Advanced Broadband Communications ABC'96. Aveiro, Berlín, Bruselas, Madrid, Nápoles, 1996.

PETIT DE GABRIEL, M., DE MIGUEL MORO, T.

"Distribution of Multimedia Information Experiences over Broadband Networks".
EUNICE '96 Summer School. Lausane (Suiza), 1996.

PETIT DE GABRIEL, M., DE MIGUEL MORO, T.

"Flexible Support for Advanced CSCW Conferences: the ISABEL irouter".
3^rd International Workshop on Protocols for Multimedia Systems PROMS'96, págs. 99-110. Madrid, 1996.

PICKIN, S., SANCHEZ, C., SANCHEZ, J., YELMO GARCIA, J.C., GIL, J.J., RODRIGUEZ, E.

"An approach to the validation of open object-based distributed applications".
9th International Workshop on Testing of Communicating Systems. Darmstadt (Alemania), 1996.

PICKIN, S., SANCHEZ, C., YELMO GARCIA, J.C., GIL, J.J., RODRIGUEZ, E.

"Introducing formal notations in the development of object-based distributed applications".
1st Workshop on Formal Methods for Open Object-based Distributed Systems. París (Francia), 1996.

QUEMADA VIVES, J., PAVON GOMEZ, S., SALVACHUA RODRIGUEZ, J., LARRABEITI LOPEZ, D., ROBLES VALLADARES, T.

"Distributed Multimedia Services: Concepts, Case Studies and Challenges".
3^rd International Workshop on Protocols for Multimedia Systems PROMS'96, págs. 207-220. Madrid, 1996.

ROBLES VALLADARES, T., MARIN LOPEZ, A., DELGADO KLOOS, C., MIGUEL MORO, T.

"Diseño de Sistemas Hardware soportado por Técnicas Formales".
II Jornadas Informáticas, págs. 535-545. Almuñecar, 1996.

RODRIGUEZ, E., SOLORZANO, L.F., GIL, J.J., PICKIN, S., SANCHEZ, C., YELMO GARCIA, J.C.

"Un enfoque para la formalización del desarrollo de aplicaciones distribuidas basadas en objetos".
VI Jornadas Telecom I+D. Madrid, 1996.

RUIZ PIÑAR, F.J., FERNANDEZ DEL CAMPO, A., MIGUEL NIETO, C., CORRAL, S.

"La Red Damavar: una Red VSAT Multiestrella".
VI Jornadas Telecom I+D. Madrid, 1996.

RUIZ PIÑAR, A., MARTINEZ MAS, A., ARACIL, J., RUIZ, F.J.

"Data Integration in an IS-95 CDMA System".
International Workshop on Mobile Communications. Tesalónica (Grecia), 1996.

SANCHEZ, C., YELMO GARCIA, J.C., PICKIN, S., RODRIGUEZ, E., GIL, J.J.

"La prueba de aplicaciones distribuidas basadas en objetos: un reto para asegurar la calidad del producto".
V Jornadas de Calidad en Tecnologías de la Información. Círculo Español para la Calidad en Telecomunicación. Madrid, 1996.

SARAS PAZOS, J.A., GARCIA DE MIGUEL, J.F.

"Industrialization of a general purpose multimedia server".
3rd International Workshop on Protocols for Multimedia Systems, PROMS 96, págs. 111-120. Madrid, 1996.

VINYES SANZ, J., VAZQUEZ GALLO, E., MIGUEL MORO, T.

"Throughput analysis of p-CSMA based LonTalk protocols for building management systems".
MELECON 96, págs. 1741-1744. Bari (Italia),1996.

YI, J.-H., PASTOR MARTIN, E.

"Communication Support for Co-operative Applications in Open Distributed Processing Systems".
Second CYTED-RITOS International Workshop on Groupware. Puerto Varas (Chile), 1996.

ZAMORANO, J., ALONSO MUÑOZ, A., DE LA PUENTE ALFARO, J.A.

"Building Safety Critical Real-Time Systems with Reusable Cyclic Executives".
Real-Time Programming 1996. Proceedings of the 21st IFAC/IFIP Workshop. Gramado, Rio Grande do Sul (Brasil), 1996.

TESIS DOCTORALES LEIDAS Y CALIFICADAS EN 1996

MARIA DEL CARMEN CALDERON PASTOR

"Unificación de los protocolos de multipunto fiable optimizando la escalabilidad y el retardo"

Director: Arturo Azcorra Saloña
Calificación: apto cum laude por unanimidad
Fecha de lectura: Octubre 1996

DAVID LARRABEITI LOPEZ

"Contribución al Análisis del Espacio de Estados de Especificaciones LOTOS"

Directores: Juan Quemada Vives, Santiago Pavón Gómez
Calificación: apto cum laude por unanimidad
Fecha de lectura: Febrero 1996

ANDRES MARIN LOPEZ

"Diseño formal orientado a hardware de sistemas telemáticos: de LOTOS a VHDL"

Director: Carlos Delgado Kloos
Calificación: apto cum laude por unanimidad
Fecha de lectura: Junio 1996

JOSE IGNACIO MORENO NOVELLA

"Propuesta de arquitectura de red de banda ancha para servicios de telecomunicación de trabajo cooperativo"

Director: Arturo Azcorra Saloña
Calificación: apto cum laude por unanimidad
Fecha de lectura: Junio 1996

ANTONIO RUIZ CANTERA

"Métodos de Acceso para Redes Radio Móviles Privadas de Ambito Metropolitano"

Director: Antonio Martínez Mas
Calificación: apto cum laude por unanimidad
Fecha de lectura: Febrero 1996

JUAN CARLOS YELMO GARCIA

"Modelado y soporte al proceso de desarrollo software con FDT"

Director: Gonzalo León Serrano
Calificación: apto cum laude por unanimidad
Fecha de lectura: Julio 1996

JONG-HWA YI

"Contribución al modelado de funciones de comunicación para aplicaciones de procesamiento distribuido"

Director: Encarna Pastor Martín
Calificación: apto cum laude por unanimidad
Fecha de lectura: Noviembre 1996

ESTANCIAS PROLONGADAS, TRABAJOS REALIZADOS O CURSOS IMPARTIDOS EN CENTROS DE INVESTIGACION DIFERENTES DEL DE PROCEDENCIA DURANTE 1996

ESPAÑOLES EN EL EXTRANJERO

DUEÑAS LOPEZ, J.C.

"Acción Integrada Hispano-Austríaca, Proceso Abierto Distribuido para la Colaboración Remota".
Technical University of Vienna (Austria). 15 de Julio - 15 de Agosto, 1996.

EXTRANJEROS EN LA U.P.M.

JORGENSEN VEILLAT, L.

"Validation of Integrated Telecommunication Architectures for the Long-term (VITAL)".
Agencia Europea del Espacio. 1 de Enero - 31 de Diciembre, 1996.

LOPES DE OLIVEIRA, W.

"Architectural Reasoning for Embedded Software (ARES)".
Conselho Nacional de Pesquisa. 1 de Enero - 31 de Diciembre, 1996.

MARTINEZ ORTEGA, J.F.

"Multimedia Assisted distributed Tele-Engineering Services (MATES)".
Universidad del Cauca (Colombia). 1 de Noviembre - 31 de Diciembre, 1996.

PICKIN, S.

"Object technology for Telecommunication Software (OTELSO)".
CNET, París (Francia), 1 de Enero - 31 de Diciembre, 1996.

RENDON GALLON, A.

"Integrated Development Environment for Embedded Real-Time Systems with Complete Process and Product Visibility (IDERS)".
Universidad del Cauca (Colombia). 1 de Enero - 31 de Diciembre, 1996.

SANCHEZ TARNAWIECKI, C.

"Object technology for Telecommunication Software (OTELSO)".
Universidad Nacional de Ingeniería de Lima (Perú). 1 de Enero - 31 de Diciembre, 1996.

CARGOS DESEMPEÑADOS EN CONGRESOS Y REUNIONES TECNICAS EN 1996

ALONSO MUÑOZ, A.

• Miembro del Comité de organización. International Workshop on Development and Evolution of Software Architectures for Product Families, Las Navas del Marqués, Avila, Noviembre 1996.

ALVAREZ RODRIGUEZ, A.

• Miembro del Comité de Programa. Ada-Europe'96 Conference. Montreux (Suiza), Junio 1996.

AZCORRA SALOÑA, A.

• Presidente ("Chairman") y Miembro del Comité de Programa. 3^rd International Workshop on Protocols for Multimedia Systems PROMS'96. Madrid, Octubre 1996.

DE LA PUENTE ALFARO, J.A.

• Presidente de sesión. IFAC'96 World Congress. San Francisco, California (EE.UU). Julio 1996
• Miembro del Comité de programa. IEEE International Conference on the Engineering of Complex Computer Systems ICECCS'96. Montréal, Québec (Canadá). Octubre 1996.
• Miembro del Comité de programa. IFAC/IFIP Workshop on Real-Time Programming - WRTP'96. Gramado, (Brasil). Noviembre 1996.
• Miembro del Comité de organización. International Workshop on Development and Evolution of Software Architectures for Product Families, Las Navas del Marqués, Avila, Noviembre 1996.

DE MIGUEL MORO, T.

• Miembro del Comité Organizador. 3^rd International Workshop on Protocols for Multimedia Systems PROMS'96. Madrid, Octubre 1996.

DUEÑAS LOPEZ, J.C.

• Miembro del Comité de organización. International Workshop on Development and Evolution of Software Architectures for Product Families, Las Navas del Marqués, Avila, Noviembre 1996.

LARRABEITI LOPEZ, D.

• Presidente de sesión. NETFORUM 96. Madrid, 1996.
• Miembro del Comité organizador. 4^th International Summer School on Advanced Broadband Communications ABC96. Aveiro, Berlín, Bruselas, Madrid, Nápoles, 1996.

LEON SERRANO, G.

• Miembro del Comité de programa. International Workshop on Development and Evolution of Software Architectures for Product Families, Las Navas del Marqués, Avila, Noviembre 1996.

PASTOR MARTIN, E.

• Miembro del Comité Organizador. 3^rd International Workshop on Protocols for Multimedia Systems PROMS'96. Madrid, Octubre 1996.

QUEMADA VIVES, J.

• Organizador y miembro del Comité de Programa. 4^th International Summer School on Advanced Broadband Communications ABC'96. Aveiro, Berlín, Bruselas, Madrid, Nápoles, 1996.
• Miembro del Comité de Programa. Congreso Internacional de IFIP Formal Descriptions Techniques IX and Protocol Specification Testing and Validation XVI. Kaiserslautern (Alemania), 1996.
• Miembro del Comité de Programa. IFIP International workshop on Formal Methods for Open Object-based Distributed Systems FMOODS. París (Francia), 1996.
• Miembro del Comité de Programa. IFIP International Conference on Open Distributed Processing ICODP. Montreal (Canadá), 1996.
• Miembro del Comité Editorial ("Editorial Board") de la revista Computer Networks and ISDN Systems de la editorial North Holland.
• Rapporteur y Editor en la Organización de Normalización (ISO) de la norma "Enhancements to LOTOS".
  

VAZQUEZ GALLO, E.

• Miembro del Comité Organizador. 3^rd International Workshop on Protocols for Multimedia Systems PROMS'96. Madrid, Octubre 1996.

YELMO GARCIA, J.C.

• Miembro del Comité de programa. Workshop ACTS-TINA Core Team. AT&T Bellcore, Red Bank, NJ (EEUU). Noviembre 1996.

PREMIOS RECIBIDOS DURANTE 1996

SAEZ VACAS, F.

"Premio Fundesco de Investigación 1996".
Fundesco. Madrid. 1996.