Seguir
Srdjan Krstic
Srdjan Krstic
Otros nombresSrdan Krstic, Srđan Krstić
ETH Zurich
Dirección de correo verificada de inf.ethz.ch - Página principal
Título
Citado por
Citado por
Año
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
1362021
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
952019
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
492014
A Formally Verified Monitor for Metric First-Order Temporal Logic
J Schneider, D Basin, S Krstić, D Traytel
International Conference on Runtime Verification, 2019
422019
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
392017
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
362020
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
292014
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties.
DA Basin, S Krstić, D Traytel
RV-CuBES, 29-36, 2017
27*2017
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
212016
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
202014
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
182021
Almost event-rate independent monitoring
D Basin, BN Bhatt, S Krstić, D Traytel
Formal Methods in System Design 54, 449-478, 2019
162019
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
122020
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
Adaptive online first-order monitoring
J Schneider, D Basin, F Brix, S Krstic, D Traytel
ATVA, 2019
102019
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
92022
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
82019
Monitoring the Internet Computer
D Basin, DS Dietiker, S Krstić, YA Pignolet, M Raszyk, J Schneider, ...
International Symposium on Formal Methods, 383-402, 2023
72023
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
72022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20