Dejan Nickovic (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Oded Maler, Dejan Nickovic, Amir Pnueli: Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Pillars of Computer Science 2008: 475-505

5 Oded Maler, Dejan Nickovic, Amir Pnueli: On Synthesizing Controllers from Bounded-Response Properties. CAV 2007: 95-107

3 Oded Maler, Dejan Nickovic, Amir Pnueli: From MITL to Timed Automata. FORMATS 2006: 274-289

2 Oded Maler, Dejan Nickovic, Amir Pnueli: Real Time Temporal Logic: Past, Present, Future. FORMATS 2005: 2-16

Selection of 4 from 6 records - Dejan Nickovic has 2 coauthors

6		Oded Maler, Dejan Nickovic, Amir Pnueli: Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Pillars of Computer Science 2008: 475-505
5		Oded Maler, Dejan Nickovic, Amir Pnueli: On Synthesizing Controllers from Bounded-Response Properties. CAV 2007: 95-107
3		Oded Maler, Dejan Nickovic, Amir Pnueli: From MITL to Timed Automata. FORMATS 2006: 274-289
2		Oded Maler, Dejan Nickovic, Amir Pnueli: Real Time Temporal Logic: Past, Present, Future. FORMATS 2005: 2-16