Publications

Export 3 results:
Filters: Author is Gouveia, Inês  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
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.
T
Rufino, J., and I. Gouveia, "Timeliness runtime verification and adaptation in avionic systems", OSPERT 2016, pp. 37, 2016.