Publications
Export 3 results:
Filters: Author is Gouveia, Inês [Clear All Filters]
"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.
"Enforcing Timeliness and Safety in Mission-Critical Systems",
Ada-Europe International Conference on Reliable Software Technologies: Springer, pp. 53–69, 2017.
"Timeliness runtime verification and adaptation in avionic systems",
OSPERT 2016, pp. 37, 2016.