To main content

Ketil Stølen

Chief Scientist

Ketil Stølen

Chief Scientist

Ketil Stølen
Phone: 922 16 112
Mobile: 922 16 112
Department: Software and Service Innovation
Office: Oslo

publications and responsibilities

Publications

Publication

Design decisions in the development of a graphical language for risk-driven security testing

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1486557

We have developed a domain-specific modeling language named CORAL that employs risk assessment to help security testers select and design test cases based on the available risk picture. In this paper, we present CORAL and then discuss why the language is designed the way it is, and what we could hav...

Year 2017
Type Journal article
Publication

Evaluation of the CORAL Approach for Risk-driven Security Testing based on an Industrial Case Study

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1376511

The CORAL approach is a model-based method to security testing employing risk assessment to help security testers select and design test cases based on the available risk picture. In this paper we present experiences from using CORAL in an industrial case. The results indicate that CORAL supports se...

Authors Erdogan Gencer Stølen Ketil Aagedal Jan Øyvind
Year 2016
Type Conference paper/Book chapter
Publication

Mandatory and Potential Choice: Comparing Event-B and STAIRS

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1355615

In order to decide whether a software system fulfills a specification, or whether a detailed specification preserves the properties of a more abstract specification, we need an understanding of what it means for one specification to fulfill another specification. This is particularly important when ...

Authors Refsdal Atle Runde Ragnhild Kobro Stølen Ketil
Year 2016
Type Conference paper/Book chapter
Publication

A Case-based Assessment of the FLUIDE Framework for Specifying Emergency Response User Interfaces

http://www.sintef.no/en/publications/publication/?pubid=SINTEF+A26920

In this report, we present the results from assessing the FLUIDE Framework for model-based specification of user interfaces supporting emergency responders. First, we outline the special challenges faced when developing such user interfaces, and the approach used in the FLUIDE Framework to meet thes...

Year 2016
Type Report
Publication

The FLUIDE Framework for Specifying Emergency Response User Interfaces Employed to a Search and Rescue Case

http://www.sintef.no/en/publications/publication/?pubid=SINTEF+A27575

This report presents the FLUIDE Framework with particular emphasis on its specification languages. The FLUIDE Framework supports development of flexible emergency response user interfaces. We demonstrate the FLUIDE Framework by giving examples from the FLUIDE specification of the user interface of a...

Year 2016
Type Report
Publication

The FLUIDE Specification Languages with an Accompanying Method

http://www.sintef.no/en/publications/publication/?pubid=SINTEF+A27972

In this report we provide the syntax, semantics and pragmatics of the FLUIDE Specification Languages. First we provide an introduction to the FLUIDE Specification Languages, including their context, the rationale behind their design, important principles, and definitions of the main constructs in th...

Year 2016
Type Report
Publication

A Case-based Assessment of the FLUIDE Framework for Specifying Emergency Response User Interfaces

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1435964

In this report, we present the results from assessing the FLUIDE Framework for model-based specification of user interfaces supporting emergency responders. First, we outline the special challenges faced when developing such user interfaces, and the approach used in the FLUIDE Framework to meet thes...

Year 2016
Type Report
Publication

The FLUIDE Framework for Specifying Emergency Response User Interfaces Employed to a Search and Rescue Case

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1435965

This report presents the FLUIDE Framework with particular emphasis on its specification languages. The FLUIDE Framework supports development of flexible emergency response user interfaces. We demonstrate the FLUIDE Framework by giving examples from the FLUIDE specification of the user interface of a...

Year 2016
Type Report
Publication

The FLUIDE Specification Languages with an Accompanying Method

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1436721

In this report we provide the syntax, semantics and pragmatics of the FLUIDE Specification Languages. First we provide an introduction to the FLUIDE Specification Languages, including their context, the rationale behind their design, important principles, and definitions of the main constructs in th...

Year 2016
Type Report
View all publications