Ketil Stølen

Available identifiers

Publication	Date of Publication	Type
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams	2021-05-25	Paper
Stepwise refinement of sequence diagrams with soft real-time constraints	2015-07-13	Paper
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism	2013-03-22	Paper
Risk Analysis of Changing and Evolving Systems Using CORAS	2011-09-16	Paper
Experiences from using a UML-based method for trust analysis in an industrial project on electronic procurement	2010-11-30	Paper
Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis	2009-01-09	Paper
Trust Management	2007-09-25	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q3370739	2006-02-08	Paper
Stream-based specification of mobile systems	2001-11-21	Paper
Specification and Development of Interactive Systems	2001-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q4251112	1999-08-31	Paper
Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm	1996-06-02	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ketil Stølen