| 2026 |
C |
conf |
ICCE
Janislley O. Sousa, David A. O. Ferreira, Eddie B. de Lima Filho, Lucas C. Cordeiro
|
| 2026 |
J |
jnl |
CoRR
Taohong Zhu, Lucas C. Cordeiro, Mustafa A. Mustafa, Youcheng Sun
|
| 2025 |
C |
conf |
AST
Norbert Tihanyi, Yiannis Charalambous, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro
|
| 2025 |
J |
jnl |
Complex Intell. Syst.
Pierre V. Dantas, Lucas C. Cordeiro, Waldir S. S. Júnior
|
| 2025 |
C |
conf |
ICCE
Sergillam Barroso Oliveira, Eddie Batista de Lima Filho, Orlewilson B. Maia, Lucas C. Cordeiro
|
| 2025 |
Misc |
conf |
TASE
Richard A. Dubniczky, Krisztofer Zoltán Horvát, Tamás Bisztray, Mohamed Amine Ferrag, Lucas C. Cordeiro, Norbert Tihanyi
|
| 2025 |
J |
jnl |
CoRR
Richard A. Dubniczky, Krisztofer Zoltán Horvát, Tamás Bisztray, Mohamed Amine Ferrag, Lucas C. Cordeiro, Norbert Tihanyi
|
| 2025 |
J |
jnl |
Sci. Comput. Program.
Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro
|
| 2025 |
B |
conf |
FASE
Chenfeng Wei, Tong Wu, Rafael Sá Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro
|
| 2025 |
— |
conf |
TACAS (3)
Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael Sá Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro
|
| 2025 |
C |
conf |
ICCE
Sergillam Barroso Oliveira, Tiago Souza, Petrina Kimura, Haydê Machado, Orlewilson Bentes Maia, Eddie B. de Lima Filho, Edson Weslley Almeida do Nascimento, Leandro Negreiros, Rafaell Guimarães Santana, Lucas C. Cordeiro
|
| 2025 |
J |
jnl |
CoRR
Edoardo Manino, Bruno Farias, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro
|
| 2025 |
J |
jnl |
CoRR
Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro
|
| 2025 |
J |
jnl |
Empir. Softw. Eng.
Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Ridhi Jain, Lucas C. Cordeiro
|
| 2025 |
B |
conf |
COLING
Danilo Silva de Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas
|
| 2025 |
C |
conf |
ICCE
Edson Weslley Almeida do Nascimento, Petrina Kimura, Tiago Souza, Sergillam Barroso Oliveira, Haydê Machado, Lucas C. Cordeiro, Rômulo Fabrício, Eddie B. de Lima Filho
|
| 2025 |
— |
conf |
ESOP (1)
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
|
| 2025 |
J |
jnl |
CoRR
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
|
| 2025 |
C |
conf |
ICCE
Sergillam Barroso Oliveira, Tiago Souza, Petrina Kimura, Haydê Machado, Orlewilson Bentes Maia, Eddie B. de Lima Filho, Edson Weslley Almeida do Nascimento, Lucas C. Cordeiro
|
| 2025 |
A |
conf |
RE
Taohong Zhu, Lucas C. Cordeiro, Youcheng Sun
|
| 2025 |
J |
jnl |
CoRR
Taohong Zhu, Lucas C. Cordeiro, Youcheng Sun
|
| 2025 |
J |
jnl |
IEEE Trans. Software Eng.
Mohamed Amine Ferrag, Ammar Battah, Norbert Tihanyi, Ridhi Jain, Diana Maimut, Fatima Alwahedi, Thierry Lestable, Narinderjit Singh Thandi, Abdechakour Mechri, Mérouane Debbah, Lucas C. Cordeiro
|
| 2025 |
A |
conf |
RE
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao
|
| 2025 |
J |
jnl |
CoRR
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao
|
| 2025 |
J |
jnl |
CoRR
Pierre V. Dantas, Lucas C. Cordeiro, Youcheng Sun, Waldir S. S. Júnior
|
| 2025 |
J |
jnl |
CoRR
Yiannis Charalambous, Claudionor N. Coelho Jr., Luís C. Lamb, Lucas C. Cordeiro
|
| 2025 |
— |
conf |
SIGSOFT FSE Companion
Rafael Sá Menezes, Norbert Tihanyi, Ridhi Jain, Alexander Levin, Rosiane de Freitas, Lucas C. Cordeiro
|
| 2025 |
A* |
conf |
ASE
Chenfeng Wei, Shiyu Cai, Yiannis Charalambous, Tong Wu, Sangharatna Godboley, Lucas C. Cordeiro
|
| 2025 |
J |
jnl |
CoRR
Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Bilel Cherif, Richard A. Dubniczky, Ridhi Jain, Lucas C. Cordeiro
|
| 2024 |
J |
jnl |
CoRR
Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro
|
| 2024 |
J |
jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
|
| 2024 |
J |
jnl |
CoRR
Norbert Tihanyi, Tamás Bisztray, Mohamed Amine Ferrag, Ridhi Jain, Lucas C. Cordeiro
|
| 2024 |
B |
conf |
IEEE Big Data
Norbert Tihanyi, Tamás Bisztray, Richard A. Dubniczky, Rebeka Tóth, Bertalan Borsos, Bilel Cherif, Ridhi Jain, Lajos Muzsai, Mohamed Amine Ferrag, Ryan Marinelli, Lucas C. Cordeiro, Mérouane Debbah, Vasileios Mavroeidis, Audun Jøsang
|
| 2024 |
J |
jnl |
CoRR
Norbert Tihanyi, Tamás Bisztray, Richard A. Dubniczky, Rebeka Tóth, Bertalan Borsos, Bilel Cherif, Mohamed Amine Ferrag, Lajos Muzsai, Ridhi Jain, Ryan Marinelli, Lucas C. Cordeiro, Mérouane Debbah
|
| 2024 |
— |
conf |
TACAS (3)
Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro
|
| 2024 |
J |
jnl |
CoRR
Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro
|
| 2024 |
A |
conf |
ISSTA
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
|
| 2024 |
J |
jnl |
CoRR
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
|
| 2024 |
J |
jnl |
CoRR
Kaled M. Alshmrany, Mohannad Aldughaim, Chenfeng Wei, Tom Sweet, Richard Allmendinger, Lucas C. Cordeiro
|
| 2024 |
J |
jnl |
Formal Aspects Comput.
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
|
| 2024 |
J |
jnl |
CoRR
Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro
|
| 2024 |
A |
conf |
ISSTA
Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro
|
| 2024 |
A* |
conf |
ASE
Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro
|
| 2024 |
— |
conf |
SIGSOFT FSE Companion
Ridhi Jain, Norbert Tihanyi, Mthandazo Ndhlovu, Mohamed Amine Ferrag, Lucas C. Cordeiro
|
| 2024 |
J |
jnl |
IEEE Access
Mohamed Amine Ferrag, Mthandazo Ndhlovu, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Thierry Lestable, Narinderjit Singh Thandi
|
| 2024 |
J |
jnl |
CoRR
Fatima Abacha, Sin G. Teo, Lucas C. Cordeiro, Mustafa A. Mustafa
|
| 2024 |
J |
jnl |
CoRR
Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan Gabriel Colonna, Lucas C. Cordeiro, Rosiane de Freitas
|
| 2024 |
B |
conf |
SAS
Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
|
| 2024 |
J |
jnl |
CoRR
Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
|
| 2024 |
J |
jnl |
CoRR
Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro
|
| 2023 |
J |
jnl |
CoRR
Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, Lucas C. Cordeiro
|
| 2023 |
J |
jnl |
CoRR
Kamil Erdayandi, Lucas C. Cordeiro, Mustafa A. Mustafa
|
| 2023 |
J |
jnl |
Softw. Test. Verification Reliab.
Fabrício Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva
|
| 2023 |
— |
conf |
ICSE Companion
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
|
| 2023 |
— |
conf |
FoMLAS@CAV
Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro
|
| 2023 |
— |
conf |
TACAS (2)
Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
|
| 2023 |
— |
conf |
SBMF
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
|
| 2023 |
J |
jnl |
CoRR
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
|
| 2023 |
J |
jnl |
CoRR
Rafael Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro
|
| 2023 |
J |
jnl |
IEEE Commun. Surv. Tutorials
Mohamed Amine Ferrag, Othmane Friha, Burak Kantarci, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Djallel Hamouda, Muna Al-Hawawreh, Kim-Kwang Raymond Choo
|
| 2023 |
J |
jnl |
CoRR
Mohamed Amine Ferrag, Othmane Friha, Burak Kantarci, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Djallel Hamouda, Muna Al-Hawawreh, Kim-Kwang Raymond Choo
|
| 2023 |
— |
conf |
ICCE-Taiwan
Sergillam Barroso Oliveira, Andre R. da Silva Conceição, Eddie Batista de Lima Filho, Lucas C. Cordeiro
|
| 2023 |
J |
jnl |
CoRR
Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, Lucas C. Cordeiro
|
| 2023 |
B |
conf |
FASE
Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro
|
| 2023 |
— |
conf |
EACL (Findings)
Julia Rozanova, Marco Valentino, Lucas C. Cordeiro, André Freitas
|
| 2023 |
J |
jnl |
CoRR
Julia Rozanova, Marco Valentino, Lucas C. Cordeiro, André Freitas
|
| 2023 |
J |
jnl |
CoRR
Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
|
| 2023 |
J |
jnl |
CoRR
Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro
|
| 2023 |
J |
jnl |
CoRR
Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro
|
| 2023 |
— |
conf |
ICC Workshops
Mohamed Amine Ferrag, Burak Kantarci, Lucas C. Cordeiro, Mérouane Debbah, Kim-Kwang Raymond Choo
|
| 2023 |
J |
jnl |
CoRR
Mohamed Amine Ferrag, Burak Kantarci, Lucas C. Cordeiro, Mérouane Debbah, Kim-Kwang Raymond Choo
|
| 2023 |
B |
conf |
SEFM
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
|
| 2023 |
J |
jnl |
CoRR
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
|
| 2023 |
J |
jnl |
CoRR
Mohamed Amine Ferrag, Mthandazo Ndhlovu, Norbert Tihanyi, Lucas C. Cordeiro, Mérouane Debbah, Thierry Lestable
|
| 2023 |
J |
jnl |
CoRR
Mohamed Amine Ferrag, Ammar Battah, Norbert Tihanyi, Mérouane Debbah, Thierry Lestable, Lucas C. Cordeiro
|
| 2023 |
J |
jnl |
CoRR
Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis
|
| 2023 |
— |
conf |
PROMISE
Norbert Tihanyi, Tamás Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, Vasileios Mavroeidis
|
| 2023 |
— |
conf |
SBESC
Rafael G. Silvestrim, Felipe V. Trigo, Williame Rocha, Michael R. S. Vieira, Jogno V. Junior, Otoniel Da C. Mendes, Rafael Sá Menezes, Lucas C. Cordeiro
|
| 2023 |
J |
jnl |
Neural Networks
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
|
| 2022 |
J |
jnl |
CoRR
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
|
| 2022 |
— |
conf |
NSV/FoMLAS@CAV
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
|
| 2022 |
J |
jnl |
CoRR
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
|
| 2022 |
J |
jnl |
IEEE Access
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
|
| 2022 |
J |
jnl |
CoRR
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
|
| 2022 |
A |
conf |
ISSTA
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro
|
| 2022 |
J |
jnl |
CoRR
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
|
| 2022 |
A |
conf |
ISSTA
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
|
| 2022 |
— |
conf |
ICSE-Companion
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
|
| 2022 |
— |
conf |
SafeAI@AAAI
Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Luján, Xiaowei Huang, Lucas C. Cordeiro
|
| 2022 |
J |
jnl |
CoRR
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro
|
| 2022 |
B |
conf |
FASE
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
|
| 2022 |
J |
jnl |
Softw. Test. Verification Reliab.
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
|
| 2022 |
J |
jnl |
CoRR
Danilo S. Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas
|
| 2022 |
— |
conf |
SecDev
Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
|
| 2022 |
J |
jnl |
CoRR
Kamil Erdayandi, Amrit Paudel, Lucas C. Cordeiro, Mustafa A. Mustafa
|
| 2022 |
A |
conf |
ICST
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
|
| 2022 |
— |
conf |
ACL (Findings)
Edoardo Manino, Julia Rozanova, Danilo S. Carvalho, André Freitas, Lucas C. Cordeiro
|
| 2022 |
J |
jnl |
CoRR
Edoardo Manino, Julia Rozanova, Danilo S. Carvalho, André Freitas, Lucas C. Cordeiro
|
| 2022 |
J |
jnl |
CoRR
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
|
| 2022 |
— |
conf |
TACAS (2)
Tong Wu, Peter Schrammel, Lucas C. Cordeiro
|
| 2021 |
— |
conf |
SBESC
Mengze Li, Lucas C. Cordeiro
|
| 2021 |
J |
jnl |
CoRR
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes
|
| 2021 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Mikhail R. Gadelha, Rafael S. Menezes, Lucas C. Cordeiro
|
| 2021 |
J |
jnl |
CoRR
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
|
| 2021 |
— |
conf |
LADC (Companion)
Lucas C. Cordeiro
|
| 2021 |
J |
jnl |
CoRR
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
|
| 2021 |
B |
conf |
FASE
Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro
|
| 2021 |
— |
conf |
TAP@STAF
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
|
| 2021 |
J |
jnl |
CoRR
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
|
| 2021 |
J |
jnl |
CoRR
Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro
|
| 2021 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2021 |
J |
jnl |
CoRR
Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro
|
| 2021 |
— |
conf |
SBESC
Nedas Matulevicius, Lucas C. Cordeiro
|
| 2021 |
J |
jnl |
CoRR
Thales Silva, Carmina Porto, Erickson H. da S. Alves, Lucas C. Cordeiro, Herbert Rocha
|
| 2020 |
— |
conf |
VSTTE
Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
|
| 2020 |
J |
jnl |
CoRR
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
|
| 2020 |
J |
jnl |
Acta Informatica
Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
|
| 2020 |
J |
jnl |
CoRR
Mohannad Aldughaim, Kaled M. Alshmrany, Mohamed Mustafa, Lucas C. Cordeiro, Alexandru Stancu
|
| 2020 |
B |
conf |
FASE
Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
|
| 2020 |
J |
jnl |
CoRR
Kaled M. Alshmrany, Lucas C. Cordeiro
|
| 2020 |
J |
jnl |
CoRR
Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro
|
| 2020 |
J |
jnl |
CoRR
Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro
|
| 2020 |
— |
conf |
TACAS (2)
Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto
|
| 2020 |
J |
jnl |
IET Cyper-Phys. Syst.: Theory & Appl.
Lucas C. Cordeiro, Eddie Batista de Lima Filho, Iury Valente de Bessa
|
| 2020 |
— |
conf |
VSTTE
Alessandro Trindade, Lucas C. Cordeiro
|
| 2020 |
J |
jnl |
CoRR
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa
|
| 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 |
SIoT
Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro
|
| 2019 |
J |
jnl |
CoRR
Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro
|
| 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 |
TACAS (3)
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
|
| 2019 |
J |
jnl |
CoRR
Alessandro Trindade, Lucas C. Cordeiro
|
| 2019 |
— |
conf |
ICSE (Companion Volume)
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
|
| 2019 |
J |
jnl |
J. Syst. Softw.
Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2018 |
J |
jnl |
CoRR
Alessandro Trindade, Lucas C. Cordeiro
|
| 2018 |
J |
jnl |
CoRR
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
|
| 2018 |
J |
jnl |
ACM SIGSOFT Softw. Eng. Notes
Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
|
| 2018 |
A* |
conf |
ASE
Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2018 |
J |
jnl |
Sci. Comput. Program.
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
|
| 2018 |
— |
conf |
HSCC
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening
|
| 2018 |
J |
jnl |
IEEE Trans. Reliab.
Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2018 |
A* |
conf |
ASE
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
|
| 2018 |
J |
jnl |
Sci. Comput. Program.
Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2018 |
— |
conf |
CAV (1)
Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík
|
| 2018 |
— |
conf |
TACAS (2)
Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto
|
| 2018 |
J |
jnl |
CoRR
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
|
| 2018 |
J |
jnl |
IEEE Access
Arllem O. Farias, Gabriel Alisson C. Queiroz, Iury Valente de Bessa, Renan Landau Paiva de Medeiros, Lucas C. Cordeiro, Reinaldo M. Palhares
|
| 2018 |
— |
conf |
ESEC/SIGSOFT FSE
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
|
| 2017 |
J |
jnl |
J. Syst. Softw.
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2017 |
— |
conf |
CAV (1)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
|
| 2017 |
J |
jnl |
CoRR
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
|
| 2017 |
J |
jnl |
CoRR
Lucas C. Cordeiro
|
| 2017 |
J |
jnl |
ACM SIGSOFT Softw. Eng. Notes
Felipe R. Monteiro, Francisco A. P. Januário, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2017 |
J |
jnl |
Softw. Test. Verification Reliab.
Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2017 |
J |
jnl |
CoRR
Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
|
| 2017 |
J |
jnl |
CoRR
Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
|
| 2017 |
— |
conf |
LARS/SBR
Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho
|
| 2017 |
J |
jnl |
CoRR
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
|
| 2017 |
A* |
conf |
ASE
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
|
| 2017 |
— |
conf |
TACAS (2)
Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer
|
| 2017 |
— |
conf |
SBMF
Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
|
| 2017 |
J |
jnl |
IEEE Trans. Computers
Iury Bessa, Hussama Ismail, Reinaldo M. Palhares, Lucas C. Cordeiro, Joao Edgar Chaves Filho
|
| 2017 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Mikhail Y. R. Gadelha, Hussama Ibrahim Ismail, Lucas C. Cordeiro
|
| 2017 |
— |
conf |
SBMF
Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2017 |
J |
jnl |
Concurr. Comput. Pract. Exp.
Phillipe A. Pereira, Higo F. Albuquerque, Isabela da Silva, Hendrio Marques, Felipe R. Monteiro, Ricardo Ferreira, Lucas C. Cordeiro
|
| 2017 |
— |
conf |
HSCC
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
|
| 2017 |
J |
jnl |
CoRR
Daniel P. M. de Mello, Mauro L. de Freitas, Lucas C. Cordeiro, Waldir S. S. Júnior, Iury Valente de Bessa, Eddie B. L. Filho, Laurent Clavier
|
| 2017 |
J |
jnl |
CoRR
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
|
| 2017 |
A |
conf |
ISSTA
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho
|
| 2016 |
J |
jnl |
CoRR
William C. da Rosa, Iury Valente de Bessa, Lucas C. Cordeiro
|
| 2016 |
J |
jnl |
Des. Autom. Embed. Syst.
Alessandro Trindade, 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
|
| 2016 |
J |
jnl |
CoRR
Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa
|
| 2016 |
C |
conf |
FIE
Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa
|
| 2016 |
J |
jnl |
CoRR
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro
|
| 2016 |
— |
conf |
SPIN
Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2016 |
A |
conf |
TACAS
Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro
|
| 2016 |
J |
jnl |
ACM SIGSOFT Softw. Eng. Notes
Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2016 |
J |
jnl |
CoRR
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening
|
| 2016 |
J |
jnl |
Des. Autom. Embed. Syst.
Iury Valente de Bessa, Hussama Ismail, Lucas C. Cordeiro, João Edgar Chaves Filho
|
| 2016 |
Misc |
conf |
SAC
Phillipe A. Pereira, Higo F. Albuquerque, Hendrio Marques, Isabela da Silva, Celso B. Carvalho, Lucas C. Cordeiro, Vanessa Santos, Ricardo Ferreira
|
| 2015 |
J |
jnl |
CoRR
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro
|
| 2015 |
— |
conf |
SBESC
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro
|
| 2015 |
J |
jnl |
CoRR
Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2015 |
— |
conf |
GCCE
Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2015 |
— |
conf |
SPIN
Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho
|
| 2015 |
J |
jnl |
CoRR
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2015 |
— |
conf |
SBESC
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho
|
| 2015 |
C |
conf |
ICCE
Rodrigo R. Oliveira, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr.
|
| 2015 |
B |
conf |
SEFM
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro
|
| 2015 |
J |
jnl |
CoRR
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
|
| 2015 |
— |
conf |
SBESC
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
|
| 2015 |
J |
jnl |
CoRR
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
|
| 2015 |
J |
jnl |
Softw. Syst. Model.
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
|
| 2014 |
— |
conf |
GCCE
Ricardo Erikson Veras De Sena Rosa, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr.
|
| 2014 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
|
| 2014 |
— |
conf |
GCCE
Francisco A. P. Januário, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr., Eddie Batista de Lima Filho
|
| 2014 |
A |
conf |
TACAS
Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
|
| 2014 |
J |
jnl |
CoRR
Iury Bessa, Renato B. Abreu, Joao Edgar Chaves Filho, Lucas C. Cordeiro
|
| 2014 |
C |
conf |
IECON
Iury Bessa, Renato B. Abreu, João Edgar Chaves Filho, Lucas C. Cordeiro
|
| 2013 |
J |
jnl |
IEEE Trans. Consumer Electron.
Ricardo Erikson Veras De Sena Rosa, Vicente Ferreira de Lucena Jr., Lucas C. Cordeiro, Joao Edgar Chaves Filho
|
| 2013 |
A |
conf |
TACAS
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
|
| 2013 |
— |
conf |
ECBS
Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer
|
| 2013 |
J |
jnl |
CoRR
Renato B. Abreu, Lucas C. Cordeiro, Eddie B. L. Filho
|
| 2012 |
— |
conf |
ISIE
David Cohen, Eduardo Valentin, Raimundo S. Barreto, Horacio A. B. F. de Oliveira, Lucas C. Cordeiro
|
| 2012 |
A |
conf |
TACAS
Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer
|
| 2012 |
J |
jnl |
IEEE Trans. Software Eng.
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
|
| 2012 |
B |
conf |
IFM
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto
|
| 2011 |
B |
conf |
SEFM
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
|
| 2011 |
— |
— |
Lucas C. Cordeiro
|
| 2011 |
— |
conf |
SBESC
Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer
|
| 2011 |
J |
jnl |
CoRR
Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer
|
| 2011 |
A* |
conf |
ICSE
Lucas C. Cordeiro, Bernd Fischer
|
| 2010 |
J |
jnl |
CoRR
Lucas C. Cordeiro, Bernd Fischer
|
| 2010 |
— |
conf |
ECBS
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
|
| 2010 |
— |
conf |
ICSE (2)
Lucas C. Cordeiro
|
| 2009 |
J |
jnl |
CoRR
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
|
| 2009 |
J |
jnl |
CoRR
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
|
| 2009 |
A* |
conf |
ASE
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
|
| 2009 |
— |
conf |
ICESS
Lucas C. Cordeiro, Bernd Fischer, Huan Chen, João Marques-Silva
|
| 2008 |
— |
conf |
ECBS
Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena
|
| 2008 |
J |
jnl |
ACM SIGSOFT Softw. Eng. Notes
Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena
|
| 2008 |
C |
conf |
ACHI
Mauro Teófilo, Lucas C. Cordeiro, Raimundo S. Barreto, José Raimundo Pereira, Ayres Mardem, Pedro Freitas
|
| 2008 |
B |
conf |
ENASE
Lucas C. Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr.
|
| 2008 |
Misc |
conf |
SAC
Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro
|
| 2008 |
A |
conf |
DATE
Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro, Paulo Romero Martins Maciel
|
| 2007 |
— |
conf |
ECBS
Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel
|
| 2007 |
J |
jnl |
ACM SIGSOFT Softw. Eng. Notes
Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel
|