Gustavo Carvalho
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
6
Active years
2007–2021
Best venue rank
C
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SEFM | RoboWorld: Where Can My Robot Work? | Ana Cavalcanti, James Baxter, Gustavo Carvalho |
| 2019 | SEFM | Multi-objective Search for Effective Testing of Cyber-Physical Systems. | Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio |
| 2017 | ICST | A Process for Sound Conformance Testing of Cyber-Physical Systems. | Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad |
| 2015 | SEFM | NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. | Gustavo Carvalho, Flvia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio |
| 2014 | ICFEM | A Formal Model for Natural-Language Timed Requirements of Reactive Systems. | Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio |
| 2013 | ICFEM | A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. | Gustavo Carvalho, Augusto Sampaio, Alexandre Mota |
| 2013 | SAC | Test case generation from natural language requirements based on SCR specifications. | Gustavo Carvalho, Diogo Falco, Flvia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn |
| 2012 | ICFEM | An Analytical and Experimental Comparison of CSP Extensions and Tools. | Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho |
| 2011 | CSCWD | 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 |
| 2010 | CSCWD | Organizing Public Security during international sports events with LaSca. | Gustavo Carvalho, Sergio Palma da Justa Medeiros, Erick Alves Rezende, Jano Moreira de Souza |
| 2010 | CSCWD | 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 |
| 2009 | CSCWD | Collaboration engineering, philosophy, and Democracy with LaSca. | Gustavo Carvalho, Jano Moreira de Souza, Sergio Palma da Justa Medeiros |
| 2008 | CSCWD | LaSca: A large scale group decision support system. | Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio P. J. Medeiros |
| 2008 | EATIS | 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 |
| 2007 | CSCWD | Large Scale Decision Making in Participatory Environmental Design. | Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio P. J. Medeiros |