| 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 | |
| 1 | Marius Bozga | [3] [4] [6] [8] |
| 2 | Sébastien Gérard (Sebastien Gerard) | [9] [12] |
| 3 | Susanne Graf | [3] [4] [6] [7] [8] [9] [10] [11] [12] [13] |
| 4 | Øystein Haugen | [9] [12] |
| 5 | Alain Kerbrat | [1] [3] [5] |
| 6 | David Lesens | [13] |
| 7 | Laurent Mounier | [3] [4] [6] |
| 8 | Ileana Ober | [7] [8] [10] [11] |
| 9 | Jean-Luc Roux | [4] |
| 10 | Bran Selic | [9] [12] |
| 11 | Joseph Sifakis | [8] |
| 12 | Ileana Stan | [2] |
| 13 | Daniel Vincent | [3] [4] |
Colors in the list of coauthors