Publicaciones en colaboración con investigadores/as de Universidad Simón Bolívar (34)

2017

  1. A methodological approach for checking safety-critical systems software

    International Journal of Critical Computer-Based Systems, Vol. 7, Núm. 4, pp. 341-368

  2. Design patterns for software evolution requirements

    Actas de las 22nd Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2017

  3. Ontology to profile user models with disabilities

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2016

  1. Calidad ágil: Patrones de diseño en un contexto de desarrollo dirigido por pruebas

    Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016

  2. Calidad ágil: Patrones de diseño en un contexto de desarrollo dirigido por pruebas

    Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016

  3. Checking critical software systems: A formal proposal

    Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016

2014

  1. An ontological approach to profile customers with disabilities in e-business

    Proceedings of the 13th International Conference WWW/Internet 2014, ICWI 2014

  2. Choreography modeling compliance for timed business models

    Lecture Notes in Business Information Processing, Vol. 191, pp. 202-218

2013

  1. Verificación automática de procesos de negocio con un enfoque composicional

    Revista Tecnica de la Facultad de Ingenieria Universidad del Zulia, Vol. 36, Núm. 1, pp. 70-79

2012

  1. A compositional scheme and framework for safety critical systems verification

    Proc. of the 10th Int. Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2012 and 1st Int. Workshop on , WEBI 2012,in Conj. with ICEIS 2012

  2. A formal compositional verification approach for safety-critical systems correctness: Model-Checking based methodological approach to automatically verify safety critical systems software

    ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems

  3. Automating the transformation from BPMN models to CSP+T specifications

    Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012

  4. Conceptual framework for business processes compositional verification

    Information and Software Technology, Vol. 54, Núm. 2, pp. 149-161

2011

  1. A formalization proposal of timed BPMN for Compositional Verification of Business Processes

    Lecture Notes in Business Information Processing

  2. BTRANSFORMER A Tool for BPMN to CSP plus T Transformation

    ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3

  3. BTRANSFORMER: A tool for BPMN to CSP+T transformation

    ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems

  4. Implementing a Transformation from BPMN to CSP plus T with ATL: Lessons Learnt

    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

  5. Implementing a transformation from BPMN to CSP+T with ATL: Lessons learnt

    Proc. of the Int. Joint Workshop on Information Value Management, IVM, Future Trends of Model-Driven Development, FTMDD, RTSOABIS and MSVVEIS 2011, in Conjunction with ICEIS 2011

2010

  1. COMPOSITIONAL VERIFICATION OF BUSINESS PROCESSES MODELLED WITH BPMN

    ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION