| 2020 |
J |
jnl |
CoRR
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
|
| 2020 |
B |
conf |
FASE
Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
|
| 2019 |
J |
jnl |
CoRR
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole
|
| 2019 |
J |
jnl |
CoRR
Felipe R. Monteiro, Mikhail Y. R. Gadelha, Lucas C. Cordeiro
|
| 2019 |
— |
conf |
TACAS (3)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
|
| 2019 |
— |
conf |
SBESC
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
|
| 2019 |
J |
jnl |
CoRR
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
|
| 2019 |
— |
conf |
ICSE (Companion Volume)
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
|
| 2019 |
— |
— |
Mikhail Y. R. Gadelha
|
| 2018 |
A* |
conf |
ASE
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
|
| 2018 |
J |
jnl |
CoRR
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
|
| 2018 |
— |
conf |
ESEC/SIGSOFT FSE
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
|
| 2017 |
J |
jnl |
CoRR
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
|
| 2017 |
— |
conf |
SBMF
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
|
| 2017 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Mikhail Y. R. Gadelha, Hussama Ibrahim Ismail, Lucas C. Cordeiro
|
| 2016 |
J |
jnl |
J. Braz. Comput. Soc.
Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Waldir S. S. Júnior
|
| 2012 |
— |
conf |
ICITST
Mikhail Y. R. Gadelha, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa
|