Manuel I. Capel Tuñón

22 papers C 1Journal 6Unranked 13
YearRankTypeTitle / Venue / Authors
2019 J jnl
Use of Parallel Patterns of Communication between Processes for search of Sequences DNA and RNAi Strings.
Res. Comput. Sci.
Mario Rossainz López, Manuel I. Capel Tuñón, Ivo Humberto Pineda Torres, Iván Olmos Pineda, J. Arturo Olvera-López
2017 J jnl
Partitioning Strategy Divide and Conquer as CPANs. A Methodological Proposal.
Res. Comput. Sci.
Mario Rossainz López, Manuel I. Capel Tuñón, Diego Sarmiento Rojas
2011 — ed.
IVM, FTMDD, RTSOABIS & MSVVEIS 2011 - Proceedings of the International Joint Workshop on Information Value Management, Future Trends of Model-Driven Development, Recent Trends in SOA Based Information Systems and Modelling and Simulation, Verification and Validation of Enterprise Information Systems, In conjunction with ICEIS 2011, Beijing, China, June, 2011
IVM/FTMDD/RTSOABIS/MSVVEIS
Markus Helfert, Mouzhi Ge, Luís Ferreira Pires, Slimane Hammoudi, Farouk Toumani, Valérie Monfort, Wassim Jaziri, Manuel I. Capel Tuñón, Chunping Li
2010 — conf
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes.
ICEIS
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez
2010 — conf
Compositional Verification of Business Processes Modelled with BPMN.
ICEIS (3)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez
2010 — ed.
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010
MSVVEIS
Juan Garbajosa Sopeña, Manuel I. Capel Tuñón
2010 J jnl
Using the CPAN Branch & Bound for the Solution of Travelling Salesman Problem.
Res. Comput. Sci.
Manuel I. Capel Tuñón, Mario Rossainz López
2009 C conf
Methodology Of Parallel Programming Using Compositions Of Parallel Objects Or CPANS For The Solution Of NP-Complete Problems.
ECMS
Mario Rossainz López, Manuel I. Capel Tuñón
2008 — conf
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems.
ICEIS (3-1)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki
2008 J jnl
Automatic verification of business process integrity.
Int. J. Simul. Process. Model.
Manuel I. Capel Tuñón, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki
2007 J jnl
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models.
Sci. Comput. Program.
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2007 — conf
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.
MSVVEIS
Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2007 — conf
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics.
ICEIS (3)
Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki
2007 — conf
Java-Based Adaptable Middleware Platform for Virtual Instrumentation.
VECIMS
Juan Antonio Holgado Terriza, Alfredo Moreno Guillén, Manuel I. Capel Tuñón
2007 — conf
Towards UML-RT Behavioural Consistency.
ICEIS (3)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2006 — conf
An Approach to Structured Parallel Programming Based on a Composition.
CONIELECOMP
Mario Rossainz López, Manuel I. Capel Tuñón
2006 — conf
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications.
ICEIS (3)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza
2006 — conf
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.
MSVVEIS
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2006 J jnl
High Level Parallel Compositions (CPANs) for the Parallel Programming based on the use of Communication Patterns.
Res. Comput. Sci.
Manuel I. Capel Tuñón, Mario Rossainz López
2005 — conf
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems.
IEC (Prague)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón
2005 — conf
Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP).
CONIELECOMP
Manuel I. Capel Tuñón, Mario Rossainz López
2004 — conf
A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs).
CONIELECOMP
Manuel I. Capel Tuñón, Mario Rossainz López