| A taxonomy for classifying runtime verification tools Y Falcone, S Krstić, G Reger, D Traytel International Journal on Software Tools for Technology Transfer, 1-30, 2021 | 120 | 2021 |
| A survey of challenges for runtime verification from advanced application domains (beyond software) C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ... Formal Methods in System Design 54, 279-335, 2019 | 90 | 2019 |
| Towards the formalization of properties of cloud-based elastic systems MM Bersani, D Bianculli, S Dustdar, A Gambi, C Ghezzi, S Krstić Proceedings of the 6th International Workshop on Principles of Engineering …, 2014 | 48 | 2014 |
| A Formally Verified Monitor for Metric First-Order Temporal Logic J Schneider, D Basin, S Krstić, D Traytel International Conference on Runtime Verification, 2019 | 41 | 2019 |
| Almost event-rate independent monitoring of metric dynamic logic D Basin, S Krstić, D Traytel Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017 | 39 | 2017 |
| A formally verified, optimized monitor for metric first-order dynamic logic D Basin, T Dardinier, L Heimes, S Krstić, M Raszyk, J Schneider, D Traytel International Joint Conference on Automated Reasoning, 432-453, 2020 | 36 | 2020 |
| Trace checking of metric temporal logic with aggregating modalities using MapReduce D Bianculli, C Ghezzi, S Krstić Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014 | 29 | 2014 |
| AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. DA Basin, S Krstić, D Traytel RV-CuBES, 29-36, 2017 | 26* | 2017 |
| Efficient large-scale trace checking using MapReduce MM Bersani, D Bianculli, C Ghezzi, S Krstić, P San Pietro Proceedings of the 38th International Conference on Software Engineering …, 2016 | 21 | 2016 |
| SMT-based checking of SOLOIST over sparse traces MM Bersani, D Bianculli, C Ghezzi, S Krstić, P San Pietro Fundamental Approaches to Software Engineering: 17th International …, 2014 | 20 | 2014 |
| Scalable online first-order monitoring J Schneider, D Basin, F Brix, S Krstić, D Traytel International Journal on Software Tools for Technology Transfer, 1-24, 2021 | 16 | 2021 |
| Almost event-rate independent monitoring D Basin, BN Bhatt, S Krstić, D Traytel Formal Methods in System Design 54, 449-478, 2019 | 15 | 2019 |
| Multi-head monitoring of metric temporal logic M Raszyk, D Basin, S Krstić, D Traytel Automated Technology for Verification and Analysis: 17th International …, 2019 | 15 | 2019 |
| Scalable online monitoring of distributed systems D Basin, M Gras, S Krstić, J Schneider Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020 | 12 | 2020 |
| Offline trace checking of quantitative properties of service-based applications D Bianculli, C Ghezzi, S Krstić, P San Pietro 2014 IEEE 7th International Conference on Service-Oriented Computing and …, 2014 | 11* | 2014 |
| Adaptive online first-order monitoring J Schneider, D Basin, F Brix, S Krstic, D Traytel ATVA, 2019 | 10 | 2019 |
| HyperSpark: A Data-Intensive Programming Environment for Parallel Metaheuristics M Ciavotta, S Krstić, DA Tamburri, WJ Van Den Heuvel 2019 IEEE International Congress on Big Data (BigDataCongress), 85-92, 2019 | 8 | 2019 |
| Real-time policy enforcement with metric first-order temporal logic F Hublet, D Basin, S Krstić European Symposium on Research in Computer Security, 211-232, 2022 | 7 | 2022 |
| Verified first-order monitoring with recursive rules S Zingg, S Krstić, M Raszyk, J Schneider, D Traytel International Conference on Tools and Algorithms for the Construction and …, 2022 | 6 | 2022 |
| Monitoring the Internet Computer D Basin, DS Dietiker, S Krstić, YA Pignolet, M Raszyk, J Schneider, ... International Symposium on Formal Methods, 383-402, 2023 | 5 | 2023 |
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
