Publicaciones (27) Publicaciones de MARÍA ELENA GÓMEZ MARTÍNEZ

2023

  1. Lifted structural invariant analysis of Petri net product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 130

2022

  1. Adaptative Systems Based on Continuous Observation of Petri Net Product Lines

    CEUR Workshop Proceedings

  2. Analysing Product Lines of Concurrent Systems with Coloured Petri Nets

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

2021

  1. Extensible Structural Analysis of Petri Net Product Lines

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

  2. Towards the integration of the GDPR in the unified software development process

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

2020

  1. Automated variability injection for graphical modelling languages

    GPCE 2020 - Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with SPLASH 2020

  2. Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion

    Digital Transformation for a Sustainable Society in the 21st Century: I3E 2019 IFIP WG 6.11 International Workshops, Trondheim, Norway, September 18–20, 2019, Revised Selected Papers (Springer International Publishing AG), pp. 5-16

  3. Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion

    IFIP Advances in Information and Communication Technology

2019

  1. Formal support of process chain networks using model-driven engineering and petri nets

    Proceedings of the ACM Symposium on Applied Computing

  2. Towards extensible structural analysis of petri net product lines

    CEUR Workshop Proceedings

2018

  1. A methodology for model-based verification of safety contracts and performance requirements

    Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Vol. 232, Núm. 3, pp. 227-247

2017

  1. Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer

    Computer Standards and Interfaces, Vol. 54, pp. 119-128

2016

  1. Attack simulation based software protection assessment method

    2016 International Conference on Cyber Security and Protection of Digital Services, Cyber Security 2016

  2. Deriving safety case fragments for assessing MBASafe’s compliance with EN 50128

    Communications in Computer and Information Science

2015

  1. A semantic approach for designing Assistive Software Recommender systems

    Journal of Systems and Software, Vol. 104, pp. 166-178

  2. Model-based verification of safety contracts

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

  3. Teaching Software Safety to Master Students

    PROCEEDINGS 41ST EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS SEAA 2015

2014

  1. Embedded Systems for People with Special Needs: Insights from a Real Case

    2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014)

  2. Model-based Safety Assessment using OCL and Petri Nets

    2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014)

  3. Performance assessment of an architecture with adaptative interfaces for people with special needs

    Empirical Software Engineering, Vol. 19, Núm. 6, pp. 1967-2018