Augusto Sampaio | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Jim Woodcock
18 publications
A. W. Roscoe
8 publications
Pedro Antonino
6 publications
Marcel Oliveira
2 publications
Juliandson Ferreira
1 publication
José Dihego
1 publication

research

∙ 07/18/2022

A Pattern-based deadlock-freedom analysis strategy for concurrent systems

Local analysis has long been recognised as an effective tool to combat t...

0 Pedro Antonino, et al. ∙

research

∙ 05/16/2022

Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts

Smart contracts are the building blocks of the "code is law" paradigm: t...

0 Pedro Antonino, et al. ∙

research

∙ 05/20/2020

A refinement checking based strategy for component-based systems evolution

We propose inheritance and refinement relations for a CSP-based componen...

0 José Dihego, et al. ∙