Searching for authors named "Ileana Ober" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions
- …An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions ∗ Ileana Ober…
- Cited by 5 (1 self) – Add To MetaCart
-
A real-time profile for UML and how to adapt it to SDL
- …A Real-Time Profile for UML and How to Adapt It to SDL ⋆ Susanne Graf and Ileana Ober VERIMAG…
- Cited by 12 (8 self) – Add To MetaCart
-
Model checking of UML models via a mapping to communicating extended timed automata
- …, Susanne Graf, Ileana Ober VERIMAG 2, av. de Vignate 38610 Gières, France E-mail: {ober…
- Cited by 11 (3 self) – Add To MetaCart
-
Timed annotations with UML
- …Timed annotations with UML � Susanne Graf, Ileana Ober and Iulian Ober VERIMAG �� – Centre…
- Cited by 10 (7 self) – Add To MetaCart
-
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
- …, Susanne Graf, Ileana Ober VERIMAG 2, av. de Vignate 38610 Gières, France E-mail: {ober…
- Cited by 3 (2 self) – Add To MetaCart
-
Validating timed uml models by simulation and verification
- …Validating timed UML models by simulation and verification ⋆ Iulian Ober Susanne Graf Ileana Ober…
- Cited by 22 (11 self) – Add To MetaCart
-
D2.2.2 Tool set for system verification
- …, Ileana Ober VERIMAG 2, av. de Vignate 38610 Gières, France E-mail: {ober,graf,iober}@(email omitted); Abstract. We…
- Add To MetaCart
Showing 1 through 7.
