Manuel I. Capel

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 18

Top Topics

Cellular Automaton

Top Venues

Euro-Par Workshops

Appl. Soft Comput.

Int. J. Simul. Process. Model.

Publications

Nadia Zikiou, Holly Rushmeier, Manuel I. Capel, Tarek Kandakji, Nelson Rios, Mourad Lahdir
Remote Sensing and Machine Learning for Accurate Fire Severity Mapping in Northern Algeria. Remote. Sens. 16 (9) (2024)
J. R. S. Iruela, Luis G. Baca Ruíz, David Criado-Ramón, Maria del Carmen Pegalajar, Manuel I. Capel
A GPU-accelerated adaptation of the PSO algorithm for multi-objective optimization applied to artificial neural networks to predict energy consumption. Appl. Soft Comput. 160 (2024)
Manuel I. Capel, Juan A. Holgado-Terriza, Sergio Galiana-Velasco, Alberto G. Salguero
A Distributed Particle Swarm Optimization Algorithm Based on Apache Spark for Asynchronous Parallel Training of Deep Neural Networks. ICPP Workshops (2024)
Samuel Jimenez Gil, Manuel I. Capel, Gabriel Olea Olea
Automatic test cases generation from formal contracts. Inf. Softw. Technol. 172 (2024)
Manuel I. Capel, Oscar I. Aporta, Maria del Carmen Pegalajar Jiménez
Quality of Service in Cloud Computing Environments with Multitenant DBMS. CLOSER (2020)
Alberto G. Salguero, Antonio J. Tomeu-Hardasmal, Manuel I. Capel
Dynamic Load Balancing Strategy for Parallel Tumor Growth Simulations. J. Integr. Bioinform. 16 (1) (2019)
Luis G. Baca Ruíz, Manuel I. Capel, Manuel P. Cuéllar
Parallel memetic algorithm for training recurrent neural networks for the energy efficiency problem. Appl. Soft Comput. 76 (2019)
Alberto G. Salguero, Manuel I. Capel, Antonio J. Tomeu
Parallel Cellular Automaton Tumor Growth Model. PACBB (2018)
J. R. Sanchez, Manuel I. Capel, Celina Jiménez, Gonzalo Rodriguez-Fraile, Maria del Carmen Pegalajar
Personality Determination of an Individual Through Neural Networks. IPMU (1) (2018)
Antonio J. Tomeu-Hardasmal, Alberto G. Salguero-Hidalgo, Manuel I. Capel
A Parallel Cellular Automaton Model For Adenocarcinomas in Situ with Java: Study of One Case. Euro-Par Workshops (2018)
Manuel I. Capel, Antonio J. Tomeu, Alberto G. Salguero
A Set of Patterns for Concurrent and Parallel Programming Teaching. Euro-Par Workshops (2017)
Manuel I. Capel, Antonio J. Tomeu-Hardasmal, Alberto G. Salguero
Teaching concurrent and parallel programming by patterns: An interactive ICT approach. J. Parallel Distributed Comput. 105 (2017)
Antonio J. Tomeu, Alberto G. Salguero, Manuel I. Capel
Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java. Euro-Par Workshops (2017)
Luis Eduardo Mendoza, Manuel I. Capel
A methodological approach for checking safety-critical systems software. Int. J. Crit. Comput. Based Syst. 7 (4) (2017)
Mario Rossainz López, Manuel I. Capel
Design and implementation of communication patterns using parallel objects. Int. J. Simul. Process. Model. 12 (1) (2017)
Manuel I. Capel
Checking Realizability of a Timed Business Processes Choreography. CLOSER (2017)
Luis E. Mendoza Morales, Manuel I. Capel
Checking Critical Software Systems: A Formal Proposal. QUATIC (2016)
Antonio J. Tomeu-Hardasmal, Alberto G. Salguero, Manuel I. Capel
Integration of ICT in Concurrent and Parallel Programming Lectures. Euro-Par Workshops (2015)
Manuel I. Capel, Luis Eduardo Mendoza
Choreography Modeling Compliance for Timed Business Models. EOMAS@CAiSE (2014)
Manuel I. Capel
Choreography Conformace Checking based on Process Algebras. CLOSER (2013)
Manuel I. Capel, Luis E. Mendoza Morales
A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software. ICEIS (2) (2012)
Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez
Conceptual framework for business processes compositional verification. Inf. Softw. Technol. 54 (2) (2012)
Manuel I. Capel, Luis Eduardo Mendoza
Automating the Transformation from BPMN Models to CSP+T Specifications. SEW (2012)
Aleksander González, Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez
BTRANSFORMER - A Tool for BPMN to CSP+T Transformation. ICEIS (3) (2011)
Aleksander González, Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez
Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt. IVM/FTMDD/RTSOABIS/MSVVEIS (2011)
Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez
Compositional Verification of Business Processes by Model-Checking. MSVVEIS (2010)
Luis E. Mendoza Morales, Manuel I. Capel
Automatic Compositional Verification of Business Processes. ICEIS (2009)
Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki
Compositional Model-Checking Verification of Critical Systems. ICEIS (2008)
Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki
Towards the Correctness Verifcation of Business Processes Modelled with UML. JISBD (2008)
Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel
CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. MSVVEIS (2006)
Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. JISBD (2006)
Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez
An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. MSVVEIS (2005)
Manuel I. Capel, Juan Antonio Holgado Terriza
Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models. ICEIS (3) (2005)
Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. VVEIS (2004)
Miguel J. Hornos, Manuel I. Capel
On-the-fly model checking from interval logic specifications. ACM SIGPLAN Notices 37 (12) (2002)
Miguel J. Hornos, Manuel I. Capel
Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos. JISBD (2001)
Miguel J. Hornos, Manuel I. Capel
Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. ACSD (2001)
F. Araque, Manuel I. Capel, José Miguel Mantas Ruiz, A. Palma
A proposal to improve reusability in a language based on the occam-CSP model. PDP (1997)
F. Araque, Manuel I. Capel, A. Palma, José Miguel Mantas Ruiz
Paradigms for Parallel Distributed Programming. PDPTA (1996)
Manuel I. Capel, José M. Troya
An Object-Based Tool and Methodological Approach for Distributed Programming. Softw. Concepts Tools 15 (4) (1994)
Manuel I. Capel, José M. Troya, A. Palma
A Methodological Scheme and Tool for Program Transformation with Transputer Systems. PARCO (1993)
Manuel I. Capel, José M. Troya, A. Palma
Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems. Microprocess. Microprogramming 38 (1-5) (1993)