Manuel I. Capel
Orcid: 0000-0003-2449-4394Affiliations:
- University of Granada, Spain
According to our database1,
Manuel I. Capel
authored at least 56 papers
between 1993 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on lsi.ugr.es
On csauthors.net:
Bibliography
2020
Proceedings of the 10th International Conference on Cloud Computing and Services Science, 2020
2019
Use of Parallel Patterns of Communication between Processes for search of Sequences DNA and RNAi Strings.
Res. Comput. Sci., 2019
J. Integr. Bioinform., 2019
Parallel memetic algorithm for training recurrent neural networks for the energy efficiency problem.
Appl. Soft Comput., 2019
2018
Proceedings of the Practical Applications of Computational Biology and Bioinformatics, 2018
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 2018
A Parallel Cellular Automaton Model For Adenocarcinomas in Situ with Java: Study of One Case.
Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018
2017
Res. Comput. Sci., 2017
Teaching concurrent and parallel programming by patterns: An interactive ICT approach.
J. Parallel Distributed Comput., 2017
Int. J. Simul. Process. Model., 2017
Int. J. Crit. Comput. Based Syst., 2017
Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017
Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017
Proceedings of the CLOSER 2017, 2017
2016
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016
2015
Proceedings of the Euro-Par 2015: Parallel Processing Workshops, 2015
2014
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2014
2013
Choreography Conformace Checking based on Process Algebras.
Proceedings of the CLOSER 2013, 2013
2012
Inf. Softw. Technol., 2012
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012
A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012
2011
Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt.
Proceedings of the IVM, FTMDD, RTSOABIS & MSVVEIS 2011, 2011
BTRANSFORMER - A Tool for BPMN to CSP+T Transformation.
Proceedings of the ICEIS 2011, 2011
2010
Compositional Verification of Business Processes by Model-Checking.
Proceedings of the Modelling, 2010
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes.
Proceedings of the Enterprise Information Systems - 12th International Conference, 2010
Compositional Verification of Business Processes Modelled with BPMN.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010
2009
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009
Methodology Of Parallel Programming Using Compositions Of Parallel Objects Or CPANS For The Solution Of NP-Complete Problems.
Proceedings of the European Conference on Modelling and Simulation, 2009
2008
Int. J. Simul. Process. Model., 2008
Towards the Correctness Verifcation of Business Processes Modelled with UML.
Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems.
Proceedings of the ICEIS 2008, 2008
Proceedings of the Enterprise Information Systems, 10th International Conference, 2008
2007
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models.
Sci. Comput. Program., 2007
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.
Proceedings of the Modelling, 2007
Proceedings of the IEEE International Conference on Virtual Environments, 2007
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics.
Proceedings of the ICEIS 2007, 2007
Towards UML-RT Behavioural Consistency.
Proceedings of the ICEIS 2007, 2007
2006
CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code.
Proceedings of the Modelling, 2006
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.
Proceedings of the Modelling, 2006
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications.
Proceedings of the ICEIS 2006, 2006
Proceedings of the 16th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2006), 27 February 2005, 2006
2005
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems.
Proceedings of the International Enformatika Conference, 2005
An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case.
Proceedings of the Modelling, 2005
Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models.
Proceedings of the ICEIS 2005, 2005
Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP).
Proceedings of the 15th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2005), 28 February 2005, 2005
2004
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004
A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs).
Proceedings of the 14th International Conference on Electronics, 2004
2002
ACM SIGPLAN Notices, 2002
2001
Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001
Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic.
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001
1997
A proposal to improve reusability in a language based on the occam-CSP model.
Proceedings of the Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), 1997
1996
Paradigms for Parallel Distributed Programming.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996
1994
An Object-Based Tool and Methodological Approach for Distributed Programming.
Softw. Concepts Tools, 1994
1993
Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems.
Microprocess. Microprogramming, 1993
A Methodological Scheme and Tool for Program Transformation with Transputer Systems.
Proceedings of the Parallel Computing: Trends and Applications, 1993