| 2012 | ||
|---|---|---|
| 28 | Iulian Ober, Ileana Ober: SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers Springer 2012 | |
| 2011 | ||
| 27 | Stefan Van Baelen, Sébastien Gérard, Ileana Ober, Thomas Weigert, Huáscar Espinoza, Iulian Ober: Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011). MoDELS Workshops 2011: 257-261 | |
| 26 | Iulian Ober, Iulia Dragomir: Unambiguous UML Composite Structures: The OMEGA2 Experience. SOFSEM 2011: 418-430 | |
| 25 | Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror: UML/SysML semantic tunings. ISSE 7(4): 257-264 (2011) | |
| 2010 | ||
| 24 | Iulian Ober, Iulia Dragomir: OMEGA2: A New Version of the Profile and the Tools. ICECCS 2010: 373-378 | |
| 23 | Stefan Van Baelen, Iulian Ober, Huáscar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard: Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010). MoDELS Workshops 2010: 70-74 | |
| 22 | Iulia Dragomir, Iulian Ober: Well-formedness and typing rules for UML Composite Structures CoRR abs/1010.6155: (2010) | |
| 2009 | ||
| 21 | Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huáscar Espinoza, Iulian Ober: Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009). MoDELS Workshops 2009: 63-67 | |
| 2008 | ||
| 20 | Iulian Ober, Nicolas Halbwachs: On the Timed Automata-Based Verification of Ravenscar Systems. Ada-Europe 2008: 30-43 | |
| 19 | Iulian Ober, Bernard Coulette, Younes Lakhrissi: Behavioral Modelling and Composition of Object Slices Using Event Observation. MoDELS 2008: 219-233 | |
| 18 | Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard: Model Based Architecting and Construction of Embedded Systems. MoDELS Workshops 2008: 1-4 | |
| 17 | Iulian Ober: MODELS Research Projects Symposium. MoDELS Workshops 2008: 400-401 | |
| 16 | Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober: Timing analysis and validation with UML: the case of the embedded MARS bus manager. ISSE 4(3): 301-308 (2008) | |
| 15 | Jozef Hooman, Hillel Kugler, Iulian Ober, Angelika Votintseva, Yuri Yushtein: Supporting UML-based development of embedded systems by formal techniques. Software and System Modeling 7(2): 131-155 (2008) | |
| 2006 | ||
| 14 | Iulian Ober, Susanne Graf, David Lesens: Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS 2006: 48-62 | |
| 13 | Iulian Ober, Susanne Graf, Yuri Yushtein: Using an UML profile for timing analysis with the IF validation tool-set. MBEES 2006: 75-84 | |
| 12 | 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 | Susanne Graf, Ileana Ober, Iulian Ober: A real-time profile for UML. STTT 8(2): 113-127 (2006) | |
| 10 | Iulian Ober, Susanne Graf, Ileana Ober: Validating timed UML models by simulation and verification. STTT 8(2): 128-145 (2006) | |
| 2005 | ||
| 9 | 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 | Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis: The IF Toolset. SFM 2004: 237-267 | |
| 7 | Iulian Ober, Susanne Graf, Ileana Ober: Validation of UML Models via a Mapping to Communicating Extended Timed Automata. SPIN 2004: 127-145 | |
| 6 | Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober: IF Validation Environment Tutorial. SPIN 2004: 306-307 | |
| 2001 | ||
| 5 | Iulian Ober, Alain Kerbrat: Verification of Quantitative Temporal Properties of SDL Specifications. SDL Forum 2001: 182-202 | |
| 4 | 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 | 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 | El Arbi Aboussoror | [25] |
| 2 | Stefan Van Baelen | [18] [21] [23] [27] |
| 3 | Marius Bozga | [3] [4] [6] [8] |
| 4 | Bernard Coulette | [19] |
| 5 | Iulia Dragomir | [22] [24] [25] [26] |
| 6 | Huáscar Espinoza | [21] [23] [27] |
| 7 | Mamoun Filali (Mamoun Filali-Amine) | [18] |
| 8 | Sébastien Gérard (Sebastien Gerard) | [9] [12] [18] [23] [27] |
| 9 | Susanne Graf | [3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [18] |
| 10 | Nicolas Halbwachs | [20] |
| 11 | Øystein Haugen | [9] [12] |
| 12 | Jozef Hooman | [15] |
| 13 | Alain Kerbrat | [1] [3] [5] |
| 14 | Hillel Kugler | [15] |
| 15 | Younes Lakhrissi | [19] |
| 16 | David Lesens | [14] |
| 17 | Laurent Mounier | [3] [4] [6] |
| 18 | Ileana Ober | [7] [8] [10] [11] [16] [21] [23] [25] [27] [28] |
| 19 | Jean-Luc Roux | [4] |
| 20 | Bran Selic | [9] [12] |
| 21 | Joseph Sifakis | [8] |
| 22 | Ileana Stan | [2] |
| 23 | Daniel Vincent | [3] [4] |
| 24 | Angelika Votintseva | [15] |
| 25 | Thomas Weigert | [18] [21] [23] [27] |
| 26 | Yuri Yushtein | [13] [15] [16] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page