Publications

Publication Type	Total Number
Conference papers	17
Journal papers	5
Book chapters	2

Lucas Maciel, Alice Oliveira, Riei Rodrigues, Williams Santiago, Andresa Silva, Gustavo Carvalho, Breno Miranda (2022). A Systematic Mapping Study on Robotic Testing of Mobile Devices. 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).

Gustavo Carvalho, Igor Meira (2021). Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements. Science of Computer Programming.

Ana Cavalcanti, James Baxter, Gustavo Carvalho (2021). RoboWorld: Where Can My Robot Work?. Software Engineering and Formal Methods.

Ana Cavalcanti, Will Barnett, James Baxter, Gustavo Carvalho, Madiel Conserva Filho, Alvaro Miyazawa, Pedro Ribeiro, Augusto Sampaio (2021). RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing. Software Engineering for Robotics.

Hugo Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio (2019). Multi-objective Search for Effective Testing of Cyber-Physical Systems. Software Engineering and Formal Methods.

Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio (2019). CPN simulation-based test case generation from controlled natural-language requirements. Science of Computer Programming.

Hugo Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio (2018). Sound conformance testing for cyber-physical systems: Theory and implementation. Science of Computer Programming.

Tainã Santos, Gustavo Carvalho, Augusto Sampaio (2018). Formal Modelling of Environment Restrictions from Natural-Language Requirements. Formal Methods: Foundations and Applications.

H. Araujo, G. Carvalho, A. Sampaio, M. R. Mousavi, M. Taromirad (2017). A Process for Sound Conformance Testing of Cyber-Physical Systems. 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

B. Oliveira, G. Carvalho, M. R. Mousavi, A. Sampaio (2017). Simulation of hybrid systems from natural-language requirements. 2017 13th IEEE Conference on Automation Science and Engineering (CASE).

Thomas Gibson-Robinson, Guy Broadfoot, Gustavo Carvalho, Philippa Hopcroft, Gavin Lowe, Sidney Nogueira, Colin O'Halloran, Augusto Sampaio (2017). FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday.

Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio (2016). Modelling timed reactive systems from natural-language requirements. Formal Aspects of Computing.

Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio (2016). Test Case Generation from Natural Language Requirements Using CPN Simulation. Formal Methods: Foundations and Applications.

Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia Barros (2016). Model Checking Requirements. Formal Methods: Foundations and Applications.

Gustavo Carvalho, Flávia Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio (2015). NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. Software Engineering and Formal Methods.

(2014). NAT2TEST$_SCR$: Test case generation from natural language requirements based on SCR specifications. Science of Computer Programming.

Gustavo Carvalho, Flávia Barros, Florian Lapschies, Uwe Schulze, Jan Peleska (2014). Model-Based Testing from Controlled Natural Language Requirements. Formal Techniques for Safety-Critical Systems.

Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio (2014). A Formal Model for Natural-Language Timed Requirements of Reactive Systems. Formal Methods and Software Engineering.

Gustavo Carvalho, Diogo Falcão, Flávia Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark Blackburn (2013). Test Case Generation from Natural Language Requirements Based on SCR Specifications. Proceedings of the 28th Annual ACM Symposium on Applied Computing.

Gustavo Carvalho, Augusto Sampaio, Alexandre Mota (2013). A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. Formal Methods and Software Engineering.

Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho (2012). An Analytical and Experimental Comparison of CSP Extensions and Tools. Formal Methods and Software Engineering.

Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio (2012). A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. Formal Methods: Foundations and Applications.

Gustavo Carvalho, Rafael Cabral, Alexandre Mota (2012). A Formal Analysis of Concurrent Assembly Code based on CSP. Proceedings of the 15th Brazilian Symposium on Formal Methods (Short paper).

Gustavo Carvalho, Tarciana Dias, Alexandre Mota, Augusto Sampaio (2011). Analytical Comparison of Refinement Checkers. Proceedings of the 14th Brazilian Symposium on Formal Methods (Short paper).