Srdan Krstic

Orcid: 0000-0001-8314-2589

Affiliations:
  • ETH Zurich, Switzerland


According to our database1, Srdan Krstic authored at least 42 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Artifact for "Proactive Real-Time First-Order Enforcement".
Dataset, April, 2024

Artifact for "Proactive Real-Time First-Order Enforcement".
Dataset, April, 2024

Artifact for "Proactive Real-Time First-Order Enforcement".
Dataset, April, 2024

Model-driven Privacy.
Proc. Priv. Enhancing Technol., January, 2024

User-Controlled Privacy: Taint, Track, and Control.
Proc. Priv. Enhancing Technol., January, 2024

Towards an Enforceable GDPR Specification.
CoRR, 2024

Proactive Real-Time First-Order Enforcement.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023
Efficient Evaluation of Arbitrary Relational Calculus Queries.
Log. Methods Comput. Sci., 2023

Metric First-Order Temporal Logic with Complex Data Types.
Proceedings of the Runtime Verification - 23rd International Conference, 2023

Monitoring the Internet Computer.
Proceedings of the Formal Methods - 25th International Symposium, 2023

Enforcing the GDPR.
Proceedings of the Computer Security - ESORICS 2023, 2023

Is Modeling Access Control Worth It?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Correct and Efficient Policy Monitoring, a Retrospective.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Verified First-Order Monitoring with Recursive Rules.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022


Practical Relational Calculus Query Evaluation.
Proceedings of the 25th International Conference on Database Theory, 2022

Real-Time Policy Enforcement with Metric First-Order Temporal Logic.
Proceedings of the Computer Security - ESORICS 2022, 2022

2021
Scalable online first-order monitoring.
Int. J. Softw. Tools Technol. Transf., 2021

A taxonomy for classifying runtime verification tools.
Int. J. Softw. Tools Technol. Transf., 2021

2020
A Benchmark Generator for Online First-Order Monitoring.
Proceedings of the Runtime Verification - 20th International Conference, 2020

Scalable Online Monitoring of Distributed Systems.
Proceedings of the Runtime Verification - 20th International Conference, 2020

A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic.
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).
Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019

Almost event-rate independent monitoring.
Formal Methods Syst. Des., 2019

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

A Formally Verified Monitor for Metric First-Order Temporal Logic.
Proceedings of the Runtime Verification - 19th International Conference, 2019

HyperSpark: A Data-Intensive Programming Environment for Parallel Metaheuristics.
Proceedings of the 2019 IEEE International Congress on Big Data, 2019

Multi-head Monitoring of Metric Temporal Logic.
Proceedings of the Automated Technology for Verification and Analysis, 2019

Adaptive Online First-Order Monitoring.
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).
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties.
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Almost Event-Rate Independent Monitoring of Metric Dynamic Logic.
Proceedings of the Runtime Verification - 17th International Conference, 2017

2016
Trace checking of quantitative properties.
PhD thesis, 2016

Efficient large-scale trace checking using mapreduce.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
InstaCluster: Building A Big Data Cluster in Minutes.
CoRR, 2015

2014
Offline Trace Checking of Quantitative Properties of Service-Based Applications.
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.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Quantitative properties of software systems: specification, verification, and synthesis.
Proceedings of the 36th International Conference on Software Engineering, 2014

Towards the formalization of properties of cloud-based elastic systems.
Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014

SMT-Based Checking of SOLOIST over Sparse Traces.
Proceedings of the Fundamental Approaches to Software Engineering, 2014


  Loading...