Name: Manuel I. Capel-Tuñón.

• Academic degrees: PhD in CS(1992), MSc in Physics(1982).
• Position: Profesor Titular de Universidad (accredited as Full Professor (11/21/2008)).
• Department: Dpt. Lenguajes y Sistemas Informáticos, U. de Granada
• Building: ETSI Informática. 
• Postal address: Periodista Daniel Saucedo Aranda. 18071- Granada (Spain).
• e-mail: manuelcapel@ugr.es
• More information:  http://lsi.ugr.es/~sc

 

• 1982: MSC degree (Physics), Granada University
• 1983: CS Associate Professor, Murcia University (Spain)
• 1987: Permanent post, Murcia University
• 1989: Join the Granada University (Spain)
• 1990: Permanent post, Granada University
• 1992: PhD degree in CS
• 1994: Leader of a Spanish Research Council Project (TIC94-930-C02-2), entitled:
"A Software development environment for heterogeneous systems"  (3 years)
• 1995: Professor of Computer Science
• 2009: Full Professor

• Formal methods for reactive systems.

• Temporal logics.

• Business Process Formal Modelling

• Concurrent and real time programming languages and paradigms

• Specification and design methods for software systems.
  
   

Cooperation with other universities:

• Erasmus alumni of  Koblenz Universitaet

Selected publications:

• Journal papers:

  -Luis E. Mendoza Morales, Manuel I. Capel, María Pérez. "Conceptual Framework for Business Processes Compositional Verification". Information and Software Technology, 54(2), 149-161 (2012).

  -Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María Pérez. "A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes". Lecture Notes in Business Information Processing (LNBIP), 73(1), 388-403 (2011).

  -Luis E. Mendoza, Manuel I. Capel. "Automatic Compositional Verification of Business Processes". Lecture Notes in Business Information Processing, 24(1), 479-490 (2009).

  -Luis E. Mendoza, Manuel I. Capel, María Pérez, y Kawtar Benghazi. "Compositional Model-Checking Verification of Critical Systems". Lecture Notes in Business Information Processing, 19(1), 213- 225 ( 2009). ICEIS 2008- Best paper award.

  -Manuel I. Capel Tuñón, Luis Eduardo Mendoza Morales,  y Kawtar Benghazi Akhlaki. "Automatic Verification of Business Process Integrity". International Journal Simulation and Process Modelling, 4 (3/4),167-182 (2008).

  -K.Benghazi Ahklaki, M.I. Capel Tuñón, J.A.Holgado Terriza, L.E. Mendoza Morales. "A Methodological Approach to the Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models". Science of Computer Programming, 65, 41-56 ( 2007).

  -M. J. Hornos, M. I. Capel. “On-the-fly Model Checking from Interval Logic Specifications”. ACM SIGPLAN Notices, v.37, n.12, pp.108-119, 2002.

• Conference papers:

  -Luis E. Mendoza, Manuel I. Capel, María A. Pérez. "Compositional Verification of Business Processes Modelled with BPMN". ICEIS 2010, Madeira (Portugal). In "Information Systems Analysis and Information. ICEIS-ISAS. J. Filipe and J. Cordeiro Eds., 3(I), 113-122 (2010). CORE-B

  - Luis E. Mendoza, Manuel I. Capel, María A. Pérez. "Compositional Verification of Business Processes by Model-Checking". Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS), 1, 60-69 (2010).

  -Manuel Capel, Theresa Casey, LauraDillon, Betty H.C. Cheng and  Robert Seymour. "Towards Modal Modelling of Biological Systems".Virtual Physiological Human Network of Excellence, , Brussels (Belgium), September/October, 2010.

  - Luis Eduardo Mendoza Morales,  Manuel I. Capel Tuñón y Kawtar Benghazi Akhlaki. "Towards the Correctness Verification of Business Processes Modelled with UML". XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD), Gijón (Asturias), I, 159-170 (2008).

  -Luis Eduardo Mendoza Morales,  Manuel I. Capel Tuñón, María A. Pérez y Kawtar Benghazi Akhlaki. "A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems". ICEIS 2008, Barcelona. In "Information Systems Analysis and Information, ISAS-1, 86-93 (2008). CORE-B.

  -Luis Eduardo Mendoza Morales,  Manuel I. Capel Tuñón y Kawtar Benghazi Akhlaki. "Checking Behavioural Consistency of UML-RT Models Through Trace-based Semantics. ICEIS, I, 205-211 (2007). CORE B.

  -Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan A. Holgado Terriza y Luis Eduardo Mendoza Morales. "An Interpretation of Behavioural Consistency of UML-RT Diagrams in Terms of CSP+T. In Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS), I, 74-83(2007).

   -L.E.Mendoza, M.I. Capel. "Consistency Checking of UML Composite Structure Diagrams Based on Trace Semantics", I, 109-123, Poznan (Polonia), IFIP (International Federation for Information Processing) (2007).

  -Holgado-Terriza, J.A., Guillén, A.M , Capel-Tuñón, M.I.. "Java-based Adaptable Middleware Platform for Virtual Instrumentation". In “Proceedings of the 2007 IEEE International Conference on Virtual Environments, Human-Computer Interfaces, and Measurement Systems” (VECIMS), I, 144-149, Ostuni (Italia), IEEE CS-Press (2007).

  M.J.Hornos, M.I.Capel. "On-the-fly Automatic Verification Using Formulas of An Interval Logic". Application of Concurrency to System
  Design (ACSD´01), pp.221-230, 2001. IEEE CS (ISBN:0-7695-1071-X)

  -"Towards Modal Modelling of Biological Systems". Manuel Capel, Theresa Casey, LauraDillon, Betty H.C. Cheng and  Robert Seymour. Virtual Physiological Human Network of Excellence, , Brussels (Belgium), September/October, 2010.

