Evaluating an SDL framework for AXE development. - Stein Erik Ellevseth; Birger Møller-Pedersen (SDL Forum, 1999)

Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. - Jagadish Suryadevara; Gaetana Sapienza; Cristina Cerschi Seceleanu; Tiberiu Seceleanu; Stein Erik Ellevseth; Paul Pettersson (FTSCS, 2013)

A Model-Driven Approach for Runtime Reliability Analysis. - Dominik Sojer; Frank Reichenbach; Stein Erik Ellevseth; Christian Buckl; Alois C. Knoll (LADC, 2013)

Maximizing diversity in CPUs: Using GPUs as coprocessors to achieve safety integrity. - Frank Reichenbach; Jan Endresen; Stein Erik Ellevseth (INDIN, 2014)

Analyzing a wind turbine system: From simulation to formal verification. - Cristina Seceleanu; Morgan E. Johansson; Jagadish Suryadevara; Gaetana Sapienza; Tiberiu Seceleanu; Stein Erik Ellevseth; Paul Pettersson (Sci. Comput. Program., 2017)

15th System Analysis and Modelling Conference (SAM 2023). - Peter Herrmann; Stein Erik Ellevseth (MoDELS (Companion), 2023)

Preface to the special issue on model-driven engineering and system analysis and modelling. - Iulian Ober; Pierre de Saqui-Sannes; Peter Herrmann; Stein Erik Ellevseth (Innov. Syst. Softw. Eng., 2024)