D. Nickovic
4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler and others (2008) · Springer Berlin Heidelberg
AMT: A Property-Based Monitoring Tool for Analog Systems
D. Nickovic and others (2007) · Springer Berlin Heidelberg
From MITL to Timed Automata
O. Maler and others (2006) · Springer Berlin Heidelberg
Monitoring Temporal Properties of Continuous Signals
O. Maler and others (2004) · Springer Berlin Heidelberg