Ketil Stølen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Underspecification, inherent nondeterminism and probability in sequence diagrams Lecture Notes in Computer Science	2021-05-25	Paper
Stepwise refinement of sequence diagrams with soft real-time constraints Journal of Computer and System Sciences	2015-07-13	Paper
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism Formal Aspects of Computing	2013-03-22	Paper
Risk analysis of changing and evolving systems using CORAS Foundations of Security Analysis and Design VI	2011-09-16	Paper
Experiences from using a UML-based method for trust analysis in an industrial project on electronic procurement Electronic Commerce Research	2010-11-30	Paper
Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis Science of Computer Programming	2009-01-09	Paper
Trust Management Lecture Notes in Computer Science	2007-09-25	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-11-14	Paper
scientific article; zbMATH DE number 5004762 (Why is no real title available?)	2006-02-08	Paper
Stream-based specification of mobile systems Formal Aspects of Computing	2001-11-21	Paper
Specification and Development of Interactive Systems Monographs in Computer Science	2001-07-12	Paper
scientific article; zbMATH DE number 1304376 (Why is no real title available?)	1999-08-31	Paper
Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm Formal Aspects of Computing	1996-06-02	Paper

Research outcomes over time

This page was built for person: Ketil Stølen