Journal papers

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.

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.

Veja mais: 123456