Srdjan Krstic
Srdjan Krstic
ETH Zurich
Email verificata su inf.ethz.ch - Home page
Titolo
Citata da
Citata da
Anno
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
412014
A taxonomy for classifying runtime verification tools
Y Falcone, S Krstić, G Reger, D Traytel
International Conference on Runtime Verification, 241-262, 2018
352018
Almost event-rate independent monitoring of metric dynamic logic
D Basin, S Krstić, D Traytel
International Conference on Runtime Verification, 85-102, 2017
292017
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
19*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
182014
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
162016
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
152019
A Formally Verified Monitor for Metric First-Order Temporal Logic
J Schneider, D Basin, S Krstić, D Traytel
International Conference on Runtime Verification, 2019
142019
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
92020
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
9*2014
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
Scalable online first-order monitoring
J Schneider, D Basin, F Brix, S Krstić, D Traytel
International Conference on Runtime Verification, 353-371, 2018
72018
Adaptive online first-order monitoring
J Schneider, D Basin, F Brix, S Krstic, D Traytel
ATVA, 2019
52019
Scalable online monitoring of distributed systems
D Basin, M Gras, S Krstić, J Schneider
International Conference on Runtime Verification, 197-220, 2020
22020
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
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
12019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20