Logotipo de la Universidad de Sevilla LA US ESTUDIAR INVESTIGAR VIVIR LA US EMPRESAS INTERNACIONAL TRABAJA EN LA US
 
 
Incio  >  
 
 

MARTÍN DÍAZ, OCTAVIO

Perfil en ORCID: 0000-0002-9746-5511

Perfil en Scopus: 8656497700\

Perfil en Dialnet: 792796

Grupos de Investigación
  • INGENIERÍA DEL SOFTWARE APLICADA
Responsable de los siguientes proyectos/ayudas en la US
Participa los siguientes proyectos/ayudas en la US

Proyectos:

  • Copas: Ecosystems for Optimized Process As a Service ( P12-TIC-1867 - Investigador/a).
  • Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por ANS ( TIN2015-70560-R - Investigador/a).
  • Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans ( TIN2015-70560-R - Investigador/a).
  • COPAS: eCosystems for Optimized Process As a Service ( P12-TIC-1867 - Investigador/a).
  • COPAS: eCosystems for Optimized Process As a Service. ( P12-TIC-1867 - Investigador/a).
  • THEOS: TECNOLOGÍAS HABILITADORAS PARA ECOSISTEMAS SOFTWARE ( TIC-5906 - Investigador/a).
  • Tecnologías Avanzadas para Procesos como Servicios ( TIN2012-32273 - Investigador/a).
  • ISABEL: INGENIERÍA DE SISTEMAS ABIERTOS BASADA EN LÍNEAS DE PRODUCTOS ( P07-TIC-02533 - Investigador/a).
  • SETI: RESEARCHING ON INTELLIGENT TOOLS FOR INTERNET ODF SERVICES ( TIN2009-07366 - Investigador/a).
  • SOA4ALL: SERVICE ORIENTED ARCHITECTURES FOR ALL ( 215219 - Investigador/a).
  • S-CUBE: SOFTWARE SERVICES AND SYSTEMS NETWORK ( 215483 - Investigador/a).
  • FÁBRICAS DE SOFTWARE PARA SISTEMAS CON ARQUITECTURA ORIENTADA A SERVICIOS WEB ( TIN2006-00472 - Investigador/a).
  • RED SOBRE SERVICIOS WEB: INGENIERÍA, TECNOLOGÍAS Y ARQUITECTURAS ( TIN2007-29678-E - Investigador/a).
  • DESARROLLO DE APLICACIONES BASADAS EN SERVICIOS WEB ( TIC2003-02737-C02-01 - Investigador/a).
  • COLABORACIÓN CON EL CONSTRAIN COMPUTATION CENTRE DE CORK (IRLANDA). COLABORACIÓN CON LA NASA GODDARD SPACE FLIGHT CENTER (USA). ELABORACIÓN DE PROPU ( OTRI/05-PC01 - Investigador/a).
  • TÉCNICAS AVANZADAS DE PRUEBAS PARA APLICACIONES BASADAS EN SERVICIOS WEB, SUBPROYECTO DEL PROYECTO COORDINADO TÉCNICAS AVANADAS PARA EL MANTENIMIENTO ( PCB-02-001 - Investigador/a).
  • NETWORK FOR AGILE METHODOLOGIES EXPERIENCE ( IST-2001-37482 - Investigador/a).
  • NUEVOS MÉTODOS Y HERRAMIENTAS PARA LA AUTOMATIZACIÓN DEL DESARROLLO DE APLICACIONES DE COMERCIO ELECTRÓNICO ( TIC2000-1106-C02-01 - Investigador/a).
  • MENHIR ( TIC97-0593-C05-03 - Investigador/a).

