ask others

Gustavo Carvalho

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/AraujoCMMS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/AraujoCMMS18
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: 35-54 (2018)
2017
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Gibson-Robinson17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Gibson-Robinson17
Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney Nogueira, Colin O'Halloran, Augusto Sampaio:
FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles 2017: 65-87
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/case/OliveiraCMS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/case/OliveiraCMS17
Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio:
Simulation of hybrid systems from natural-language requirements. CASE 2017: 1320-1325
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icst/AraujoCSMT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/AraujoCSMT17
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: 46-50
2016
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/CarvalhoCS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/CarvalhoCS16
Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio:
Modelling timed reactive systems from natural-language requirements. Formal Asp. Comput. 28(5): 725-765 (2016)
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/BarzaCISMB16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/BarzaCISMB16
Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros:
Model Checking Requirements. SBMF 2016: 217-234
2015
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/SilvaCS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/SilvaCS15
Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio:
Test Case Generation from Natural Language Requirements Using CPN Simulation. SBMF 2015: 178-193
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/CarvalhoBCCMS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/CarvalhoBCCMS15
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: 283-290
2014
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/CarvalhoFBSMMB14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/CarvalhoFBSMMB14
Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn:
NAT2TEST_SCR: Test case generation from natural language requirements based on SCR specifications. Sci. Comput. Program. 95: 275-297 (2014)
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfem/CarvalhoCRCS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/CarvalhoCRCS14
Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio:
A Formal Model for Natural-Language Timed Requirements of Reactive Systems. ICFEM 2014: 43-58
2013
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ftscs/CarvalhoBLSP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftscs/CarvalhoBLSP13
Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska:
Model-Based Testing from Controlled Natural Language Requirements. FTSCS 2013: 19-35
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfem/CarvalhoSM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/CarvalhoSM13
Gustavo Carvalho, Augusto Sampaio, Alexandre Mota:
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. ICFEM 2013: 148-164
[c10]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sac/CarvalhoFBSMMB13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sac/CarvalhoFBSMMB13
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: 1217-1222
2012
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfem/ShiL0DC12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/ShiL0DC12
Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho:
An Analytical and Experimental Comparison of CSP Extensions and Tools. ICFEM 2012: 381-397
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/CarvalhoFMS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sbmf/CarvalhoFMS12
Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio:
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. SBMF 2012: 67-82
2011
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jucs/CarvalhoVSM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jucs/CarvalhoVSM11
Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio Palma da Justa Medeiros:
LaSca: a Large Scale Group Decision Support System. J. UCS 17(2): 261-275 (2011)
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cscwd/MedeirosSCL11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cscwd/MedeirosSCL11
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: 375-380
2010
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cscwd/MedeirosCSR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cscwd/MedeirosCSR10
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: 585-589
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cscwd/CarvalhoMRS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cscwd/CarvalhoMRS10
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: 753-758

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c4]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/cscwd/CarvalhoSM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cscwd/CarvalhoSM09
Gustavo Carvalho, Jano Moreira de Souza, Sergio Palma da Justa Medeiros:
Collaboration engineering, philosophy, and Democracy with LaSca. CSCWD 2009: 50-55
2008
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cscwd/CarvalhoVSM08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cscwd/CarvalhoVSM08
Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio P. J. Medeiros:
LaSca: A large scale group decision support system. CSCWD 2008: 289-294
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/eatis/NascimbeniMC08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eatis/NascimbeniMC08
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
2007
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cscwd/CarvalhoVSM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cscwd/CarvalhoVSM07
Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio P. J. Medeiros:
Large Scale Decision Making in Participatory Environmental Design. CSCWD 2007: 349-354

Coauthor Index

see FAQ

maintained by

at