10 citations · 12 across the 4 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2021
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…
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…