6 citations · 7 across the 7 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016
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 --…
cs.LO2016
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Hierarchical block diagrams (HBDs) are at the heart of embedded system design tools, including Simulink. Numerous translations exist from HBDs into languages with formal semantics,…