SMT-Based Checking of SOLOIST over Sparse Traces. - Marcello Maria Bersani; Domenico Bianculli; Carlo Ghezzi; Srdan Krstic; Pierluigi San Pietro (FASE, 2014)

Towards the formalization of properties of cloud-based elastic systems. - Marcello M. Bersani; Domenico Bianculli; Schahram Dustdar; Alessio Gambi; Carlo Ghezzi; Srdan Krstic (PESOS, 2014)

Quantitative properties of software systems: specification, verification, and synthesis. - Srdan Krstic (ICSE Companion, 2014)

Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. - Domenico Bianculli; Carlo Ghezzi; Srdan Krstic (SEFM, 2014)

Offline Trace Checking of Quantitative Properties of Service-Based Applications. - Domenico Bianculli; Carlo Ghezzi; Srdan Krstic; Pierluigi San Pietro (SOCA, 2014)

InstaCluster: Building A Big Data Cluster in Minutes. - Giovanni Paolo Gibilisco; Srdan Krstic (CoRR, 2015)

Efficient large-scale trace checking using mapreduce. - Marcello M. Bersani; Domenico Bianculli; Carlo Ghezzi; Srdan Krstic; Pierluigi San Pietro (ICSE, 2016)

Trace checking of quantitative properties. - Srdan Krstic (2016)

Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. - David A. Basin; Srdan Krstic; Dmitriy Traytel (RV, 2017)

AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. - David A. Basin; Srdjan Krstic; Dmitriy Traytel (RV-CuBES, 2017)

On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper). - Domenico Bianculli; Srdjan Krstic (RV-CuBES, 2017)

Adaptive Online First-Order Monitoring. - Joshua Schneider 001; David A. Basin; Frederik Brix; Srdan Krstic; Dmitriy Traytel (ATVA, 2019)

Multi-head Monitoring of Metric Temporal Logic. - Martin Raszyk; David A. Basin; Srdan Krstic; Dmitriy Traytel (ATVA, 2019)

HyperSpark: A Data-Intensive Programming Environment for Parallel Metaheuristics. - Michele Ciavotta; Srdjan Krstic; Damian A. Tamburri; Willem-Jan van den Heuvel (BigData Congress, 2019)

A Formally Verified Monitor for Metric First-Order Temporal Logic. - Joshua Schneider 001; David A. Basin; Srdan Krstic; Dmitriy Traytel (RV, 2019)

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. - Wolfgang Ahrendt; Cyrille Artho; Christian Colombo 001; Yliès Falcone; Srdan Krstic; Martin Leucker; Florian Lorber; João M. Lourenço; Leonardo Mariani; César Sánchez 001; Gerardo Schneider; Volker Stolz (CoRR, 2019)

Almost event-rate independent monitoring. - David A. Basin; Bhargav Nagaraja Bhatt; Srdan Krstic; Dmitriy Traytel (Formal Methods Syst. Des., 2019)

A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. - David A. Basin; Thibault Dardinier; Lukas Heimes; Srdan Krstic; Martin Raszyk; Joshua Schneider 001; Dmitriy Traytel (IJCAR (1), 2020)

Scalable Online Monitoring of Distributed Systems. - David A. Basin; Matthieu Gras; Srdan Krstic; Joshua Schneider 001 (RV, 2020)

A Benchmark Generator for Online First-Order Monitoring. - Srdan Krstic; Joshua Schneider 001 (RV, 2020)

A taxonomy for classifying runtime verification tools. - Yliès Falcone; Srdan Krstic; Giles Reger; Dmitriy Traytel (Int. J. Softw. Tools Technol. Transf., 2021)

Scalable online first-order monitoring. - Joshua Schneider 001; David A. Basin; Frederik Brix; Srdan Krstic; Dmitriy Traytel (Int. J. Softw. Tools Technol. Transf., 2021)

Real-Time Policy Enforcement with Metric First-Order Temporal Logic. - François Hublet; David A. Basin; Srdan Krstic (ESORICS (2), 2022)

Practical Relational Calculus Query Evaluation. - Martin Raszyk; David A. Basin; Srdan Krstic; Dmitriy Traytel (ICDT, 2022)

VeriMon: A Formally Verified Monitoring Tool. - 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 001; Dawit Legesse Tirore; Dmitriy Traytel; et al. (ICTAC, 2022)

Verified First-Order Monitoring with Recursive Rules. - Sheila Zingg; Srdan Krstic; Martin Raszyk; Joshua Schneider 001; Dmitriy Traytel (TACAS (2), 2022)

Monitoring the Internet Computer (Artifact). - David A. Basin; Daniel Stefan Dietiker; Srdan Krstic; Yvonne-Anne Pignolet; Martin Raszyk; Joshua Schneider 001; Arshavir Ter-Gabrielyan (Zenodo, 2022)

Correct and Efficient Policy Monitoring, a Retrospective. - David A. Basin; Srdan Krstic; Joshua Schneider 001; Dmitriy Traytel (ATVA (1), 2023)

Is Modeling Access Control Worth It? - David A. Basin; Juan Guarnizo; Srdan Krstic; Hoang Nguyen Phuoc Bao; Martín Ochoa (CCS, 2023)

Enforcing the GDPR. - François Hublet; David A. Basin; Srdan Krstic (ESORICS (2), 2023)

Monitoring the Internet Computer. - David A. Basin; Daniel Stefan Dietiker; Srdan Krstic; Yvonne-Anne Pignolet; Martin Raszyk; Joshua Schneider 001; Arshavir Ter-Gabrielyan (FM, 2023)

Metric First-Order Temporal Logic with Complex Data Types. - Jeniffer Lima Graf; Srdan Krstic; Joshua Schneider 001 (RV, 2023)

Efficient Evaluation of Arbitrary Relational Calculus Queries. - Martin Raszyk; David A. Basin; Srdan Krstic; Dmitriy Traytel (Log. Methods Comput. Sci., 2023)

Proactive Real-Time First-Order Enforcement. - François Hublet; Leonardo Lima 001; David A. Basin; Srdan Krstic; Dmitriy Traytel (CAV (2), 2024)

Towards an Enforceable GDPR Specification. - François Hublet; Alexander Kvamme; Srdan Krstic (CoRR, 2024)

User-Controlled Privacy: Taint, Track, and Control. - François Hublet; David A. Basin; Srdan Krstic (Proc. Priv. Enhancing Technol., 2024)

Model-driven Privacy. - Srdan Krstic; Hoang Nguyen Phuoc Bao; David A. Basin (Proc. Priv. Enhancing Technol., 2024)

Artifact for "Proactive Real-Time First-Order Enforcement". - François Hublet; Leonardo Lima 001; David A. Basin; Srdan Krstic; Dmitriy Traytel (Zenodo, 2024)

Artifact for "Proactive Real-Time First-Order Enforcement". - François Hublet; Leonardo Lima 001; David A. Basin; Dmitriy Traytel; Srdan Krstic (Zenodo, 2024)

Artifact for "Proactive Real-Time First-Order Enforcement". - François Hublet; Leonardo Lima 001; David A. Basin; Dmitriy Traytel; Srdan Krstic (Zenodo, 2024)

Scaling Up Proactive Enforcement. - François Hublet; Leonardo Lima 001; David A. Basin; Srdan Krstic; Dmitriy Traytel (CAV (3), 2025)