Manuel Isidoro Capel Tuñón

Fotografía a baja resolución

Manuel Isidoro Capel Tuñón

Administrative data

Collaborator researcher

  • Position in UGR: Professor
    Department where s/he teaches: Lenguajes y Sistemas Informáticos
    Research group: TIC-157

Contributions and research experience

Publications in ISI SCI

  • Conceptual framework for business processes compositional verification
    Author-s: Mendoza, Luis E.; Capel, Manuel I.; Perez, Maria A.
    Source: INFORMATION AND SOFTWARE TECHNOLOGY 54 2 149 161 2012
  • A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
    Author-s: Akhlaki, K. Benghazi; Tunon, M. I. Capel; Terriza, J. A. Holgado; Morales, L. E. Mendoza
    Source: SCIENCE OF COMPUTER PROGRAMMING 65 1 41 56 2007
  • On-the-fly model checking from interval logic specifications
    Author-s: Hornos, MJ; Capel, MI
    Source: ACM SIGPLAN NOTICES 37 12 108 119 Workshop of Principles, Logics and Implimentations OCT 03-08, 2002 PITTSBURGH, PITTSBURGH 2002
  • DISTRIBUTED ACTIVE OBJECTS - A METHODOLOGICAL PROPOSAL AND TOOL FOR DISTRIBUTED-PROGRAMMING WITH TRANSPUTER SYSTEMS
    Author-s: CAPEL, M; TROYA, JM; PALMA, A
    Source: MICROPROCESSING AND MICROPROGRAMMING 38 1-5 197 204 19TH EUROMICRO SYMP ON MICROPROCESSING AND MICROPR SEP 06-09, 1993 UNIV POLITECN CATALUNYA, UNIV POLITECN CATALUNYA, UNIV POLITECN CATALUNYA 1993
  • AN OBJECT-BASED TOOL AND METHODOLOGICAL APPROACH FOR DISTRIBUTED-PROGRAMMING
    Author-s: CAPEL, M; TROYA, JM
    Source: SOFTWARE-CONCEPTS AND TOOLS 15 4 177 195 1994
  • PERTURBATIVE TREATMENT OF ANHARMONIC DIATOMIC OSCILLATORS IN THE GENERATOR-COORDINATE DESCRIPTION
    Author-s: REQUENA, A; CAPEL, M; RODRIGUEZ, JV
    Source: THEOCHEM-JOURNAL OF MOLECULAR STRUCTURE 21 FEB 41 45 1985

Conferences in ISI CPCI-Science

  • Automating the transformation from BPMN models to CSP plus T specifications
    Author-s: Capel, Manuel I.; Mendoza, Luis E.
    Source: PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012) 100 109 35th IEEE Software Engineering Workshop (SEW) OCT 12-13, 2012 Heraklion, Heraklion 2012
  • A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes
    Author-s: Mendoza Morales, Luis E.; Capel Tunon, Manuel I.; Perez, Maria A.
    Source: ENTERPRISE INFORMATION SYSTEMS 73 388 403 12th International Conference on Enterprise Inform JUN 08-AUG 12, 2010 Funchal, Funchal 2011
  • Automatic Compositional Verification of Business Processes
    Author-s: Mendoza, Luis E.; Capel, Manuel I.
    Source: ENTERPRISE INFORMATION SYSTEMS-BK 24 479 490 11th International Conference on Enterprise Inform MAY 06-10, 2009 Milan, Milan 2009
  • Compositional Model-Checking Verification of Critical Systems
    Author-s: Mendoza, Luis E.; Capel, Manuel I.; Perez, Maria; Benghazi, Kawtar
    Source: ENTERPRISE INFORMATION SYSTEMS-B 19 213 225 10th International Conference on Enterprise Inform JUN, 2008 Barcelona, Barcelona 2009
  • A wireless networked embedded system with a new real-time kernel - PaRTiKle
    Author-s: Mata, W.; Gonzalez, A.; Aquino, R.; Crespo, A.; Ripoll, I.; Capel, M.
    Source: CERMA 2007: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE, PROCEEDINGS 21 26 Electronics, Robotics and Automotive Mechanics Con SEP 25-28, 2007 Cuernavaca, Cuernavaca 2007
  • A PROGRAMMING TOOL FOR DISTRIBUTED IMPLEMENTATION OF BRANCH-AND-BOUND ALGORITHMS
    Author-s: CAPEL, M; PALMA, A
    Source: PARALLEL COMPUTING AND TRANSPUTER APPLICATIONS, PTS 1 AND 2 28 138 147 INTERNATIONAL CONF ON PARALLEL COMPUTING AND TRANS SEP 21-24, 1992 BARCELONA, BARCELONA 1992
  • AN OBJECT-BASED TOOL FOR DISTRIBUTED-PROGRAMMING ON TRANSPUTER SYSTEMS
    Author-s: CAPEL, M; TROYA, JM
    Source: PARALLEL COMPUTING AND TRANSPUTER APPLICATIONS, PTS 1 AND 2 28 366 375 INTERNATIONAL CONF ON PARALLEL COMPUTING AND TRANS SEP 21-24, 1992 BARCELONA, BARCELONA 1992

