BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
2 × France
2 × Italy
Collaborated with:
I.Ober N.Halbwachs E.A.Aboussoror B.Coulette Y.Lakhrissi R.Baduel M.Chami J.Bruel M.Bozga S.Graf J.Sifakis
Talks about:
model (3) verif (2) experiment (1) ravenscar (1) industri (1) composit (1) challeng (1) behavior (1) automata (1) toolset (1)

Person: Iulian Ober

DBLP DBLP: Ober:Iulian

Contributed to:

MoDELS 20122012
Ada-Europe 20082008
MoDELS 20082008
SFM-RT 20042004
ECMFA 20182018

Wrote 5 papers:

MoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation
Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
AdaEurope-2008-OberH #on the #verification
On the Timed Automata-Based Verification of Ravenscar Systems (IO, NH), pp. 30–43.
MoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using
Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
SFM-2004-BozgaGOOS #tool support
The IF Toolset (MB, SG, IO, IO, JS), pp. 237–267.
ECMFA-2018-BaduelCBO #challenge #industrial #modelling #validation #verification
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation (RB, MC, JMB, IO), pp. 132–146.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.