Inês Gouveia
From Navigators
(Difference between revisions)
Line 4: | Line 4: | ||
|url=http://www.lasige.di.fc.ul.pt/user/144 | |url=http://www.lasige.di.fc.ul.pt/user/144 | ||
|phone=(+351) 21 750 00 00 - Ext: 26329 | |phone=(+351) 21 750 00 00 - Ext: 26329 | ||
- | |role= | + | |role=Past member |
|advisor=José Rufino | |advisor=José Rufino | ||
}} | }} |
Latest revision as of 12:20, 28 September 2017
Past memberInês Gouveia is no longer with the Navigators.
- Email: igouveia@lasige.di.fc.ul.pt
- Homepage: http://www.lasige.di.fc.ul.pt/user/144
- Phone: (+351) 21 750 00 00 - Ext: 26329
- Advisor(s): José Rufino
Projects
Past projects
- NORTH (Non-intrusive Observation and RunTime verification of cyber-pHysical systems)
- COST Action IC1402 (Runtime Verification Beyond Monitoring)
- READAPT (Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications)
Publications
- Inês Gouveia, “Non-intrusive Observation and Runtime Verification of Cyber-physical Systems”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2017.
- António Casimiro, Inês Gouveia, José Rufino, “Enforcing Timeliness and Safety in Mission-Critical Systems”, in Proceedings of the 22nd International Conference on Reliable Software Technologies, Ada-Europe 2017, Vienna, Austria, Jun. 2017.
- Inês Gouveia, José Rufino, “Enforcing safety and security through non-intrusive runtime verification”, in Proceedings of the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Porto, Portugal, Dec. 2016, pp. 19–24. (co-located with the IEEE Real-Time Systems Symposium 2016 (RTSS 2016))
- Inês Gouveia, José Rufino, “Non-intrusive runtime verification of embedded software”, in Proc. INForum 2016, 8º Simpósio de Informática - Poster Sessions, Lisboa, Portugal, Sept. 2016, pp. 1–2.
- José Rufino, Inês Gouveia, “Timeliness runtime verification and adaptation in avionic systems”, in Proceedings of the 12th workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT), Toulouse, France, Jul. 2016.
BibTeX
Navigators - Inês GouveiaFaculty members | Alan Oliveira, Alysson Bessani, Ana Respício, António Casimiro, Bernardo Ferreira, Ibéria Medeiros, José Cecílio, Nuno Ferreira Neves, Pedro M. Ferreira, Vinicius Vielmo Cogo |
---|---|
Post-doc researchers | David Matos |
PhD students | Adriano Mão de Ferro, AdrianoSerckumecka, Allan Espíndola, Ana Fidalgo, Carlos Mão de Ferro, Fernando Alves, Joel Samper, Miracle Aniakor, Nuno Dionísio, Paulo Antunes, Regivaldo Costa, Robin Vassantlal, Rohit Kumar, Samaneh Shafee, Žygimantas Jasiūnas |
Hired researchers | (none) |
MSc students | Alexandre Nascimento, André Gil, Bruno Matos, David Silva, Diogo Avelãs, Diogo Duarte, Diogo Pires, Diogo Ferreira, Frederico Apolónia, Gonçalo Reis, Inês Sousa, João Loureiro, João Queimado, João Silva, João Valente, Lívio Rodrigues, Miguel Oliveira, Pedro Alves, Pedro Rosa, Rafael Ramires … further results |
Undergraduate students | (none) |
Management | (none) |