Stein Erik Ellevseth

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 2

Top Topics

Formal Verification

Graphics Processors

Integrity Constraints

Top Venues

Sci. Comput. Program.

MoDELS (Companion)

Publications

Peter Herrmann, Stein Erik Ellevseth
15th System Analysis and Modelling Conference (SAM 2023). MoDELS (Companion) (2023)
Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson
Analyzing a wind turbine system: From simulation to formal verification. Sci. Comput. Program. 133 (2017)
Frank Reichenbach, Jan Endresen, Stein Erik Ellevseth
Maximizing diversity in CPUs: Using GPUs as coprocessors to achieve safety integrity. INDIN (2014)
Dominik Sojer, Frank Reichenbach, Stein Erik Ellevseth, Christian Buckl, Alois C. Knoll
A Model-Driven Approach for Runtime Reliability Analysis. LADC (2013)
Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. FTSCS (2013)
Stein Erik Ellevseth, Birger Møller-Pedersen
Evaluating an SDL framework for AXE development. SDL Forum (1999)