11 citations · 12 across the 7 of their papers we have counts for
3 papers · 1 filter
Testing Smart Contracts Gets Smarter
Erfan Andesta, Fathiyeh Faghih, Mahdi Fooladgar
Smart contracts are immutable, verifiable, and autonomous pieces of code that can be deployed and ran on blockchain networks like Ethereum. Due to the immutability nature of blockc…
Decentralized Runtime Verification for LTL Properties Using Global Clock
M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah
Runtime verification is the process of verifying critical behavioral properties in big complex systems, where formal verification is not possible due to state space explosion. Ther…
The Proceedings of First Work-in-Progress Session of The CSI International Symposium on Real-Time and Embedded Systems and Technologies
Ali Behnoudfar, Seyyed Hossein Hosseini Zahani, Mojtaba Hatami +4
The present volume contains the proceedings of RTEST WiP 2018, chaired by Marco Caccamo, University of Illinois at Urbana-Champaign. This event has been organized by the School of…