| 2006 |
|---|
| 13 | EE | Iulian Ober,
Susanne Graf,
David Lesens:
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.
FMOODS 2006: 48-62 |
| 12 | EE | Susanne Graf,
Sébastien Gérard,
Øystein Haugen,
Iulian Ober,
Bran Selic:
Modelling and Analysis of Real Time and Embedded Systems - Using UML.
MoDELS Workshops 2006: 126-130 |
| 11 | EE | Susanne Graf,
Ileana Ober,
Iulian Ober:
A real-time profile for UML.
STTT 8(2): 113-127 (2006) |
| 10 | EE | Iulian Ober,
Susanne Graf,
Ileana Ober:
Validating timed UML models by simulation and verification.
STTT 8(2): 128-145 (2006) |
| 2005 |
|---|
| 9 | EE | Susanne Graf,
Sébastien Gérard,
Øystein Haugen,
Iulian Ober,
Bran Selic:
Modeling and Analysis of Real-Time and Embedded Systems.
MoDELS Satellite Events 2005: 58-66 |
| 2004 |
|---|
| 8 | EE | Marius Bozga,
Susanne Graf,
Ileana Ober,
Iulian Ober,
Joseph Sifakis:
The IF Toolset.
SFM 2004: 237-267 |
| 7 | EE | Iulian Ober,
Susanne Graf,
Ileana Ober:
Validation of UML Models via a Mapping to Communicating Extended Timed Automata.
SPIN 2004: 127-145 |
| 6 | EE | Marius Bozga,
Susanne Graf,
Laurent Mounier,
Iulian Ober:
IF Validation Environment Tutorial.
SPIN 2004: 306-307 |
| 2001 |
|---|
| 5 | EE | Iulian Ober,
Alain Kerbrat:
Verification of Quantitative Temporal Properties of SDL Specifications.
SDL Forum 2001: 182-202 |
| 4 | EE | Marius Bozga,
Susanne Graf,
Laurent Mounier,
Iulian Ober,
Jean-Luc Roux,
Daniel Vincent:
Timed Extensions for SDL.
SDL Forum 2001: 223-240 |
| 2000 |
|---|
| 3 | | Marius Bozga,
Susanne Graf,
Alain Kerbrat,
Laurent Mounier,
Iulian Ober,
Daniel Vincent:
SDL for Real-Time: What is Missing?
SAM 2000: 108- |
| 1999 |
|---|
| 2 | EE | Iulian Ober,
Ileana Stan:
On the Concurrent Object Model of UML.
Euro-Par 1999: 1377-1384 |
| 1 | | Iulian Ober,
Alain Kerbrat:
Specification and execution of tests using tMsc.
FORTE 1999: 453-468 |