Book chapters in ISI

  • Methodology of Parallel Programming using Compositions of Parallel Objects or CPANS for the solution of NP-Complete problems
    Author-s: Rossainz Lopez, Mario; Capel Tunon, Manuel I.
    Source: 23RD EUROPEAN CONFERENCE ON MODELLING AND SIMULATION (ECMS 2009) 63 69 23rd European Conference on Modelling and Simulati JUN 09-12, 2009 Rey Juan Carlos Univ, Rey Juan Carlos Univ, Rey Juan Carlos Univ 2009
  • A PARALLEL PROGRAMMING METHODOLOGY USING COMMUNICATION PATTERNS NAMED CPANS OR COMPOSITION OF PARALLEL OBJECT
    Author-s: Rossainz-Lopez, M.; Capel-Tunon, M. I.
    Source: EMSS 2008: 20TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM 274 283 20th European Modeling and Simulation Symposium SEP 17-19, 2008 Amantea, Amantea 2008
  • Checking behavioural consistency of UML-RT models through trace-based semantics
    Author-s: Morales, Luis E. Mendoza; Capel Tunon, Manuel I.; Benghazi Akhlaki, Kawtar
    Source: ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS 205 211 9th International Conference on Enterprise Informa JUN 12-16, 2007 Funchal, Funchal 2007
  • Towards UML-RT behavioural consistency
    Author-s: Akhlaki, Kawtar Benghazi; Tunon, Manuel I. Capel; Terriza, Juan A. Holgado; Morales, Luis E. Mendoza
    Source: ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS 612 615 9th International Conference on Enterprise Informa JUN 12-16, 2007 Funchal, Funchal 2007
  • Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications
    Author-s: Akhlaki, K. Benghazi; Tunon, M. I. Capel; Terriza, J. A. Holgado
    Source: ICEIS 2006: Proceedings of the Eighth International Conference on Enterprise Information Systems 290 297 8th International Conference on Enterprise Informa MAY 23-27, 2006 Paphos, Paphos 2006
  • Java-based adaptable middleware platform for virtual instrumentation
    Author-s: Holgado-Terriza, Juan A.; Moreno Guillen, Alfredo; Capel-Tunon, Manuel I.
    Source: 2007 IEEE SYMPOSIUM ON VIRTUAL ENVIRONMENTS, HUMAN-COMPUTER INTERFACES AND MEASUREMENT SYSTEMS 144 149 IEEE Symposium on Virtual Environments,Human-Compu JUN 25-27, 2007 Ostuni, Ostuni 2006
  • DESIGN AND IMPLEMENTATION OF THE BRANCH & BOUND ALGORITHMIC DESIGN TECHNIQUE AS AN HIGH LEVEL PARALLEL COMPOSITION
    Author-s: Rossainz Lopez, Mario; Capel Tunon, Manuel I.
    Source: INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006 95 100 3rd International Mediterranean Modelling Multicon OCT 04-06, 2006 Barcelona, Barcelona 2006
  • Design and use of the CPAN Branch & Bound for the solution of the Travelling Salesman Problem (TSP)
    Author-s: Tunon, MIC; Lopez, MR
    Source: 15th International Conference on Electronics, Communications and Computers, Proceedings 262 267 15th International Conference on Electronics, Comm FEB 28-MAR 02, 2005 Puebla, Puebla 2005
  • Design and use of the CPAN Branch & Bound for the solution of the Travelling Salesman Problem (TSP)
    Author-s: Lopez, MR; Tunon, MIC
    Source: Simulation in Wider Europe 760 765 19th European Conference on Modelling and Simulati JUN 01-04, 2005 Riga, Riga 2005
  • Combining the description features of UML-RT and CSP T specifications applied to a complete design of real-time systems
    Author-s: Akhlaki, KB; Capel-Tunon, MI
    Source: ENFORMATIKA, VOL 7: IEC 2005 PROCEEDINGS 193 198 5th International Enformatika Conference (IEC 05) AUG 26-28, 2005 Prague, Prague 2005
  • A parallel programming methodology based on High Level Parallel Compositions (CPANs)
    Author-s: Tunon, MIC; Lopez, MR
    Source: 14TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS, AND COMPUTERS, PROCEEDINGS 242 247 14th International Conference on Electronics, Comm FEB 16-18, 2004 Veracruz, Veracruz 2004
  • Automata generation for on-the-fly automatic verification using formulas of an interval logic
    Author-s: Hornos, MJ; Capel, MI
    Source: SECOND INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEMS DESIGN, PROCEEDINGS 221 230 2nd International Conference on Application of Con JUN 25-29, 2001 Newcastle upon Tyne, Newcastle upon Tyne 2001
  • PARALLEL BRANCH-AND-BOUND APPROACH FOR NOT-SHARED MEMORY-SYSTEMS
    Author-s: TROYA, JM; CAPEL, MI
    Source: APPLIED INFORMATICS 357 360 8TH INTERNATIONAL SYMP ON APPLIED INFORMATICS FEB 19-21, 1990 INNSBRUCK, INNSBRUCK 1990

