Srđan Krstić

MaRDI QIDQ2008286zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Practical relational calculus query evaluation	2024-04-25	Paper
Practical relational calculus query evaluation	2024-04-23	Paper
Verified first-order monitoring with recursive rules	2024-02-01	Paper
Efficient Evaluation of Arbitrary Relational Calculus Queries Logical Methods in Computer Science	2024-01-16	Paper
Real-time policy enforcement with metric first-order temporal logic Computer Security – ESORICS 2022	2023-07-28	Paper
VeriMon: a formally verified monitoring tool Lecture Notes in Computer Science	2023-07-28	Paper
A formally verified, optimized monitor for metric first-order dynamic logic	2022-11-09	Paper
Multi-head monitoring of metric temporal logic Automated Technology for Verification and Analysis	2020-07-20	Paper
Adaptive online first-order monitoring Automated Technology for Verification and Analysis	2020-07-20	Paper
A survey of challenges for runtime verification from advanced application domains (beyond software) Formal Methods in System Design	2019-11-25	Paper
Almost event-rate independent monitoring Formal Methods in System Design	2019-11-25	Paper

Research outcomes over time

This page was built for person: Srđan Krstić