9 citations · 13 across the 2 of their papers we have counts for
3 papers
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts
Morena Barboni, Andrea Morichetta, Andrea Polini
Smart Contracts are software programs that are deployed and executed within a blockchain infrastructure. Due to their immutable nature, directly resulting from the specific charact…
Collaboration vs. choreography conformance in BPMN
Flavio Corradini, Andrea Morichetta, Andrea Polini +2
The BPMN 2.0 standard is a widely used semi-formal notation to model distributed information systems from different perspectives. The standard makes available a set of diagrams to…
Tangramob: an agent-based simulation framework for validating urban smart mobility solutions
Carlo Castagnari, Flavio Corradini, Francesco De Angelis +3
Estimating the effects of introducing a range of smart mobility solutions within an urban area is a crucial concern in urban planning. The lack of a Decision Support System (DSS) f…