| 2006 |
|---|
| 12 | EE | Susanne Graf,
Ileana Ober,
Iulian Ober:
A real-time profile for UML.
STTT 8(2): 113-127 (2006) |
| 11 | EE | Iulian Ober,
Susanne Graf,
Ileana Ober:
Validating timed UML models by simulation and verification.
STTT 8(2): 128-145 (2006) |
| 10 | EE | Susanne Graf,
Øystein Haugen,
Ileana Ober,
Bran Selic:
Preface of "Specification and Validation of Real Time and Embedded systems in UML".
STTT 8(2): 93-96 (2006) |
| 2005 |
|---|
| 9 | EE | Geri Georg,
Jan Øyvind Aagedal,
Raffaela Mirandola,
Ileana Ober,
Dorina C. Petriu,
Wolfgang Theilmann,
Jon Whittle,
Steffen Zschaler:
Workshop on Models for Non-functional Properties of Component-Based Software - NfC.
MoDELS Satellite Events 2005: 210-216 |
| 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 | Susanne Graf,
Øystein Haugen,
Ileana Ober,
Bran Selic:
SVERTS - Specification and Validation of Real-Time and Embedded Systems.
UML Satellite Activities 2004: 33-42 |
| 5 | EE | Jean-Michel Bruel,
Geri Georg,
Heinrich Hußmann,
Ileana Ober,
Christoph Pohl,
Jon Whittle,
Steffen Zschaler:
Models for Non-functional Aspects of Component-Based Software (NfC'04).
UML Satellite Activities 2004: 62-66 |
| 2003 |
|---|
| 4 | EE | Susanne Graf,
Ileana Ober:
A Real-Time Profile for UML and How to Adapt It to SDL.
SDL Forum 2003: 55-76 |
| 2000 |
|---|
| 3 | | Bernard Coulette,
Marcel Gandriau,
Ileana Ober:
Action Language for the UML.
LMO 2000: 277-291 |
| 2 | EE | Philippe Leblanc,
Ileana Ober:
Comparative Case Study in SDL and UML.
TOOLS (33) 2000: 120-131 |
| 1 | EE | Ileana Ober:
More Meaningful UML Models.
TOOLS (37) 2000: 146-157 |
