Inês Gouveia

From Navigators

(Difference between revisions)
Jump to: navigation, search
Line 2: Line 2:
|name=Inês Gouveia
|name=Inês Gouveia
|email=igouveia@lasige.di.fc.ul.pt
|email=igouveia@lasige.di.fc.ul.pt
-
|url=http://lasige.di.fc.ul.pt/~igouveia
+
|url=http://www.lasige.di.fc.ul.pt/user/144
|phone=(+351) 21 750 00 00 - Ext: 26334
|phone=(+351) 21 750 00 00 - Ext: 26334
|role=MSc student
|role=MSc student
|advisor=José Rufino
|advisor=José Rufino
}}
}}

Revision as of 18:19, 31 March 2017

MSc student

Inês Gouveia

 

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

BibTeX

Navigators - Inês Gouveia
Personal tools
Navigators toolbox