Gustavo Carvalho
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j4]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) - [c20]Tainã Santos, Gustavo Carvalho, Augusto Sampaio:
Formal Modelling of Environment Restrictions from Natural-Language Requirements. SBMF 2018: 252-270 - 2017
- [c19]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]Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio:
Simulation of hybrid systems from natural-language requirements. CASE 2017: 1320-1325 - [c17]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]Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio:
Modelling timed reactive systems from natural-language requirements. Formal Asp. Comput. 28(5): 725-765 (2016) - [c16]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]Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio:
Test Case Generation from Natural Language Requirements Using CPN Simulation. SBMF 2015: 178-193 - [c14]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]Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn:
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications. Sci. Comput. Program. 95: 275-297 (2014) - [c13]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]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]Gustavo Carvalho, Augusto Sampaio, Alexandre Mota:
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. ICFEM 2013: 148-164 - [c10]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]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]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]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]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]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]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
- 2009
- [c4]Gustavo Carvalho, Jano Moreira de Souza, Sergio Palma da Justa Medeiros:
Collaboration engineering, philosophy, and Democracy with LaSca. CSCWD 2009: 50-55 - 2008
- [c3]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]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]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
last updated on 2019-01-09 01:14 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint