 | 2009 |
|---|
| 5 |       | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
Compositional timing analysis.
EMSOFT 2009: 39-48 |
| 2007 |
|---|
| 4 | | Grégory Batt,
Ramzi Ben Salah,
Oded Maler:
On Timed Models of Gene Networks.
FORMATS 2007: 38-52 |
| 3 | | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
On timed components and their abstraction.
SAVCBS 2007: 63-71 |
| 2006 |
|---|
| 2 | | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
On Interleaving in Timed Automata.
CONCUR 2006: 465-476 |
| 2003 |
|---|
| 1 | | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
On Timing Analysis of Combinational Circuits.
FORMATS 2003: 204-219 |
