![]() |
Proc. of HSCC 2022![]() |
![]() |
Havelund Festschrift (LNCS 13065), 2021 |
![]() |
Smolka Festschrift (LNCS 11500), 2019 |
![]() |
IEEE/ACM TCBB vol. 15(4), 2018 |
![]() |
LNCS Vol. 10457, 2018 |
![]() |
Vol 51 (1), FMSD, 2017 |
![]() |
LNBI Vol. 9859, CMSB 2016 |
![]() |
Vol. 4, STTT 2016 |
![]() |
LNCS Vol. 9333, RV 2015 |
![]() |
Vol. 236, Inf & Comp 2014 |
![]() |
LNCS Vol. 7976, SPIN 2013 |
Citation Statistics according to Google Scholar | ||||||||||||||||
Number of citations = 4053, h-index = 36 | ||||||||||||||||
DBLP, PubMed, Google Scholar, Scopus, ResearchGate |
All (155), Journals (38), Conferences (76), Workshops (12), Edited Books (12), Book Chapters (2), Invited (15) |
2018 (2) |
---|
2018 [Another year] | |
---|---|
155) | Book Chapter
Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 128--168, 2018 |
154) | Book Chapter
An Introduction to Runtime Verification Ezio Bartocci, Ylies Falcone, Adrian Francalanza, Giles Reger In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 1--32, 2018 |