Conferences

Conferences

Notice: only communications presented over the past 10 years

  1. 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 Parallel Processing Workshops - Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018 (Revised Selected Papers), pp.:704-715.
  2. J. R. Sanchez, Manuel I. Capel, Celina Jiménez, Gonzalo Rodriguez-Fraile, Maria del Carmen Pegalajar. Personality Determination of an Individual Through Neural Networks. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations (IPMU), 2018, pp.:52-61.
  3. Alberto G. Salguero, Manuel I. Capel, Antonio J. Tomeu. Parallel Cellular Automaton Tumor Growth Model. Practical Applications of Computational Biology and Bioinformatics, 12th International Conference, (PACBB) 2018, Toledo, Spain, 20-22, May, 2018, pp.: 175-182.
  4. Manuel I. Capel. Checking Realizability of a Timed Business Processes Choreography. Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26 (CLOSER) 2017, pp.:413-420.
  5. Manuel I. Capel, Antonio J. Tomeu, Alberto G. Salguero. A Set of Patterns for Concurrent and Parallel Programming Teaching. Parallel Processing Workshops - Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers 2017, pp.:203-215.
  6. Antonio J. Tomeu, Alberto G. Salguero, Manuel I. Capel. Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java. Parallel Processing Workshops - Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers 2017, pp.:266-277.
  7. Luis E. Mendoza Morales, Manuel I. Capel. Checking Critical Software Systems: A Formal Proposal. 10th International Conference on the Quality of Information and Communications Technology (QUATIC) 2016, Lisbon, Portugal, September 6-9, 2016, pp.:160-163.
  8. Manuel I. Capel, Luis Eduardo Mendoza. Choreography Modeling Compliance for Timed Business Models. Enterprise and Organizational Modeling and Simulation - 10th International Workshop (EOMAS) 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, Selected Papers, pp.:202-218.
  9. Manuel I. Capel. Choreography Conformace Checking based on Process Algebras. Proceedings of the 3rd International Conference on Cloud Computing and Services Science (CLOSER), Aachen, Germany, 8-10 May, 2013, pp.:135-139.
  10. Manuel I. Capel and Luis E. Mendoza Morales. Automating the transformation from BPMN models to CSP+T specifications. 35th Annual IEEE Software Engineering Workshop Heraclion, Crete (Greece), 12–13 October 2012. IEEE (In Press).
  11. Manuel I. Capel. Measuring the Efficiency and Endurance of Athletes in a Personal Health Network with Tanja. VII Congreso Internacional de las Ciencias del Deporte. Granada (Spain) 15—17 November 2012. Proceedings of the Conference, pp.1–14 (In Press).
  12. Manuel I. Capel and 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—. 14th International Conference on Enterprise Information Systems (ICEIS 2012). Wroclav (Poland) 28/06-1/07, 2012. SciTePress, Vol I. pp.:105–112, 2012.
  13. Manuel I. Capel and Luis E. Mendoza. A Compositional Scheme and Framework for Safety Critical Systems Verification. 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2012), Wroclav (Poland). SciTePress, Vol.I, pp.15–26 (2012). (CORE 2008 C)
  14. Aleksander González , Luis E. Mendoza , Manuel I. Capel and María A. Pérez. Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt. 9th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2011), Madeira (Portugal). SciTePress, Vol.I, pp.51–60 (2010).
  15. Aleksander González, Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Edumilis Méndez and Kenyer Domínguez. BTRANSFORMER – A Tool for BPMN to CSP+T Transformation. 13th International Conference on Enterprise Information Systems (ICEIS 2011). Beijin (China), June 8-11, 2011. SciTePress, Vol I. pp.:363–366, 2011.
  16. Luis E. Mendoza, Manuel I. Capel, María A. Pérez.Compositional Verification of Business Processes Modelled with BPMN". 12th International Conference on Enterprise Information Systems (ICEIS 2010), Funchal, Madeira (Portugal), June 8-12, 2010. In "Information Systems Analysis and Information. ICEIS–ISAS. J. Filipe and J. Cordeiro Eds., 3(I), pp.113–122, SCiTePress (2010). 
  17. Luis E. Mendoza, Manuel I. Capel and María Pérez. Compositional Verification of Business Processes by Model–Checking. International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS 2010). SciTePress, Vol.I, pp.60–60 (2010)
  18. Manuel Capel, Theresa Casey, LauraDillon, Betty H.C. Cheng and Robert Seymour. Towards Modal Modelling of Biological Systems.Virtual Physiological Human Network of Excellence, Brussels (Belgium), September/October, 2010.

Copyright Notices

Personal use of the above material is usually permitted. Permission from editorials (ACM, Elsevier, Springer, etc.) should be obtained prior to use any of these in publications, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.