Srdan Krstic

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 32

Top Topics

Policy Enforcement

Complex Data Types

Top Venues

Formal Methods Syst. Des.

Int. J. Softw. Tools Technol. Transf.

Publications

Srdan Krstic, Hoang Nguyen, David A. Basin
Model-driven Privacy. Proc. Priv. Enhancing Technol. 2024 (1) (2024)
François Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel
Proactive Real-Time First-Order Enforcement. CAV (2) (2024)
François Hublet, David A. Basin, Srdan Krstic
User-Controlled Privacy: Taint, Track, and Control. Proc. Priv. Enhancing Technol. 2024 (1) (2024)
François Hublet, Alexander Kvamme, Srdan Krstic
Towards an Enforceable GDPR Specification. CoRR (2024)
Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider
Metric First-Order Temporal Logic with Complex Data Types. RV (2023)
François Hublet, David A. Basin, Srdan Krstic
Enforcing the GDPR. ESORICS (2) (2023)
David A. Basin, Juan Guarnizo, Srdan Krstic, Hoang Nguyen, Martín Ochoa
Is Modeling Access Control Worth It? CCS (2023)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Efficient Evaluation of Arbitrary Relational Calculus Queries. Log. Methods Comput. Sci. 19 (4) (2023)
David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan
Monitoring the Internet Computer. FM (2023)
David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel
Correct and Efficient Policy Monitoring, a Retrospective. ATVA (1) (2023)
Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
Verified First-Order Monitoring with Recursive Rules. TACAS (2) (2022)
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
VeriMon: A Formally Verified Monitoring Tool. ICTAC (2022)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Practical Relational Calculus Query Evaluation. ICDT (2022)
François Hublet, David A. Basin, Srdan Krstic
Real-Time Policy Enforcement with Metric First-Order Temporal Logic. ESORICS (2) (2022)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Efficient Evaluation of Arbitrary Relational Calculus Queries. CoRR (2022)
Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
A taxonomy for classifying runtime verification tools. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Scalable online first-order monitoring. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. IJCAR (1) (2020)
Srdan Krstic, Joshua Schneider
A Benchmark Generator for Online First-Order Monitoring. RV (2020)
David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider
Scalable Online Monitoring of Distributed Systems. RV (2020)
Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel
Multi-head Monitoring of Metric Temporal Logic. ATVA (2019)
David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel
Almost event-rate independent monitoring. Formal Methods Syst. Des. 54 (3) (2019)
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
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54 (3) (2019)
Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel
A Formally Verified Monitor for Metric First-Order Temporal Logic. RV (2019)
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
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55 (1) (2019)
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Adaptive Online First-Order Monitoring. ATVA (2019)
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
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR (2019)
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Scalable Online First-Order Monitoring. RV (2018)
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
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR (2018)
Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
A Taxonomy for Classifying Runtime Verification Tools. RV (2018)
David A. Basin, Srdan Krstic, Dmitriy Traytel
Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. RV (2017)
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Efficient large-scale trace checking using mapreduce. ICSE (2016)
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Efficient Large-scale Trace Checking Using MapReduce. CoRR (2015)
Giovanni Paolo Gibilisco, Srdan Krstic
InstaCluster: Building A Big Data Cluster in Minutes. CoRR (2015)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Offline Trace Checking of Quantitative Properties of Service-Based Applications. CoRR (2014)
Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic
Towards the formalization of properties of cloud-based elastic systems. PESOS (2014)
Srdan Krstic
Quantitative properties of software systems: specification, verification, and synthesis. ICSE Companion (2014)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. SEFM (2014)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce. CoRR (2014)
Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
SMT-Based Checking of SOLOIST over Sparse Traces. FASE (2014)
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
Offline Trace Checking of Quantitative Properties of Service-Based Applications. SOCA (2014)