Monitoring Metric First-Order Temporal Properties - researchr publication related

researchr

You are not signed in
Sign in
Sign up

David A. Basin, Felix Klaedtke, Samuel Müller, Eugen Zalinescu. Monitoring Metric First-Order Temporal Properties. Journal of the ACM, 62(2):15, 2015. [doi]

The following publications are possibly variants of this publication:

Runtime Monitoring of Metric First-order Temporal PropertiesDavid A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann. fsttcs 2008: 49-60 [doi]

Monitoring First-order Temporal PropertiesFelix Klaedtke. tableaux 2011: 6

Monitoring of temporal first-order properties with aggregationsDavid A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu. fmsd, 46(3):262-285, 2015. [doi]

Monitoring of Temporal First-Order Properties with AggregationsDavid A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu. RV 2013: 40-58 [doi]

Monitoring security policies with metric first-order temporal logicDavid A. Basin, Felix Klaedtke, Samuel Müller. SACMAT 2010: 23-34 [doi]

A Formally Verified Monitor for Metric First-Order Temporal LogicJoshua Schneider 0001, David A. Basin, Srdan Krstic, Dmitriy Traytel. RV 2019: 310-328 [doi]

runs on WebDSL