Research Contracts through OTRI

  • OTRI-3585
    Principal Investigator: Manuel Isidoro Capel Tuñón
    Start date: 2015-04-10
    End date: 2015-04-30
    Research Group: TIC-157
    Company: Construcciones y Mantenimientos Fraymar S.L.

Doctoral Dissertations supervised

  • Una Contribución a las Técnicas Avanzadas de Verificación de Procesos de Negocio y Sistemas Software Abiertos
    Author: Luis Eduardo Mendoza Morales
    Institution: Lenguajes y Sistemas Informáticos (UGR),
    Dissertation date: 2011-06-30
    Supervision: Manuel Isidoro Capel Tuñón
  • Medistam-Rt: Metodología de Diseño y Análisis de Sistemas de Tiempo Real
    Author: Kawtar Benghazi Akhlaki
    Institution: Lenguajes y Sistemas Informáticos (UGR),
    Dissertation date: 2009-01-23
    Supervision: Manuel Isidoro Capel Tuñón, Juan Antonio Holgado Terriza
  • Una Metodología de Programación Basada en Composiciones Paralelas de alto Nivel Cpans
    Author: Mario Rossainz Lopez
    Institution: Lenguajes y Sistemas Informáticos (UGR),
    Dissertation date: 2005-02-25
    Supervision: Manuel Isidoro Capel Tuñón

Research visits

  • MICHIGAN STATE UNIVERSITY
    Visiting researcher: Capel Tuñón, Manuel Isidoro
    Research group: TIC-157
    Place: EAST LANSING; ESTADOS UNIDOS DE AMERICA
    Start date: 2008-11-03
    End date: 2009-03-03
  • SOFTWARE ENGINEERING AND NETWORK SYSTEMS INSTITUTE (SENS), MICHIGAN STATE UNIVERSITY
    Visiting researcher: Capel Tuñón, Manuel Isidoro
    Research group: TIC-157
    Place: EAST LANSING, MICHIGAN; ESTADOS UNIDOS DE AMERICA
    Start date: 2002-02-01
    End date: 2002-06-30
    Visiting category: POSTD
  • FORSCHUNGINSTITUT FOR MICROPROCESSORS TECHNIK (FIM)
    Visiting researcher: Capel Tuñón, Manuel Isidoro
    Research group: TIC-157
    Place: LINZ; AUSTRIA
    Start date: 1998-06-01
    End date: 1998-06-30
    Visiting category: INV
© Universidad de Granada

Calle Periodista Rafael Gómez Montero, número 2 · E-18071 GRANADA (Spain) · +34-958241720

Diseño Web Granada

Oficina Web UGR