Journal papers
ARRUDA, FILIPE; BARROS, FLÃVIA; Sampaio, Augusto 'Automation and consistency analysis of test cases written in natural language: An industrial context', SCIENCE OF COMPUTER PROGRAMMING, v. 189, p. 102377-, 2020.
DIHEGO, JOSÃ; Sampaio, Augusto; OLIVEIRA, MARCEL 'A refinement checking based strategy for component-based systems evolution', JOURNAL OF SYSTEMS AND SOFTWARE, v. 167, p. 110598-, 2020.
Cavalcanti, Ana; Sampaio, Augusto; MIYAZAWA, ALVARO; RIBEIRO, PEDRO; FILHO, MADIEL CONSERVA; DIDIER, ANDRÃ; LI, WEI; TIMMIS, JON 'Verified simulation for robotics', SCIENCE OF COMPUTER PROGRAMMING, v. 174, p. 1-137, 2019.
Nogueira, Sidney; ARAUJO, HUGO; ARAUJO, RENATA; Iyoda, Juliano; Sampaio, Augusto 'Test case generation, selection and coverage from natural language', SCIENCE OF COMPUTER PROGRAMMING, v. 181, p. 84-110, 2019.
SILVA, BRUNO CESAR F.; CARVALHO, GUSTAVO; Sampaio, Augusto 'CPN simulation-based test case generation from controlled natural-language requirements', SCIENCE OF COMPUTER PROGRAMMING, v. 181, p. 111-139, 2019.
Sampaio, Augusto; WANG, FARN 'Theoretical aspects of computing', THEORETICAL COMPUTER SCIENCE, v. 744, p. 1-2, 2018.
CONSERVA FILHO, M.S.; OLIVEIRA, M.V.M.; Sampaio, A.; Cavalcanti, Ana 'Compositional and Local Livelock Analysis for CSP', INFORMATION PROCESSING LETTERS, v. 1, p. 1-, 2018.