Publications

Export 3 results:
Filters: Author is Gouveia, Inês  [Clear All Filters]
Conference Paper
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.
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.