3 citations · 5 across the 3 of their papers we have counts for
3 papers
A Pattern-based deadlock-freedom analysis strategy for concurrent systems
Pedro Antonino, Augusto Sampaio, Jim Woodcock
Local analysis has long been recognised as an effective tool to combat the state-space explosion problem. In this work, we propose a method that systematises the use of local analy…
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio +1
Smart contracts are the building blocks of the "code is law" paradigm: the smart contract's code indisputably describes how its assets are to be managed - once it is created, its c…
A refinement checking based strategy for component-based systems evolution
José Dihego, Augusto Sampaio, Marcel Oliveira
We propose inheritance and refinement relations for a CSP-based component model (BRIC), which supports a constructive design based on composition rules that preserve classical conc…