2 citations · 3 across the 7 of their papers we have counts for
4 papers · 1 filter
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…
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Simulink is a de-facto industrial standard for the design of embedded systems. In previous work, we developed a compositional analysis framework for Simulink models in Isabelle --…
Translating Hierarchical Block Diagrams into Composite Predicate Transformers
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
Simulink is the de facto industrial standard for designing embedded control systems. When dealing with the formal verification of Simulink models, we face the problem of translatin…
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…