10 citations · 12 across the 2 of their papers we have counts for
3 papers
cs.AI2021★ 10 cited
Certification of embedded systems based on Machine Learning: A survey
Guillaume Vidot, Christophe Gabreau, Ileana Ober +1
Advances in machine learning (ML) open the way to innovating functions in the avionic domain, such as navigation/surveillance assistance (e.g. vision-based navigation, obstacle sen…
cs.SE2019
Modeling and verification method for an early validation of a train system
Ronan Baduel, Iulian Ober, Jean-Michel Bruel
This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps of development in an industrial context. A met…
cs.SE2010★ 2 cited
Well-formedness and typing rules for UML Composite Structures
Iulia Dragomir, Iulian Ober
Starting from version 2.0, UML introduced hierarchical composite structures, which are an expressive way of defining complex software architectures, but which have a very loosely d…