Conference papers
Mingzhuo Zhang; Dehui du; Augusto Sampaio; Ana Cavalcanti; Conserva Filho, Madiel S.; Menghan Zhang 'Verification of RoboSim Models Using UPPAAL', The 15th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021, , p. 1-8, 2021.
Hugo Araujo.; Gustavo Carvalho; MOUSAVI, MOHAMMAD REZA; Augusto Sampaio 'Multi-objective Search for Effective Testing of Cyber-Physical Systems', Software Engineering and Formal Methods. SEFM 2019, v. 11724, p. 183-202, 2019.
Flávia Falcão; Lucas Lima; Augusto Sampaio 'Safe and Constructive Design with UML Components', SBMF 2018, v. 11254, p. 234-251, 2018.
CAVALCANTI, A.; MIYAZAWA, ALVARO; Augusto Sampaio 'Modelling and Verification for Swarm Robotics', 14th International Conference on integrated Formal Methods, v. 11023, p. 1-19, 2018.
Tainã Santos; Gustavo Carvalho; Augusto Sampaio 'Formal Modelling of Environment Restrictions from Natural-Language Requirements', SBMF 2018, v. 11254, p. 252-270, 2018.
Rafaela Almeida; Sidney Nogueira; Augusto Sampaio 'Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions', SBMF 2018, v. 11254, p. 163-179, 2018.
OLIVEIRA, BRUNO; CARVALHO, GUSTAVO; MOUSAVI, MOHAMMAD REZA; Sampaio, Augusto 'Simulation of hybrid systems from natural-language requirements', 2017 13th IEEE Conference on Automation Science and Engineering (CASE), , p. 1320-, 2017.