10 citations · 12 across the 4 of their papers we have counts for
4 papers
Formal verification of space systems designed with TASTE
I Dragomir, M Bozga, Iulian Ober +4
Model-Based Systems Engineering (MBSE) is a development approach aiming to build correct-by-construction systems, provided the use of clear, unambiguous and complete models to desc…
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…
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…
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…