| 2008 |
|---|
| 6 | EE | Oded Maler,
Dejan Nickovic,
Amir Pnueli:
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.
Pillars of Computer Science 2008: 475-505 |
| 2007 |
|---|
| 5 | EE | Oded Maler,
Dejan Nickovic,
Amir Pnueli:
On Synthesizing Controllers from Bounded-Response Properties.
CAV 2007: 95-107 |
| 4 | EE | Dejan Nickovic,
Oded Maler:
AMT: A Property-Based Monitoring Tool for Analog Systems.
FORMATS 2007: 304-319 |
| 2006 |
|---|
| 3 | EE | Oded Maler,
Dejan Nickovic,
Amir Pnueli:
From MITL to Timed Automata.
FORMATS 2006: 274-289 |
| 2005 |
|---|
| 2 | EE | Oded Maler,
Dejan Nickovic,
Amir Pnueli:
Real Time Temporal Logic: Past, Present, Future.
FORMATS 2005: 2-16 |
| 2004 |
|---|
| 1 | EE | Oded Maler,
Dejan Nickovic:
Monitoring Temporal Properties of Continuous Signals.
FORMATS/FTRTFT 2004: 152-166 |
