Srdjan Krstic
Srdjan Krstic
Verified email at inf.ethz.ch - Homepage
TitleCited byYear
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
312014
Almost event-rate independent monitoring of metric dynamic logic
D Basin, S Krstić, D Traytel
International Conference on Runtime Verification, 85-102, 2017
212017
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
202014
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
132014
A taxonomy for classifying runtime verification tools
Y Falcone, S Krstić, G Reger, D Traytel
International Conference on Runtime Verification, 241-262, 2018
112018
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties.
DA Basin, S Krstić, D Traytel
RV-CuBES, 29-36, 2017
102017
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
102016
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
5*2014
Almost event-rate independent monitoring
D Basin, BN Bhatt, S Krstić, D Traytel
Formal Methods in System Design, 1-30, 2019
32019
Scalable Online First-Order Monitoring
J Schneider, D Basin, F Brix, S Krstić, D Traytel
International Conference on Runtime Verification, 353-371, 2018
32018
Adaptive online first-order monitoring
J Schneider, D Basin, F Brix, S Krstic, D Traytel
ATVA, 2019
22019
A Formally Verified Monitor for Metric First-Order Temporal Logic
J Schneider, D Basin, S Krstić, D Traytel
RV, 2019
22019
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, ...
arXiv preprint arXiv:1811.06740, 2018
22018
SOLOIST Translator
S Krstić
22013
Verification of quantitative properties of service based applications
S Krstić
Italy, 2012
22012
Multi-head monitoring of metric temporal logic
M Raszyk, DBS dan Krstic, D Traytel
ATVA, 2019
12019
On the Risk of Tool Over-tuning in Runtime Verification Competitions
D Bianculli, S Krstic
Proceedings of RV-CUBES 2017: an International Workshop on Competitions …, 2017
12017
Quantitative Properties of Software Systems: Specification, Verification, and Synthesis
S Krstic
Proceedings of the 36th International Conference on Software Engineering …, 2014
12014
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
2019
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
2019
The system can't perform the operation now. Try again later.
Articles 1–20