Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tiago Massoni
@inproceedings{DBLP:conf/iceis/CalixtoRMF23,
author = {Felipe Emerson de Oliveira Calixto and
Franklin Ramalho and
Tiago Massoni and
Jos{\'{e}} Ferreira},
editor = {Joaquim Filipe and
Michal Smialek and
Alexander Brodsky and
Slimane Hammoudi},
title = {Investigating Bug Report Changes in Bugzilla},
booktitle = {Proceedings of the 25th International Conference on Enterprise Information
Systems, {ICEIS} 2023, Volume 2, Prague, Czech Republic, April 24-26,
2023},
pages = {55--64},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011847600003467},
doi = {10.5220/0011847600003467},
timestamp = {Tue, 23 May 2023 16:57:22 +0200},
biburl = {https://dblp.org/rec/conf/iceis/CalixtoRMF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/CarneiroFRM23,
author = {Guilherme Carneiro and
Jos{\'{e}} Ferreira and
Franklin Ramalho and
Tiago Massoni},
title = {Similar Bug Reports Recommendation System using {BERT}},
booktitle = {Proceedings of the {XXXVII} Brazilian Symposium on Software Engineering,
{SBES} 2023, Campo Grande, Brazil, September 25-29, 2023},
pages = {378--387},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3613372.3613396},
doi = {10.1145/3613372.3613396},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbes/CarneiroFRM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/data/MusahDABABTBYMS22,
author = {Anwar Musah and
Livia M{\`{a}}rcia Mosso Dutra and
Aisha Aldosery and
Ella Browning and
Tercio Ambrizzi and
Iuri Valerio Graciano Borges and
Merve Tunali and
Selma Basib{\"{u}}y{\"{u}}k and
Orhan Yenig{\"{u}}n and
Giselle Machado Magalhaes Moreno and
Ana Clara Gomes da Silva and
Wellington Pinheiro dos Santos and
Clarisse Lins de Lima and
Tiago Massoni and
Kate Elizabeth Jones and
Luiza Cintra Campos and
Patty Kostkova},
title = {An Evaluation of the OpenWeatherMap {API} versus {INMET} Using Weather
Data from Two Brazilian Cities: Recife and Campina Grande},
journal = {Data},
volume = {7},
number = {8},
pages = {106},
year = {2022},
url = {https://doi.org/10.3390/data7080106},
doi = {10.3390/DATA7080106},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/data/MusahDABABTBYMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/AraujoMSSO22,
author = {Narallynne Ara{\'{u}}jo and
Tiago Massoni and
Camila Sarmento and
Francielle Santos and
Ruan Oliveira},
editor = {Marcelo de Almeida Maia and
Fabiano A. Dor{\c{c}}a and
Rafael Dias Ara{\'{u}}jo and
Christina von Flach and
Elisa Yumi Nakagawa and
Edna Dias Canedo},
title = {Investigating the Relationship between Software Team Leadership Styles
and Turnover Intention},
booktitle = {{SBES} 2022: {XXXVI} Brazilian Symposium on Software Engineering,
Virtual Event Brazil, October 5 - 7, 2022},
pages = {106--111},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3555228.3555263},
doi = {10.1145/3555228.3555263},
timestamp = {Fri, 10 Feb 2023 23:17:12 +0100},
biburl = {https://dblp.org/rec/conf/sbes/AraujoMSSO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/SarmentoMSCTP22,
author = {Camila Sarmento and
Tiago Massoni and
Alexander Serebrenik and
Gemma Catolino and
Damian A. Tamburri and
Fabio Palomba},
title = {Gender Diversity and Community Smells: {A} Double-Replication Study
on Brazilian Software Teams},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2022, Honolulu, HI, USA, March 15-18, 2022},
pages = {273--283},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SANER53432.2022.00043},
doi = {10.1109/SANER53432.2022.00043},
timestamp = {Tue, 26 Jul 2022 14:23:17 +0200},
biburl = {https://dblp.org/rec/conf/wcre/SarmentoMSCTP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MassoniM21,
author = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Preface to the special issue on Formal Methods: Foundations and Applications},
journal = {Sci. Comput. Program.},
volume = {205},
pages = {102619},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102619},
doi = {10.1016/J.SCICO.2021.102619},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MassoniM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/CoelhoTMA21,
author = {Fl{\'{a}}via Coelho and
Nikolaos Tsantalis and
Tiago Massoni and
Everton L. G. Alves},
editor = {Filippo Lanubile and
Marcos Kalinowski and
Maria Teresa Baldassarre},
title = {An Empirical Study on Refactoring-Inducing Pull Requests},
booktitle = {{ESEM} '21: {ACM} / {IEEE} International Symposium on Empirical Software
Engineering and Measurement, Bari, Italy, October 11-15, 2021},
pages = {9:1--9:12},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3475716.3475785},
doi = {10.1145/3475716.3475785},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esem/CoelhoTMA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/OliveiraMASS21,
author = {Ruan Oliveira and
Tiago Massoni and
Narallynne Ara{\'{u}}jo and
Camila Sarmento and
Francielle Santos},
editor = {Cristiano D. Vasconcellos and
Karina Girardi Roggia and
Vanessa Collere and
Paulo Bousfield},
title = {Ants Doing Legwork: Investigating Motivators for Software Development
Career Abandonment},
booktitle = {35th Brazilian Symposium on Software Engineering, {SBES} 2021, Joinville,
Santa Catarina, Brazil, 27 September 2021 - 1 October 2021},
pages = {353--362},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3474624.3474644},
doi = {10.1145/3474624.3474644},
timestamp = {Thu, 18 Aug 2022 13:45:55 +0200},
biburl = {https://dblp.org/rec/conf/sbes/OliveiraMASS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-10994,
author = {Fl{\'{a}}via Coelho and
Nikolaos Tsantalis and
Tiago Massoni and
Everton L. G. Alves},
title = {An Empirical Study on Refactoring-Inducing Pull Requests},
journal = {CoRR},
volume = {abs/2108.10994},
year = {2021},
url = {https://arxiv.org/abs/2108.10994},
eprinttype = {arXiv},
eprint = {2108.10994},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-10994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/VidalMR20,
author = {Marzina Vidal and
Tiago Massoni and
Franklin Ramalho},
title = {A domain-specific language for verifying software requirement constraints},
journal = {Sci. Comput. Program.},
volume = {197},
pages = {102509},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102509},
doi = {10.1016/J.SCICO.2020.102509},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/VidalMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/SantosGRM20,
author = {Lucas Rani{\'{e}}re Juvino Santos and
Guilherme Gadelha and
Franklin Ramalho and
Tiago Massoni},
editor = {Everton Cavalcante and
Francisco Dantas and
Tha{\'{\i}}s Batista},
title = {Improving Traceability Recovery Between Bug Reports and Manual Test
Cases},
booktitle = {34th Brazilian Symposium on Software Engineering, {SBES} 2020, Natal,
Brazil, October 19-23, 2020},
pages = {293--302},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3422392.3422424},
doi = {10.1145/3422392.3422424},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbes/SantosGRM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehealth/MusahRBSMK19,
author = {Anwar Musah and
Adrian Rubio{-}Solis and
Georgiana Birjovanu and
Wellington P. dos Santos and
Tiago Massoni and
Patty Kostkova},
editor = {Patty Kostkova and
Caroline Wood and
Arnold Bosman and
Floriana Grasso and
Michael Edelstein},
title = {Assessing the Relationship between various Climatic Risk Factors {\&}
Mosquito Abundance in Recife, Brazil},
booktitle = {Proceedings of the 9th International Conference on Digital Public
Health, {PDH} 2019, Marseille, France, November 20-23, 2019},
pages = {97--100},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3357729.3357744},
doi = {10.1145/3357729.3357744},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ehealth/MusahRBSMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehealth/Rubio-SolisMSMB19,
author = {Adrian Rubio{-}Solis and
Anwar Musah and
Wellington P. dos Santos and
Tiago Massoni and
Georgiana Birjovanu and
Patty Kostkova},
editor = {Patty Kostkova and
Caroline Wood and
Arnold Bosman and
Floriana Grasso and
Michael Edelstein},
title = {{ZIKA} Virus: Prediction of Aedes Mosquito Larvae Occurrence in Recife
(Brazil) using Online Extreme Learning Machine and Neural Networks},
booktitle = {Proceedings of the 9th International Conference on Digital Public
Health, {PDH} 2019, Marseille, France, November 20-23, 2019},
pages = {101--110},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3357729.3357738},
doi = {10.1145/3357729.3357738},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ehealth/Rubio-SolisMSMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CoelhoMA19,
author = {Fl{\'{a}}via Coelho and
Tiago Massoni and
Everton L. G. Alves},
editor = {Nikolaos Tsantalis and
Yuanfang Cai and
Serge Demeyer},
title = {Refactoring-aware code review: a systematic mapping study},
booktitle = {Proceedings of the 3rd International Workshop on Refactoring, IWOR@ICSE
2019, Montreal, QC, Canada, May 28, 2019},
pages = {63--66},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/IWoR.2019.00019},
doi = {10.1109/IWOR.2019.00019},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/CoelhoMA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MassoniGSBM19,
author = {Tiago Massoni and
Nilton Ginani and
Wallison Silva and
Zeus Barros and
Georgia Moura},
editor = {Yvonne Dittrich and
Fabian Fagerholm and
Rashina Hoda and
David Socha and
Igor Steinmacher},
title = {Relating voluntary turnover with job characteristics, satisfaction
and work exhaustion: an initial study with brazilian developers},
booktitle = {Proceedings of the 12th International Workshop on Cooperative and
Human Aspects of Software Engineering, CHASE@ICSE 2019, Montr{\'{e}}al,
QC, Canada, 27 May 2019},
pages = {85--88},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/CHASE.2019.00028},
doi = {10.1109/CHASE.2019.00028},
timestamp = {Fri, 21 Feb 2020 17:01:29 +0100},
biburl = {https://dblp.org/rec/conf/icse/MassoniGSBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-11499,
author = {Tiago Massoni and
Nilton Ginani and
Wallison Silva and
Zeus Barros and
Georgia Moura},
title = {Relating Voluntary Turnover with Job Characteristics, Satisfaction
and Work Exhaustion - An Initial Study with Brazilian Developers},
journal = {CoRR},
volume = {abs/1901.11499},
year = {2019},
url = {http://arxiv.org/abs/1901.11499},
eprinttype = {arXiv},
eprint = {1901.11499},
timestamp = {Mon, 04 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-11499.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-02679,
author = {Marzina Vidal and
Tiago Massoni and
Franklin Ramalho},
title = {A Domain-Specific Language for Verifying Software Requirement Constraints},
journal = {CoRR},
volume = {abs/1911.02679},
year = {2019},
url = {http://arxiv.org/abs/1911.02679},
eprinttype = {arXiv},
eprint = {1911.02679},
timestamp = {Mon, 11 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-02679.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AlvesSMMK18,
author = {Everton L. G. Alves and
Myoungkyu Song and
Tiago Massoni and
Patr{\'{\i}}cia Duarte de Lima Machado and
Miryung Kim},
title = {Refactoring Inspection Support for Manual Refactoring Edits},
journal = {{IEEE} Trans. Software Eng.},
volume = {44},
number = {4},
pages = {365--383},
year = {2018},
url = {https://doi.org/10.1109/TSE.2017.2679742},
doi = {10.1109/TSE.2017.2679742},
timestamp = {Fri, 11 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AlvesSMMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehealth/BeltranBSMK18,
author = {Juan D. Beltr{\'{a}}n and
Andrei Boscor and
Wellington P. dos Santos and
Tiago Massoni and
Patty Kostkova},
editor = {Patty Kostkova and
Floriana Grasso and
Carlos Castillo and
Yelena Mejova and
Arnold Bosman and
Michael Edelstein},
title = {{ZIKA:} {A} New System to Empower Health Workers and Local Communities
to Improve Surveillance Protocols by E-learning and to Forecast Zika
Virus in Real Time in Brazil},
booktitle = {Proceedings of the 2018 International Conference on Digital Health,
{DH} 2018, Lyon, France, April 23-26, 2018},
pages = {90--94},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194658.3194683},
doi = {10.1145/3194658.3194683},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ehealth/BeltranBSMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2018,
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5},
doi = {10.1007/978-3-030-03044-5},
isbn = {978-3-030-03043-8},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AlvesMM17,
author = {Everton L. G. Alves and
Tiago Massoni and
Patr{\'{\i}}cia Duarte de Lima Machado},
title = {Test coverage of impacted code elements for detecting refactoring
faults: An exploratory study},
journal = {J. Syst. Softw.},
volume = {123},
pages = {223--238},
year = {2017},
url = {https://doi.org/10.1016/j.jss.2016.02.001},
doi = {10.1016/J.JSS.2016.02.001},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/AlvesMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MilanezLFM17,
author = {Alysson Milanez and
Bianca Lima and
Jos{\'{e}} Ferreira and
Tiago Massoni},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {Nonconformance between programs and contracts: a study on C{\#}/code
contracts open source systems},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1219--1224},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019779},
doi = {10.1145/3019612.3019779},
timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/MilanezLFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AlvesMMK16,
author = {Everton L. G. Alves and
Patr{\'{\i}}cia D. L. Machado and
Tiago Massoni and
Miryung Kim},
title = {Prioritizing test cases for early detection of refactoring faults},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {5},
pages = {402--426},
year = {2016},
url = {https://doi.org/10.1002/stvr.1603},
doi = {10.1002/STVR.1603},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AlvesMMK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlvesMM15,
author = {Everton L. G. Alves and
Tiago Massoni and
Patr{\'{\i}}cia Duarte de Lima Machado},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Test coverage and impact analysis for detecting refactoring faults:
a study on the extract method refactoring},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1534--1540},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695811},
doi = {10.1145/2695664.2695811},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AlvesMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MilanezMG14,
author = {Alysson Milanez and
Tiago Massoni and
Rohit Gheyi},
editor = {Andrew P. Black},
title = {Enhancing conformance checking for contract-based programs},
booktitle = {SPLASH'14 - Companion Publication of the 2014 {ACM} {SIGPLAN} Conference
on Systems, Programming, and Applications: Software for Humanity,
Portland, OR, USA, October 20-24, 2014},
pages = {57--58},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660252.2660396},
doi = {10.1145/2660252.2660396},
timestamp = {Mon, 14 Feb 2022 15:12:42 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/MilanezMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SoaresGM13,
author = {Gustavo Soares and
Rohit Gheyi and
Tiago Massoni},
title = {Automated Behavioral Testing of Refactoring Engines},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {2},
pages = {147--162},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.19},
doi = {10.1109/TSE.2012.19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/SoaresGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlvesMMS13,
author = {Everton L. G. Alves and
Patr{\'{\i}}cia D. L. Machado and
Tiago Massoni and
Samuel T. C. Santos},
editor = {Hong Zhu and
Henry Muccini and
Zhenyu Chen},
title = {A refactoring-based approach for test case selection and prioritization},
booktitle = {8th International Workshop on Automation of Software Test, {AST} 2013,
San Francisco, CA, USA, May 18-19, 2013},
pages = {93--99},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/IWAST.2013.6595798},
doi = {10.1109/IWAST.2013.6595798},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlvesMMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbsi/NascimentoPM13,
author = {Dimas C. Nascimento and
Carlos Eduardo S. Pires and
Tiago Massoni},
editor = {Rita Suzana Pitangueira Maciel and
Adriana Z. Clericuzi},
title = {{PL} / {SQL} Advisor: uma ferramenta baseada em an{\'{a}}lise
est{\'{a}}tica para sugerir melhorias para procedimentos armazenados},
booktitle = {Proceedings of the 9th Brazilian Symposium on Information Systems,
{SBSI} 2013, Jo{\~{a}}o Pessoa, Brazil, May 22-24, 2013},
pages = {343--354},
year = {2013},
url = {https://doi.org/10.5753/sbsi.2013.5702},
doi = {10.5753/SBSI.2013.5702},
timestamp = {Mon, 31 Jan 2022 17:23:36 +0100},
biburl = {https://dblp.org/rec/conf/sbsi/NascimentoPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GheyiMB11,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba},
title = {Automatically Checking Feature Model Refactorings},
journal = {J. Univers. Comput. Sci.},
volume = {17},
number = {5},
pages = {684--711},
year = {2011},
url = {https://doi.org/10.3217/jucs-017-05-0684},
doi = {10.3217/JUCS-017-05-0684},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GheyiMB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/SoaresCVAGM11,
author = {Gustavo Soares and
Bruno Catao and
Catuxe Varjao and
Solon Aguiar and
Rohit Gheyi and
Tiago Massoni},
title = {Analyzing Refactorings on Software Repositories},
booktitle = {25th Brazilian Symposium on Software Engineering, {SBES} 2011, Sao
Paulo, Brazil, September 28-30, 2011},
pages = {164--173},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SBES.2011.21},
doi = {10.1109/SBES.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbes/SoaresCVAGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/SoaresGSM10,
author = {Gustavo Soares and
Rohit Gheyi and
Dalton Dario Serey and
Tiago Massoni},
title = {Making Program Refactoring Safer},
journal = {{IEEE} Softw.},
volume = {27},
number = {4},
pages = {52--57},
year = {2010},
url = {https://doi.org/10.1109/MS.2010.63},
doi = {10.1109/MS.2010.63},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/SoaresGSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MassoniGB10,
author = {Tiago Massoni and
Rohit Gheyi and
Paulo Borba},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {Synchronizing Model and Program Refactoring},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {96--111},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_7},
doi = {10.1007/978-3-642-19829-8\_7},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MassoniGB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GheyiMBS09,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba and
Augusto Sampaio},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {A Complete Set of Object Modeling Laws for Alloy},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {204--219},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_14},
doi = {10.1007/978-3-642-10452-7\_14},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/GheyiMBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-4800,
author = {Gabriel Falconieri Freitas and
M{\'{a}}rcio Corn{\'{e}}lio and
Tiago Massoni and
Rohit Gheyi},
editor = {Ian Mackie and
Anamaria Martins Moreira},
title = {Object-oriented Programming Laws for Annotated Java Programs},
booktitle = {Proceedings Tenth International Workshop on Rule-Based Programming,
{RULE} 2009, Bras{\'{\i}}lia, Brazil, 28th June 2009},
series = {{EPTCS}},
volume = {21},
pages = {65--76},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.21.6},
doi = {10.4204/EPTCS.21.6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-4800.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GheyiMB08,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba},
title = {Algebraic Laws for Feature Models},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {21},
pages = {3573--3591},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-21-3573},
doi = {10.3217/JUCS-014-21-3573},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GheyiMB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MassoniGB08,
author = {Tiago Massoni and
Rohit Gheyi and
Paulo Borba},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Formal Model-Driven Program Refactoring},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {362--376},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_27},
doi = {10.1007/978-3-540-78743-3\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/MassoniGB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MassoniGB06,
author = {Tiago Massoni and
Rohit Gheyi and
Paulo Borba},
title = {An Approach to Invariant-based Program Refactoring},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {3},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.3.25},
doi = {10.14279/TUJ.ECEASST.3.25},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/MassoniGB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/AlvesGMKBL06,
author = {Vander Alves and
Rohit Gheyi and
Tiago Massoni and
Uir{\'{a}} Kulesza and
Paulo Borba and
Carlos Jos{\'{e}} Pereira de Lucena},
editor = {Stan Jarzabek and
Douglas C. Schmidt and
Todd L. Veldhuizen},
title = {Refactoring product lines},
booktitle = {Generative Programming and Component Engineering, 5th International
Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
Proceedings},
pages = {201--210},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1173706.1173737},
doi = {10.1145/1173706.1173737},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/AlvesGMKBL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MassoniGB08,
author = {Tiago Massoni and
Rohit Gheyi and
Paulo Borba},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {A Framework for Establishing Formal Conformance between Object Models
and Object-Oriented Programs},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {189--209},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.033},
doi = {10.1016/J.ENTCS.2007.08.033},
timestamp = {Thu, 09 Feb 2023 11:07:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MassoniGB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GheyiMB05,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A rigorous approach for proving model refactorings},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {372--375},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101973},
doi = {10.1145/1101908.1101973},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GheyiMB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MassoniGB05,
author = {Tiago Massoni and
Rohit Gheyi and
Paulo Borba},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {A model-driven approach to formal refactoring},
booktitle = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {124--125},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094855.1094895},
doi = {10.1145/1094855.1094895},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MassoniGB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GheyiM05,
author = {Rohit Gheyi and
Tiago Massoni},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Formal refactorings for object models},
booktitle = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {208--209},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094855.1094938},
doi = {10.1145/1094855.1094938},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/GheyiM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/MassoniGB05,
author = {Tiago Massoni and
Rohit Gheyi and
Paulo Borba},
editor = {Arndt von Staa},
title = {Formal Refactoring for {UML} Class Diagrams},
booktitle = {Proceedings of the 19th Brazilian Symposium on Software Engineering,
{SBES} 2005, Uberl{\^{a}}ndia, MG, Brazil, October 3-7, 2005},
pages = {152--167},
publisher = {{SBC}},
year = {2005},
url = {https://doi.org/10.5753/sbes.2005.23817},
doi = {10.5753/SBES.2005.23817},
timestamp = {Mon, 08 Jan 2024 11:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sbes/MassoniGB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GheyiMB07,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba},
editor = {Augusto Sampaio},
title = {A Static Semantics for Alloy and its Impact in Refactorings},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {209--233},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.023},
doi = {10.1016/J.ENTCS.2007.03.023},
timestamp = {Tue, 24 Jan 2023 14:02:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GheyiMB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GheyiMB05,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {An Abstract Equivalence Notion for Object Models},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {3--21},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.002},
doi = {10.1016/J.ENTCS.2005.03.002},
timestamp = {Mon, 12 Dec 2022 15:57:02 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GheyiMB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
