Iulian Ober Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober, Iulia Dragomir: Unambiguous UML Composite Structures: The OMEGA2 Experience. SOFSEM 2011: 418-430
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIleana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror: UML/SysML semantic tunings. ISSE 7(4): 257-264 (2011)
2010
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober, Iulia Dragomir: OMEGA2: A New Version of the Profile and the Tools. ICECCS 2010: 373-378
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulia Dragomir, Iulian Ober: Well-formedness and typing rules for UML Composite Structures CoRR abs/1010.6155: (2010)
2009
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober, Nicolas Halbwachs: On the Timed Automata-Based Verification of Ravenscar Systems. Ada-Europe 2008: 30-43
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober, Bernard Coulette, Younes Lakhrissi: Behavioral Modelling and Composition of Object Slices Using Event Observation. MoDELS 2008: 219-233
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober: MODELS Research Projects Symposium. MoDELS Workshops 2008: 400-401
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian 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)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJozef 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober, Susanne Graf, David Lesens: Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS 2006: 48-62
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober, Susanne Graf, Yuri Yushtein: Using an UML profile for timing analysis with the IF validation tool-set. MBEES 2006: 75-84
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne Graf, Ileana Ober, Iulian Ober: A real-time profile for UML. STTT 8(2): 113-127 (2006)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober, Susanne Graf, Ileana Ober: Validating timed UML models by simulation and verification. STTT 8(2): 128-145 (2006)
2005
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis: The IF Toolset. SFM 2004: 237-267
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober, Susanne Graf, Ileana Ober: Validation of UML Models via a Mapping to Communicating Extended Timed Automata. SPIN 2004: 127-145
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober: IF Validation Environment Tutorial. SPIN 2004: 306-307
2001
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober, Alain Kerbrat: Verification of Quantitative Temporal Properties of SDL Specifications. SDL Forum 2001: 182-202
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent: Timed Extensions for SDL. SDL Forum 2001: 223-240
2000
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent: SDL for Real-Time: What is Missing? SAM 2000: 108-
1999
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober, Ileana Stan: On the Concurrent Object Model of UML. Euro-Par 1999: 1377-1384
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIulian Ober, Alain Kerbrat: Specification and execution of tests using tMsc. FORTE 1999: 453-468

Coauthor Index

1El Arbi Aboussoror [25]
2Stefan Van Baelen [18] [21] [23] [27]
3Marius Bozga [3] [4] [6] [8]
4Bernard Coulette [19]
5Iulia Dragomir [22] [24] [25] [26]
6Huáscar Espinoza [21] [23] [27]
7Mamoun Filali (Mamoun Filali-Amine) [18]
8Sébastien Gérard (Sebastien Gerard) [9] [12] [18] [23] [27]
9Susanne Graf [3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [18]
10Nicolas Halbwachs [20]
11Øystein Haugen [9] [12]
12Jozef Hooman [15]
13Alain Kerbrat [1] [3] [5]
14Hillel Kugler [15]
15Younes Lakhrissi [19]
16David Lesens [14]
17Laurent Mounier [3] [4] [6]
18Ileana Ober [7] [8] [10] [11] [16] [21] [23] [25] [27] [28]
19Jean-Luc Roux [4]
20Bran Selic [9] [12]
21Joseph Sifakis [8]
22Ileana Stan [2]
23Daniel Vincent [3] [4]
24Angelika Votintseva [15]
25Thomas Weigert [18] [21] [23] [27]
26Yuri Yushtein [13] [15] [16]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page