Manuel I. Capel

According to our database1, Manuel I. Capel authored at least 55 papers between 1993 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Quality of Service in Cloud Computing Environments with Multitenant DBMS.
Proceedings of the 10th International Conference on Cloud Computing and Services Science, 2020

2019
Dynamic Load Balancing Strategy for Parallel Tumor Growth Simulations.
J. Integr. Bioinform., 2019

Parallel memetic algorithm for training recurrent neural networks for the energy efficiency problem.
Appl. Soft Comput., 2019

2018
Parallel Cellular Automaton Tumor Growth Model.
Proceedings of the Practical Applications of Computational Biology and Bioinformatics, 2018

Personality Determination of an Individual Through Neural Networks.
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
Partitioning Strategy Divide and Conquer as CPANs. A Methodological Proposal.
Res. Comput. Sci., 2017

Teaching concurrent and parallel programming by patterns: An interactive ICT approach.
J. Parallel Distributed Comput., 2017

Design and implementation of communication patterns using parallel objects.
Int. J. Simul. Process. Model., 2017

A methodological approach for checking safety-critical systems software.
Int. J. Crit. Comput. Based Syst., 2017

Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java.
Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017

A Set of Patterns for Concurrent and Parallel Programming Teaching.
Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017

Checking Realizability of a Timed Business Processes Choreography.
Proceedings of the CLOSER 2017, 2017

2016
Checking Critical Software Systems: A Formal Proposal.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

2015
Integration of ICT in Concurrent and Parallel Programming Lectures.
Proceedings of the Euro-Par 2015: Parallel Processing Workshops, 2015

2014
Choreography Modeling Compliance for Timed Business Models.
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
Conceptual framework for business processes compositional verification.
Inf. Softw. Technol., 2012

Automating the Transformation from BPMN Models to CSP+T Specifications.
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
Automatic Compositional Verification of Business Processes.
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
Automatic verification of business process integrity.
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

Compositional Model-Checking Verification of Critical Systems.
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

Java-Based Adaptable Middleware Platform for Virtual Instrumentation.
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

An Approach to Structured Parallel Programming Based on a Composition.
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
On-the-fly model checking from interval logic specifications.
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


  Loading...