|
Search the dblp DataBase
Dejan Nickovic:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Oded Maler, Dejan Nickovic
Monitoring Temporal Properties of Continuous Signals. [Citation Graph (0, 0)][DBLP] FORMATS/FTRTFT, 2004, pp:152-166 [Conf]
- Oded Maler, Dejan Nickovic, Amir Pnueli
Real Time Temporal Logic: Past, Present, Future. [Citation Graph (0, 0)][DBLP] FORMATS, 2005, pp:2-16 [Conf]
- Oded Maler, Dejan Nickovic, Amir Pnueli
From MITL to Timed Automata. [Citation Graph (0, 0)][DBLP] FORMATS, 2006, pp:274-289 [Conf]
- Oded Maler, Dejan Nickovic, Amir Pnueli
On Synthesizing Controllers from Bounded-Response Properties. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:95-107 [Conf]
- Dejan Nickovic, Oded Maler
AMT: A Property-Based Monitoring Tool for Analog Systems. [Citation Graph (0, 0)][DBLP] FORMATS, 2007, pp:304-319 [Conf]
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|