Journal papers
ARAUJO, HUGO; CARVALHO, GUSTAVO; MOHAQEQI, MORTEZA; MOUSAVI, MOHAMMAD REZA; Sampaio, Augusto 'Sound Conformance Testing for Cyber-Physical Systems: Theory and Implementation', SCIENCE OF COMPUTER PROGRAMMING, v. 1, p. 1-, 2017.
FALASCHI, MORENO; Sampaio, Augusto 'Editorial', FORMAL ASPECTS OF COMPUTING, v. 29, p. 381-382, 2017.
Lima, Lucas; MIYAZAWA, ALVARO; Cavalcanti, Ana; CORNÃLIO, MÃRCIO; Iyoda, Juliano; Sampaio, Augusto; HAINS, RALPH; LARKHAM, ADRIAN; LEWIS, VAUGHAN 'An integrated semantics for reasoning about SysML design models using refinement', Software & Systems Modeling, v. 16, p. 875-902, 2017.
GHEYI, ROHIT; BORBA, PAULO; Sampaio, Augusto; RIBEIRO, MÃRCIO 'An idiom to represent data types in Alloy', Information and Software Technology, v. 82, p. 173-176, 2017.
OLIVEIRA, M. V. M.; ANTONINO, P.; RAMOS, R.; Sampaio, A.; MOTA, A.; ROSCOE, A. W. 'Rigorous development of component-based systems using component metadata and patterns', Formal Aspects of Computing, v. 1, p. 1-68, 2016.
CARVALHO, GUSTAVO; Cavalcanti, Ana; Sampaio, Augusto 'Modelling timed reactive systems from natural-language requirements', Formal Aspects of Computing (Internet), v. 1, p. 1-41, 2016.
Nogueira, Sidney; Sampaio, Augusto; Mota, Alexandre 'Test generation from state based use case models', Formal Aspects of Computing (Internet), v. 26, p. 441-490, 2014.