Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Iulian Ober
2010 – today
- 2013
[c24]El Arbi Aboussoror, Ileana Ober, Iulian Ober: Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback. SDL Forum 2013: 107-123- 2012
- [c23]Iulia Dragomir, Iulian Ober, David Lesens: A Case Study in Formal System Engineering with SysML. ICECCS 2012: 189-198
- [c22]El Arbi Aboussoror, Ileana Ober, Iulian Ober: Seeing Errors: Model Driven Simulation Trace Visualization. MoDELS 2012: 480-496
- [e1]Iulian Ober, Ileana Ober (Eds.): SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers. Lecture Notes in Computer Science 7083, Springer 2012, ISBN 978-3-642-25263-1
- 2011
- [j5]Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror: UML/SysML semantic tunings. ISSE 7(4): 257-264 (2011)
- [c21]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
- [c20]Iulian Ober, Iulia Dragomir: Unambiguous UML Composite Structures: The OMEGA2 Experience. SOFSEM 2011: 418-430
- 2010
- [c19]Iulian Ober, Iulia Dragomir: OMEGA2: A New Version of the Profile and the Tools. ICECCS 2010: 373-378
- [c18]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
- [i1]Iulia Dragomir, Iulian Ober: Well-formedness and typing rules for UML Composite Structures. CoRR abs/1010.6155 (2010)
2000 – 2009
- 2009
- [c17]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
- [j4]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)
- [j3]Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein: Supporting UML-based development of embedded systems by formal techniques. Software and System Modeling 7(2): 131-155 (2008)
- [c16]Iulian Ober, Nicolas Halbwachs: On the Timed Automata-Based Verification of Ravenscar Systems. Ada-Europe 2008: 30-43
- [c15]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
- [c14]Iulian Ober, Bernard Coulette, Younes Lakhrissi: Behavioral Modelling and Composition of Object Slices Using Event Observation. MoDELS 2008: 219-233
- [c13]
- 2006
- [j2]
- [j1]Iulian Ober, Susanne Graf, Ileana Ober: Validating timed UML models by simulation and verification. STTT 8(2): 128-145 (2006)
- [c12]Iulian Ober, Susanne Graf, David Lesens: Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS 2006: 48-62
- [c11]Iulian Ober, Susanne Graf, Yuri Yushtein: Using an UML profile for timing analysis with the IF validation tool-set. MBEES 2006: 75-84
- [c10]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
- 2005
- [c9]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
- [c8]Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis: The IF Toolset. SFM 2004: 237-267
- [c7]Iulian Ober, Susanne Graf, Ileana Ober: Validation of UML Models via a Mapping to Communicating Extended Timed Automata. SPIN 2004: 127-145
- [c6]Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober: IF Validation Environment Tutorial. SPIN 2004: 306-307
- 2001
- [c5]Iulian Ober, Alain Kerbrat: Verification of Quantitative Temporal Properties of SDL Specifications. SDL Forum 2001: 182-202
- [c4]Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent: Timed Extensions for SDL. SDL Forum 2001: 223-240
- 2000
- [c3]Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent: SDL for Real-Time: What is Missing? SAM 2000: 108-
1990 – 1999
- 1999
- [c2]
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18 22:43 CEST by the dblp team