Gustavo Carvalho

According to our database, Gustavo Carvalho authored at least 34 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Teaching Formal Methods for 10 Years: Reflections on theories, tools, materials, and communities.

Gustavo Carvalho

Proceedings of the Formal Methods Teaching - 6th Formal Methods Teaching Workshop, 2024

An Integrated Framework for Analysing, Simulating and Testing UML Models.

Gustavo Carvalho, José Dihego, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

2023

RoboWorld: Verification of Robotic Systems with Environment in the Loop.

James Baxter, Gustavo Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior

Formal Aspects Comput., December, 2023

2022

Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020.

Gustavo Carvalho, Volker Stolz

Sci. Comput. Program., 2022

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

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

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

RoboWorld: Where Can My Robot Work?

Ana Cavalcanti, James Baxter, Gustavo Carvalho

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2020

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

Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019

CPN simulation-based test case generation from controlled natural-language requirements.

Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio

Sci. Comput. Program., 2019

Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.

Gustavo Carvalho, Igor Meira

CoRR, 2019

Multi-objective Search for Effective Testing of Cyber-Physical Systems.

Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2018

Sound conformance testing for cyber-physical systems: Theory and implementation.

Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio

Sci. Comput. Program., 2018

Formal Modelling of Environment Restrictions from Natural-Language Requirements.

Tainã Santos, Gustavo Carvalho, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

2017

A Process for Sound Conformance Testing of Cyber-Physical Systems.

Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Simulation of hybrid systems from natural-language requirements.

Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

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

Proceedings of the Concurrency, Security, and Puzzles, 2017

2016

Modelling timed reactive systems from natural-language requirements.

Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio

Formal Aspects Comput., 2016

Model Checking Requirements.

Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2015

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP.

Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Test Case Generation from Natural Language Requirements Using CPN Simulation.

Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

2014

NAT2TEST_SCR: Test case generation from natural language requirements based on SCR specifications.

Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn

Sci. Comput. Program., 2014

A Formal Model for Natural-Language Timed Requirements of Reactive Systems.

Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Test case generation from natural language requirements based on SCR specifications.

Gustavo Carvalho, Diogo Falcão, Flávia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.

Gustavo Carvalho, Augusto Sampaio, Alexandre Mota

Proceedings of the Formal Methods and Software Engineering, 2013

Model-Based Testing from Controlled Natural Language Requirements.

Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012

A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications.

Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

An Analytical and Experimental Comparison of CSP Extensions and Tools.

Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho

Proceedings of the Formal Methods and Software Engineering, 2012

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

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

Proceedings of the 2011 15th International Conference on Computer Supported Cooperative Work in Design, 2011

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

Proceedings of the 2010 14th International Conference on Computer Supported Cooperative Work in Design, 2010

Organizing Public Security during international sports events with LaSca.

Gustavo Carvalho, Sergio Palma da Justa Medeiros, Erick Alves Rezende, Jano Moreira de Souza

Proceedings of the 2010 14th International Conference on Computer Supported Cooperative Work in Design, 2010

2009

Collaboration engineering, philosophy, and Democracy with LaSca.

Gustavo Carvalho, Jano Moreira de Souza, Sergio Palma da Justa Medeiros

Proceedings of the 13th International Conference on Computers Supported Cooperative Work in Design, 2009

2008

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

Proceedings of the 2008 Euro American conference on Telematics and Information Systems, 2008

2007

Large Scale Decision Making in Participatory Environmental Design.

Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio P. J. Medeiros

Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007