Publikationen, an denen er mitarbeitet Goiuria Sagardui Mendieta (9)
2022
-
Digital safety manager: servivio loT para asegurar el buen comportamiento de las máquinas y controles en la fábrica
Revista DYNA, Vol. 97, Núm. 1, pp. 18-22
-
Machine learning-based test oracles for performance testing of cyber-physical systems: An industrial case study on elevators dispatching algorithms
Journal of Software: Evolution and Process, Vol. 34, Núm. 11
2021
-
Using Machine Learning to Build Test Oracles: An Industrial Case Study on Elevators Dispatching Algorithms
Proceedings - 2021 IEEE/ACM International Conference on Automation of Software Test, AST 2021
2020
-
CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker
Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
2019
-
Exekuzio Denboran barne egoera ikusi eta aldatzea ahalbideratzen duten UML Egoera Makinak
III. Ikergazte. Nazioarteko ikerketa euskaraz. Kongresuko artikulu bilduma
-
MDE based IoT service to enhance the safety of controllers at runtime
CEUR Workshop Proceedings
-
Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems
IOP Conference Series: Materials Science and Engineering
-
Runtime observable and adaptable UML State Machines: Models@run.time approach
Proceedings of the ACM Symposium on Applied Computing
2017
-
Increasing dependability in safety critical CPSs using reflective statecharts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)