Skip to main content
College of Engineering
Trustworthy and Reliable Technologies Lab (TART)
Contact
EGR
MSU
Maps
Jobs
Home
Members
Projects
Publications
Research
Teaching
Tools
Yogi Joshi
Home
Master's student (Graduated 2015)
Publications
2016
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi, "
Accelerated Runtime Verification of LTL Specifications with Counting Semantics
"
International Conference on Runtime Verification (RV)
,
Springer
,
2016
.
rv16.pdf
(731.69 KB)
Stay Connected