19 citations · 25 across the 5 of their papers we have counts for
2 papers
cs.IT2023★ 5 cited
MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications
Giacomo Ibba, Sabrina Aufiero, Silvia Bartolucci +4
This paper presents MindTheDApp, a toolchain designed specifically for the structural analysis of Ethereum-based Decentralized Applications (DApps), with a distinct focus on a comp…
cs.DC2014★ 19 cited
Timed Runtime Monitoring for Multiparty Conversations
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreogr…