Iulian Ober

2008
18	EE	Iulian Ober, Nicolas Halbwachs: On the Timed Automata-Based Verification of Ravenscar Systems. Ada-Europe 2008: 30-43
17	EE	Iulian Ober, Bernard Coulette, Younes Lakhrissi: Behavioral Modelling and Composition of Object Slices Using Event Observation. MoDELS 2008: 219-233
16	EE	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
15	EE	Iulian Ober: MODELS Research Projects Symposium. MoDELS Workshops 2008: 400-401
14	EE	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
13	EE	Iulian Ober, Susanne Graf, David Lesens: Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS 2006: 48-62
12	EE	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	EE	Susanne Graf, Ileana Ober, Iulian Ober: A real-time profile for UML. STTT 8(2): 113-127 (2006)
10	EE	Iulian Ober, Susanne Graf, Ileana Ober: Validating timed UML models by simulation and verification. STTT 8(2): 128-145 (2006)
2005
9	EE	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	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	Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober: IF Validation Environment Tutorial. SPIN 2004: 306-307
2001
5	EE	Iulian Ober, Alain Kerbrat: Verification of Quantitative Temporal Properties of SDL Specifications. SDL Forum 2001: 182-202
4	EE	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	EE	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

Coauthor Index

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

Colors in the list of coauthors