VI. COMUNICACIONES Y PARTICIPACION EN ENTORNOS
DE LA CIENCIA, LA TECNOLOGIA Y LA DOCENCIA (1995)
A continuación se detallan las publicaciones, comunicaciones
y participaciones de personal del Departamento en todos los ámbitos
relacionados con sus actividades investigadoras y docentes, correspondientes
al año 1995.
6.1. Artículos
6.2. Monografías
6.3. Ponencias en Congresos y Reuniones Técnicas
6.4. Cargos desempeñados en Congresos y Reuniones Técnicas
6.5. Tesis Doctorales
6.6. Proyectos Fin de Carrera
6.7. Premios
6.1 ARTICULOS
En Revistas Españolas:
- *AUTOR/ES : Costilla Rodríguez, Carmen
- TITULO: Tutorial sobre Bases de Datos Distribuidas
- REVISTA: CIEMAT (Ministerio de Industria)
- NUMERO: Julio
- PAGINAS: Tutorial de 68 páginas
- LUGAR DE EDICION: Madrid (España)
- *AUTOR/ES : Delgado Kloos, C.; Lecha, E.; More, M.;
Terés, Ll. y Sánchez Fernández, L.
- TITULO: Introducción a los lenguajes VDHL, Verilog
y UDL/I
- REVISTA: Novática
- NUMERO: 112/113 (Nov.-Dic. 94/Ene.-Feb. 95)
- PAGINAS: 25-34
- LUGAR DE EDICION: Madrid (España)
- *AUTOR/ES :Delgado Kloos, C.; Lecha, E.; More, M.;
Terés, Ll. y Sánchez Fernández, L.
- TITULO: Comparación de los lenguajes Verilog
y UDL/I con VDHL
- REVISTA: Novática
- NUMERO: 112-113 (Nov.-Dic. 94/Ene.-Feb. 95)
- PAGINAS: 35-44
- LUGAR DE EDICION: Madrid (España)
- *AUTOR/ES : Huecas, G.; Mañas, J.A. y Robles,
T.
- TITULO: Impacto en la calidad de la fase de pruebas
con el uso de técnicas formales
- REVISTA: Novática. ISBN: 0211-2124
- NUMERO: 118 (Noviembre Diciembre)
- PAGINAS: 82-87
- LUGAR DE EDICION: Madrid (España)
- *AUTOR/ES : Iglesias, C.A.; González, J.C.;
Goñi, J.M.; López, J. y Nieto,A.
- TITULO: Procesamiento semántico en la arquitectura
ARIES. (Trabajo incluido anteriormente en las Actas de la V Conferencia
de la AEPIA'93, Madrid, Noviembre 1993, págs. 323-333)
- REVISTA: Novática
- NUMERO: 112-113 (Nov.-Dic. 94/Ene.-Feb. 95)
- PAGINAS: 91-96
- LUGAR DE EDICION: Madrid (España)
- *AUTOR/ES : Sáez Vacas, Fernando
- TITULO: Paradigmas empresariales y tecnológicos,
innovación, modelos sociotécnicos y "groupware"
- REVISTA: Telos
- NUMERO: 44 (Diciembre 1995 - Febrero 1996)
- PAGINAS: 28-41
- LUGAR DE EDICION: Madrid (España)
- *AUTOR/ES : Salvachúa, J. y Pavón, S.
- TITULO: Experiencia de una Escuela de Verano Distribuida:
ABC 95
- REVISTA: Boletín de la Red Nacional de I + D,
Red Iris. Centro de Comunicaciones CSIC/RedIRIS, 1995. ISSN 1133-5408
- NUMERO: 34 (Diciembre)
- PAGINAS: 14-16
- LUGAR DE EDICION: Madrid (España)
- AUTOR/ES : Villar, E. y Delgado Kloos, C.
- TITULO: VHDL, El lenguaje estándar de diseño
electrónico
- REVISTA: Novática
- NUMERO: 112/113 (Nov.-Dic.94/Ene.-Feb.95)
- PAGINAS: 20-24
- LUGAR DE EDICION: Madrid (España)
- *AUTOR/ES : Yelmo, Juan Carlos
- TITULO: Modelado y soporte del proceso software. El
entorno DELPHOS
- REVISTA: Novática
- NUMERO: Vol. 118 (Noviembre)
- PAGINAS: 64-73
- LUGAR DE EDICION: Madrid (España)
En Revistas Extranjeras
- *AUTOR/ES : Alonso, A.; León, G.; Dueñas,
J.C. y Puente, J.A. de la
- TITULO: An Environment for Distributed Prototyping
of Real-Time Systems
- REVISTA: Control Engineering Practice. ISSN~0967-0661
- NUMERO: 3 (Junio)
- PAGINAS: 871-876
- LUGAR DE EDICION: Gran Bretaña
- *AUTOR/ES : Breuer, P.T.; Sánchez Fernández,
L.; Delgado Kloos, C.
- TITULO: A Simple Denotational Semantics, Proof Theory
and a Validation Condition Generator for Unit-Delay VHDL
- REVISTA: International Journal of Formal Methods in
System Design. Kluwer Academic Publishers
- NUMERO: Nº 1/2, Vol. 7 (Agosto)
- PAGINAS: 27-52
- LUGAR DE EDICION: Dordrecht (Alemania)
- *AUTOR/ES : Costilla Rodríguez, Carmen
- TITULO: The Object Data Model and its Graphical User
Interface for an Object Database System
- REVISTA: Ed. IEEE Computer Science Press
- NUMERO: Julio
- PAGINAS: 161-173
- LUGAR DE EDICION: California, EEUU
- *AUTOR/ES : Delgado Kloos, C.; Marín López,
A.; Miguel Moro, T. de y Robles, T.
- TITULO: From LOTOS to VHDL. High-level System Modelling:
Specification Languages
- REVISTA: J.M. Bergé, O. Olivia, J. Rouillard
(eds.). Serie Current Issues in Electronic Modelling. Kluwer Academic
Publishers 1995, ISBN 0-7923-9632-4
- NUMERO: 3 (Septiembre)
- PAGINAS: 111-160
- LUGAR DE EDICION: Dordrecht (Alemania)
- *AUTOR/ES : Frutos, D. de; Núñez, M.
y Quemada, J.
- TITULO: Caracterizing Termination in LOTOS via Testing
- REVISTA: IFIP Transactions C: Protocol Specification,
Testing and Verification XV, ISSN 0926-549X
- NUMERO: ---
- PAGINAS: 225-240
- LUGAR DE EDICION: North-Holland (Holanda)
- *AUTOR/ES : Ruiz Piñar, F. J.; Fernández
del Campo, A.; Miguel Nieto, C.; Vidaller Sisó, L.
- TITULO: Distributed Access Algorithms for Portable
Meshed VSAT Networks
- REVISTA: International Journal of Satellite Communications
- NUMERO: Vol 13, Nº 6 (Noviembre - Diciembre)
- PAGINAS:473-485
- LUGAR DE EDICION: Gran Bretaña
- *AUTOR/ES : Sáez Vacas, F.
- TITULO: Serie de Ensayos sobre Inforpistas Inteligentes
- REVISTA: PC WEEK
- NUMERO: 9 Columnas en todos los Números Especiales
entre Enero y Diciembre
- PAGINAS: Página 3 (de cada Nº Especial)
- LUGAR DE EDICION: Madrid (España)
- AUTOR/ES : Sánchez Fernández, L.; Martínez
Madrid, N. y Delgado Kloos, C.
- TITULO: Integrating Non-functional Aspects into LOTOS.
En High-level System modelling: Specification and Design Methodologies
- REVISTA: J.M. Bergé, O. Olivia, J. Rouillard
(eds.). Serie Current Issues in Electronic Modelling. Kluwer Academic
Publishers 1995, ISBN 0-7923-9660-X
- NUMERO: 4 (Diciembre)
- PAGINAS: 173-189
- LUGAR DE EDICION: Dordrecht (Alemania)
* * *
6.2. MONOGRAFIAS Y OTRAS PUBLICACIONES
- *AUTOR/ES : Azcorra Saloña, A.; Quemada Vives,
J. y Mañas Argemi, J.
- TITULO: A pragmatic approach to verification, validation
and compilation. En: LOTOSphere: Software Development using LOTOS
- EDITORIAL: Kluwer Academic Publishers. Editores.: T.
Bolognesi, J. van de Lagemaat and C.A. Vissers. ISBN 0-7923-9529-8
- PAGINAS: 235-253
- LUGAR DE EDICION: ---
- *AUTOR/ES : Delgado Kloos, C. y Breuer, P.
- TITULO: Formal Semantics for VHDL
- EDITORIAL: Kluwer Academic Publishers. ISBN 0-7923-9552-2
- PAGINAS: 264
- LUGAR DE EDICION: Dordrecht (Alemania)
- *AUTOR/ES : Fernández Fernández, G.
y Sáez Vacas, F.
- TITULO: Fundamentos de Informática: Lógica,
Autómatas, Algoritmos y Lenguajes
- EDITORIAL: Anaya Multimedia
- PAGINAS: 719
- LUGAR DE EDICION: Madrid (España)
- *AUTOR/ES : León Serrano, G.
- TITULO: Innovación tecnológica y empleo,
en "La electrónica de defensa en el umbral del siglo
XXI"
- EDITORIAL: Colección Forum Electrónica
Militar. Fundación Universidad-Empresa. ISBN 84-7482-130-0
- PAGINAS: 325-330
- LUGAR DE EDICION: Madrid (España)
- *AUTOR/ES : Quemada Vives, J.; Azcorra Saloña,
A. y Pavón Gómez, S.
- TITULO: The LotoSphere Design Methodology. En: LOTOSphere:
Software Development using LOTOS
- EDITORIAL: Kluwer Academic Publishers. Editores: T.
Bolognesi, J. van de Lagemaat and C. A. Vissers. ISBN 0-7923-9529-8
- PAGINAS: 29-58
- LUGAR DE EDICION: ---
- *AUTOR/ES : Quemada Vives, J.; Miguel Nieto, C.; Frutos
Escrig, D. de y Llana Díaz, L.
- TITULO: The Design of Timed Systems
- EDITORIAL: In T. Rus and Rattray editor, "AMAST
Series in Computing: Vol 2. Theories and Experiences for Real-Time
System Development" (World Scientific Pub.Inc.) ISBN 981-02-1923-7
- PAGINAS: 239-263
- LUGAR DE EDICION: ---
- *AUTOR/ES : Sáez Vacas, F. (Coautor con un Círculo
de expertos)
- TITULO: Sistemas y procesos para la innovación
en la pequeña y mediana empresa
- EDITORIAL: Instituto para la Formación, Comunidad
de Madrid
- PAGINAS: 86
- LUGAR DE EDICION: Madrid (España)
- *AUTOR/ES : Sáez Vacas, F. (Autor principal)
- TITULO: Cuadernos 1, 2 y 3 de Multimedia
- EDITORIAL: PC WEEK
- PAGINAS: 24
- LUGAR DE EDICION: Madrid (España)
- AÑO: Noviembre - Diciembre de 1995
- *AUTOR/ES : Vázquez Gallo, E.
- TITULO: Design of Operating Systems using the FDT Estelle
(En Formal Descriptions Techniques VII)
- EDITORIAL: Chapman & Hall. ISBN 0-412-64450-9.
- PAGINAS: 71-86
- LUGAR DE EDICION: Gran Bretaña
- *AUTOR/ES : Velasco Pérez, J. R. y Magdalena
Layos, L.
- TITULO: Genetic Algorithms in Fuzzy Control Systems.
En Genetic Algorithms in Engineering and Computer Science (Winter,
G.; Pèriaux, J.; Galán, M. y Cuesta, P.)
- EDITORIAL: John Wiley and Sons (Eds.)
- PAGINAS: 141-165
- LUGAR DE EDICION: Chichester (Inglaterra)
* * *
6.3. PONENCIAS EN CONGRESOS Y REUNIONES TECNICAS
- *AUTOR/ES : Alonso, A.; Casillas, I. y de la Puente,
J. A.
- TITULO: Dynamic Replacement of Software in Hard Real-Time
Systems: Practical Assessment
- CONGRESO: 7th Euromicro Workshop on Real-Time Systems
- NUMERACION DE LAS PAGINAS DEL ACTA: 26-33
- FECHA DEL CONGRESO: 14-16 Junio 1995
- LOCALIDAD: Odense
- PAIS: Dinamarca
- *AUTOR/ES : Alonso, A.; Baresi, L.; Christensen, H.;
Heikkinen, M.
- TITULO: IDERS: An Integrated Environment for the Development
of Hard Real-Time Systems
- CONGRESO: 7th Euromicro Workshop on Real-Time Systems,
1995.
- NUMERACION DE LAS PAGINAS DEL ACTA: 4-10
- FECHA DEL CONGRESO: 14-16 Junio 1995
- LOCALIDAD: Odense
- PAIS: Dinamarca
- *AUTOR/ES : Alonso, A.; Dueñas, J.C.; Miguel,
M. de; León, G. y Rendón, A.
- TITULO: Heterogeneous Prototypingfor Distributed Real-TimeSystems
- CONGRESO: 13th IFAC Workshop on Distributed Computer
Control Systems
- NUMERACION DE LAS PAGINAS DEL ACTA: 113-118
- FECHA DEL CONGRESO: 27-29 Septiembre 1995
- LOCALIDAD: Toulouse
- PAIS: Francia
- *AUTOR/ES : Alonso, A. y de la Puente, J. A.
- TITULO: Practical Issues in the Implementation of Fixed
Priority Real-Time Systems
- CONGRESO: 20th IFAC/IFIP Workshop on Real-Time Programming
- NUMERACION DE LAS PAGINAS DEL ACTA: ---
- FECHA DEL CONGRESO: Noviembre 1995
- LOCALIDAD: Fort Lauderdale, Florida
- PAIS: EE.UU.
- *AUTOR/ES : Alvarez-Campana, M.; Vázquez, E.;
Azcorra, A.; De Gaudenzi, R. y García, V.
- TITULO: Efficient Support of Circuit-mode and Packet-mode
Services in Micro-VSAT Networks
- CONGRESO: 10th International Conference on Digital
Satellite Communications, ICDSC 10
- NUMERACION DE LAS PAGINAS DEL ACTA: 503-510
- FECHA DEL CONGRESO: 15-19 Mayo 1995
- LOCALIDAD: Brighton
- PAIS: Reino Unido
- *AUTOR/ES : Alvarez-Campana, M.; Vázquez, E.;
Vinyes, J. y Vozmediano, J.
- TITULO: Proceedings: Resource Allocation and Traffic
Control in an ATM Connectionless overlay Network
- CONGRESO: IFIP TC6 WG 6.4 and 6.3 3rd Workshop on Performance
Modelling and Evaluation of ATM Networks
- NUMERACION DE LAS PAGINAS DEL ACTA: 31/1 - 31/10
- FECHA DEL CONGRESO: 2-6 Julio 1995
- LOCALIDAD: IIkley
- PAIS: Reino Unido
- *AUTOR/ES : Alvarez-Campana, M.; Vázquez, E.
y Vinyes, J.
- TITULO: Proceedings: Efficient Support of Broadband
Connectionless Services over ATM
- CONGRESO: 4th International Conference on Broadband
Islands, BRIS'95
- NUMERACION DE LAS PAGINAS DEL ACTA: 207-216
- FECHA DEL CONGRESO: 4-6 Septiembre 1995
- LOCALIDAD: Dublín
- PAIS: Irlanda
- *AUTOR/ES : Aracil, J.; Ruiz, F. J.; García,
C. y Ruiz, A.
- TITULO: Multiple Access Architectures for Broadband
Traffic Support in Dual Bus Topologies
- CONGRESO: Proceedings of the Engineers Conf. at Networld
+ Interop' 95, 20
- NUMERACION DE LAS PAGINAS DEL ACTA: Engineer Conference
Notes E7-2 Pág. 1-9
- FECHA DEL CONGRESO: Marzo 1995
- LOCALIDAD: Las Vegas
- PAIS: Estados Unidos
- *AUTOR/ES : Azcorra, A.; Vázquez, E.; Berrocal,
J.; De Gaudenzi, R.y García,V.
- TITULO: Design of an Integrated Protocol Architecture
for MicroVSATNetworks
- CONGRESO: 10th International Conference on Digital
Satellite Communications
- NUMERACION DE LAS PAGINAS DEL ACTA: 358-365
- FECHA DEL CONGRESO: 15-19 Mayo 1995
- LOCALIDAD: Brighton
- PAIS: Reino Unido
- *AUTOR/ES : Breuer, P.T.; Martínez, N.; Marín,
A.; Sánchez, L. y Delgado K.,C.
- TITULO: Tiempo lógico en un lenguaje de tiempo
real
- CONGRESO: I Jornadas de Informática
- NUMERACION DE LAS PAGINAS DEL ACTA: 165-174
- FECHA DEL CONGRESO: 17-21 Julio 1995
- LOCALIDAD: Tenerife (Islas Canarias)
- PAIS: España
- *AUTOR/ES : Breuer, P.P.; Bowen, J.P.; Martínez,
N.; Sánchez, L.yDelgadoK.,C.
- TITULO: Just in Time - A Specification Calculus for
Real Systems
- CONGRESO: Software Engineering Research Forum
- NUMERACION DE LAS PAGINAS DEL ACTA: 249-258
- FECHA DEL CONGRESO: 2-3 Noviembre 1995
- LOCALIDAD: Boca Ratón, Florida
- PAIS: E.E.U.U.
- *AUTOR/ES : Chas, P. L.; Acuña, C.; Quemada,
J.; Azcorra, A.; Migel, T. P. de; Domingues, J; Lagarto, V.; Duarte,
M.; Aguiar, R. y Plagemann, S.
- TITULO: Advanced Distance Training Networks for RACE
Summer Schools
- CONGRESO: 22nd International Conference
and School New Information Technologies in Science, Education,
Medicine and Business (CAD'95)
- NUMERACION DE LAS PAGINAS DEL ACTA: ---
- FECHA DEL CONGRESO: Mayo 1995
- LOCALIDAD: ---
- PAIS: ---
- *AUTOR/ES : Delgado K., C. y Breuer, P.
- TITULO: Tutorial: Formal Methods for Hardware Verification:
Overview and Application to VDHL
- CONGRESO: VDHL Forum for CAD in Europe
- NUMERACION DE LAS PAGINAS DEL ACTA: ---
- FECHA DEL CONGRESO: 24 Abril 1995
- LOCALIDAD: Nantes
- PAIS: Francia
- *AUTOR/ES : Delgado K., C.; Martínez, N. y Sánchez,
L.
- TITULO: Hardware/Software Codesign Based on LOTOS
- CONGRESO: IV Jornadas sobre Concurrencia
- NUMERACION DE LAS PAGINAS DEL ACTA: 1-15
- FECHA DEL CONGRESO: 7-9 Junio 1995
- LOCALIDAD: San Lorenzo de El Escorial (Madrid)
- PAIS: España
- *AUTOR/ES : Dueñas, J.C. y León, G.
- TITULO: Simulation on Real-Time scheduling at design
levels
- CONGRESO: VI Workshop on Real Time Systems. EUROMICRO.
Ed. IEEE Computer Socie ty Press
- NUMERACION DE LAS PAGINAS DEL ACTA: 140-146
- FECHA DEL CONGRESO: 14-16 Junio 1995
- LOCALIDAD: Odense
- PAIS: Dinamarca
- *AUTOR/ES : Dueñas, J.C.; León, G. y
Miguel, M. de
- TITULO: Heterogeneous Simulation for Real-Time Systems
- CONGRESO: EUROSIM, Simulation Congress
- NUMERACION DE LAS PAGINAS DEL ACTA: 619-624
- FECHA DEL CONGRESO: 11-15 Septiembre 1995
- LOCALIDAD: Viena
- PAIS: Austria
- *AUTOR/ES : Dueñas, J.C. y León, G.
- TITULO: Distributed Simulation of High Level Time Petri
Nets
- CONGRESO: EUROSIM, Simulation Congress. Poster Book
- NUMERACION DE LAS PAGINAS DEL ACTA: Nº 61
- FECHA DEL CONGRESO: 11-15 Septiembre 1995
- LOCALIDAD: Viena
- PAIS: Austria
- *AUTOR/ES : Fernández, A.; Ruiz, F. J.; Miguel,
C.; Vidaller, L.; Aracil, J. y Pérez, J.
- TITULO: Personal Satellite Communications with Portable
Terminals. Picoterminal Network, a Case Study
- CONGRESO:Telecom'95 ITU 7thWorld Telecommunication
Exhibition &Forum
- NUMERACION DE LAS PAGINAS DEL ACTA: Sess 7-1.
- FECHA DEL CONGRESO: Octubre 1995
- LOCALIDAD: Ginebra
- PAIS: Suiza
- *AUTOR/ES : García, J. F.; Martínez,
J. Mª; Méndez, C. y Robles, T.
- TITULO: Un servidor de datos multimedia de propósito
general. Servidor de informacion multimedia (SIMM)
- CONGRESO: V Jornadas Telecom I + D
- NUMERACION DE LAS PAGINAS DEL ACTA: 75-84
- FECHA DEL CONGRESO: 21-22 Noviembre 1995
- LOCALIDAD: Madrid
- PAIS: España
- *AUTOR/ES : González, J.C.; Goñi, J.
M. y Nieto, A.
- TITULO:ARIES:A Ready for Use Platform Engineering Spanish-ProcessingTools
- CONGRESO: Digest of the Second Language Engineering
Convention. Department of Trade and Industry
- NUMERACION DE LAS PAGINAS DEL ACTA: 219-226
- FECHA DEL CONGRESO: Octubre 1995
- LOCALIDAD: Londres
- PAIS: Reino Unido
- *AUTOR/ES : González, A. L., Goñi, J.
M. y González, J.C.
- TITULO: Un analizador morfológico para el castellano
basado en chart
- CONGRESO: VI Conf. de la Asociac. Española para
la Inteligencia Artificial (CAEPIA'95)
- NUMERACION DE LAS PAGINAS DEL ACTA: 343-352
- FECHA DEL CONGRESO: Noviembre 1995
- LOCALIDAD: Alicante
- PAIS: España
- *AUTOR/ES : González, J.C., Velasco, J.R., Alvarez,
J.; Escobero, A., Iglesias, C.A.
- TITULO: MIX: Un enfoque multiagente para sistemas híbridos
simbólico-conexionistas
- CONGRESO: I Jornadas de Informática. Asociación
Española de Informática y Automática, AEIA
- NUMERACION DE LAS PAGINAS DEL ACTA: 637-646
- FECHA DEL CONGRESO: Julio 1995
- LOCALIDAD: Puerto de la Cruz
- PAIS: España
- *AUTOR/ES : González J. C., Velasco, J. R. e
Iglesias, C.A.
- TITULO: A distributed platform for symbolic-connectionist
interoperation. Proceedings of the IJCAI' 95 Workshop on Connectionist-Symbolic
Integration: From Unified to Hybrid Approaches
- CONGRESO: International Joint Conference on Artificial
Intelligence (An extended version of this paper will appear in
Connectionist-Symbolic Integration, Lawrence Erlbaum Associates,
1966)
- NUMERACION DE LAS PAGINAS DEL ACTA: 94-99
- FECHA DEL CONGRESO: Agosto 1995
- LOCALIDAD: Montreal
- PAIS: Canadá
- *AUTOR/ES : Goñi, J. M. y González, J.
C.
- TITULO: A Framework for Lexical Representation. Proceedings
of AI'95
- CONGRESO: AI'95: Fifteenth International Conference.
Language Engineering'95. (EC2 & Cie)
- NUMERACION DE LAS PAGINAS DEL ACTA: 243-252
- FECHA DEL CONGRESO: Junio 1995
- LOCALIDAD: Montpellier
- PAIS: Francia
- *AUTOR/ES : Goñi, J. M. y Moreno, A.
- TITULO: Proceedings of Workshop on the Computational
Lexicon. A Lexical Platform for Spanish
- CONGRESO: European Summer School on Logic, Language
and Information (ESSLLI' 95). F. Verdejo Ed.
- NUMERACION DE LAS PAGINAS DEL ACTA: 61-65
- FECHA DEL CONGRESO: Agosto 1995
- LOCALIDAD: Barcelona
- PAIS: España
- *AUTOR/ES : Grass, W.; Grobe, Ch.; Lenk, S.; Tiedemann,
W.-D.; Delgado K., C.; Marín, A. y Robles, T.
- TITULO: Transformation of Timing Diagram Specifications
into VHDL Code
- CONGRESO: Computer Hardware Description Languages and
their Applications (CHDL'95)
- NUMERACION DE LAS PAGINAS DEL ACTA: 659-668
- FECHA DEL CONGRESO: 30 Agosto - 1 Septiembre
1995
- LOCALIDAD: Tokyo
- PAIS: Japón
- *AUTOR/ES : Huecas, G.; Mañas, J.A. y Robles,
T.
- TITULO: Impacto en la calidad de la fase de pruebas
con el uso de técnicas formales
- CONGRESO: IV Jornadas Técnicas de Calidad en
Tecnologías Electrónicas (CIECAT'95)
- NUMERACION DE LAS PAGINAS DEL ACTA: 6ª Sesión,
1ª Presentación
- FECHA DEL CONGRESO: 19-20 Octubre 1995
- LOCALIDAD: Madrid
- PAIS: España
- *AUTOR/ES : Huecas, G.; Mañas, J.A. y Robles,
T.
- TITULO: Modelado formal de los PCOs para entornos de
pruebas
- CONGRESO: V Jornadas Telecom I + D
- NUMERACION DE LAS PAGINAS DEL ACTA: 299-308
- FECHA DEL CONGRESO: 21-22 Noviembre 1995
- LOCALIDAD: Madrid
- PAIS: España
- *AUTOR/ES : Iglesias, C. A.; González, J. C.
y Velasco, J. R.
- TITULO: MIX: A General Purpose Multiagent Architecture
- CONGRESO: IJCAI'95 Workshop on Agent Theories, Architecture
and Language
- NUMERACION DE LAS PAGINAS DEL ACTA: 216-224
- FECHA DEL CONGRESO: Agosto 1995
- LOCALIDAD: Montreal
- PAIS: Canadá
- *AUTOR/ES : León S., G.
- TITULO: On the scalability of software systems
- REUNION TECNICA: Software and multimedia Advisory Group
(SMAG)
- NUMERACION DE LAS PAGINAS DEL ACTA: No existen
- FECHA DE LA REUNION: Octubre 1995
- LOCALIDAD: Bruselas
- PAIS: Bélgica
- *AUTOR/ES : León S., G. y Pulli, P.
- TITULO: Reingeniería concurrente de procesos
- CONGRESO: Telecom I+D
- NUMERACION DE LAS PAGINAS DEL ACTA: 309-318
- FECHA DEL CONGRESO: 21-22 Noviembre 1995
- LOCALIDAD: Madrid
- PAIS: España
- *AUTOR/ES : León S., G.
-
TITULO: On the diffusion of software tech.: technological
frameworks and adoption profiles
- CONGRESO: First IFIP 8.6 Working Conference on Diffusion
and Adoption of Information Technology
- NUMERACION DE LAS PAGINAS DEL ACTA: 11-31
- FECHA DEL CONGRESO: Octubre 1995
- LOCALIDAD: Oslo
- PAIS: Noruega
- *AUTOR/ES : León S., G.
- TITULO: Reingeniería de procesos
- REUNION TECNICA: Jornadas de Servicios para la Banca.
- NUMERACION DE LAS PAGINAS DEL ACTA: No existen
- FECHA DE LA REUNION: Diciembre 1995
- LOCALIDAD: Lima
- PAIS: Perú
- *AUTOR/ES : Martínez, N.; Marín, A.;
Deprés, S.; Delgado K., C. y Sánchez, L.
- TITULO: Cremalleras y espirales o cómo co-diseñar
mejor
- CONGRESO: I Jornadas de Informática
- NUMERACION DE LAS PAGINAS DEL ACTA: 323-332
- FECHA DEL CONGRESO: 17-21 Julio 1995
- LOCALIDAD: Tenerife (Islas Canarias)
- PAIS: España
- *AUTOR/ES : Monedero, J., González J. C., Goñi,
J. M.; Iglesias, C. A. y Nieto, A.
- TITULO: Obtención automática de marcos
de subcategorización verbal a partir de texto etiquetado:
El sistema SOAMAS
- CONGRESO: XI Congreso de la Sociedad Española
para el Procesamiento del Lenguaje Natural (SEPLN'95)
- NUMERACION DE LAS PAGINAS DEL ACTA: 241-254
- FECHA DEL CONGRESO: Septiembre 1995
- LOCALIDAD: Bilbao
- PAIS: España
- *AUTOR/ES : Moreno, A. y Goñi, J. M.
- TITULO: A morphological processor for Spanish implemented
in prolog
- CONGRESO: Proceedings of the Joint Conference on Declarative
Programming (GULP-PRODE' 95). M. Sessa y M. Alpuente Eds.
- NUMERACION DE LAS PAGINAS DEL ACTA: 321-331
- FECHA DEL CONGRESO: Septiembre 1995
- LOCALIDAD: Marina di Vietri
- PAIS: Italia
- *AUTOR/ES : Pastor, E.; Fernández, D. y Bellido,
L.
- TITULO: Cooperative Learning over Broadband Networks.
Proceedings of JENC6, J. Barberá, J.P.A. Kiers (eds.) TERENA,
London 1995
- CONGRESO: 6th. Joint European Networking Conference
- NUMERACION DE LAS PAGINAS DEL ACTA: 222-1/222-10
- FECHA DEL CONGRESO: 15-18 Mayo 1995
- LOCALIDAD: Tel Aviv
- PAIS: Israel
- *AUTOR/ES : Pastor, E.; Fernández, D.; Bellido,
L.; Sánchez, G.; Arjona, M.A.; Fernández, M. y Simon,
C.
- TITULO: Aplicaciones de educación sobre redes
de banda ancha
- CONGRESO: V Jornadas de I+D en Telecomunicaciones,
(TELECOM I+D)
- NUMERACION DE LAS PAGINAS DEL ACTA: 25-33
- FECHA DEL CONGRESO: 21-22 Noviembre 1995
- LOCALIDAD: Madrid
- PAIS: España
- *AUTOR/ES : Pazos, J. J.; Delgado K., C. y Gil, A.
- TITULO: Verificación de propiedades en LOTOS
mediante lógica temporal
- CONGRESO: IV Jornadas sobre Concurrencia
- NUMERACION DE LAS PAGINAS DEL ACTA: 38-47
- FECHA DEL CONGRESO: 7-9 Junio 1995
- LOCALIDAD: San Lorenzo de El Escorial (Madrid)
- PAIS: España
- *AUTOR/ES : Quemada, J.; Miguel, T.; Azcorra, A., Pavón,
S.; Salvachúa, J.; Petit, M. y Moreno, J. I. (DIT/UPM).
Chas, P. L.; Acuña, C. y Rodríguez, L. (Telefónica
I+D). Lagarto, V.; Bastos, J.; Fontes, J. y Domíngues,
J.
- TITULO: Distribution of ABC 95 over the European ATM
Pilot Network with the ISABEL Application
- CONGRESO: CET Broadbands Islands Conference
- FECHA DEL CONGRESO: Septiembre 1995
- LOCALIDAD: Dublín
- PAIS: Irlanda
- *AUTOR/ES : Quemada, J.; Miguel, T.; Azcorra, A., Pavón,
S.; Salvachúa, J.; Petit, M. y Moreno, J. I. (DIT/UPM).
Chas, P. L.; Acuña, C. y Rodríguez, L. (Telefónica
I+D). Lagarto, V.; Bastos, J.; Fontes, J. y Domíngues,
J.
- TITULO: ABC 95: A Tele-education Case Study
- CONGRESO: CET High Performance Networking for Tele-teaching
- IDC 95
- NUMERACION DE LAS PAGINAS DEL ACTA: ---
- FECHA DEL CONGRESO: Noviembre 1995
- LOCALIDAD: Madeira
- PAIS: Portugal
- *AUTOR/ES : Quemada, J.; Miguel, T.; Azcorra, A., Pavón,
S.; Salvachúa, J.; Petit, M. y Moreno, J. I. (DIT/UPM).
Chas, P. L.; Acuña, C. y Rodríguez, L. (Telefónica
I+D). Lagarto, V.; Bastos, J.; Fontes, J. y Domíngues,
J.
- TITULO: Tele-education Experiences with the ISABEL
Application
- CONGRESO: CET High Performance Networking for Tele-teaching
- IDC 95
- FECHA DEL CONGRESO: Noviembre 1995
- LOCALIDAD: Madeira
- PAIS: Portugal
- *AUTOR/ES : Quemada V., J
- TITULO: Telework in our daily life
- CONGRESO: Second National Hosts Conference
- FECHA DEL CONGRESO: Noviembre 1995
- LOCALIDAD: Viena
- PAIS: Austria
- *AUTOR/ES : Rendón, A.; Dueñas, J. C.;
Miguel, M. A. de; Leskela, J.; Puente, J. A. de la; León,
G. y Alonso, A.
- TITULO: Animation of Heteregoneous Prototypes of Real-Time
Systems.
- CONGRESO: 1st IEEE International Conference on Engineering
of Complex Computer Systems, (ICECCS' 95)
- NUMERACION DE LAS PAGINAS DEL ACTA: 47-54
- FECHA DEL CONGRESO: Noviembre 1995
- LOCALIDAD: Fort Lauderdale, Florida
- PAIS: EE.UU.
- *AUTOR/ES : Ruiz, F. J.; Fernández, A.; Miguel,
C.; Ruiz, A. y Pérez, J.
- TITULO: Algoritm. de Acceso Distribuidos para Redes
USAT Malladas Portables
- CONGRESO: X Symposium Nacional de la Unión Científica
Intern. de Radio.
- NUMERACION DE LAS PAGINAS DEL ACTA: 985-988
- FECHA DEL CONGRESO: Septiembre 1995
- LOCALIDAD: Valladolid
- PAIS: España
- *AUTOR/ES : Ruiz, F. J.; Fernández, A.; Miguel,
C.; Aracil, J.; Vidaller, L. y Pérez, J.
- TITULO: The Picoterminal Network. Portable communic.
Services Via Satellite
- CONGRESO: Sixth Joint European Networking Conference
- NUMERACION DE LAS PAGINAS DEL ACTA:112-1 a 112-7
- FECHA DEL CONGRESO: Mayo 1995
- LOCALIDAD: Tel Aviv
- PAIS: Israel
- *AUTOR/ES : Sáez Vacas, F. y Jiménez,
F. J.
- TITULO: Modelo OIT para la innovación tecnológica
de los procesos de la empresa
- CONGRESO: V Congreso nacional de ACEDE (Asociación
Científica de Economía y Dirección de la
Empresa)
- NUMERACION DE LAS PAGINAS DEL ACTA: 445-454, Vol.II
- FECHA DEL CONGRESO: Septiembre 1995
- LOCALIDAD: San Lorenzo de El Escorial (Madrid)
- PAIS: España
- *AUTOR/ES : Vázquez, E.; Vinyes, J.; De Miguel,
P.; Tork, H. J.
- TITULO: Design and Performance Evaluation of the Layer
2 Signalling Protocol in the ESA OBP Network
- CONGRESO: 10th International Conference on Digital
Satellite Communications
- NUMERACION DE LAS PAGINAS DEL ACTA: 187-194
- FECHA DEL CONGRESO: 15-19 Mayo 1995
- LOCALIDAD: Brighton
- PAIS: Reino Unido
- *AUTOR/ES : Velasco, J. R. y Magdalena, L.
- TITULO: Genetic Learning Applied to Fuzzy Rules and
Fuzzy Knowledge-Bases
- CONGRESO: VI International Fuzzy Systems Association
World Congress
- NUMERACION DE LAS PAGINAS DEL ACTA: ---
- FECHA DEL CONGRESO: Julio 1995
- LOCALIDAD: Sao Paulo
- PAIS: Brasil
- *AUTOR/ES : Velasco, J. R., González, J. C.;
Iglesias, C.A. y Magdalena, L.
- TITULO: Multiagent Based Control Systems: an Hybrid
Approach to Distributed Process Control
- CONGRESO: 13th IFAC Workshop Distributed
Computer Control System
- NUMERACION DE LAS PAGINAS DEL ACTA: 7-12
- FECHA DEL CONGRESO: 27-29 Septiembre 1995
- LOCALIDAD: Toulouse
- PAIS: Francia
- *AUTOR/ES : Velasco, J. R., García, J. y Garín,
M.
- TITULO: A Fuzzy-evolving Control System for Heat Rate
Optimization in Fossil Power Plants
- CONGRESO: IFAC- Symposium on Control of Power Plants
and Power Systems (SYPOWER'95)
- FECHA DEL CONGRESO: Diciembre 1995
- LOCALIDAD: Cancún
- PAIS: México
- *AUTOR/ES : Villagrá, J.C.; Berrocal, J. y Miguel,
P. de
- TITULO: An experience on implementing TMN interfaces
for an OBP satellite network
- CONGRESO: Proceedings of the Tenth International Conference
on Digital Satellite Communications. Institute of Electrical Engineers
- NUMERACION DE LAS PAGINAS DEL ACTA: 180-187
- FECHA DEL CONGRESO: 15-19 Mayo 1995
- LOCALIDAD: Brighton
- PAIS: Reino Unido
- *AUTOR/ES : Villagrá, J.C.; Berrocal, J. y Miguel,
P. de
- TITULO: Aplicación de TMN a la gestión
de redes privadas virtuales
- CONGRESO: Telecom I + D' 95
- NUMERACION DE LAS PAGINAS DEL ACTA: 141-150
- FECHA DEL CONGRESO: 21-22 Noviembre 1995
- LOCALIDAD: Madrid
- PAIS: España
- *AUTOR/ES : Villagrá, J.C.;
- TITULO: Configuration of a High Speed Network: The
Summer School'95
- CONGRESO: Second HP Openview University Association
- NUMERACION DE LAS PAGINAS DEL ACTA: ---
- FECHA DEL CONGRESO: Abril 1995
- LOCALIDAD: Münich
- PAIS: Alemania
- *AUTOR/ES : Vozmediano, J.; Vázquez, E.; Berrocal,
J.
- TITULO: A Bandwidth Allocation Scheme to Support Delay
Sensitive Traffic in a DQDB MAN
- CONGRESO: 7th IEEE Workshop on Local and Metropolitan
Area Networks
- NUMERACION DE LAS PAGINAS DEL ACTA: 157-172
- FECHA DEL CONGRESO: 26-29 Marzo 1995
- LOCALIDAD: Duck Key, Florida
- PAIS: E.E.U.U.
- *AUTOR/ES : Vozmediano, J.; Vázquez, E.; Berrocal,
J.
- TITULO: A Proposal for an ATM based CPN over Shared
Medium
- CONGRESO: Interop 95 Enginner Conference
- NUMERACION DE LAS PAGINAS DEL ACTA: 1-9
- FECHA DEL CONGRESO: 27-31 Marzo 1995
- LOCALIDAD: Las Vegas (Nevada)
- PAIS: E.E.U.U.
* * *
6.4 CARGOS DESEMPEÑADOS EN CONGRESOS Y REUNIONES
- *APELLIDOS, NOMBRE: Alonso Muñoz, Alejandro
- CARGO DESEMPEÑADO: Presidente de sesión
- CONGRESO O REUNION: 13th IFAC Workshop Distributed
Computer Control System
- LOCALIDAD: Toulouse
- PAIS: Francia
- FECHA: 27-29 Septiembre 1995
- *APELLIDOS, NOMBRE: Alvarez Rodríguez, Angel
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: NETWORKS' 94, An International
Conference on Computer Networks, Architecture and Applications
- LOCALIDAD: Madras
- PAIS: India
- FECHA: 30 Diciembre 1994 - 2 Enero 1995
- *APELLIDOS, NOMBRE: Alvarez Rodríguez, Angel
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: ESEC' 1995, Fifth European Software
Engineering Conference
- LOCALIDAD: Sitges (Barcelona)
- PAIS: España
- FECHA: 25-28 Septiembre 1995
- *APELLIDOS, NOMBRE: Berrocal Colmenarejo, Julio
- CARGO DESEMPEÑADO: Conferencia invitada: Gestión
de Redes: Panorámica actual y futuro
- CONGRESO O REUNION: Telecom I + D' 95
- LOCALIDAD: Madrid
- PAIS: España
- FECHA: 21-22 Noviembre 1995
- *APELLIDOS, NOMBRE: Burillo Martínez, Vicente
- CARGO DESEMPEÑADO: Vocal del Comité Organizador
- CONGRESO O REUNION: V Jornadas de Telecom I+D' 95
- LOCALIDAD: Madrid
- PAIS: España
- FECHA: 1995
- *APELLIDOS, NOMBRE: Costilla Rodríguez, Carmen
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa y chairman de sesión
- CONGRESO O REUNION: BIWIT 95: B. International Workshop
on Information Technology
- LOCALIDAD: San Sebastián
- PAIS: España
- FECHA: Febrero 1995
- *APELLIDOS, NOMBRE: Delgado Kloos, Carlos
- CARGO DESEMPEÑADO: Miembro Comité de
Programa
- CONGRESO O REUNION: Andwendung formaler Methoden beim
Entwurf von Hardwaresystemen
- LOCALIDAD: Passau
- PAIS: Alemania
- FECHA: 16-17 Marzo 1995
- *APELLIDOS, NOMBRE: Delgado Kloos, Carlos
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: I Jornadas de Informática
- LOCALIDAD: Puerto de la Cruz
- PAIS: España
- FECHA: 17-21 Julio 1995
- *APELLIDOS, NOMBRE: Delgado Kloos, Carlos
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa, Presidente de sesión
- CONGRESO O REUNION: International Symposium on Computer
Hardware Description Languages and their Applications CHDL' 95
- LOCALIDAD: Makuhari, Chiba
- PAIS: Japón
- FECHA: 30 Agosto -1 Septiembre 1995
- *APELLIDOS, NOMBRE: Delgado Kloos, Carlos
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: European Design Automation Conference
(EuroDAC'95)
- LOCALIDAD: Brighton
- PAIS: Reino Unido
- FECHA: 18-22 Septiembre 1995
- *APELLIDOS, NOMBRE: Delgado Kloos, Carlos
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: Dedicated Conference on Mechatronics
- 28th International Symposium on Automotive Technology
and Automation
- LOCALIDAD: Stuttgart
- PAIS: Alemania
- FECHA: 18-22 Septiembre 1995
- *APELLIDOS, NOMBRE: Delgado Kloos, Carlos
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: Correct Hardware Design and Verification
Methods - CHARME' 95
- LOCALIDAD: Frankfurt
- PAIS: Alemania
- FECHA: 2-4 Octubre 1995
- *APELLIDOS, NOMBRE: González Cristóbal,
José Carlos
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: Joint Conference on Logic Programming
(GULP-PRODE'95)
- LOCALIDAD: Marina di Vietri
- PAIS: Italia
- FECHA: 18-21 Septiembre 1995
- *APELLIDOS, NOMBRE: González Cristóbal,
José Carlos
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: International Conference on Artificial
Intelligence (IJCAI'95). Workshop on Connectionist-Symbolic Integration:
From Unified to Hybrid Approaches
- LOCALIDAD: Montreal
- PAIS: Canadá
- FECHA: 19-20 Agosto 1995
- *APELLIDOS, NOMBRE: González Cristóbal,
José Carlos
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: I Jornadas de Informática
(A.E.I.A.)
- LOCALIDAD: Puerto de la Cruz (Tenerife, Islas Canarias)
- PAIS: España
- FECHA: 17-21 Julio 1995
- *APELLIDOS, NOMBRE: González Cristóbal,
José Carlos
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: VI Conferencia de la AEPIA 1995.
Asociación Española de Inteligencia Artificial
- LOCALIDAD: Alicante
- PAIS: España
- FECHA: 15-17 Noviembre 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Conferencia invitada: On
the Technology Transfer of Software Technologies
- CONGRESO O REUNION: CLEI: Conferencia Latinoamericana
de Informática
- LOCALIDAD: Gramado
- PAIS: Brasil
- FECHA: 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Conferencia invitada: Transferencia
tecnológica de métodos de desarrollo software
- CONGRESO O REUNION: JAIIO: Jornadas Argentinas de Informática
e Investigación Operativa
- LOCALIDAD: Buenos Aires
- PAIS: Argentina
- FECHA: Agosto 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Vocal del Comité Organizador
- CONGRESO O REUNION: Telecom I+D
- LOCALIDAD: Madrid
- PAIS: España
- FECHA: 21-22 Noviembre 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Vocal del Comité Organizador
- CONGRESO O REUNION: CIECAT
- LOCALIDAD: Madrid
- PAIS: España
- FECHA: Diciembre 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Conferencia invitada: Nuevos
modelos de ciclo de vida y su impacto sobre la calidad de los
productos.
- CONGRESO: Jornadas de Calidad en Telecomunicaciones
(CIECAT)
- LOCALIDAD: Madrid
- PAIS: España
- FECHA DEL CONGRESO: Noviembre 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Miembro Comité de
Programa
- CONGRESO O REUNION: European Software Engineering Conference
(ESEC)
- LOCALIDAD: Sitges (Barcelona)
- PAIS: España
- FECHA: Septiembre 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Presidente de sesión.
Open Distributed Platforms
- CONGRESO O REUNION: European Software Engineering Conference
(ESEC)
- LOCALIDAD: Sitges (Barcelona)
- PAIS: España
- FECHA: Septiembre 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Presidente de las Jornadas
- CONGRESO O REUNION: Jornada sobre Transferencia de
Tecnología. Círculo de Electrónica Militar
(C.E.M.)/Escuela de Organización Industrial (E.O.I.)
- LOCALIDAD: Madrid
- PAIS: España
- FECHA: 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Secretaría del Comité
Organizador
- CONGRESO O REUNION: Workshop on Distributed Object
Environments
- LOCALIDAD: Madrid
- PAIS: España
- FECHA: 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Presidente del Comité
Organizador.
- CONGRESO O REUNION: Jornada sobre Sistemas de Información
Interactivos. Círculo de Electrónica Militar (C.E.M.)/
ETSIT-UPM
- LOCALIDAD: Madrid
- PAIS: España
- FECHA: 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: EUROMICRO' 95
- LOCALIDAD: Madrid
- PAIS: España
- FECHA: 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: EUROMICRO Workshop on Real Time
Systems'95
- LOCALIDAD: Madrid
- PAIS: España
- FECHA: 1995
- *APELLIDOS, NOMBRE: León Serrano, Gonzalo
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: 1st IFIP Conference
on Difussion and Adoption of Information Technology
- LOCALIDAD: Oslo
- PAIS: Noruega
- FECHA: 1995
- *APELLIDOS, NOMBRE: Pastor Martín, Encarnación
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: European Conference on Computer
Supported Cooperative Work (ECSCW'95)
- LOCALIDAD: Estocolmo
- PAIS: Suecia
- FECHA: 10-14 Septiembre 1995
- *APELLIDOS, NOMBRE: Pastor Martín, Encarnación
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: 1st CYTED-RITOS International Workshop
on Groupware (CRIWG 95)
- LOCALIDAD: Lisboa
- PAIS: Portugal
- FECHA: 18-20 Septiembre 1995
- *APELLIDOS, NOMBRE: Pavón Gómez, Santiago
- CARGO DESEMPEÑADO: Miembro del Comité
Organizador
- CONGRESO O REUNION: Third International RACE Summer
School on Advanced Broadband Communications.
- LOCALIDAD: Napoles, Madrid, Aveiro, La Haya, Ginebra,
Linz
- PAIS: Italia, España, Portugal, Holanda, Suiza
y Austria
- FECHA: Junio 1995
- *APELLIDOS, NOMBRE: Puente Alfaro, Juan Antonio de
la
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa.
- CONGRESO O REUNION: International Conference on Industrial
Automation
- LOCALIDAD: Nancy
- PAIS: Francia
- FECHA: Junio 1995
- *APELLIDOS, NOMBRE: Puente Alfaro, Juan Antonio de
la
- CARGO DESEMPEÑADO: Presidente del Comité
de Programa
- CONGRESO O REUNION: IFAC Workshop on Distributed Computer
Control Systems --- DCCS 95.
- LOCALIDAD: Toulouse
- PAIS: Francia
- FECHA: Septiembre 1995
- *APELLIDOS, NOMBRE: Puente Alfaro, Juan Antonio de
la
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa.
- CONGRESO O REUNION: 20th IFAC/IFIP Workshop on Real-Time
Programming --- WRTP 95.
- LOCALIDAD: Fort Lauderdale, Florida
- PAIS: EE.UU
- FECHA: Noviembre 1995
- *APELLIDOS, NOMBRE: Puente Alfaro, Juan Antonio de
la
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa.
- CONGRESO O REUNION: IEEE International Conference on
the Engineering of Complex Computer Systems --- ICECCS 95
- LOCALIDAD: Fort Lauderdale, Florida
- PAIS: EE.UU
- FECHA: Noviembre 1995
- *APELLIDOS, NOMBRE: Puente Alfaro, Juan Antonio de
la
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa.
- CONGRESO O REUNION: 16th IEEE Real-Time Systems Symposium
- LOCALIDAD: Pisa
- PAIS: Italia
- FECHA: Diciembre 1995
- *APELLIDOS, NOMBRE: Quemada Vives, Juan
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: FORTE'95, IFIP Conference on Formal
Description Techniques
- LOCALIDAD: Montreal
- PAIS: Canadá
- FECHA: Octubre 1995
- *APELLIDOS, NOMBRE: Quemada Vives, Juan
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: PSTV 95, IFIP Conference on Protocol,
Specification Testing and Verification
- LOCALIDAD: Varsovia
- PAIS: Polonia
- FECHA: Junio 1995
- *APELLIDOS, NOMBRE: Quemada Vives, Juan
- CARGO DESEMPEÑADO: Miembro del Comité
de Programa
- CONGRESO O REUNION: ABC 95, Third International Summer
School on Advanced Broadband Communication
- LOCALIDAD: Aveiro, Mádrid, Nápoles
- PAIS: Portugal, España, Italia
- FECHA: Junio 1995
- *APELLIDOS, NOMBRE: Salvachúa Rodríguez,
Joaquín
- CARGO DESEMPEÑADO: Miembro del Comité
Organizador
- CONGRESO O REUNION: Third International RACE Summer
School on Advanced Broadband Communications
- LOCALIDAD: Nápoles, Madrid, Aveiro, La Haya,
Ginebra, Linz
- PAIS: Italia, España, Portugal, Holanda, Suiza
y Austria
- FECHA: Junio 1995
- *APELLIDOS, NOMBRE: Velasco Pérez, Juan Ramón
- CARGO DESEMPEÑADO: Conferencia invitada: Sistemas
de control inteligentes: lógica borrosa y técnicas
de aprendizaje para sistemas expertos en control de procesos complejos
- CONGRESO O REUNION: IV Congreso Nacional de Estudiantes
de Ingeniería de Sistemas
- LOCALIDAD: Bucaramanga
- PAIS: Colombia
- FECHA: Mayo 1995
- APELLIDOS, NOMBRE: Yelmo García, Juan Carlos
- CARGO DESEMPEÑADO: Coorganizador y ponente
- CONGRESO O REUNION: Workshop on Distributed Object
Enviroments
- LOCALIDAD: Madrid
- PAIS: España
- FECHA: 9 Mayo 1995
* * *
6.5. TESIS DOCTORALES DE LOS CURSOS 94/95 y 95/96
(por orden cronológico):
DOCTORANDO: DÑA. MARTHA VITALIA CORREDOR
MONTAGUT
DIRECTOR DE TESIS: D. GREGORIO FERNANDEZ FERNANDEZ
TITULO DE TESIS: "ARQUITECTURA PARA SISTEMAS INTELIGENTES
DE INSTRUCCION ASISTIDA POR COMPUTADOR"
RESUMEN DE LA TESIS: Soportados en la experiencia de desarrollo,
uso y evaluación de distinto tipo de Materiales Educativos
Computadorizados, se propone una arquitectura de pizarra orientada
a objetos para la planificación de la instrucción.
El enfoque se basa en el desarrollo de sesiones de instrucción
a través de la planificación de actividades didácticas
para cada etapa del ciclo. La planificación es realizada
por Fuentes de Conocimiento de Control (FCC), y el desarrollo
con el alumno de las actividades planificadas y es realizado por
Fuentes de Conocimiento del Dominio.
Coordinando el trabajo de las Fuentes de Conocimiento se definen
las funciones de los objetos: Planificador, el Tutor y la Pizarra
de Control. Al Planificador corresponde la planificación
de temas, etapas del ciclo de instrucción y la selección
de la estrategia didáctica más adecuada para trabajar
con el alumno. El Tutor supervisa la sesión de instrucción
y actualiza el modelo del estudiante. La pizarra de control es
el objeto que permite la comunicación entre los demás
objetos del modelo.
Se presenta un conjunto de planes de instrucción y reglas
didácticas como guía para el desarrollo de FCC y
FCD. Finalmente se expone un método para el desarrollo
de planes de aplicación del informático en instituciones
educativas y para el desarrollo de sistemas de instrucción
asistida por computador.
FECHA DE LECTURA: 16 DE NOVIEMBRE DE 1994
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. MARTIN LLAMAS NISTAL
DIRECTOR DE TESIS: D. JUAN QUEMADA VIVES
TITULO DE TESIS: "DISEÑO Y VERIFICACION DE
SISTEMAS EN LOTOS"
RESUMEN DE LA TESIS: LOTOS (Language Of Temporal Ordering
Specificaction) es una técnica de descripción formal
desarrollada para la especificación formal de sistemas
abiertos distribuidos. La idea básica de LOTOS es que los
sistemas se pueden especificar definiendo la relación temporal
entre las interacciones que constituyen su comportamiento externamente
observable.
Lotos permite especificaciones no ambigüas, precisas, completas
e independientes de de la implementación, y proporocionan
una base formalmente bien definida para la verificación
y pruebas.
Se puede utilizar LOTOS y su teoría matemática asociada
como soporte de un proceso de diseño mediante refinamientos
sucesivos de pasos, en donde el sistema se construye incrementalmente
en una secuencia de pasos de diseño encaminados a obtener
un producto que cumpla con un determinado documento de requisitos
de usuario. Se puede determinar la consistencia entre los sucesivos
modelos LOTOS hasta el producto final mediante la verificación
de relaciones matemáticas que se han de mantener entre
los distintos refinamientos.
FECHA DE LECTURA: 28 DE NOVIEMBRE DE 1994
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. FRANCISCO JAVIER MIRANDA GONZALEZ
DIRECTOR DE TESIS: D. ANGEL ALVAREZ RODRIGUEZ
TITULO DE TESIS: "DRAGO: UN LENGUAJE PARA PROGRAMAR
APLICACIONES DISTRIBUIDAS TOLERANTES A FALLOS Y COOPERATIVAS"
RESUMEN DE LA TESIS: Drago es un lenguaje experimental
desarrollado para soportar la implementación de aplicaciones
distribuidas estáticas coopertativas y tolerantes a fallos.
El modelo de programación de Drago se basa en el paradigma
de grupos, y soporta dos abstracciones de grupo: abstracción
de grupo replicado, que
permite implementar aplicaciones tolerantes a fallos mediante
redundancia modular, y abstracción de grupo cooperativo,
que proporciona soporte para implementar un conjunto de miembros
distribuidos que cooperan para conseguir un objetivo común.
Drago proporciona estas abstracciones mediante la especificación
de grupo. Una especificación de grupo contiene declaraciones
de constantes, tipos, excepciones y puntos de entrada remotos.
Todo miembro de un grupo tiene visible todas las declaraciones
contenidas en la especificación de ella (mediante puntos
de entrada remotos).
FECHA DE LECTURA: 21 DE DICIEMBRE DE 1994
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. JOSE JUAN PAZOS ARIAS
DIRECTOR DE TESIS: D. CARLOS DELGADO KLOOS
TITULO DE TESIS: "TRANSFORMACION Y VERIFICACION CON
LOTOS"
RESUMEN DE LA TESIS: El trabajo de la tesis es una contribución
al diseño y desarrollo de sistemas con el lenguaje de especificación
formal LOTOS. LOTOS facilita el diseño de sistemas mediante
refinamientos sucesivos: El sistemas se construye de forma incremental
como una secuencia de pasos dirigida a obtener un producto final
que satisfaga los requisitos expresados inicialmente por el usuario
o cliente.
El objetivo del trabajo de tesis se centró en el diseño
de una herramienta que diera soporte a este proceso de diseño,
es decir, automatizara todas las tareas rutinarias. En este proceso
de diseño es conveniente disponer de un mecanismo que permita
asegurar que los efectos de un refinamiento son únicamente
los deseados.
La lógica temporal es un formalismo muy adecuado para la
especificación de las propiedades de un sistemas. Dentro
del trabajo de tesis, utilizamos la lógica temporal para
definir la semántica de programas LOTOS, obteniendo las
siguientes ventajas:
* Verificación de propiedades de programas LOTOS. Este
tipo de verificación ofrece un buen mecanismo de guía
del proceso de diseño.
* Síntesis de programas LOTOS a partir de la propiedad
que queremos que satisfaga.
Como resultado práctico del trabajo realizado, se ha desarrollado
un entorno que da soporte al desarrollo por refinamientos sucesivos
de un sistemas con LOTOS y que ofrece de forma integrada las facilidades
de verificación y de síntesis comentadas.
FECHA DE LECTURA: 17 DE ENERO DE 1995
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. GABRIEL HUECAS FERNANDEZ-TORIBIO
DIRECTOR DE TESIS: D. JOSE ANTONIO MAÑAS ARGEMI
TITULO DE TESIS: "CONTRIBUCION A LA FORMALIZACION
DE LA FASE DE EJECUCION DE PRUEBAS"
RESUMEN DE LA TESIS: En el campo de la Ingeniería
de protocolos es fundamental el papel que están tomando
las técnicas de descripción formal y el concepto
de pruebas de conformidad.
La presente tesis contempla las siguientes contribuciones:
1) Conceptualización y formalización del proceso
de ejecución de pruebas de conformidad especificadas en
el lenguaje formal LOTOS.
2) Definición de una métrica de cobertura que aproveche
la existencia de especificaciones formales como elemento de referencia
y que sea adecuada a la riqueza semántica del lenguaje
LOTOS.
3) Estudio y taxonomía del concepto de puntos de control
y observación, fundamentales en el campo de la ingeniería
de pruebas como elemento clave en la ejecución de las mismas.
FECHA DE LECTURA: 5 DE JUNIO DE 1995
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. MANUEL ALVAREZ-CAMPANA FERNANDEZ-CORREDOR
DIRECTOR DE TESIS: D. ENRIQUE VAZQUEZ GALLO
TITULO DE TESIS: "EVALUACION Y PROPUESTA DE TÉCNICAS
DE CONTROL DE TRÁFICO PARA SERVICIOS DE DATOS NO ORIENTADOS
A CONEXION SOBRE LA RDSI-BA"
RESUMEN DE LA TESIS: En esta Tesis Doctoral se propone
una arquitectura para la Red No Orientada a Conexión (CLON)
definida por el ITU-T para el soporte directo de servicios sin
conexión sobre la RDSI-BA.
Con objeto de satisfacer de manera eficiente los requisitos de
calidad definidos para tales servicios, se proporcionan recomendaciones
prácticas para el diseño de la CLON, así
como pautas para el dimensionado de sus recursos de manera complementaria,
se evaluan y proponen mecanismos de control de congestión
locales a fin de garantizar unas prestaciones mínimas en
casos de sobrecargas temporales debidas a la impredecibilidad
del tráfico no orientado a conexión.
FECHA DE LECTURA: 12 DE JULIO DE 1995
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. CANDIDO ANTONIO LOPEZ GARCIA
DIRECTOR DE TESIS: D. JOAN VINYES SANZ
TITULO DE TESIS: "UNA APROXIMACION METODOLÓGICA
AL ANÁLISIS DEL RETARDO EN REDES DE ALTA VELOCIDAD CON
PROTOCOLOS DE CONTROL DE ACCESO AL MEDIO DE TESTIGO TEMPORIZADO"
RESUMEN DE LA TESIS: Esta tesis utiliza un modelo de simulación
para evaluar el retardo medio de acceso a un anillo FDDI para
tráfico asíncrono no restringido con prioridades.
El modelo es orientado a eventos y está implementado en
lenguaje C sobre una biblioteca de simulación específica.
En primer lugar, la tesis resume los resultados analíticos
disponibles sobre el caudal eficaz y el retardo en una red FDDI
para tráfico asíncrono de una o varias clases y
para estaciones con colas limitadas o no.
A continuación presenta el modelo de eventos discretos
utilizado, que es de tipo híbrido pues integra un modelo
analítico para calcular la duración de los intervalos
sin transferencia de datos con el fin de acelerar las simulaciones.
Con el mismo fin se estudia la aplicación de dos métodos
de reducción de varianza, variable antitética y
variable de control, mostrando las mejoras obtenidas.
Finalmente, el modelo descrito se aplica al estudio del retardo
medio en el caso citado, con dos niveles de prioridad. Los resultados
obtenidos ponen de manifiesto los desequilibrios en el retardo
que sufren las diferentes estaciones del anillo en función
de su posición y de otros parámetros. Los apéndices
de la Tesis describen el método de estimación de
medias seguido y los casos utilizados para verificar el simulador.
FECHA DE LECTURA: 12 DE JULIO DE 1995
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. JUAN ZAMORANO FLORES
DIRECTOR DE TESIS: D. JUAN ANTONIO DE LA PUENTE ALFARO
TITULO DE LA TESIS: "PLANIFICACIÓN EST DE
PROCESOS EN SISTEMAS DE TIEMPO REAL CRÍTICOS"
RESUMEN DE LA TESIS: Los sistemas de tiempo real son sistemas
informáticos que constituyen un componente fundamental
de los sistemas de control. Estos sistemas de control forman
parte de sistemas de ingeniería muy diversos en el control
aéreo o comunicaciones. Los sistemas de tiempo real, como
el resto de sistemas informáticos, tienen una importancia
creciente en nuestra sociedad. La característica diferenciadora
de estos sistemas es la obligación de completar sus actividades
en determinados plazos de tiempo, de otro modo el sistema de tiempo
controlado no funcionará correctamente.
Un problema fundamental es la planificación de los recursos
mediambientales. El objetivo es asignar los recursos a los procesos
del sistema de forma que se ejecuten con sus requisitos temporales.
El problema general de planificar un conjunto de procesos de forma
que se garantice el cumplimiento de sus restricciones temporales
es NP-Completo. Una aproximación para realizar la planificación
consiste en calcularla, antes de poner en marcha el sistema. Esta
aproximación se designa como planificación estática
y el método más utilizado es la planificación
cíclica.
Sin embargo, las técnicas actuales de diseño y construcción
de los planes de ejecución son muy rudimentarias. Esto
se debe a una falta de formalización del método
y a la carencia de algoritmos que generen los planes de ejecución
de forma automática y en tiempo razonable. Además,
tampoco existen directrices y esquemas de realización para
construir planificadores sobre núcleos de ejecución
normalizados.
FECHA DE LECTURA: 14 DE JULIO DE 1995
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. JAVIER ARACIL RICO
DIRECTOR DE TESIS: D. LEON VIDALLER SISO
TITULO DE TESIS: "REDES BASADAS EN REENVÍO
DE CELDAS SOBRE MEDIOS COMPARTIDOS. APLICACION A REDES SATÉLITE
Y EN DOBLE BUS"
RESUMEN DE LA TESIS: En esta Tesis Doctoral se propone
una técnica de acceso múltiple original que aplica
a escenarios de redes satélite y en doble bus con modo
de transferencia asíncrona CATM. Se realiza análisis
de prestaciones tomando fuentes CBR, VBR, y ABR/UBR por separado.
Al análisis teórico se acompaña estudio de
simulación. Se propone una técnica original de reutilización
de ranuras en redes en doble bus y se analiza el control de fuente
y las garantias de calidad de servicio extremo a extremo.
FECHA DE LECTURA: 22 DE SEPTIEMBRE DE 1995
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. FRANCISCO JOSE GUERRA SANTANA
DIRECTOR DE TESIS: D. ANGEL ALVAREZ RODRIGUEZ
TITULO DE TESIS: "PROTOCOLOS EFICIENTES DE CONSENSO
PARA SISTEMAS DISTRIBUIDOS"
RESUMEN DE LA TESIS: Ciertas aplicaciones distribuidas
actuales requieren el uso de protocolos de consenso. En esta memoria
de tesis se parte de un estudio del campo, y en particular de
un protocolo del consenso conocido que tiene un coste en términos
de intercambio de mensajes de O(n2) mensajes, y un coste de o(n)
en términos de tiempo necesario para alcanzar el consenso.
A continuación se introduce una variación de este
protocolo que lo convierte en líneal -en ausencia de fallos-
tanto en términos de intercambio de mensajes como en coste
de tiempo, y posteriormente se presentan algunas óptimizaciones
del nuevo protocolo de consenso que reparte la carga de trabajo,
disminuyen el número de mensajes como en coste de tiempo,
y posteriormente se presentan algunas optimizaciones del nuevo
protocolo de consenso que reparte la carga de trabajo, disminuyen
el número de mensajes y evitan los problemas de carrera.
Estas óptimizaciones, que encontramos en el protocolo de
consenso final que se presenta, hace que sea adecuado para la
implementación de radiado de mensajes.
Finalmente, como aplicación de estos protocolos se presenta
GROUP IO: un paquete Ada que permite la comunicación uniforme,
atómica y causal entre grupos de procesos, usando el paradigma
cliente-servidor.
FECHA DE LECTURA: 25 DE SEPTIEMBRE DE 1995
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. PEDRO MEJÍA
DIRECTOR DE TESIS: D. JUAN ANTONIO DE LA PUENTE ALFARO
TITULO DE LA TESIS: "TOLERANCIA A FALLOS EN SISTEMAS
DE TIEMPO REAL"
RESUMEN DE LA TESIS: Los sistemas de tiempo real utlizados
en la actualidad en aplicaciones críticas, demandan una
operación que garantice la correcta ejecución del
sistema así como el cumplimiento de unos altos requisitos
de confiabilidad y disponibilidad. El cumplimiento conjunto de
unos requisitos críticos de tiempos y de un nivel de tolerancia
a fallos adecuado, representa un reto importante en el diseño
de los sistemas de tiempo real críticos. Hasta ahora, la
investigación llevada a cabo en la planificación
de sistemas de tiempo real no involucraba la posible ocurrencia
de fallos. Con lo cual el sistema podía incurrir en estados
de operación inestable e incontrolada.
Por otra parte, la tolerancia ha sido desarrollada dentro de los
sistemas de tiempo real, como una colección de técnicas
hechas a medida, en las cuales no se ha considerado una garantía
de ejecución para las tareas críticas del sistema.
Asimismo, la tolerancia a fallos ha involucrado mayoritariamente
el uso de técnicas de redundancia en espacio para dar solución
al problema de la tolerancia a fallos.
Estas razones nos han motivado a desarrollar una metodología
de desarrollo de sistemas de tiempo real críticos que involucren
e integren las características de la tolerancia a fallos
en un sistema de tiempo real crítico. La redundancia en
tiempo ha sido utilizada en este trabajo de tesis como una alternativa
a la redundancia en espacio, ya que representa una mejor solución
en sistemas en donde existen restricciones de espacio, peso y
costos.
FECHA DE LECTURA: OCTUBRE DE 1995
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. DAVID LARRABEITI LOPEZ
DIRECTOR DE TESIS: D. SANTIAGO PAVON GOMEZ
CODIRECTOR DE TESIS: D. JUAN QUEMADA VIVES
TITULO DE TESIS: "CONTRIBUCION AL ANÁLISIS
DEL ESPACIO DE ESTADOS DE ESPECIFICACION LOTOS"
RESUMEN DE LA TESIS: La primera fase en la mayoría
de los algoritmos de validación y verificación de
protocolos de comunicaciones existentes consiste en la generación
del espacio de estados de una especificación formal del
sistema. El principal obstáculo a la aplicación
industrial de esta técnica es la elevada complejidad de
los algoritmos de validación y el gran tamaño de
los espacios de estados de los sistemas reales.
La tesis aborda este problema en el ámbito del lenguaje
LOTOS, con el desarrollo de una forma de representación
y un método de exploración de estados compactos
con diversas aplicaciones. El modelo propuesto permite una representación
compacta del paralelismo, aliviando el problema de la explosión
de estados derivado de la semántica de entrelazamiento
de LOTOS en una expresión equivalente en el nuevo cálculo
se denimina expansión entrelazada.
La expansión entrelazada genera una representación
del sistema de transiciones donde los comportamientos entrelazantes
son aislados, factorizados y conservados sin expandir. Esta representación
supone una reducción de tamaño importante frente
a la representación extensiva del sistema de transiciones,
en aquellas especificaciones con un alto grado de entrelazamiento.
Es por tanto adecuado para especificaciones escritas en estilo
orientado a recursos donde el problema de la explosión
de estados es más frecuente e intenso.
El desarrollo contiene la extensión del modelo a LOTOS
completo y la comparación con algunos modelos con semántica
de concurrencia real relacionados, como las redes de Petri y las
estructuras de eventos. Finalmente se estudia un mecanismo de
exploración de estados que conserva la factorización
de entrelazamiento y que es compatible con métodos de reducción
basados en conjuntos de eventos persistentes. La implementación
de la expansión entrelazada ha permitido contrastar empíricamente
los resultados sobre especificaciones de complejidad media.
FECHA DE LECTURA: 9 DE FEBRERO DE 1996
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
***
DOCTORANDO: D. ANTONIO RUIZ CANTERA
DIRECTOR DE TESIS: D. ANTONIO MARTINEZ MAS
TITULO DE TESIS: "METODOS DE ACCESO PARA REDES RADIO
MOVILES PRIVADAS DE AMBITO METROPOLITANO"
RESUMEN DE LA TESIS: Esta Tesis Doctoral se enmarca en
el campo de las redes radio móviles privadas (PMR). En
ella se estudia la evolución de las redes radio móviles,
y, más en concreto, de las PMR. También se revisan
los métodos de acceso, tanto TDMA, usados y propuestos
para su uso en estas redes.
La aportación principal de esta Tesis Doctoral consiste
en la propuesta de dos métodos de acceso basados en CDMA
que permiten integrar voz y datos sobre un sistemas basado en
la norma IS-95, sistema de comunicaciones móviles de segunda
generación basado en CDMA. Ambos métodos se basan
en el control de los parámetros de transmisión de
los terminales móviles desde las estadiones base (EB).
En el primero, al que se ha llamado de factor de actividad
controlado (CAFMA), los usuarios de datos deben conformar
su tráfico para que en el canal tenga apariencia de una
fuente intermitente con su factor de actividad marcado por la
EB. En el segundo, llamado de ganancia de ensanchado controlada
(CSGMA), los usuarios de datos deben emplear la longitud de
secuencia de ensanchado indicada por la EB. Ambos métodos
se han descrito, analizado, simulado y comparado.
Como conclusión, los dos métodos de acceso propuestos
constituyen un paso hacia adelante respecto a los usados en los
sistemas móviles de segunda generación. Aportan
una mayor flexibilidad a la hora de repartir la capacidad del
canal entre diferentes tipos de usuarios y se adaptan mucho mejor
a las necesidades de comunicaciones de las redes PMR.
FECHA DE LECTURA: 22 DE ABRIL DE 1996
CALIFICACION: APTO CUM LAUDE POR UNANIMIDAD
* * *
6.6. PROYECTOS FIN DE CARRERA
Durante 1995 fueron 58 los alumnos que defendieron su Proyectos
Fin de Carrera con profesores del Departamento de Ingeniería
Telemática. Sus nombres, fechas de lectura y calificaciones
fueron los siguientes:
____________________________________________________________________
FECHA NOMBRE ALUMNO
CALIFICACION ____________________________________________________________________
18/1/95 Enrique RUIZ LAFUENTE MH 10,0
20/1/95 Francisco Javier ESTAIRE ESTAIRE SB 9,5
23/1/95 Alvaro GOMEZ-MEANA FERNANDEZ SB 9,0
25/1/95 Félix Enrique VENTERO MUÑOZ MH 10,0
01/2/95 Carlos LOPEZ GORDO MH 10,0
03/2/95 Francisco Javier TORTOSA MARTINEZ MH 10,0
23/2/95 Bienvenido GOMEZ CARREÑO SB 9,5
01/3/95 Anastasio María SANCHEZ BERNAL SB 9,0
03/3/95 José Javier RODRIGUEZ HERNANDEZ MH 10,0
08/3/95 Ignacio GARCIA DELGADO SB 9,5
17/3/95 Francisco José JIMENEZ BONILLA MH 10,0
22/3/95 Beatriz FERNANDEZ HERRERO SB 9,0
24/3/95 Francisco de Borja DIAZ CATALAN SB 9,5
31/3/95 Juan MONEDERO RICO MH 10,0
06/4/95 Aurelio BERGES GARCIA SB 9,5
06/4/95 José Antonio GARCIA SOUTO SB 9,5
06/4/95 José Manuel GARCIA SANCHEZ MH 10,0
26/4/95 Francisco Javier GARCIA RIBAS SB 9,0
12/5/95 Fernando CONDE MATEO SB 9,0
18/5/95 Antonio GONZALEZ RIVAS MH 10,0
24/5/95 Silvio MARTIN CRACZYK SB 9,5
16/6/95 Luis Jesús LOPEZ SORIA MH 10,0
29/6/95 Adolfo María ROSAS GOMEZ AP 6,0
29/6/95 Juan Diego LOPEZ CARDENAS SB 9,0
06/7/95 Mariano NAVARRO DE LA CRUZ NT 8,0
12/7/95 Alberto GOMEZ HERNANDEZ SB 9,5
20/7/95 Mariano APARICIO BUENO SB 9,5
20/7/95 Javier ESCAMILLA BUIL MH 10,0
05/9/95 Mariano GARCIA RUIZ SB 9,5
11/9/95 Araceli CALLE GOMEZ MH 10,0
12/9/95 Manuel Antonio GONZALEZ ROSARIO MH 10,0
27/9/95 Ana Isabel SANCHEZ GOMEZ SB 9,5
28/9/95 Belén YUSTA QUERO SB 9,0
02/10/95 Francisco ALCOBA GONZALEZ MH 10,0
02/10/95 José MESTRE MORALES-ALBO SB 9,0
10/10/95 Ana MORENO LLORENTE MH 10,0
20/10/95 Fernando PINDADO BUENDIA NT 8,5
24/10/95 David SERRANO ARANDA MH 10,0
24/10/95 Francisco Javier GARCIA AMADO MH 10,0
02/11/95 Ignacio VILLEN MARTIN MH 10,0
03/11/95 Miguel Angel TURRADO TURRADO MH 10,0
08/11/95 María Isabel ORTIZ GARCIA SB 9,0
23/11/95 Enrique GARCIA BARRIONUEVO MH 10,0
29/11/95 Luis Francisco MONTERO RUIZ SB 9,0
01/12/95 Pedro JARA VERA MH 10,0
04/12/95 Miguel Angel MORENO RUBIO SB 9,5
05/12/95 Modesto PARA ARRANZ MH 10,0
11/12/95 Francisco J. MARTINEZ-ABARCA CARRETERO NT 8,0
12/12/95 Juan Francisco de MORA ALONSO MH 10,0
15/12/95 Antonio MORALES PEREZ SB 9,0
18/12/95 Julio Jesús SANCHEZ GARCIA MH 10,0
19/12/95 Juan Pablo de FRUTOS MARTINEZ SB 9,5
20/12/95 Pedro Ignacio DORADO DIAZ NT 8,5
20/12/95 David SANCHEZ SANCHEZ SB 9,0
20/12/95 José VICENTE CRESPO MH 10,0
20/12/95 Ascensión CHAZARRA NAVARRO SB 9,0
21/12/95 Jesús SANCHEZ TALLAFIGO MH 10,0
21/12/95 Gonzalo DIAZ URIARTE
SB 9,5
* * *
6.7. PREMIOS
- *APELLIDOS, NOMBRE: Juan Carlos Dueñas
- PREMIO CONCEDIDO: Premio Extraordinario de Tesis Doctoral
- ORGANISMO O ENTIDAD: Universidad Politécnica
de Madrid/ ETSI Telecomunicación
- FECHA: Octubre de 1995
- LUGAR: Madrid
- *APELLIDOS, NOMBRE: Ruiz Piñar, Francisco Javier
- PREMIO CONCEDIDO: Premio Alcatel a la mejor Tesis Doctoral
en Redes de Acceso
- ORGANISMO O ENTIDAD: COIT-AEIT
- FECHA: Octubre 1995
- LUGAR: Madrid
* * *
1996