Journal papers
CARVALHO, GUSTAVO; FALCÃO, DIOGO; BARROS, FLÃVIA; Sampaio, Augusto; Mota, Alexandre; MOTTA, LEONARDO; BLACKBURN, MARK 'Test case generation from natural language requirements based on SCR specifications', Science of Computer Programming (Print), v. 95, p. 275-297, 2014.
Sampaio, Augusto; Nogueira, Sidney; Mota, Alexandre; ISOBE, YOSHINAO 'Sound and mechanised compositional verification of input-output conformance', Software Testing, Verification & Reliability, v. 24, p. 289-319, 2014.
Naumann, David A.; Sampaio, Augusto; Silva, Leila 'Refactoring and representation independence for class hierarchies', Theoretical Computer Science, v. 433, p. 60-97, 2012.
Gomes, Adriano; Mota, Alexandre; Sampaio, Augusto; Ferri, Felipe; Watanabe, Edson 'Constructive model-based analysis for safety assessment', International Journal on Software Tools for Technology Transfer (Internet), v. 1, p. 1-30, 2012.
Duarte, Rafael; Mota, Alexandre; Sampaio, Augusto 'Introducing concurrency in sequential Java via laws', Information Processing Letters (Print), v. 111, p. 129-134, 2011.
Perna, Juan; Woodcock, Jim; Sampaio, Augusto; Iyoda, Juliano 'Correct hardware synthesis', Acta Informatica, v. 48, p. 363-396, 2011.
M. Cornelio; Cavalcanti, Ana; Sampaio, Augusto 'Sound Refactorings', Science of Computer Programming (Print), v. 75, p. 106-133, 2010.