A Methodological Scheme and Tool for Program Transformation with Transputer Systems. - Manuel I. Capel; José M. Troya; A. Palma (PARCO, 1993)

Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems. - Manuel I. Capel; José M. Troya; A. Palma (Microprocess. Microprogramming, 1993)

An Object-Based Tool and Methodological Approach for Distributed Programming. - Manuel I. Capel; José M. Troya (Softw. Concepts Tools, 1994)

Paradigms for Parallel Distributed Programming. - F. Araque; Manuel I. Capel; A. Palma; José Miguel Mantas Ruiz (PDPTA, 1996)

A proposal to improve reusability in a language based on the occam-CSP model. - F. Araque; Manuel I. Capel; José Miguel Mantas Ruiz; A. Palma (PDP, 1997)

Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. - Miguel J. Hornos; Manuel I. Capel (ACSD, 2001)

Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos. - Miguel J. Hornos; Manuel I. Capel (JISBD, 2001)

On-the-fly model checking from interval logic specifications. - Miguel J. Hornos; Manuel I. Capel (ACM SIGPLAN Notices, 2002)

A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs). - Manuel I. Capel Tuñón; Mario Rossainz López (CONIELECOMP, 2004)

Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. - Manuel I. Capel; José R. Balsas; Juan Antonio Holgado Terriza (VVEIS, 2004)

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 (CONIELECOMP, 2005)

Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models. - Manuel I. Capel; Juan Antonio Holgado Terriza (ICEIS (3), 2005)

