Publications

Export 3 results:
Filters: Author is Gouveia, Inês  [Clear All Filters]
2016
Gouveia, I., and J. Rufino, "Enforcing Safety and Security Through Non-Intrusive Runtime Verification", the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, pp. 19, 2016.
Rufino, J., and I. Gouveia, "Timeliness runtime verification and adaptation in avionic systems", OSPERT 2016, pp. 37, 2016.
2017
Casimiro, A., I. Gouveia, and J. Rufino, "Enforcing Timeliness and Safety in Mission-Critical Systems", Ada-Europe International Conference on Reliable Software Technologies: Springer, pp. 53–69, 2017.