Segui
Srdjan Krstic
Srdjan Krstic
Altri nomiSrdan Krstic, Srđan Krstić
ETH Zurich
Email verificata su inf.ethz.ch - Home page
Titolo
Citata da
Citata da
Anno
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
892021
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
582019
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
452014
A Formally Verified Monitor for Metric First-Order Temporal Logic
J Schneider, D Basin, S Krstić, D Traytel
International Conference on Runtime Verification, 2019
342019
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
322020
Almost event-rate independent monitoring of metric dynamic logic
D Basin, S Krstić, D Traytel
International Conference on Runtime Verification, 85-102, 2017
322017
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
222017
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
192016
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
192014
Multi-head monitoring of metric temporal logic
M Raszyk, D Basin, S Krstić, D Traytel
International Symposium on Automated Technology for Verification and …, 2019
132019
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
122021
Almost event-rate independent monitoring
D Basin, BN Bhatt, S Krstić, D Traytel
Formal Methods in System Design 54 (3), 449-478, 2019
122019
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
10*2014
Adaptive online first-order monitoring
J Schneider, D Basin, F Brix, S Krstic, D Traytel
ATVA, 2019
82019
Scalable online monitoring of distributed systems
D Basin, M Gras, S Krstić, J Schneider
International Conference on Runtime Verification, 197-220, 2020
62020
A Benchmark Generator for Online First-Order Monitoring
S Krstić, J Schneider
International Conference on Runtime Verification, 482-494, 2020
42020
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
42019
Practical Relational Calculus Query Evaluation
M Raszyk, D Basin, S Krstić, D Traytel
25th International Conference on Database Theory (ICDT 2022), 2022
32022
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
22022
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20