Publicacions en què col·labora amb Leire Etxeberria Elorza (11)
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
2018
-
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
-
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)
2015
-
Model-based verification of safety contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reuse in Safety Critical Systems: Educational Use Case Final Results
Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015
2014
-
Reuse in safety critical systems: Educational use case first experiences
Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014
2013
-
Reuse in safety critical systems: Educational use case
Proceedings - 39th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2013