Journal papers

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 and Systems Modeling (Print), v. 1, p. 1-, 2015.

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.

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.

Veja mais: 12345