Gustavo Carvalho

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