Ketil Stølen - RankMe

110 papers A 3B 8C 8Misc 2Journal 23Unranked 52

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