Srdan Krstic

Hoang Nguyen Phuoc Bao

Proc. Priv. Enhancing Technol., January, 2024

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

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., January, 2024

Towards an Enforceable GDPR Specification.

[BibT_eX]

[DOI]

Alexander Kvamme

CoRR, 2024

Proactive Real-Time First-Order Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Efficient Evaluation of Arbitrary Relational Calculus Queries.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2023

Metric First-Order Temporal Logic with Complex Data Types.

[BibT_eX]

[DOI]

Jeniffer Lima Graf

Joshua Schneider

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

Monitoring the Internet Computer.

[BibT_eX]

[DOI]

Daniel Stefan Dietiker

Arshavir Ter-Gabrielyan

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

Enforcing the GDPR.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2023, 2023

Is Modeling Access Control Worth It?

[BibT_eX]

[DOI]

Juan Guarnizo

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.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Monitoring the Internet Computer (Artifact).

[BibT_eX]

[DOI]

Jonathan Julián Huerta y Munive

Daniel Stefan Dietiker

Arshavir Ter-Gabrielyan

Dataset, November, 2022

Verified First-Order Monitoring with Recursive Rules.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

VeriMon: A Formally Verified Monitoring Tool.

[BibT_eX]

[DOI]

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

Practical Relational Calculus Query Evaluation.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

Scalable online first-order monitoring.

[BibT_eX]

[DOI]

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

A taxonomy for classifying runtime verification tools.

[BibT_eX]

[DOI]

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

2020

A Benchmark Generator for Online First-Order Monitoring.

[BibT_eX]

[DOI]

Joshua Schneider

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

Scalable Online Monitoring of Distributed Systems.

[BibT_eX]

[DOI]

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

A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

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

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Almost event-rate independent monitoring.

[BibT_eX]

[DOI]

Bhargav Nagaraja Bhatt

Willem-Jan van den Heuvel

Dmitriy Traytel

Formal Methods Syst. Des., 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Michele Ciavotta

Srdjan Krstic

Damian A. Tamburri

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

Multi-head Monitoring of Metric Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2019

Adaptive Online First-Order Monitoring.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Dmitriy Traytel

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

2016

Trace checking of quantitative properties.

[BibT_eX]

[DOI]

PhD thesis, 2016

Efficient large-scale trace checking using mapreduce.

[BibT_eX]

[DOI]

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

2015

InstaCluster: Building A Big Data Cluster in Minutes.

[BibT_eX]

[DOI]

Giovanni Paolo Gibilisco

CoRR, 2015

2014

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Domenico Bianculli

Carlo Ghezzi

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

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

[BibT_eX]

[DOI]