Searching for authors named "Dejan Nickovic" – sorted by Relevance.
-
Monitoring temporal properties of continuous signals
- Monitoring Temporal Properties of Continuous Signals ⋆ Oded Maler and Dejan Nickovic VERIMAG, 2 Av
- Cited by 8 (1 self) – Add To MetaCart
-
AMT: a Property-based Monitoring Tool for Analog Systems ⋆
- AMT: a Property-based Monitoring Tool for Analog Systems ⋆ Dejan Nickovic 1 and Oded Maler 1
- Cited by 2 (0 self) – Add To MetaCart
-
Authors
- Authors Dejan Nickovic Oded Maler Executive Summary Purpose tions Common property verification tools
- Add To MetaCart
-
From MITL to timed automata
- From MITL to Timed Automata ⋆ Oded Maler 1 , Dejan Nickovic 1 and Amir Pnueli 2,3 1 Verimag, 2 Av
- Cited by 6 (1 self) – Add To MetaCart

