Ketil Stølen

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 8

Top Topics

Sequence Diagrams

Search And Rescue

Security Requirements

Top Venues

Int. J. Softw. Tools Technol. Transf.

J. Comput. Syst. Sci.

Publications

Ketil Stølen
Development of parallel programs on shared data-structures - Revised version. CoRR (2024)
Shukun Tokas, Gencer Erdogan, Ketil Stølen
Privacy-Aware IoT: State-of-the-Art and Challenges. ICISSP (2023)
Roman Wirtz, Maritta Heisel, Rene Meis, Aida Omerovic, Ketil Stølen
Problem-based Elicitation of Security Requirements - The ProCOR Method. ENASE (2018)
Roman Wirtz, Maritta Heisel, Angela Borchert, Rene Meis, Aida Omerovic, Ketil Stølen
Risk-Based Elicitation of Security Requirements According to the ISO 27005 Standard. ENASE (Selected Papers) (2018)
Gencer Erdogan, Ketil Stølen, Jan Øyvind Aagedal
Evaluation of the CORAL Approach for Risk-driven Security Testing based on an Industrial Case Study. ICISSP (2016)
Erik G. Nilsson, Ketil Stølen
The FLUIDE Framework for Specifying Emergency Response User Interfaces Employed to a Search and Rescue Case. ISCRAM (2016)
Erik G. Nilsson, Ketil Stølen
A case-based assessment of the FLUIDE framework for specifying emergency response user interfaces. EICS (2016)
Gencer Erdogan, Ketil Stølen
Design Decisions in the Development of a Graphical Language for Risk-Driven Security Testing. RISK (2016)
Gencer Erdogan, Fredrik Seehusen, Ketil Stølen, Jon Hofstad, Jan Øyvind Aagedal
Assessing the Usefulness of Testing for Validating and Correcting Security Risk Models Based on Two Industrial Case Studies. Int. J. Secur. Softw. Eng. 6 (2) (2015)
Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen
Stepwise refinement of sequence diagrams with soft real-time constraints. J. Comput. Syst. Sci. 81 (7) (2015)
Atle Refsdal, Bjørnar Solhaug, Ketil Stølen
Security risk analysis of system changes exemplified within the oil and gas domain. Int. J. Softw. Tools Technol. Transf. 17 (3) (2015)
Gencer Erdogan, Atle Refsdal, Ketil Stølen
Schematic Generation of English-Prose Semantics for a Risk Analysis Language Based on UML Interactions. ISSRE Workshops (2014)
Gencer Erdogan, Yan Li, Ragnhild Kobro Runde, Fredrik Seehusen, Ketil Stølen
Approaches for the combined use of risk analysis and testing: a systematic literature review. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Gencer Erdogan, Atle Refsdal, Ketil Stølen
A Systematic Method for Risk-Driven Test Case Design Using Annotated Sequence Diagrams. RISK@ICTSS (2013)
Le Minh Sang Tran, Bjørnar Solhaug, Ketil Stølen
An Approach to Select Cost-Effective Risk Countermeasures. DBSec (2013)
Ragnhild Kobro Runde, Atle Refsdal, Ketil Stølen
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism. Formal Aspects Comput. 25 (2) (2013)
Le Minh Sang Tran, Bjørnar Solhaug, Ketil Stølen
An Approach to Select Cost-Effective Risk Countermeasures Exemplified in CORAS CoRR (2013)
André Alexandersen Hauge, Ketil Stølen
A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production. SAFECOMP (2012)
Aslak Wegner Eide, Ketil Stølen
Geographic Visualization of Risk as Decision Support in Emergency Situations. HSI (2012)
Aida Omerovic, Bjørnar Solhaug, Ketil Stølen
Assessing practical usefulness and performance of the PREDIQT method: An industrial case study. Inf. Softw. Technol. 54 (12) (2012)
André Alexandersen Hauge, Ketil Stølen
Towards Patterns for Handling Safety Critical Adaptive Control Software. ICINCO (1) (2011)
Fredrik Seehusen, Ketil Stølen
An Evaluation of the Graphical Modeling Framework (GMF) Based on the Development of the CORAS Tool. ICMT@TOOLS (2011)
Olav S. Ligaarden, Mass Soldal Lund, Atle Refsdal, Fredrik Seehusen, Ketil Stølen
An architectural pattern for enterprise level monitoring tools. MESOCA (2011)
André Alexandersen Hauge, Ketil Stølen
SACS: a pattern language for safe adaptive control software. PLoP (2011)
Aida Omerovic, Bjørnar Solhaug, Ketil Stølen
Evaluation of Experiences from Applying the PREDIQT Method in an Industrial Case Study. SSIRI (2011)
Bjørnar Solhaug, Ketil Stølen
Preservation of Policy Adherence under Refinement. Int. J. Softw. Informatics 5 (1-2) (2011)
Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen
Risk Analysis of Changing and Evolving Systems Using CORAS. FOSAD (2011)
Erik G. Nilsson, Ketil Stølen
Generic functionality in user interfaces for emergency response. OZCHI (2011)
Gyrd Brændeland, Atle Refsdal, Ketil Stølen
A Denotational Model for Component-Based Risk Analysis. FACS (2011)
Bjørnar Solhaug, Ketil Stølen
Uncertainty, Subjectivity, Trust and Risk: How It All Fits together. STM (2011)
Olav S. Ligaarden, Atle Refsdal, Ketil Stølen
Experiences from Using Indicators to Validate Expert Judgments in Security Risk Analysis. Metrisec@ESEM (2011)
Gyrd Brændeland, Atle Refsdal, Ketil Stølen
Modular analysis and modelling of risk scenarios with dependencies. J. Syst. Softw. 83 (10) (2010)
Aida Omerovic, Anette Andresen, Håvard Grindheim, Per Myrseth, Atle Refsdal, Ketil Stølen, Jon Ølnes
Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality. ESSoS (2010)
Erik G. Nilsson, Ketil Stølen
Ad Hoc Networks and Mobile Devices in Emergency Response - A Perfect Match? - (Invited Paper). ADHOCNETS (2010)
Tormod V. Håvaldsrud, Olav S. Ligaarden, Per Myrseth, Atle Refsdal, Ketil Stølen, Jon Ølnes
Experiences from using a UML-based method for trust analysis in an industrial project on electronic procurement. Electron. Commer. Res. 10 (3-4) (2010)
Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen
Evolution in Relation to Risk and Trust Management. Computer 43 (5) (2010)
Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies. Softw. Syst. Model. 8 (1) (2009)
Atle Refsdal, Ketil Stølen
Employing Key Indicators to Provide a Dynamic Risk Picture with a Notion of Confidence. IFIPTM (2009)
Aida Omerovic, Ketil Stølen
Simplifying Parametrization of Bayesian Networks in Prediction of System Quality. SSIRI (2009)
Fredrik Seehusen, Ketil Stølen
Information flow security, abstraction and composition. IET Inf. Secur. 3 (1) (2009)
Atle Refsdal, Bjørnar Solhaug, Ketil Stølen
A UML-based Method for the Development of Policies to Support Trust Management. IFIPTM (2008)
Bjørnar Solhaug, Ketil Stølen
Compositional Refinement of Policies in UML - Exemplified for Access Control. ESORICS (2008)
Atle Refsdal, Ketil Stølen
Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis. Electron. Notes Theor. Comput. Sci. 197 (2) (2008)
Atle Refsdal, Ketil Stølen
Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis. Sci. Comput. Program. 74 (1-2) (2008)
Fredrik Seehusen, Ketil Stølen
A Transformational Approach to Facilitate Monitoring of High-Level Policies. POLICY (2008)
Mass Soldal Lund, Atle Refsdal, Ketil Stølen
Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches. Model-Based Engineering of Embedded Real-Time Systems (2007)
Bjørnar Solhaug, Dag Elgesem, Ketil Stølen
Specifying Policies Using UML Sequence Diagrams - An Evaluation Based on a Case Study. POLICY (2007)
Gyrd Brændeland, Heidi E. I. Dahl, Iselin Engan, Ketil Stølen
Using Dependent CORAS Diagrams to Analyse Mutual Dependency. CRITIS (2007)
Gyrd Brændeland, Ketil Stølen
A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk. Formal Aspects in Security and Trust (2006)
Mass Soldal Lund, Ketil Stølen
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. FM (2006)
Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams. FMOODS (2006)
Ida Hogganvik, Ketil Stølen
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations. MoDELS (2006)
Gyrd Brændeland, Ketil Stølen
Using model-based security analysis in component-oriented system development. QoP (2006)
Michael D. Wilson, Alvaro Arenas, David W. Chadwick, Theo Dimitrakos, Jürgen Doser, Pablo Giambiagi, David Golby, Christian Geuer-Pollmann, Jochen Haller, Ketil Stølen, Tobias Mahler, Lorenzo Martino, Xavier Parent, Santi Ristol, J. Sairamesh, Lutz Schubert, Nilufer Tuptuk
The TrustCoM Approach to Enforcing Agreements between Interoperating Enterprises. I-ESA (2006)
Fredrik Seehusen, Ketil Stølen
Maintaining Information Flow Security Under Refinement and Transformation. Formal Aspects in Security and Trust (2006)
Mass Soldal Lund, Ketil Stølen
Deriving Tests from UML 2.0 Sequence Diagrams with neg and assert. AST (2006)
Fredrik Seehusen, Ketil Stølen
Information flow property preserving transformation of UML interaction diagrams. SACMAT (2006)
Fredrik Vraalsen, Mass Soldal Lund, Tobias Mahler, Xavier Parent, Ketil Stølen
Specifying Legal Risk Scenarios Using the CORAS Threat Modelling Language. iTrust (2005)
Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen
The Pragmatics of STAIRS. FMCO (2005)
Atle Refsdal, Knut Eilif Husa, Ketil Stølen
Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams. FORMATS (2005)
Fredrik Seehusen, Ketil Stølen
Graphical Specification of Dynamic Network Structure. ICEIS (3) (2005)
Ida Hogganvik, Ketil Stølen
Risk analysis terminology for IT-systems: does it match intuition? ISESE (2005)
Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen
STAIRS towards formal design with sequence diagrams. Softw. Syst. Model. 4 (4) (2005)
Ida Hogganvik, Ketil Stølen
On the Comprehension of Security Risk Scenarios. IWPC (2005)
Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen
Refining UML Interactions with Underspecification and Nondeterminism. Nord. J. Comput. 12 (2) (2005)
Folker den Braber, Arne Bjørn Mildal, Jone Nes, Ketil Stølen, Fredrik Vraalsen
Experiences from Using the CORAS Methodology to Analyze a Web Application. J. Cases Inf. Technol. 7 (3) (2005)
Fredrik Vraalsen, Folker den Braber, Mass Soldal Lund, Ketil Stølen
The CORAS Tool for Security Risk Analysis. iTrust (2005)
Gyrd Brændeland, Ketil Stølen
Using Risk Analysis to Assess User Trust: A Net-Bank Scenario. iTrust (2004)
Mass Soldal Lund, Folker den Braber, Ketil Stølen
Maintaining Results from Security Assessment. CSMR (2003)
Yannis Stamatiou, Eva Skipenes, Eva Henriksen, Nikos Stathiakis, Adamantios Sikianakis, Eliana Charalambous, Nikos Antonakis, Ketil Stølen, Folker den Braber, Mass Soldal Lund, Katerina Papadaki, George Valvis
The CORAS approach for model-based risk management applied to a telemedicine service. MIE (2003)
Øystein Haugen, Ketil Stølen
STAIRS - Steps to Analyze Interactions with Refinement Semantics. UML (2003)
Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen
Why Timed Sequence Diagrams Require Three-Event Semantics. Scenarios: Models, Transformations and Tools (2003)
Dimitris Raptis, Theodosis Dimitrakos, Bjørn Axel Gran, Ketil Stølen
The coras approach for model-based risk management applied to e-commerce domain. Communications and Multimedia Security (2002)
Rune Fredriksen, Monica Kristiansen, Bjørn Axel Gran, Ketil Stølen, Tom Arthur Opperud, Theodosis Dimitrakos
The CORAS Framework for a Model-Based Risk Management Process. SAFECOMP (2002)
Theodosis Dimitrakos, Brian Ritchie, Dimitris Raptis, Jan Øyvind Aagedal, Folker den Braber, Ketil Stølen, Siv Hilde Houmb
Integrating Model-based Security Risk Management into eBusiness Systems Development: The CORAS Approach. I3E (2002)
Jan Øyvind Aagedal, Folker den Braber, Theodosis Dimitrakos, Bjørn Axel Gran, Dimitris Raptis, Ketil Stølen
Model-Based Risk Assessment to Improve Enterprise Security. EDOC (2002)
Theodosis Dimitrakos, Dimitris Raptis, Brian Ritchie, Ketil Stølen
Model Based Security Risk Analysis for Web Applications. EuroWeb (2002)
Radu Grosu, Ketil Stølen
Stream-Based Specification of Mobile Systems. Formal Aspects Comput. 13 (1) (2001)
Ketil Stølen, P. Mohn
Experience from Using MSC, UML and SDL in the Development of the FAME Communication Manager. SAM (2000)
Ketil Stølen
Specification of Dynamic Reconfiguration in the Context of Input/Output Relations. FMOODS (1999)
Ketil Stølen, Max Fuchs
An Exercise in Conditional Refinement. Prospects for Hardware Foundations (1998)
Radu Grosu, Ketil Stølen
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. AMAST (1996)
Ketil Stølen, Frank Dederichs, Rainer Weber
Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm. Formal Aspects Comput. 8 (2) (1996)
Ketil Stølen
Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication. Sci. Comput. Program. 26 (1-3) (1996)
Ketil Stølen
Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness. ESOP (1996)
Ketil Stølen
A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers. MPC (1995)
Ketil Stølen
Using Relations to Solve the RPC-Memory Specification Problem. Formal Systems Specification (1994)
Eckhardt Holz, Ketil Stølen
An attempt to embed a restricted version of SDL as a target language in Focus. FORTE (1994)
Manfred Broy, Ketil Stølen
Specification and Refinement of Finite Dataflow Networks - a Relational Approach. FTRTFT (1994)
Ketil Stølen, Frank Dederichs, Rainer Weber
Assumption, commitment rules for networks of asynchronously communicating agents Forschungsberichte, TU Munich (1993)
Max Fuchs, Ketil Stølen
Development of a distributed min max component Forschungsberichte, TU Munich (1993)
Ketil Stølen
Shared-state design modulo weak and strong process fairness. FORTE (1992)
Ketil Stølen
Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language. Refine (1992)
Ketil Stølen
An Attempt to Reason about Shared-State Concurrency in the Style of VDM. VDM Europe (1) (1991)
Ketil Stølen
A Method for the Development of Totally Correct Shared-State Parallel Programs. CONCUR (1991)