![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Manuel I. Capel
Person information
- affiliation: University of Granada, Spain
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]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: 111711 (2024) - [j15]Samuel Jimenez Gil
, Manuel I. Capel
, Gabriel Olea Olea
:
Automatic test cases generation from formal contracts. Inf. Softw. Technol. 172: 107467 (2024) - [j14]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): 1517 (2024) - [c44]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: 76-85 - 2020
- [c43]Manuel I. Capel, Oscar I. Aporta, Maria del Carmen Pegalajar Jiménez
:
Quality of Service in Cloud Computing Environments with Multitenant DBMS. CLOSER 2020: 506-514
2010 – 2019
- 2019
- [j13]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: 356-368 (2019) - [j12]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) - [j11]Mario Rossainz López, Manuel I. Capel Tuñón, Ivo Humberto Pineda Torres, Iván Olmos Pineda, J. Arturo Olvera-López:
Use of Parallel Patterns of Communication between Processes for search of Sequences DNA and RNAi Strings. Res. Comput. Sci. 148(3): 133-145 (2019) - 2018
- [c42]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: 704-715 - [c41]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: 52-61 - [c40]Alberto G. Salguero
, Manuel I. Capel, Antonio J. Tomeu
:
Parallel Cellular Automaton Tumor Growth Model. PACBB 2018: 175-182 - 2017
- [j10]Luis Eduardo Mendoza, Manuel I. Capel:
A methodological approach for checking safety-critical systems software. Int. J. Crit. Comput. Based Syst. 7(4): 341-368 (2017) - [j9]Mario Rossainz López, Manuel I. Capel:
Design and implementation of communication patterns using parallel objects. Int. J. Simul. Process. Model. 12(1): 69-91 (2017) - [j8]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: 42-52 (2017) - [j7]Mario Rossainz López, Manuel I. Capel Tuñón, Diego Sarmiento Rojas:
Partitioning Strategy Divide and Conquer as CPANs. A Methodological Proposal. Res. Comput. Sci. 145: 21-36 (2017) - [c39]Manuel I. Capel:
Checking Realizability of a Timed Business Processes Choreography. CLOSER 2017: 413-420 - [c38]Manuel I. Capel, Antonio J. Tomeu
, Alberto G. Salguero
:
A Set of Patterns for Concurrent and Parallel Programming Teaching. Euro-Par Workshops 2017: 203-215 - [c37]Antonio J. Tomeu
, Alberto G. Salguero
, Manuel I. Capel:
Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java. Euro-Par Workshops 2017: 266-277 - 2016
- [c36]Luis E. Mendoza Morales, Manuel I. Capel:
Checking Critical Software Systems: A Formal Proposal. QUATIC 2016: 160-163 - 2015
- [c35]Antonio J. Tomeu-Hardasmal
, Alberto G. Salguero
, Manuel I. Capel
:
Integration of ICT in Concurrent and Parallel Programming Lectures. Euro-Par Workshops 2015: 114-124 - 2014
- [c34]Manuel I. Capel
, Luis Eduardo Mendoza:
Choreography Modeling Compliance for Timed Business Models. EOMAS@CAiSE 2014: 202-218 - 2013
- [c33]Manuel I. Capel:
Choreography Conformace Checking based on Process Algebras. CLOSER 2013: 135-139 - 2012
- [j6]Luis Eduardo Mendoza
, Manuel I. Capel
, María A. Pérez:
Conceptual framework for business processes compositional verification. Inf. Softw. Technol. 54(2): 149-161 (2012) - [c32]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: 105-112 - [c31]Manuel I. Capel
, Luis Eduardo Mendoza:
Automating the Transformation from BPMN Models to CSP+T Specifications. SEW 2012: 100-109 - 2011
- [c30]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: 363-366 - [c29]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: 51-60 - [e2]Markus Helfert, Mouzhi Ge, Luís Ferreira Pires, Slimane Hammoudi, Farouk Toumani, Valérie Monfort, Wassim Jaziri, Manuel I. Capel Tuñón, Chunping Li:
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. SciTePress 2011, ISBN 978-989-8425-60-7 [contents] - 2010
- [c28]Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez:
Compositional Verification of Business Processes Modelled with BPMN. ICEIS (3) 2010: 113-122 - [c27]Luis E. Mendoza Morales, Manuel I. Capel Tuñón
, María A. Pérez:
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes. ICEIS 2010: 388-403 - [c26]Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez:
Compositional Verification of Business Processes by Model-Checking. MSVVEIS 2010: 60-69 - [e1]Juan Garbajosa Sopeña, Manuel I. Capel Tuñón:
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. SciTePress 2010, ISBN 978-989-8425-12-6 [contents]
2000 – 2009
- 2009
- [c25]Mario Rossainz López, Manuel I. Capel Tuñón:
Methodology Of Parallel Programming Using Compositions Of Parallel Objects Or CPANS For The Solution Of NP-Complete Problems. ECMS 2009: 63-69 - [c24]Luis E. Mendoza Morales, Manuel I. Capel
:
Automatic Compositional Verification of Business Processes. ICEIS 2009: 479-490 - 2008
- [j5]Manuel I. Capel Tuñón
, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki
:
Automatic verification of business process integrity. Int. J. Simul. Process. Model. 4(3/4): 167-182 (2008) - [c23]Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki:
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems. ICEIS (3-1) 2008: 86-93 - [c22]Luis E. Mendoza Morales, Manuel I. Capel
, María A. Pérez, Kawtar Benghazi Akhlaki
:
Compositional Model-Checking Verification of Critical Systems. ICEIS 2008: 213-225 - [c21]Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki:
Towards the Correctness Verifcation of Business Processes Modelled with UML. JISBD 2008: 159-170 - 2007
- [j4]Kawtar Benghazi Akhlaki
, Manuel I. Capel Tuñón
, Juan Antonio Holgado Terriza
, Luis E. Mendoza Morales
:
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. Sci. Comput. Program. 65(1): 41-56 (2007) - [c20]Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki:
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. ICEIS (3) 2007: 205-211 - [c19]Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
Towards UML-RT Behavioural Consistency. ICEIS (3) 2007: 612-615 - [c18]Juan Antonio Holgado Terriza
, Alfredo Moreno Guillén, Manuel I. Capel Tuñón
:
Java-Based Adaptable Middleware Platform for Virtual Instrumentation. VECIMS 2007: 144-149 - [c17]Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. MSVVEIS 2007: 74-83 - 2006
- [c16]Mario Rossainz López
, Manuel I. Capel Tuñón
:
An Approach to Structured Parallel Programming Based on a Composition. CONIELECOMP 2006: 42 - [c15]Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza:
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications. ICEIS (3) 2006: 290-297 - [c14]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: 283-292 - [c13]Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. MSVVEIS 2006: 16-25 - [c12]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: 128-133 - 2005
- [c11]Manuel I. Capel Tuñón, Mario Rossainz López
:
Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP). CONIELECOMP 2005: 262-267 - [c10]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: 65-72 - [c9]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: 39-48 - [c8]Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón:
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems. IEC (Prague) 2005: 193-198 - 2004
- [c7]Manuel I. Capel Tuñón, Mario Rossainz López:
A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs). CONIELECOMP 2004: 242-247 - [c6]Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza:
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. VVEIS 2004: 81-83 - 2002
- [j3]Miguel J. Hornos
, Manuel I. Capel:
On-the-fly model checking from interval logic specifications. ACM SIGPLAN Notices 37(12): 108-119 (2002) - 2001
- [c5]Miguel J. Hornos
, Manuel I. Capel:
Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. ACSD 2001: 221-230 - [c4]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: 375-390
1990 – 1999
- 1997
- [c3]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: 41-46 - 1996
- [c2]F. Araque, Manuel I. Capel, A. Palma, José Miguel Mantas Ruiz:
Paradigms for Parallel Distributed Programming. PDPTA 1996: 1027-1038 - 1994
- [j2]Manuel I. Capel, José M. Troya:
An Object-Based Tool and Methodological Approach for Distributed Programming. Softw. Concepts Tools 15(4): 177- (1994) - 1993
- [j1]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): 197-204 (1993) - [c1]Manuel I. Capel, José M. Troya, A. Palma:
A Methodological Scheme and Tool for Program Transformation with Transputer Systems. PARCO 1993: 585-588
Coauthor Index
aka: Juan Antonio Holgado Terriza
aka: Luis E. Mendoza Morales
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint