Gustavo Carvalho

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 16

Top Topics

Reactive Systems

Test Case Generation

Natural Language

Social Semantic Desktop

Top Venues

Sci. Comput. Program.

Formal Aspects Comput.

Publications

James Baxter, Gustavo Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior
RoboWorld: Verification of Robotic Systems with Environment in the Loop. Formal Aspects Comput. 35 (4) (2023)
Lucas Maciel, Alice Oliveira, Riei Rodrigues, Williams Santiago, Andresa Silva, Gustavo Carvalho, Breno Miranda
A Systematic Mapping Study on Robotic Testing of Mobile Devices. SEAA (2022)
Gustavo Carvalho, Volker Stolz
Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020. Sci. Comput. Program. 220 (2022)
Ana Cavalcanti, James Baxter, Gustavo Carvalho
RoboWorld: Where Can My Robot Work? SEFM (2021)
Gustavo Carvalho, Igor Meira
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements. Sci. Comput. Program. 201 (2021)
Konstantinos Papageorgiou, Gustavo Carvalho, Elpiniki I. Papageorgiou, Nikolaos I. Papandrianos, Márcio Mendonça, Georgios I. Stamoulis
Exploring Brazilian Photovoltaic Solar Energy development scenarios using the Fuzzy Cognitive Map Wizard Tool. FUZZ-IEEE (2020)
Hugo L. S. Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
Multi-objective Search for Effective Testing of Cyber-Physical Systems. SEFM (2019)
Gustavo Carvalho, Igor Meira
Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements. CoRR (2019)
Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio
CPN simulation-based test case generation from controlled natural-language requirements. Sci. Comput. Program. 181 (2019)
Tainã Santos, Gustavo Carvalho, Augusto Sampaio
Formal Modelling of Environment Restrictions from Natural-Language Requirements. SBMF (2018)
Hugo L. S. Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio
Sound conformance testing for cyber-physical systems: Theory and implementation. Sci. Comput. Program. 162 (2018)
Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles (2017)
Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
Simulation of hybrid systems from natural-language requirements. CASE (2017)
Hugo L. S. Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad
A Process for Sound Conformance Testing of Cyber-Physical Systems. ICST Workshops (2017)
Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio
Modelling timed reactive systems from natural-language requirements. Formal Aspects Comput. 28 (5) (2016)
Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros
Model Checking Requirements. SBMF (2016)
Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio
Test Case Generation from Natural Language Requirements Using CPN Simulation. SBMF (2015)
Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. SEFM (2015)
Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
: Test case generation from natural language requirements based on SCR specifications. Sci. Comput. Program. 95 (2014)
Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio
A Formal Model for Natural-Language Timed Requirements of Reactive Systems. ICFEM (2014)
Gustavo Carvalho, Diogo Falcão, Flávia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
Test case generation from natural language requirements based on SCR specifications. SAC (2013)
Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska
Model-Based Testing from Controlled Natural Language Requirements. FTSCS (2013)
Gustavo Carvalho, Augusto Sampaio, Alexandre Mota
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. ICFEM (2013)
Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. SBMF (2012)
Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho
An Analytical and Experimental Comparison of CSP Extensions and Tools. ICFEM (2012)
Sergio Palma da Justa Medeiros, Jano Moreira de Souza, Gustavo Carvalho, Ester J. C. de Lima
Locale similarity semantic search in large groups decision: MUTIRÕ project for the Rio 2016 Olympic Games. CSCWD (2011)
Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio Palma da Justa Medeiros
LaSca: a Large Scale Group Decision Support System. J. Univers. Comput. Sci. 17 (2) (2011)
Sergio Palma da Justa Medeiros, Gustavo Carvalho, Jano Moreira de Souza, Erick Alves Rezende
Large groups decision for the Rio 2016 Olympic Games in the MUTIRÕ project. CSCWD (2010)
Gustavo Carvalho, Sergio Palma da Justa Medeiros, Erick Alves Rezende, Jano Moreira de Souza
Organizing Public Security during international sports events with LaSca. CSCWD (2010)
Gustavo Carvalho, Jano Moreira de Souza, Sergio Palma da Justa Medeiros
Collaboration engineering, philosophy, and Democracy with LaSca. CSCWD (2009)
Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio P. J. Medeiros
LaSca: A large scale group decision support system. CSCWD (2008)
Fabio Nascimbeni, Raul Martins, Gustavo Carvalho
WINDS workshop: Europe-Latin America cooperation in ICT research: state of the art and possibilities offered by the FP7. EATIS (2008)
Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio P. J. Medeiros
Large Scale Decision Making in Participatory Environmental Design. CSCWD (2007)