Contratos:

  • FCLOUD: Marco de desarrollo avanzado para SaaS ( P020-09/E15 - Investigador/a ).
  • PLATINA-FAST: EXTENSIÓN A LA PLATAFORMA PLATINA PARA LA INTERMEDIACIÓN DINÁMICA AVANZADA DE SERVICIOS HORIZONTALES Y APLICACIONES BASADOS EN CRITERIOS ( P024-10/E15 - Investigador/a ).
  • APROVISIONAMIENTO DE SERVICIOS SENSIBLE A LA CALIDAD INTEGRADO EN PLATINA (PLATAFORMA DE INTEROPERABILIDAD DE LA JUNTA DE ANDALUCÍA ( FAST-ESB - Investigador/a ).
  • NUEVA GENERACIÓN DE SERVICIOS WEB ( FIT-150100-2001-78 - Investigador/a ).
  • PDSSA. PROCESO DE DESARROLLO SOFTWARE SEMIAUTOMÁTICO ( IDEA-03-2008 - Investigador/a ).
  • NUEVOS MÓDULOS QUIVIR PARA EMPRESAS DE DISTRIBUCIÓN: PICKING POR VOZ EN SGA Y TPV EN JAVA ( QUIVIR - Investigador/a ).

Ayudas:

  • AYUDAS A LA CONSOLIDACIÓN DEL GRUPO DE INVESTIGACIÓN TIC-205 ( 2007/TI-205 - Investigador/a ).
Publicaciones

Libros:

  • Martín-Díaz, Octavio:
    SCRIPTING EN RATIONAL ROSE. . . ISBN
  • Ceada-,Jose Luis, Ceada-,Jose Luis, Martín-Díaz, Octavio:
    PROGRAMACIÓN DE THREADS I. . . ISBN
  • Martín-Díaz, Octavio:
    UNA VISIÓN GENERAL A LOS LENGUAJES DE DESCRIPCIÓN ARQUITECTÓNICA. . . ISBN

Capítulo de Libros:

  • Martín-Díaz, Octavio, Ruiz-Cortés, Antonio, Corchuelo-Gil, Rafael, Benavides-Cuevas, David Felipe:
    PUTTING THE FOUNDATIONS FOR A MANAGEMENT AND EXECUTION ENVIRONMENT FOR MOWS. Pag. 93 - 102. En: NEW METHODS AND TOOLS SUPPORTING E¿COMMERCE II. KRONOS S.A.. 2003. ISBN 84-86273-81-1
  • Benavides-Cuevas, David Felipe, Ruiz-Cortés, Antonio, Martín-Díaz, Octavio, Bermejo-,J.:
    A FIRST APPROACH TO BUILD PRODUCT-LINES OF MOWS. Pag. 61 - 66. En: NEW METHODS AND TOOLS SUPPORTING E¿COMMERCE II. KRONOS S.A.. 2003. ISBN 84-86273-81-1
  • Arjona-Fernández, Jose Luis, Ruiz-Cortés, Antonio, Peña-Siles, Joaquín, Ruiz-Cortés, David, Martín-Díaz, Octavio:
    AUTOMATIC EXTRACTION OF SEMANTICALLY-MEANINGFUL INFORMATION FROM THE WEB. Pag. 75 - 86. En: NEW METHODS AND TOOLS SUPPORTING E-COMMERCE. CATEDRAL. 2002. ISBN 84-96086-02-X
  • Martín-Díaz, Octavio, Ruiz-Cortés, Antonio, Ruiz-Cortés, David, Peña-Siles, Joaquín, Arjona-Fernández, Jose Luis:
    AN APPROACH TOWARDS AN AUTOMATIC PROCESSING OF ARCHITECTURAL ALTERNATIVES. Pag. 13 - 26. En: NEW METHODS AND TOOLS SUPPORTING E-COMMERCE. CATEDRAL. 2002. ISBN 84-96086-02-X
  • Ruiz-Cortés, Antonio, Corchuelo-Gil, Rafael, Martín-Díaz, Octavio, Durán-Toro, Amador, Toro-Bonilla, Miguel:
    ADDRESSING INTEROPERABILITY IN MULTI-ORGANISATIONAL WEB-BASED SYSTEMS. Pag. 87 - 96. En: NEW ISSUES IN OBJECT INTEROPERABILITY. UNIVERSIDAD DE EXTREMADURA. 2000. ISBN 84-699-2538-5

Publicaciones en Revistas:

  • Müller-Cejás, Carlos, Gutiérrez-Fernández, Antonio Manuel, Fernández-Montes, Pablo, Martín-Díaz, Octavio, Resinas, Manuel, Ruiz-Cortés, Antonio:
    Automated Validation of Compensable SLAs. En: IEEE Transactions on Services Computing. 2018. Vol. Early Access. Núm. Early Access. Pag. - 10.1109/TSC.2018.2885766
  • Müller-Cejás, Carlos, Fernández-Montes, Pablo, Martín-Díaz, Octavio, Gutiérrez-Fernández, Antonio Manuel, Resinas, Manuel, Ruiz-Cortés, Antonio:
    Specifying Compensations with WS-Agreement. En: Revista IEEE America Latina. 2017. Vol. 15. Núm. 7. Pag. 1335-1341 https://doi.org/10.1109/TLA.2017.7959515
  • Ruiz-Cortés, David, Ruiz-Cortés, Antonio, Martín-Díaz, Octavio, Resinas-Arias De Reyna, Manuel:
    AN HYBRID, QOS-AWARE DISCOVERY OF SEMANTIC WEB SERVICES USING CONSTRAINT PROGRAMMING. En: Lecture Notes in Computer Science. 2007. Vol. 4749. Núm. . Pag. 69-80
  • Müller-Cejás, Carlos, Martín-Díaz, Octavio, Ruiz-Cortés, Antonio, Resinas, Manuel, Fernández-Montes, Pablo:
    IMPROVING TEMPORAL-AWARENESS OF WS-AGREEMENT. En: Lecture Notes in Computer Science. 2007. Vol. . Núm. . Pag. 193-206
  • Ruiz-Cortés, Antonio, Martín-Díaz, Octavio, Durán-Toro, Amador, Toro-Bonilla, Miguel:
    IMPROVING THE AUTOMATIC PROCUREMENT OF WEB SERVICES USING CONSTRAINT PROGRAMMING. En: . 2005. Vol. 14. Núm. 4. Pag. 439-467
  • Martín-Díaz, Octavio, Ruiz-Cortés, Antonio, Durán-Toro, Amador, Müller-Cejás, Carlos:
    AN APPROACH TO TEMPORAL-AWARE PROCUREMENT OF WEB SERVICES. En: Lecture Notes in Computer Science. 2005. Vol. 3826. Núm. . Pag. 170-184
  • Martín-Díaz, Octavio, Ruiz-Cortés, Antonio, Durán-Toro, Amador, Benavides-Cuevas, David Felipe, Toro-Bonilla, Miguel:
    AUTOMATING THE PROCUREMENT OF WEB SERVICES. En: Lecture Notes in Computer Science. 2003. Vol. 2910. Núm. . Pag. 91-103
  • Martín-Díaz, Octavio, Ruiz-Cortés, Antonio, Benavides-Cuevas, David Felipe, Durán-Toro, Amador, Toro-Bonilla, Miguel:
    A QUALITY-AWARE APPROACH TO WEB SERVICES PROCUREMENT. En: Lecture Notes in Computer Science. 2003. Vol. 2819. Núm. . Pag. 42-53
  • Durán-Toro, Amador, Ruiz-Cortés, Antonio, Corchuelo-Gil, Rafael, Martín-Díaz, Octavio:
    TABBED HIERARCHY: A DESIGN PATTERN FOR THE IMPLEMENTATION OF OBJECT-ORIENTED USER INTERFACES. En: Computación y Sistemas. 2002. Vol. . Núm. 2. Pag. 130-142
  • Torres-Valderrama, Jesús, Martín-Díaz, Octavio, Troyano-Jiménez, José A., Toro-Bonilla, Miguel:
    IMPLEMENTING ASSOCIATIONS AMONG CLASSES IN AN ENVIRONMENT OF ACTIVE DATABASES. En: Programming and Computer Software. 2000. Vol. 26. Núm. 4. Pag. 207-215

Aportaciones a Congresos:

  • García, José María, Martín-Díaz, Octavio, Fernández-Montes, Pablo, Ruiz-Cortés, Antonio, Toro-Bonilla, Miguel:
    Automated analysis of cloud offerings for optimal service provisioning (Summary). Comunicación en congreso. Jornadas de Ciencia e Ingeniería de Servicios. Sevilla. 2018
  • García, José María, Martín-Díaz, Octavio, Fernández-Montes, Pablo, Ruiz-Cortés, Antonio, Toro-Bonilla, Miguel:
    Automated Analysis of Cloud Offerings for Optimal Service Provisioning. Comunicación en congreso. International Conference on Service-Oriented Computing. Málaga. 2017
  • Müller-Cejás, Carlos, Fernández-Montes, Pablo, Martín-Díaz, Octavio, Gutiérrez-Fernández, Antonio Manuel, Resinas, Manuel, Ruiz-Cortés, Antonio:
    Supporting Compensations with WS-Agreement. Comunicación en congreso. V Congreso Español de Informática (CEDI 2016) - XII Jornada de Ciencia e Ingeniería de Servicios (JCIS 2016). Salamanca, España. 2016
  • Martín-Díaz, Octavio, García, José María, Fernández-Montes, Pablo, Ruiz-Cortés, Antonio:
    Automatic generation of Purchasing Plans for Cloud Services. Comunicación en congreso. XII JORNADAS DE CIENCIA E INGENIERÍA DE SERVICIOS. - Salamanca, España. 2016
  • Martín-Díaz, Octavio, Fernández-Montes, Pablo, García, José María, Ruiz-Cortés, Antonio:
    Towards a Comprehensive Purchasing Model for Cloud Services. Comunicación en congreso. XI Jornadas de Ciencia e Ingeniería de Servicios. Santander, España. 2015
  • Martín-Díaz, Octavio, Fernández-Montes, Pablo, Ruiz-Cortés, Antonio:
    Apoyo a la Toma de Decisiones en la Compra de IaaS. Comunicación en congreso. X Jornadas de Ciencia e Ingeniería de Servicios . Cádiz, España. 2014
  • Müller-Cejás, Carlos, Gutiérrez-Fernández, Antonio Manuel, Martín-Díaz, Octavio, Resinas, Manuel, Fernández-Montes, Pablo, Ruiz-Cortés, Antonio:
    Towards a Formal Specification of SLAs with Compensations. Comunicación en congreso. On the Move to Meaningful Internet Systems: OTM 2014 Conferences. . 2014
  • García, José María, Ruiz-Cortés, David, Fernández-Montes, Pablo, Martín-Díaz, Octavio:
    UPSRANKER: INTEGRANDO PROGRAMACION CON RESTRICCIONES Y EVALUACION DE REGLAS PARA EL RANKING DE SERVICIOS WEB SEMANTICOS. Comunicación en congreso. V JORNADAS CIENTÍFICO-TÉCNICAS EN SERVICIOS WEB Y SOA (JSWEB 2009) (5) (5.2009.MADRID, SPAIN). MADRID, SPAIN. 2009
  • Müller-Cejás, Carlos, Martín-Díaz, Octavio, Ruiz-Cortés, Antonio, Resinas, Manuel, Fernández-Montes, Pablo:
    IMPROVING TEMPORAL-AWARENESS OF WS-AGREEMENT. Conferencia Congreso no publicada. INTERNATIONAL CONFERENCE IN SERVICE-ORIENTED COMPUTING - ICSOC (5) (5.2007.VIENNA). VIENNA. 2007
  • Müller-Cejás, Carlos, Martín-Díaz, Octavio, Resinas, Manuel, Fernández-Montes, Pablo, Ruiz-Cortés, Antonio:
    A WS-AGREEMENT EXTENSION FOR SPECIFYING TEMPORAL PROPERTIES IN SLAS. Comunicación en congreso. II CONGRESO ESPAÑOL DE INFORMÁTICA () (.2007.ZARAGOZA, ESPAÑA). ZARAGOZA, ESPAÑA. 2007
  • García, José María, Ruiz-Cortés, David, Ruiz-Cortés, Antonio, Martín-Díaz, Octavio, Resinas, Manuel:
    AN HYBRID, QOS-AWARE DISCOVERY OF SEMANTIC WEB SERVICES USING CONSTRAINT PROGRAMMING. Comunicación en congreso. INTERNATIONAL CONFERENCE IN SERVICE-ORIENTED COMPUTING - ICSOC (5) (5.2007.VIENNA). VIENNA. 2007
  • Troncoso-Lora, Alicia, Troncoso-Lora, Alicia, Reina-Quintero, Antonia María, Martín-Díaz, Octavio, Gómez-López, Mª Teresa, Díaz-Madrigal, Víctor Jesús, Ceballos-Guerrero, Rafael, Bernárdez-Jiménez, Beatriz:
    LA INFLUENCIA DE LA EVALUACIÓN ALTERNATIVA PROPUESTA EN LOS NUEVOS ESTATUTOS DE LA UNIVERSIDAD DE SEVILLA EN LA ENSEÑANZA UNIVERSITARIA DE INGENIERÍA . Comunicación en congreso. III JORNADA ANDALUZA DE PROFESORES NOVELES (3) (3.2006.SEVILLA). . 2006
  • Müller-Cejás, Carlos, Martín-Díaz, Octavio, Ruiz-Cortés, Antonio, Durán-Toro, Amador:
    AN APPROACH TO TEMPORAL-AWARE PROCUREMENT OF WEB SERVICES. Conferencia Congreso no publicada. INTERNATIONAL CONFERENCE IN SERVICE-ORIENTED COMPUTING - ICSOC 2005 (3) (3.2005.AMSTERDAM). AMSTERDAM. 2005
  • Peña-Siles, Joaquín, Corchuelo-Gil, Rafael, Martín-Díaz, Octavio:
    TOWARDS A METHODOLOGY FOR MULTI-AGENT SYSTEM COORDINATION. Comunicación en congreso. JORNADAS DE INGENIÉRIA DEL SOFTWARE Y BASES DE DATOS (8.2003.ALICANTE). ALICANTE. 2003
  • Martín-Díaz, Octavio, Ruiz-Cortés, Antonio, Corchuelo-Gil, Rafael, Toro-Bonilla, Miguel:
    A FRAMEWORK FOR CLASSIFYING AND COMPARING WEB SERVICES PROCUREMENT PLATFORMS. Comunicación en congreso. WEB SERVICES QUALITY WORKSHOP (1) (1.2003.ROMA). . 2003
  • Martín-Díaz, Octavio, Benavides-Cuevas, David Felipe, Peña-Siles, Joaquín, Toro-Bonilla, Miguel:
    UN TRATAMIENTO SENSIBLE A LA CALIDAD PARA LA ADQUISICIÓN DE SERVICIOS WEB. Comunicación en congreso. JORNADAS DE INGENIÉRIA DEL SOFTWARE Y BASES DE DATOS (8.2003.ALICANTE). ALICANTE. 2003
  • Benavides-Cuevas, David Felipe, Ruiz-Cortés, Antonio, Martín-Díaz, Octavio, Bermejo-,J., Corchuelo-Gil, Rafael:
    A FIRST APPROACH TO BUILD PRODUCT LINES OF MOWS. Comunicación en congreso. ZOCO (.2002.SAN LORENZO DEL ESCORIAL, ESPAÑA). SAN LORENZO DEL ESCORIAL, ESPAÑA. 2002
  • Martín-Díaz, Octavio, Ruiz-Cortés, Antonio, Corchuelo-Gil, Rafael, Durán-Toro, Amador:
    A MANAGEMENT AND EXECUTION ENVIRONMENT FOR MULTI-ORGANISATIONAL WEB-BASED SYSTEMS. Ponencia en Congreso. ZOCO (.2002.SAN LORENZO DEL ESCORIAL, ESPAÑA). SAN LORENZO DEL ESCORIAL, ESPAÑA. 2002
  • Martín-Díaz, Octavio, Ruiz-Cortés, Antonio, Toro-Bonilla, Miguel:
    AN APPROACH TOWARDS AUTOMATIC MANAGEMENT OF ARCHITECTURAL ALTERNATIVES. Ponencia en Congreso. ZOCO: METODOS Y HERRAMIENTAS DE DESARROLLO DE APLICACIONES DE COMERCIO ELECTRONICO. PROYECTO GEOZOCO (1.2001.ALMAGRO, CIUDAD REAL (ESPAÑA)). ALMAGRO, CIUDAD REAL (ESPAÑA). 2001
  • Ruiz-Cortés, Antonio, Corchuelo-Gil, Rafael, Durán-Toro, Amador, Martín-Díaz, Octavio, Pérez-Castellanos, José Antonio:
    PROTOTIPADO ARQUITECTONICO DE SISTEMAS ABIERTOS DISTRIBUIDOS. Ponencia en Congreso. JORNADAS DE TRABAJO MENHIR (5.2000.GRANADA). GRANADA. 2000
  • Mejías-Risoto, Manuel, Ramos-Román, Isabel, Martín-Díaz, Octavio, Escalona-Cuaresma, María José:
    UN METODO DOCENTE PARA LA REALIZACION DE PRACTICAS DE INGENIERIA DEL SOFTWARE. Comunicación en congreso. JORNADAS SOBRE LA ENSEÑANZA UNIVERSITARIA DE LA INFORMÁTICA (6.2000). ALCALÁ DE HENARES (MADRID). 2000
  • Ruiz-Cortés, Antonio, Corchuelo-Gil, Rafael, Martín-Díaz, Octavio, Durán-Toro, Amador, Toro-Bonilla, Miguel:
    ADDRESSING INTEROPERABILITY IN MULTI-ORGANISATIONAL WEB-BASED SYSTEMS. Ponencia en Congreso. EUROPEAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING WORKSHOP ON OBJECT INTEROPERABILITY (1.2000.SHOPIA ANTIPOLIS, FRANCIA). SHOPIA ANTIPOLIS, FRANCIA. 2000
  • Ruiz-Cortés, David, Corchuelo-Gil, Rafael, Pérez-Castellanos, José Antonio, Martín-Díaz, Octavio, Ruiz-Cortés, Antonio:
    AVANCES EN LA IMPLEMENTACION DEL MODELO DE INTERACCION ENTRE MULTIPLES PARTICIPANTES. Ponencia en Congreso. JORNADAS DE TRABAJO MENHIR (5.2000.GRANADA). GRANADA. 2000
  • Corchuelo-Gil, Rafael, Martín-Díaz, Octavio, Toro-Bonilla, Miguel, Ruiz-Cortés, Antonio:
    WEAK FAIRNESS IN THE CONTEXT OF CONSTRAINT-BASED MULTIPARTY INTERACTIONS. Comunicación en congreso. JOURNEES DÉTUDES COMPARATIVES FRANCO- HISPANO- ITALIANNES (1.2003.BURDEOS, FRANCIA). TORREMOLINOS (ESPAÑA). 1999
  • Martín-Díaz, Octavio, Torres-Valderrama, Jesús, Durán-Toro, Amador, Pérez-Castellanos, José Antonio, Toro-Bonilla, Miguel:
    SEMANTICA FORMAL DE ASOCIACIONES Y AGREGADOS PARA SU IMPLEMENTACION CON REGLAS ACTIVAS. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS, JISBD 99 (4.1999.CÁCERES, ESPAÑA). CÁCERES, ESPAÑA. 1999
  • Corchuelo-Gil, Rafael, Pérez-Castellanos, José Antonio, Durán-Toro, Amador, Martín-Díaz, Octavio:
    UN ALGORITMO EFICIENTE PARA REPARAR ERRORES SINTACTICOS EN ANALIZADORES LR. Ponencia en Congreso. JORNADAS DE INFORMATICA (4.1998.LAS PALMAS DE GRAN CANARIA, ESPAÑA). LAS PALMAS DE GRAN CANARIA, ESPAÑA. 1998
  • Corchuelo-Gil, Rafael, Martín-Díaz, Octavio, Ruiz-Cortés, David, Toro-Bonilla, Miguel, Prieto-,J.M., Arjona-Fernández, Jose Luis:
    SELECCIÓN JUSTA, OPTIMACIÓN Y SUPERPOSICIÓN EN EL CONTEXTO DE TESORO. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (3.1998.MURCIA). MURCIA. 1998
  • Corchuelo-Gil, Rafael, Martín-Díaz, Octavio, Pérez-Castellanos, José Antonio:
    UN NUEVO MECANISMO PARA DESCRIBIR LA INTERACCION ENTRE PROCESOS EN LENGUAJE IP. Ponencia en Congreso. JORNADAS DE INFORMATICA (4.1998.LAS PALMAS DE GRAN CANARIA, ESPAÑA). LAS PALMAS DE GRAN CANARIA, ESPAÑA. 1998
  • Corchuelo-Gil, Rafael, Martín-Díaz, Octavio:
    COMUNICACION Y SINCRONIZACION DE PROCESOS EN SISTEMAS DISTRIBUIDOS MEDIANTE EL USO DE RESTRICCIONES. Ponencia en Congreso. JORNADAS CIENTÍFICAS ANDALUZAS EN TECNOLOGÍA DE LA INFORMACIÓN (3.1998.CÁDIZ). CÁDIZ. 1998
  • Corchuelo-Gil, Rafael, Martín-Díaz, Octavio:
    MULTIPARTY INTERACTIONS BY MEANS OF INTERACTION CHANNELS. Ponencia en Congreso. INTERNATIONAL CONFERENCE ON COMPUTING AND INFORMATION (1.1998.WINNIPEG, MANITOBA (CANADA)). WINNIPEG, MANITOBA (CANADA). 1998
  • Corchuelo-Gil, Rafael, Martín-Díaz, Octavio:
    IP IC(CHI): AN IP-BASED LANGUAGE FOR THE DESCRIPTION OF DISTRIBUTED, REACTIVE PROGRAMS. Ponencia en Congreso. ECEC (1.1998.ALEMANIA). ALEMANIA. 1998
  • Pérez-Castellanos, José Antonio, Corchuelo-Gil, Rafael, Martín-Díaz, Octavio:
    DESDE UN MÉTODO DE DISEÑO ESTRUCTURADO A UN MÉTODO DE ESPECIFICACIÓN FORMAL PARA SISTEMAS EN TIEMPO REAL. Comunicación en congreso. JORNADAS DE INFORMATICA (4.1998.LAS PALMAS DE GRAN CANARIA, ESPAÑA). LAS PALMAS DE GRAN CANARIA, ESPAÑA. 1998

Patentes:

  • Ruiz-Cortés, Antonio, Resinas, Manuel, Müller-Cejás, Carlos, Martín-Díaz, Octavio:
    AGREEMENT DOCUMENT ANALYZER (ADA). Otra modalidad de propiedad industrial. Solicitud: 16/06/2010