Follow
Srdjan Krstic
Srdjan Krstic
Other namesSrdan Krstic, Srđan Krstić
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
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
1282021
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
932019
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
482014
A Formally Verified Monitor for Metric First-Order Temporal Logic
J Schneider, D Basin, S Krstić, D Traytel
International Conference on Runtime Verification, 2019
422019
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
392017
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
362020
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
292014
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties.
DA Basin, S Krstić, D Traytel
RV-CuBES, 29-36, 2017
27*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
212016
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
202014
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
182021
Almost event-rate independent monitoring
D Basin, BN Bhatt, S Krstić, D Traytel
Formal Methods in System Design 54, 449-478, 2019
162019
Multi-head monitoring of metric temporal logic
M Raszyk, D Basin, S Krstić, D Traytel
Automated Technology for Verification and Analysis: 17th International …, 2019
162019
Scalable online monitoring of distributed systems
D Basin, M Gras, S Krstić, J Schneider
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
122020
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
102019
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
92022
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
82019
Monitoring the Internet Computer
D Basin, DS Dietiker, S Krstić, YA Pignolet, M Raszyk, J Schneider, ...
International Symposium on Formal Methods, 383-402, 2023
72023
VeriMon: A Formally Verified Monitoring Tool
D Basin, T Dardinier, N Hauser, L Heimes, JJ Huerta y Munive, ...
International Colloquium on Theoretical Aspects of Computing, 1-6, 2022
62022
The system can't perform the operation now. Try again later.
Articles 1–20