An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. - Manuel I. Capel; Juan Antonio Holgado Terriza; Agustín Escámez (MSVVEIS, 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 (IEC (Prague), 2005)

An Approach to Structured Parallel Programming Based on a Composition. - Mario Rossainz López; Manuel I. Capel Tuñón (CONIELECOMP, 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 (ICEIS (3), 2006)

A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. - Manuel I. Capel; Luis E. Mendoza Morales; Kawtar Benghazi Akhlaki; Juan Antonio Holgado Terriza (JISBD, 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 (MSVVEIS, 2006)

CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. - Agustín Escámez; Kawtar Benghazi Akhlaki; Juan Antonio Holgado Terriza; Manuel I. Capel (MSVVEIS, 2006)

Towards UML-RT Behavioural Consistency. - Kawtar Benghazi Akhlaki; Manuel I. Capel Tuñón; Juan Antonio Holgado Terriza; Luis E. Mendoza Morales (ICEIS (3), 2007)

Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. - Luis E. Mendoza Morales; Manuel I. Capel Tuñón; Kawtar Benghazi Akhlaki (ICEIS (3), 2007)

Java-Based Adaptable Middleware Platform for Virtual Instrumentation. - Juan Antonio Holgado Terriza; Alfredo Moreno Guillén; Manuel I. Capel Tuñón (VECIMS, 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 (MSVVEIS, 2007)

A methodological approach to the 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 (Sci. Comput. Program., 2007)

Compositional Model-Checking Verification of Critical Systems. - Luis E. Mendoza Morales; Manuel I. Capel; María A. Pérez; Kawtar Benghazi Akhlaki (ICEIS, 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 (ICEIS (3-1), 2008)

Towards the Correctness Verifcation of Business Processes Modelled with UML. - Luis Eduardo Mendoza; Manuel I. Capel; Kawtar Benghazi Akhlaki (JISBD, 2008)

Automatic verification of business process integrity. - Manuel I. Capel Tuñón; Luis E. Mendoza Morales; Kawtar Benghazi Akhlaki (Int. J. Simul. Process. Model., 2008)

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 (ECMS, 2009)

Automatic Compositional Verification of Business Processes. - Luis E. Mendoza Morales; Manuel I. Capel (ICEIS, 2009)

Compositional Verification of Business Processes Modelled with BPMN. - Luis E. Mendoza Morales; Manuel I. Capel Tuñón; María A. Pérez (ICEIS (3), 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 (ICEIS, 2010)

Compositional Verification of Business Processes by Model-Checking. - Luis Eduardo Mendoza; Manuel I. Capel; María A. Pérez (MSVVEIS, 2010)

BTRANSFORMER - A Tool for BPMN to CSP+T Transformation. - Aleksander González; Luis E. Mendoza Morales; Manuel I. Capel; María A. Pérez; Edumilis Maria Méndez; Kenyer Domínguez (ICEIS (3), 2011)

Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt. - Aleksander González; Luis Eduardo Mendoza; Manuel I. Capel; María A. Pérez (IVM/FTMDD/RTSOABIS/MSVVEIS, 2011)

A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software. - Manuel I. Capel; Luis E. Mendoza Morales (ICEIS (2), 2012)

Automating the Transformation from BPMN Models to CSP+T Specifications. - Manuel I. Capel; Luis Eduardo Mendoza (SEW, 2012)

Conceptual framework for business processes compositional verification. - Luis Eduardo Mendoza; Manuel I. Capel; María A. Pérez (Inf. Softw. Technol., 2012)

Choreography Conformace Checking based on Process Algebras. - Manuel I. Capel (CLOSER, 2013)

Choreography Modeling Compliance for Timed Business Models. - Manuel I. Capel; Luis Eduardo Mendoza (EOMAS@CAiSE, 2014)

Integration of ICT in Concurrent and Parallel Programming Lectures. - Antonio J. Tomeu-Hardasmal; Alberto G. Salguero; Manuel I. Capel (Euro-Par Workshops, 2015)

Checking Critical Software Systems: A Formal Proposal. - Luis E. Mendoza Morales; Manuel I. Capel (QUATIC, 2016)

Checking Realizability of a Timed Business Processes Choreography. - Manuel I. Capel (CLOSER, 2017)

A Set of Patterns for Concurrent and Parallel Programming Teaching. - Manuel I. Capel; Antonio J. Tomeu; Alberto G. Salguero (Euro-Par Workshops, 2017)

Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java. - Antonio J. Tomeu; Alberto G. Salguero; Manuel I. Capel (Euro-Par Workshops, 2017)

A methodological approach for checking safety-critical systems software. - Luis Eduardo Mendoza; Manuel I. Capel (Int. J. Crit. Comput. Based Syst., 2017)

Design and implementation of communication patterns using parallel objects. - Mario Rossainz López; Manuel I. Capel (Int. J. Simul. Process. Model., 2017)

Teaching concurrent and parallel programming by patterns: An interactive ICT approach. - Manuel I. Capel; Antonio J. Tomeu-Hardasmal; Alberto G. Salguero (J. Parallel Distributed Comput., 2017)

Partitioning Strategy Divide and Conquer as CPANs. A Methodological Proposal. - Mario Rossainz López; Manuel I. Capel Tuñón; Diego Sarmiento Rojas (Res. Comput. Sci., 2017)

A Parallel Cellular Automaton Model For Adenocarcinomas in Situ with Java: Study of One Case. - Antonio J. Tomeu-Hardasmal; Alberto G. Salguero-Hidalgo; Manuel I. Capel (Euro-Par Workshops, 2018)

Personality Determination of an Individual Through Neural Networks. - J. R. Sanchez; Manuel I. Capel; Celina Jiménez; Gonzalo Rodriguez-Fraile; Maria del Carmen Pegalajar (IPMU (1), 2018)

Parallel Cellular Automaton Tumor Growth Model. - Alberto G. Salguero; Manuel I. Capel; Antonio J. Tomeu (PACBB, 2018)

Parallel memetic algorithm for training recurrent neural networks for the energy efficiency problem. - Luis G. Baca Ruíz; Manuel I. Capel; Manuel P. Cuéllar (Appl. Soft Comput., 2019)

Dynamic Load Balancing Strategy for Parallel Tumor Growth Simulations. - Alberto G. Salguero; Antonio J. Tomeu-Hardasmal; Manuel I. Capel (J. Integr. Bioinform., 2019)

Use of Parallel Patterns of Communication between Processes for search of Sequences DNA and RNAi Strings. - Mario Rossainz López; Manuel I. Capel Tuñón; Ivo Humberto Pineda Torres; Iván Olmos Pineda; J. Arturo Olvera-López (Res. Comput. Sci., 2019)

Quality of Service in Cloud Computing Environments with Multitenant DBMS. - Manuel I. Capel; Oscar I. Aporta; Maria del Carmen Pegalajar Jiménez (CLOSER, 2020)

GPU-Accelerated PSO for Neural Network-Based Energy Consumption Prediction. - Manuel I. Capel; Alberto Salguero Hidalgo; Juan A. Holgado-Terriza (Euro-Par Workshops (2), 2024)

A Distributed Particle Swarm Optimization Algorithm Based on Apache Spark for Asynchronous Parallel Training of Deep Neural Networks. - Manuel I. Capel; Juan A. Holgado-Terriza; Sergio Galiana-Velasco; Alberto G. Salguero (ICPP Workshops, 2024)

A GPU-accelerated adaptation of the PSO algorithm for multi-objective optimization applied to artificial neural networks to predict energy consumption. - J. R. S. Iruela; Luis G. Baca Ruíz; David Criado-Ramón; Maria del Carmen Pegalajar; Manuel I. Capel (Appl. Soft Comput., 2024)

Automatic test cases generation from formal contracts. - Samuel Jimenez Gil; Manuel I. Capel; Gabriel Olea Olea (Inf. Softw. Technol., 2024)

Remote Sensing and Machine Learning for Accurate Fire Severity Mapping in Northern Algeria. - Nadia Zikiou; Holly E. Rushmeier; Manuel I. Capel; Tarek Kandakji; Nelson Rios; Mourad Lahdir (Remote. Sens., 2024)

Parallel PSO for Efficient Neural Network Training Using GPGPU and Apache Spark in Edge Computing Sets. - Manuel I. Capel; Alberto Salguero Hidalgo; Juan A. Holgado-Terriza (Algorithms, 2024)