Stein Erik Ellevseth

According to our database, Stein Erik Ellevseth authored at least 6 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

15th System Analysis and Modelling Conference (SAM 2023).

Peter Herrmann, Stein Erik Ellevseth

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2017

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

2014

Maximizing diversity in CPUs: Using GPUs as coprocessors to achieve safety integrity.

Frank Reichenbach, Jan Endresen, Stein Erik Ellevseth

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

2013

A Model-Driven Approach for Runtime Reliability Analysis.

Dominik Sojer, Frank Reichenbach, Stein Erik Ellevseth, Christian Buckl, Alois C. Knoll

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

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

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

1999

Evaluating an SDL framework for AXE development.

Stein Erik Ellevseth, Birger Møller-Pedersen

Proceedings of the SDL '99 The Next Millennium, 1999