Conference papers

ARAUJO, HUGO; CARVALHO, GUSTAVO; Sampaio, Augusto; MOUSAVI, MOHAMMAD REZA; TAROMIRAD, MASOUMEH 'A Process for Sound Conformance Testing of Cyber-Physical Systems', 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), , p. 46-50, 2017.

Lucas Lima; Iyoda, Juliano; Augusto Sampaio 'Refinement Verification of Sequence Diagrams Using CSP', Brazilian Symposium on Formal Methods, v. 10090, p. 235-252, 2016.

Sergio Barza.; Gustavo Carvalho; Iyoda, Juliano; Augusto Sampaio; Alexandre Cabral Mota; F. Barros 'Model Checking Requirements', Brazilian Symposium on Formal Methods, v. 10090, p. 217-234, 2016.

Madiel Conserva; Marcel Oliveira; Sampaio, Augusto; CAVALCANTI, A. 'Local Livelock Analysis of Component-Based Models', International Conference on Formal Engineering Methods, v. 10009, p. 279-295, 2016.

Augusto Sampaio; Filipe Arruda. 'Formal Testing from Natural Language in an Industrial Context', Brazilian Symposium on Formal Methods, v. 10090, p. 21-38, 2016.

Filipe Arruda.; Augusto Sampaio; BARROS, FLÁVIA 'Capture & Replay with Text-Based Reuse and Framework Agnosticism', SEKE 2016 - Software Engineering and Knowledge Engineering, , p. 1-, 2016.

Cavalcanti, Ana; HIERONS, ROBERT M.; Nogueira, Sidney; Sampaio, Augusto 'A Suspension-Trace Semantics for CSP', 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), , p. 3-13, 2016.

Veja mais: 12345678910111213