Marcelo d'Amorim
发表
Davino Mauro Junior,
Luis Melo,
Hao Lu,
2019,
2019 IEEE Security and Privacy Workshops (SPW).
Marcelo d'Amorim,
Carlos André Guimarães Ferraz,
2001,
IICS.
Marcelo d'Amorim,
Grigore Rosu,
Marcelo d’Amorim,
2005,
CAV.
Marcelo d'Amorim,
Sabrina Souto,
Marcelo d’Amorim,
2017,
J. Syst. Softw..
Marcelo d'Amorim,
Grigore Rosu,
Feng Chen,
2004
.
Alessandro Orso,
Marcelo d'Amorim,
Xiangyu Li,
2016,
Haifa Verification Conference.
Marcelo d'Amorim,
Rui Abreu,
Gordon Fraser,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Davino Mauro Junior,
Luis Melo,
Marcelo d'Amorim,
2019,
ArXiv.
Marcelo d'Amorim,
Cristiano Bertolini,
Alexandre Mota,
2009,
2009 International Conference on Software Testing Verification and Validation.
Marcelo d'Amorim,
Mana Taghdiri,
Mateus Araújo,
2014,
Haifa Verification Conference.
Marcelo d'Amorim,
Darko Marinov,
Jennifer C. Hou,
2007
.
Marcelo d'Amorim,
Corina S. Pasareanu,
Willem Visser,
2014,
PLDI.
Marcelo d'Amorim,
Grigore Rosu,
Feng Chen,
2006,
RV@CAV.
Marcelo d'Amorim,
Fernando Magno Quintão Pereira,
Andrei Rimsa,
2011,
CC.
Marcelo d'Amorim,
Corina S. Pasareanu,
Pasquale Malacaria,
2014,
SPIN.
Alessandro Orso,
Marcelo d'Amorim,
Xiangyu Li,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Marcelo d'Amorim,
Rohit Gheyi,
Ricardo B. C. Prudêncio,
2009,
NASA Formal Methods.
Marcelo d'Amorim,
Darko Marinov,
Marcelo d’Amorim,
2007
.
Marcelo d'Amorim,
Michael D. Ernst,
Darko Marinov,
2006,
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
Sarfraz Khurshid,
Marcelo d'Amorim,
Darko Marinov,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
Sarfraz Khurshid,
Marcelo d'Amorim,
Darko Marinov,
2013,
ESEC/FSE 2013.
Marcelo d'Amorim,
Grigore Rosu,
Feng Chen,
2005
.
Marcelo d'Amorim,
Rui Abreu,
Sofia Reis,
2019,
IJCAI.
Marcelo d'Amorim,
Lucas C. Cordeiro,
Xiaowei Huang,
2020,
ArXiv.
Marcelo d'Amorim,
Vander Alves,
Leopoldo Teixeira,
2021
.
Marcelo d'Amorim,
Darko Marinov,
Steven Lauterburg,
2008,
IEEE Trans. Software Eng..
Marcelo d'Amorim,
Grigore Rosu,
Feng Chen,
2004,
ICFEM.
Alessandro Orso,
Marcelo d'Amorim,
Mattia Fazzini,
2018,
ISSTA.
Marcelo d'Amorim,
Klaus Havelund,
2005,
ACM SIGSOFT Softw. Eng. Notes.
Marcelo d'Amorim,
Rui Abreu,
Carlos Mello,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).
William H. Sanders,
Marcelo d'Amorim,
Yuanyuan Zhou,
2007
.
Marcelo d'Amorim,
Klaus Havelund,
2005,
WODA '05.
Marcelo d'Amorim,
Sergio Soares,
Denise Neves,
2004
.
Marcelo d'Amorim,
Michael D. Ernst,
René Just,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Sarfraz Khurshid,
Marcelo d'Amorim,
Darko Marinov,
2015,
SPLC.
Marcelo d'Amorim,
Darko Marinov,
Steven Lauterburg,
2007,
IEEE Transactions on Software Engineering.
Alessandro Orso,
Marcelo d'Amorim,
Xiangyu Li,
2019,
2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).
Marcelo d'Amorim,
Rohit Gheyi,
Ricardo B. C. Prudêncio,
2010,
Innovations in Systems and Software Engineering.
Marcelo d'Amorim,
Klaus Havelund,
2005
.
Luis Melo,
Marcelo d'Amorim,
Jeanderson Candido,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Marcelo d'Amorim,
Corina S. Pasareanu,
Mateus Borges,
2011,
NASA Formal Methods.
Marcelo d'Amorim,
Gustavo Pinto,
Breno Miranda,
2020,
Software Quality Journal.
Marcelo d'Amorim,
Corina S. Pasareanu,
Mateus Borges,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Marcelo d'Amorim,
Márcio Ribeiro,
Leonardo Fernandes,
2020,
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST).
Marcelo d'Amorim,
Corina S. Pasareanu,
Antonio Filieri,
2015,
ESEC/SIGSOFT FSE.
Marcelo d'Amorim,
Rui Abreu,
Alexandre Perez,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Marcelo d'Amorim,
Igor Lima,
Jeanderson Cândido,
2020,
Inf. Softw. Technol..
Marcelo d'Amorim,
Milos Gligoric,
Vilas Jagannath,
2011,
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Luis Melo,
Marcelo d'Amorim,
Igor Scaliante Wiese,
2019,
IEEE Transactions on Software Engineering.
Marcelo d'Amorim,
Jennifer C. Hou,
Darko Marinov,
2010,
Simul..
Marcelo d'Amorim,
Rohit Gheyi,
Sabrina Souto,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Marcelo d'Amorim,
Grigore Rosu,
2005,
J. Univers. Comput. Sci..
Marcelo d'Amorim,
Fernando Magno Quintão Pereira,
Roberto da Silva Bigonha,
2014,
Sci. Comput. Program..
Marcelo d'Amorim,
Darko Marinov,
Ahmed Sobeih,
2006,
ICFEM.
Marcelo d'Amorim,
Denini Silva,
Shouvick Mondal,
2021,
2021 IEEE International Conference on Software Maintenance and Evolution (ICSME).
Marcelo d'Amorim,
Nazareno Aguirre,
Facundo Molina,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
Christoph Treude,
Marcelo d'Amorim,
Markus Wagner,
2022
.
Marcelo d'Amorim,
Carlos A. B. Mello,
Daniela S. Costa,
2021,
DocEng.
Marcelo d'Amorim,
Thomas Reps,
Leopoldo Teixeira,
2021
.
Marcelo d'Amorim,
Breno Miranda,
Leopoldo Teixeira,
2021,
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).
Marcelo d'Amorim,
Rui Abreu,
Lucas Alcantara,
2021,
IEEE Transactions on Reliability.