Iulian Ober

	2008
19		Iulian Ober, Nicolas Halbwachs: On the Timed Automata-Based Verification of Ravenscar Systems. Ada-Europe 2008: 30-43
18		Iulian Ober, Bernard Coulette, Younes Lakhrissi: Behavioral Modelling and Composition of Object Slices Using Event Observation. MoDELS 2008: 219-233
17		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
16		Iulian Ober: MODELS Research Projects Symposium. MoDELS Workshops 2008: 400-401
15		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)
14		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		Iulian Ober, Susanne Graf, David Lesens: Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS 2006: 48-62
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

Coauthor Index

1	Stefan Van Baelen	[17]
2	Marius Bozga	[3] [4] [6] [8]
3	Bernard Coulette	[18]
4	Mamoun Filali	[17]
5	Sébastien Gérard (Sebastien Gerard)	[9] [12] [17]
6	Susanne Graf	[3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [15] [17]
7	Nicolas Halbwachs	[19]
8	Øystein Haugen	[9] [12]
9	Jozef Hooman	[14]
10	Alain Kerbrat	[1] [3] [5]
11	Hillel Kugler	[14]
12	Younes Lakhrissi	[18]
13	David Lesens	[13]
14	Laurent Mounier	[3] [4] [6]
15	Ileana Ober	[7] [8] [10] [11] [15]
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	[17]
23	Yuri Yushtein	[14] [15]

Colors in the list of coauthors