Srđan Krstić

Available identifiers

zbMath Open krstic.srdanMaRDI QIDQ2008286

List of research outcomes

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	2024-01-16	Paper
Real-time policy enforcement with metric first-order temporal logic	2023-07-28	Paper
VeriMon: a formally verified monitoring tool	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	2020-07-20	Paper
Adaptive Online First-Order Monitoring	2020-07-20	Paper
A survey of challenges for runtime verification from advanced application domains (beyond software)	2019-11-25	Paper
Almost event-rate independent monitoring	2019-11-25	Paper

Research outcomes over time

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