Augusto Sampaio

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 4

Top Topics

Behavioural Patterns

Top Venues

Softw. Syst. Model.

Sci. Comput. Program.

Publications

Joabe Jesus, Augusto Sampaio
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving. Sci. Comput. Program. 236 (2024)
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
A refinement-based approach to safe smart contract deployment and evolution. Softw. Syst. Model. 23 (3) (2024)
Flávia Falcão, Lucas Lima, Augusto Sampaio, Pedro Antonino
A formal component model for UML based on CSP aiming at compositional verification. Softw. Syst. Model. 23 (3) (2024)
Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio
Laws of Timed State Machines. Comput. J. 67 (6) (2024)