11 citations · 12 across the 7 of their papers we have counts for
Showing 2019 · cs.DCShow all
2 papers · 2 filters
cs.DC2019
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…
cs.DC2019
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…