Large Scale Decision Making in Participatory Environmental Design. - Gustavo Carvalho; Adriana Santarosa Vivacqua; Jano Moreira de Souza; Sergio P. J. Medeiros (CSCWD, 2007)

WINDS workshop: Europe-Latin America cooperation in ICT research: state of the art and possibilities offered by the FP7. - Fabio Nascimbeni; Raul Martins; Gustavo Carvalho (EATIS, 2008)

Collaboration engineering, philosophy, and Democracy with LaSca. - Gustavo Carvalho; Jano Moreira de Souza; Sergio Palma da Justa Medeiros (CSCWD, 2009)

Organizing Public Security during international sports events with LaSca. - Gustavo Carvalho; Sergio Palma da Justa Medeiros; Erick Alves Rezende; Jano Moreira de Souza (CSCWD, 2010)

Large groups decision for the Rio 2016 Olympic Games in the MUTIRÕ project. - Sergio Palma da Justa Medeiros; Gustavo Carvalho; Jano Moreira de Souza; Erick Alves Rezende (CSCWD, 2010)

Locale similarity semantic search in large groups decision: MUTIRÕ project for the Rio 2016 Olympic Games. - Sergio Palma da Justa Medeiros; Jano Moreira de Souza; Gustavo Carvalho; Ester J. C. de Lima (CSCWD, 2011)

LaSca: a Large Scale Group Decision Support System. - Gustavo Carvalho; Adriana Santarosa Vivacqua; Jano Moreira de Souza; Sergio Palma da Justa Medeiros (J. Univers. Comput. Sci., 2011)

An Analytical and Experimental Comparison of CSP Extensions and Tools. - Ling Shi 002; Yang Liu 003; Jun Sun 001; Jin Song Dong; Gustavo Carvalho (ICFEM, 2012)

A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. - Gustavo Carvalho; Diogo Falcão; Alexandre Mota 001; Augusto Sampaio 001 (SBMF, 2012)

Model-Based Testing from Controlled Natural Language Requirements. - Gustavo Carvalho; Flávia de Almeida Barros; Florian Lapschies; Uwe Schulze; Jan Peleska 001 (FTSCS, 2013)

A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. - Gustavo Carvalho; Augusto Sampaio 001; Alexandre Mota 001 (ICFEM, 2013)

Test case generation from natural language requirements based on SCR specifications. - Gustavo Carvalho; Diogo Falcão; Flávia A. Barros; Augusto Sampaio 001; Alexandre Mota 001; Leonardo Motta; Mark R. Blackburn (SAC, 2013)

A Formal Model for Natural-Language Timed Requirements of Reactive Systems. - Gustavo Carvalho; Ana Carvalho; Eduardo Rocha; Ana Cavalcanti 001; Augusto Sampaio 001 (ICFEM, 2014)

NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications. - Gustavo Carvalho; Diogo Falcão; Flávia de Almeida Barros; Augusto Sampaio 001; Alexandre Mota 001; Leonardo Motta; Mark R. Blackburn (Sci. Comput. Program., 2014)

Test Case Generation from Natural Language Requirements Using CPN Simulation. - Bruno Cesar F. Silva; Gustavo Carvalho; Augusto Sampaio 001 (SBMF, 2015)

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. - Gustavo Carvalho; Flávia A. Barros; Ana Carvalho; Ana Cavalcanti 001; Alexandre Mota 001; Augusto Sampaio 001 (SEFM, 2015)

Model Checking Requirements. - Sérgio Barza; Gustavo Carvalho; Juliano Iyoda; Augusto Sampaio 001; Alexandre Mota 001; Flávia de Almeida Barros (SBMF, 2016)

Modelling timed reactive systems from natural-language requirements. - Gustavo Carvalho; Ana Cavalcanti 001; Augusto Sampaio 001 (Formal Aspects Comput., 2016)

FDR: From Theory to Industrial Application. - Thomas Gibson-Robinson; Guy H. Broadfoot; Gustavo Carvalho; Philippa J. Hopcroft; Gavin Lowe; Sidney C. Nogueira; Colin O'Halloran; Augusto Sampaio 001 (Concurrency, Security, and Puzzles, 2017)

Simulation of hybrid systems from natural-language requirements. - Bruno Oliveira; Gustavo Carvalho; Mohammad Reza Mousavi 001; Augusto Sampaio 001 (CASE, 2017)

A Process for Sound Conformance Testing of Cyber-Physical Systems. - Hugo Leonardo da Silva Araujo; Gustavo Carvalho; Augusto Sampaio 001; Mohammad Reza Mousavi 001; Masoumeh Taromirad (ICST Workshops, 2017)

Formal Modelling of Environment Restrictions from Natural-Language Requirements. - Tainã Santos; Gustavo Carvalho; Augusto Sampaio 001 (SBMF, 2018)

Sound conformance testing for cyber-physical systems: Theory and implementation. - Hugo Leonardo da Silva Araujo; Gustavo Carvalho; Morteza Mohaqeqi; Mohammad Reza Mousavi 001; Augusto Sampaio 001 (Sci. Comput. Program., 2018)

Multi-objective Search for Effective Testing of Cyber-Physical Systems. - Hugo Leonardo da Silva Araujo; Gustavo Carvalho; Mohammad Reza Mousavi 001; Augusto Sampaio 001 (SEFM, 2019)

Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements. - Gustavo Carvalho; Igor Meira (CoRR, 2019)

CPN simulation-based test case generation from controlled natural-language requirements. - Bruno Cesar F. Silva; Gustavo Carvalho; Augusto Sampaio 001 (Sci. Comput. Program., 2019)

Exploring Brazilian Photovoltaic Solar Energy development scenarios using the Fuzzy Cognitive Map Wizard Tool. - Konstantinos Papageorgiou; Gustavo Carvalho; Elpiniki I. Papageorgiou; Nikolaos I. Papandrianos; Márcio Mendonça; Georgios I. Stamoulis (FUZZ-IEEE, 2020)

RoboWorld: Where Can My Robot Work? - Ana Cavalcanti 001; James Baxter 001; Gustavo Carvalho (SEFM, 2021)

Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements. - Gustavo Carvalho; Igor Meira (Sci. Comput. Program., 2021)

A Systematic Mapping Study on Robotic Testing of Mobile Devices. - Lucas D. Maciel; Alice Oliveira; Riei Rodrigues; Williams Santiago; Andresa Silva; Gustavo Carvalho; Breno Miranda (SEAA, 2022)

Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020. - Gustavo Carvalho; Volker Stolz (Sci. Comput. Program., 2022)

RoboWorld: Verification of Robotic Systems with Environment in the Loop. - James Baxter 001; Gustavo Carvalho; Ana Cavalcanti 001; Francisco Rodrigues Júnior (Formal Aspects Comput., 2023)

An Integrated Framework for Analysing, Simulating and Testing UML Models. - Gustavo Carvalho; José Dihego; Augusto Sampaio 001 (SBMF, 2024)

Teaching Formal Methods for 10 Years: Reflections on theories, tools, materials, and communities. - Gustavo Carvalho (FMTea, 2024)

Causality for Cyber-Physical Systems. - Hugo Araújo; Hana Chockler; Mohammad Reza Mousavi 001; Gustavo Carvalho; Augusto Sampaio 001 (CoRR, 2025)