Manuel I. Capel Tuñón

According to our database, Manuel I. Capel Tuñón authored at least 14 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2010

A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes.

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez

Proceedings of the Enterprise Information Systems - 12th International Conference, 2010

Compositional Verification of Business Processes Modelled with BPMN.

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

2009

Methodology Of Parallel Programming Using Compositions Of Parallel Objects Or CPANS For The Solution Of NP-Complete Problems.

Mario Rossainz López, Manuel I. Capel Tuñón

Proceedings of the European Conference on Modelling and Simulation, 2009

2008

A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems.

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki

Proceedings of the ICEIS 2008, 2008

2007

An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.

Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales

Proceedings of the Modelling, 2007

Java-Based Adaptable Middleware Platform for Virtual Instrumentation.

Juan Antonio Holgado Terriza, Alfredo Moreno Guillén, Manuel I. Capel Tuñón

Proceedings of the IEEE International Conference on Virtual Environments, 2007

Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics.

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki

Proceedings of the ICEIS 2007, 2007

Towards UML-RT Behavioural Consistency.

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales

Proceedings of the ICEIS 2007, 2007

2006

Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales

Proceedings of the Modelling, 2006

Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications.

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza

Proceedings of the ICEIS 2006, 2006

An Approach to Structured Parallel Programming Based on a Composition.

Mario Rossainz López, Manuel I. Capel Tuñón

Proceedings of the 16th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2006), 27 February 2005, 2006

2005

Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems.

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón

Proceedings of the International Enformatika Conference, 2005

Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP).

Manuel I. Capel Tuñón, Mario Rossainz López

Proceedings of the 15th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2005), 28 February 2005, 2005

2004

A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs).

Manuel I. Capel Tuñón, Mario Rossainz López

Proceedings of the 14th International Conference on Electronics, 2004