| 2007 |
|---|
| 6 | | Yasmina Abdeddaïm,
Eugene Asarin,
Matthieu Gallien,
Félix Ingrand,
Charles Lesire,
Mihaela Sighireanu:
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches.
ICAPS 2007: 2-9 |
| 2006 |
|---|
| 5 | EE | Yasmina Abdeddaïm,
Eugene Asarin,
Oded Maler:
Scheduling with timed automata.
Theor. Comput. Sci. 354(2): 272-300 (2006) |
| 2003 |
|---|
| 4 | EE | Yasmina Abdeddaïm,
Abdelkarim Kerbaa,
Oded Maler:
Task Graph Scheduling Using Timed Automata.
IPDPS 2003: 237 |
| 3 | EE | Yasmina Abdeddaïm,
Eugene Asarin,
Oded Maler:
On Optimal Scheduling under Uncertainty.
TACAS 2003: 240-253 |
| 2002 |
|---|
| 2 | EE | Yasmina Abdeddaïm,
Oded Maler:
Preemptive Job-Shop Scheduling Using Stopwatch Automata.
TACAS 2002: 113-126 |
| 2001 |
|---|
| 1 | EE | Yasmina Abdeddaïm,
Oded Maler:
Job-Shop Scheduling Using Timed Automata.
CAV 2001: 478-492 |