• Books:

  - Manuel I. Capel, Juan A. Garbajosa Sopeña. "Modelling, Simulation, Verification and Validation of Enterprise Information Systems.1, 60- 69 ( 2010). INSTICC, Setúbal (Portugal), ISBN: 978-989-8425-12-6.

  M.I. Capel. "Mathematical Modeling of Real-Time Processes" in "Mathematical Modeling of technical  Processes", pp.63-90, 2001.
  Informatech (ISBN: 80-88941-18-0).

• Technical Reports:

  Manuel I. Capel Tunon and Laura K. Dillon and Theresa M. Casey and Betty H. C. Cheng. "Towards Modal Modeling of Biological Systems". MSU-CSE-09-6 (http://www.cse.msu.edu/cgi-user/web/tech/document?ID=991), 1-12. Michigan State University (2009).
  

Experience in RD activities and research grants:

• Organization of "XIII Jornadas de Tiempo Real" (TIN2009-06851-E). MICINN/PLAN NACIONAL. PI (05/03/2010-04/03/2011)

• "Design and Development of Sensor Networks Based Applications"/"Diseño y Desarrollo de Aplicaciones Basadas en Redes de Sensores" (D2ARS). Programa Iberoamericano de Ciencia y Tecnología para el Desarrollo (CYTED-507AC0328). 10 research teams of 6 countries: UPV (España), UGR (España), UCOL-TEC (México), CICESE (México), UFRGS (Brasil), UAO (Colombia), UNINORTE (Colombia), ITCR (Costa Rica), ICIMAF (Cuba), ISPJAE (Cuba). Local Coordinator (1/03/2007 -28/02/2010). General Coordinator Coordinado (Prof.Alfons Crespo, UPV).

• "A Development Environment for Heterogeneous Measurement Systems"/"Un Entorno de Desarrollo para Sistemas de Medición Heterogéneos" (MAT2004-06782-C03-3). Ministerio Educación y Ciencia-Plan Nacional I+D+i. Universidad de Granada (3 research teams coordinated). Investigador principal (13/12/2004 - 13/12/2007.

• "A Development Environment for Heterogeneous Distributed Systems"/"Un Entorno de Desarrollo para Sistemas Distribuidos Heterogéneos (TIC94-930-CO2-2)". PI (19-05-94 al 19-05-97)

• Programación Paralela Avanzada Utilizando Transputers - Advanced Parallel Programming with Transputers

(bilingual course) Mars 7th - 10th, 1995.
Director of the  course (in collaboration with Dr.A.Bakkers Twente  University -NL-).
Course participants: from national companies and universities.
• Windows NT Server Administration (workshop) Director (in colaboración with Prof. J. Muehlbacher,  U. of Linz)
25-01-99 al 01-02-99.

Member of the Editorial Board of the Journal of Network and Computer Applications, Elsevier Science Ltd.
(Managing Editor-in-Chief: M. Atiquzzaman School of Computer Science, University of Oklahoma,USA)