João Inácio

From Navigators

Revision as of 00:48, 5 October 2020 (view source) Imedeiros (Talk | contribs) (Created page with "{{Person |name=João Inácio |role=MSc student |advisor=Ibéria Medeiros, }}") ← Older edit		Latest revision as of 16:43, 24 August 2022 (view source) Imedeiros (Talk | contribs)
Line 1:		Line 1:
	{{Person		{{Person
	|name=João Inácio		|name=João Inácio
-	|role=MSc student	+	|advisor=Ibéria Medeiros,
-	|advisor=Ibéria Medeiros,	+
	}}		}}

---

Latest revision as of 16:43, 24 August 2022

• Advisor(s): Ibéria Medeiros

Projects

Current projects

• Xivt (eXcellence In Variant Testing)

Publications

• João Inácio, Ibéria Medeiros, “Effectiveness on C Flaws Checking and Removal (fast abstract)”, in In Proceedings of the 52nd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'22), Jun. 2022.

• João Inácio, “Automatic Removal of Flaws in Embedded System Software”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, May 2022.

BibTeX

Navigators - João Inácio

People

Faculty 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)