BibTeX records: Thiago M. Castro

download as .bib file

@article{DBLP:journals/eswa/AmorimRMAFCAOSP23,
  author       = {Junier Caminha Amorim and
                  Eduardo Lemos Rocha and
                  Luigi Minardi and
                  Vander Alves and
                  Edison Pignaton de Freitas and
                  Thiago M. Castro and
                  Moussa Amrani and
                  James Ortiz and
                  Pierre{-}Yves Schobbens and
                  Gilles Perrouin},
  title        = {Providing command and control agility: {A} software product line approach},
  journal      = {Expert Syst. Appl.},
  volume       = {216},
  pages        = {119473},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.eswa.2022.119473},
  doi          = {10.1016/J.ESWA.2022.119473},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eswa/AmorimRMAFCAOSP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/CastroTAACG21,
  author       = {Thiago M. Castro and
                  Leopoldo Teixeira and
                  Vander Alves and
                  Sven Apel and
                  Maxime Cordy and
                  Rohit Gheyi},
  title        = {A Formal Framework of Software Product Line Analyses},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {30},
  number       = {3},
  pages        = {34:1--34:37},
  year         = {2021},
  url          = {https://doi.org/10.1145/3442389},
  doi          = {10.1145/3442389},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/CastroTAACG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbmf/AlvesTAC20,
  author       = {Thayonara Alves and
                  Leopoldo Teixeira and
                  Vander Alves and
                  Thiago M. Castro},
  editor       = {Gustavo Carvalho and
                  Volker Stolz},
  title        = {Porting the Software Product Line Refinement Theory to the Coq Proof
                  Assistant},
  booktitle    = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
                  {SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12475},
  pages        = {192--209},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63882-5\_12},
  doi          = {10.1007/978-3-030-63882-5\_12},
  timestamp    = {Tue, 01 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbmf/AlvesTAC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/splc/LannaCARSA19,
  author       = {Andr{\'{e}} Lanna and
                  Thiago M. Castro and
                  Vander Alves and
                  Gena{\'{\i}}na Nunes Rodrigues and
                  Pierre{-}Yves Schobbens and
                  Sven Apel},
  editor       = {Thorsten Berger and
                  Philippe Collet and
                  Laurence Duchien and
                  Thomas Fogdal and
                  Patrick Heymans and
                  Timo Kehrer and
                  Jabier Martinez and
                  Ra{\'{u}}l Mazo and
                  Leticia Montalvillo and
                  Camille Salinesi and
                  Xhevahire T{\"{e}}rnava and
                  Thomas Th{\"{u}}m and
                  Tewfik Ziadi},
  title        = {Feature-family-based reliability analysis of software product lines},
  booktitle    = {Proceedings of the 23rd International Systems and Software Product
                  Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,
                  2019},
  pages        = {11:1},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3336294.3342376},
  doi          = {10.1145/3336294.3342376},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/splc/LannaCARSA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/infsof/LannaCARSA18,
  author       = {Andr{\'{e}} Lanna and
                  Thiago M. Castro and
                  Vander Alves and
                  Gena{\'{\i}}na Nunes Rodrigues and
                  Pierre{-}Yves Schobbens and
                  Sven Apel},
  title        = {Feature-family-based reliability analysis of software product lines},
  journal      = {Inf. Softw. Technol.},
  volume       = {94},
  pages        = {59--81},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.infsof.2017.10.001},
  doi          = {10.1016/J.INFSOF.2017.10.001},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/infsof/LannaCARSA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CastroLATAS18,
  author       = {Thiago M. Castro and
                  Andr{\'{e}} Lanna and
                  Vander Alves and
                  Leopoldo Teixeira and
                  Sven Apel and
                  Pierre{-}Yves Schobbens},
  title        = {All roads lead to Rome: Commuting strategies for product-line reliability
                  analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {152},
  pages        = {116--160},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.10.013},
  doi          = {10.1016/J.SCICO.2017.10.013},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CastroLATAS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/infsof/PessoaFCARC17,
  author       = {Leonardo Pessoa and
                  Paula Fernandes and
                  Thiago M. Castro and
                  Vander Alves and
                  Gena{\'{\i}}na Nunes Rodrigues and
                  Hervaldo Sampaio Carvalho},
  title        = {Building reliable and maintainable Dynamic Software Product Lines:
                  An investigation in the Body Sensor Network domain},
  journal      = {Inf. Softw. Technol.},
  volume       = {86},
  pages        = {54--70},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.infsof.2017.02.002},
  doi          = {10.1016/J.INFSOF.2017.02.002},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/infsof/PessoaFCARC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijseke/LimaBCCFPK15,
  author       = {Lucas Lima and
                  Rodrigo Bonif{\'{a}}cio and
                  Edna Dias Canedo and
                  Thiago M. Castro and
                  Ricardo Fernandes and
                  Alisson Palmeira and
                  Uir{\'{a}} Kulesza},
  title        = {NeoIDL: {A} Domain Specific Language for Specifying {REST} Contracts
                  Detailed Design and Extended Evaluation},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {25},
  number       = {9-10},
  pages        = {1653--1676},
  year         = {2015},
  url          = {https://doi.org/10.1142/S0218194015400379},
  doi          = {10.1142/S0218194015400379},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/LimaBCCFPK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/seke/BonifacioCFPK15,
  author       = {Rodrigo Bonif{\'{a}}cio and
                  Thiago M. Castro and
                  Ricardo Fernandes and
                  Alisson Palmeira and
                  Uir{\'{a}} Kulesza},
  editor       = {Haiping Xu},
  title        = {NeoIDL: {A} Domain-Specific Language for Specifying {REST} Services},
  booktitle    = {The 27th International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} 2015, Wyndham Pittsburgh University Center, Pittsburgh,
                  PA, USA, July 6-8, 2015},
  pages        = {613--618},
  publisher    = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
  year         = {2015},
  url          = {https://doi.org/10.18293/SEKE2015-218},
  doi          = {10.18293/SEKE2015-218},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/BonifacioCFPK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.