Srdjan Krstic
Srdjan Krstic
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
442021
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
422014
Almost event-rate independent monitoring of metric dynamic logic
D Basin, S Krstić, D Traytel
International Conference on Runtime Verification, 85-102, 2017
312017
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 (3), 279-335, 2019
272019
Trace checking of metric temporal logic with aggregating modalities using MapReduce
D Bianculli, C Ghezzi, S Krstić
International Conference on Software Engineering and Formal Methods, 144-158, 2014
262014
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties.
DA Basin, S Krstić, D Traytel
RV-CuBES, 29-36, 2017
20*2017
SMT-based checking of SOLOIST over sparse traces
MM Bersani, D Bianculli, C Ghezzi, S Krstić, P San Pietro
International Conference on Fundamental Approaches to Software Engineering …, 2014
202014
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
182016
A Formally Verified Monitor for Metric First-Order Temporal Logic
J Schneider, D Basin, S Krstić, D Traytel
International Conference on Runtime Verification, 2019
162019
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
132020
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
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
92021
Almost event-rate independent monitoring
D Basin, BN Bhatt, S Krstić, D Traytel
Formal Methods in System Design 54 (3), 449-478, 2019
72019
Multi-head monitoring of metric temporal logic
M Raszyk, D Basin, S Krstić, D Traytel
International Symposium on Automated Technology for Verification and …, 2019
72019
Adaptive online first-order monitoring
J Schneider, D Basin, F Brix, S Krstic, D Traytel
ATVA, 2019
72019
Scalable online monitoring of distributed systems
D Basin, M Gras, S Krstić, J Schneider
International Conference on Runtime Verification, 197-220, 2020
32020
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
22019
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring--Activity Report of Working Group 1
W Ahrendt, C Artho, C Colombo, Y Falcone, S Krstic, M Leucker, F Lorber, ...
arXiv preprint arXiv:1902.03776, 2019
22019
SOLOIST Translator
S Krstić
22013
Verification of quantitative properties of service based applications
S Krstić
Italy, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20