Srdan Krstic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
13
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Scaling Up Proactive Enforcement. | Franois Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2025 | CCS | Mechanizing Privacy by Design. | David A. Basin, Franois Hublet, Srdan Krstic, Hong Nguyen |
| 2025 | RV | Instrumenting Runtime Enforcement. | Franois Hublet, David A. Basin, Linda Hu, Srdan Krstic, Lennard Reese |
| 2024 | CAV | Proactive Real-Time First-Order Enforcement. | Franois Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2023 | ATVA | Correct and Efficient Policy Monitoring, a Retrospective. | David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel |
| 2023 | CCS | Is Modeling Access Control Worth It? | David A. Basin, Juan Guarnizo, Srdan Krstic, Hoang Nguyen Phuoc Bao, Martn Ochoa |
| 2023 | ESORICS | Enforcing the GDPR. | Franois Hublet, David A. Basin, Srdan Krstic |
| 2023 | FM | Monitoring the Internet Computer. | David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan |
| 2023 | RV | Metric First-Order Temporal Logic with Complex Data Types. | Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider |
| 2022 | ESORICS | Real-Time Policy Enforcement with Metric First-Order Temporal Logic. | Franois Hublet, David A. Basin, Srdan Krstic |
| 2022 | ICDT | Practical Relational Calculus Query Evaluation. | Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2022 | ICTAC | VeriMon: A Formally Verified Monitoring Tool. | David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julin Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg |
| 2022 | TACAS | Verified First-Order Monitoring with Recursive Rules. | Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel |
| 2020 | CADE | A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. | David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel |
| 2020 | RV | Scalable Online Monitoring of Distributed Systems. | David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider |
| 2020 | RV | A Benchmark Generator for Online First-Order Monitoring. | Srdan Krstic, Joshua Schneider |
| 2019 | ATVA | Adaptive Online First-Order Monitoring. | Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
| 2019 | ATVA | Multi-head Monitoring of Metric Temporal Logic. | Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2019 | RV | A Formally Verified Monitor for Metric First-Order Temporal Logic. | Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2018 | RV | A Taxonomy for Classifying Runtime Verification Tools. | Ylis Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel |
| 2018 | RV | Scalable Online First-Order Monitoring. | Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
| 2017 | RV | Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. | David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2016 | ICSE | Efficient large-scale trace checking using mapreduce. | Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro |
| 2014 | FASE | SMT-Based Checking of SOLOIST over Sparse Traces. | Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro |
| 2014 | ICSE | Towards the formalization of properties of cloud-based elastic systems. | Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic |
| 2014 | ICSE | Quantitative properties of software systems: specification, verification, and synthesis. | Srdan Krstic |
| 2014 | SEFM | Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. | Domenico Bianculli, Carlo Ghezzi, Srdan Krstic |