Manuel I. Capel

45 papers C 5Misc 3Journal 13Unranked 23

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