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
1542021
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
1172019
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
502014
A Formally Verified Monitor for Metric First-Order Temporal Logic
J Schneider, D Basin, S Krstić, D Traytel
International Conference on Runtime Verification, 2019
442019
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
422017
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
392020
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
302014
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties.
DA Basin, S Krstić, D Traytel
RV-CuBES, 29-36, 2017
28*2017
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
242021
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
222016
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
212014
Almost event-rate independent monitoring
D Basin, BN Bhatt, S Krstić, D Traytel
Formal Methods in System Design 54, 449-478, 2019
172019
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
152020
A benchmark generator for online first-order monitoring
S Krstić, J Schneider
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
112020
Adaptive online first-order monitoring
J Schneider, D Basin, F Brix, S Krstic, D Traytel
ATVA, 2019
112019
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
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
102022
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
102022
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
102019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20