Srdan Krstic

45 papers A* 3A 1B 13C 1Journal 16Unranked 10
YearRankTypeTitle / Venue / Authors
2025 B conf
Instrumenting Runtime Enforcement.
RV
François Hublet, David A. Basin, Linda Hu, Srdan Krstic, Lennard Reese
2025 A* conf
Mechanizing Privacy by Design.
CCS
David A. Basin, François Hublet, Srdan Krstic, Hoàng Nguyen
2025 — conf
Scaling Up Proactive Enforcement.
CAV (3)
François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel
2024 J jnl
Model-driven Privacy.
Proc. Priv. Enhancing Technol.
Srdan Krstic, Hoang Nguyen Phuoc Bao, David A. Basin
2024 — conf
Proactive Real-Time First-Order Enforcement.
CAV (2)
François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel
2024 J jnl
Towards an Enforceable GDPR Specification.
CoRR
François Hublet, Alexander Kvamme, Srdan Krstic
2024 J jnl
User-Controlled Privacy: Taint, Track, and Control.
Proc. Priv. Enhancing Technol.
François Hublet, David A. Basin, Srdan Krstic
2023 — conf
Correct and Efficient Policy Monitoring, a Retrospective.
ATVA (1)
David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel
2023 J jnl
Efficient Evaluation of Arbitrary Relational Calculus Queries.
Log. Methods Comput. Sci.
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
2023 — conf
Enforcing the GDPR.
ESORICS (2)
François Hublet, David A. Basin, Srdan Krstic
2023 A* conf
Is Modeling Access Control Worth It?
CCS
David A. Basin, Juan Guarnizo, Srdan Krstic, Hoang Nguyen Phuoc Bao, Martín Ochoa
2023 B conf
Metric First-Order Temporal Logic with Complex Data Types.
RV
Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider
2023 B conf
Monitoring the Internet Computer.
FM
David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan
2022 J jnl
Efficient Evaluation of Arbitrary Relational Calculus Queries.
CoRR
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
2022 A conf
Practical Relational Calculus Query Evaluation.
ICDT
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
2022 — conf
Real-Time Policy Enforcement with Metric First-Order Temporal Logic.
ESORICS (2)
François Hublet, David A. Basin, Srdan Krstic
2022 C conf
VeriMon: A Formally Verified Monitoring Tool.
ICTAC
David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg
2022 — conf
Verified First-Order Monitoring with Recursive Rules.
TACAS (2)
Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
2021 J jnl
A taxonomy for classifying runtime verification tools.
Int. J. Softw. Tools Technol. Transf.
Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
2021 J jnl
Scalable online first-order monitoring.
Int. J. Softw. Tools Technol. Transf.
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
2020 B conf
A Benchmark Generator for Online First-Order Monitoring.
RV
Srdan Krstic, Joshua Schneider
2020 — conf
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic.
IJCAR (1)
David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
2020 B conf
Scalable Online Monitoring of Distributed Systems.
RV
David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider
2019 B conf
A Formally Verified Monitor for Metric First-Order Temporal Logic.
RV
Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel
2019 J jnl
A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019 B conf
Adaptive Online First-Order Monitoring.
ATVA
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
2019 J jnl
Almost event-rate independent monitoring.
Formal Methods Syst. Des.
David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel
2019 J jnl
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
2019 J jnl
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019 B conf
Multi-head Monitoring of Metric Temporal Logic.
ATVA
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
2018 J jnl
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
CoRR
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2018 B conf
A Taxonomy for Classifying Runtime Verification Tools.
RV
Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
2018 B conf
Scalable Online First-Order Monitoring.
RV
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
2017 B conf
Almost Event-Rate Independent Monitoring of Metric Dynamic Logic.
RV
David A. Basin, Srdan Krstic, Dmitriy Traytel
2016 A* conf
Efficient large-scale trace checking using mapreduce.
ICSE
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2016 — —
Trace checking of quantitative properties.
Srdan Krstic
2015 J jnl
Efficient Large-scale Trace Checking Using MapReduce.
CoRR
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2015 J jnl
InstaCluster: Building A Big Data Cluster in Minutes.
CoRR
Giovanni Paolo Gibilisco, Srdan Krstic
2014 — conf
Offline Trace Checking of Quantitative Properties of Service-Based Applications.
SOCA
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2014 J jnl
Offline Trace Checking of Quantitative Properties of Service-Based Applications.
CoRR
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2014 — conf
Quantitative properties of software systems: specification, verification, and synthesis.
ICSE Companion
Srdan Krstic
2014 B conf
SMT-Based Checking of SOLOIST over Sparse Traces.
FASE
Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2014 — conf
Towards the formalization of properties of cloud-based elastic systems.
PESOS
Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic
2014 B conf
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce.
SEFM
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
2014 J jnl
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce.
CoRR
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic