Srdan Krstic

According to our database, Srdan Krstic authored at least 37 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Model-driven Privacy.

Srdan Krstic, Hoang Nguyen Phuoc Bao, David A. Basin

Proc. Priv. Enhancing Technol., January, 2024

User-Controlled Privacy: Taint, Track, and Control.

François Hublet, David A. Basin, Srdan Krstic

Proc. Priv. Enhancing Technol., January, 2024

Towards an Enforceable GDPR Specification.

François Hublet, Alexander Kvamme, Srdan Krstic

CoRR, 2024

2023

Efficient Evaluation of Arbitrary Relational Calculus Queries.

Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel

Log. Methods Comput. Sci., 2023

Metric First-Order Temporal Logic with Complex Data Types.

Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Monitoring the Internet Computer.

David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan

Proceedings of the Formal Methods - 25th International Symposium, 2023

Enforcing the GDPR.

François Hublet, David A. Basin, Srdan Krstic

Proceedings of the Computer Security - ESORICS 2023, 2023

Is Modeling Access Control Worth It?

David A. Basin, Juan Guarnizo, Srdan Krstic, Hoang Nguyen Phuoc Bao, Martín Ochoa

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Correct and Efficient Policy Monitoring, a Retrospective.

David A. Basin, Srdan Krstic, Joshua Schneider, Dmitriy Traytel

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Verified First-Order Monitoring with Recursive Rules.

Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Practical Relational Calculus Query Evaluation.

Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel

Proceedings of the 25th International Conference on Database Theory, 2022

Real-Time Policy Enforcement with Metric First-Order Temporal Logic.

François Hublet, David A. Basin, Srdan Krstic

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

Scalable online first-order monitoring.

Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel

Int. J. Softw. Tools Technol. Transf., 2021

A taxonomy for classifying runtime verification tools.

Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel

Int. J. Softw. Tools Technol. Transf., 2021

2020

A Benchmark Generator for Online First-Order Monitoring.

Srdan Krstic, Joshua Schneider

Proceedings of the Runtime Verification - 20th International Conference, 2020

Scalable Online Monitoring of Distributed Systems.

David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider

Proceedings of the Runtime Verification - 20th International Conference, 2020

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

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

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

Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).

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

Formal Methods Syst. Des., 2019

Almost event-rate independent monitoring.

David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel

Formal Methods Syst. Des., 2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.

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

CoRR, 2019

A Formally Verified Monitor for Metric First-Order Temporal Logic.

Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel

Proceedings of the Runtime Verification - 19th International Conference, 2019

HyperSpark: A Data-Intensive Programming Environment for Parallel Metaheuristics.

Michele Ciavotta, Srdjan Krstic, Damian A. Tamburri, Willem-Jan van den Heuvel

Proceedings of the 2019 IEEE International Congress on Big Data, 2019

Multi-head Monitoring of Metric Temporal Logic.

Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel

Proceedings of the Automated Technology for Verification and Analysis, 2019

Adaptive Online First-Order Monitoring.

Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel

Proceedings of the Automated Technology for Verification and Analysis, 2019

2017

On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper).

Domenico Bianculli, Srdjan Krstic

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties.

David A. Basin, Srdjan Krstic, Dmitriy Traytel

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Almost Event-Rate Independent Monitoring of Metric Dynamic Logic.

David A. Basin, Srdan Krstic, Dmitriy Traytel

Proceedings of the Runtime Verification - 17th International Conference, 2017

2016

Trace checking of quantitative properties.

Srdan Krstic

PhD thesis, 2016

Efficient large-scale trace checking using mapreduce.

Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

InstaCluster: Building A Big Data Cluster in Minutes.

Giovanni Paolo Gibilisco, Srdan Krstic

CoRR, 2015

2014

Offline Trace Checking of Quantitative Properties of Service-Based Applications.

Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro

Proceedings of the 7th IEEE International Conference on Service-Oriented Computing and Applications, 2014

Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce.

Domenico Bianculli, Carlo Ghezzi, Srdan Krstic

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Quantitative properties of software systems: specification, verification, and synthesis.

Srdan Krstic

Proceedings of the 36th International Conference on Software Engineering, 2014

Towards the formalization of properties of cloud-based elastic systems.

Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic

Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014

SMT-Based Checking of SOLOIST over Sparse Traces.

Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro

Proceedings of the Fundamental Approaches to Software Engineering, 2014