Ketil Stølen
发表
Manfred Broy,
Ketil Stølen,
2001
.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011,
FOSAD.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Øystein Haugen,
K. Stølen,
2003,
UML.
Ketil Stølen,
Øystein Haugen,
Knut Eilif Husa,
2005,
Software & Systems Modeling.
Ketil Stølen,
1992,
FORTE.
Ketil Stølen,
1995,
MPC.
Manfred Broy,
Ketil Stølen,
2001
.
Ketil Stølen,
André Alexandersen Hauge,
K. Stølen,
2012,
SAFECOMP.
Ketil Stølen,
Atle Refsdal,
Gencer Erdogan,
2014,
2014 IEEE International Symposium on Software Reliability Engineering Workshops.
Ketil Stølen,
Mass Soldal Lund,
Fredrik Vraalsen,
2005,
Encyclopedia of Information Science and Technology.
Ketil Stølen,
Gyrd Brændeland,
K. Stølen,
2006,
QoP '06.
Ketil Stølen,
Fredrik Vraalsen,
Folker den Braber,
2004
.
Ketil Stølen,
1999,
FMOODS.
Ketil Stølen,
Ragnhild Kobro Runde,
Ragnhild Kobro Runde,
2003
.
Ketil Stølen,
Bjørnar Solhaug,
Atle Refsdal,
2014,
International Journal on Software Tools for Technology Transfer.
Kai Rannenberg,
Ketil Stølen,
Frank Pallas,
2015
.
Tobias Mahler,
Ketil Stølen,
Bjørnar Solhaug,
2007
.
Ketil Stølen,
Bjørnar Solhaug,
2014
.
Ketil Stølen,
Aslak Wegner Eide,
2012,
2012 5th International Conference on Human System Interactions.
Ketil Stølen,
Atle Refsdal,
Skjelkvåle Ligaarden Olav,
2012
.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Atle Refsdal,
Knut Eilif Husa,
2005,
FORMATS.
Ketil Stølen,
Erik G. Nilsson,
2016,
ISCRAM.
Ketil Stølen,
Bjørnar Solhaug,
Atle Refsdal,
2015
.
Ketil Stølen,
Mass Soldal Lund,
M. S. Lund,
2006,
AST '06.
Ketil Stølen,
Atle Refsdal,
Ragnhild Kobro Runde,
2006,
FMOODS.
Ketil Stølen,
Max Fuchs,
1998,
Prospects for Hardware Foundations.
Ketil Stølen,
Fredrik Seehusen,
2005,
ICEIS.
Ketil Stølen,
Mass Soldal Lund,
Atle Refsdal,
2011,
2011 International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems.
Ketil Stølen,
Eckhardt Holz,
K. Stølen,
1994,
FORTE.
Ketil Stølen,
Ida Hogganvik,
K. Stølen,
2005,
2005 International Symposium on Empirical Software Engineering, 2005..
Øystein Haugen,
Ketil Stølen,
Ragnhild Kobro Runde,
2005,
Nord. J. Comput..
Ketil Stølen,
K. Stølen,
1988
.
Ketil Stølen,
Bjørnar Solhaug,
Le Minh Sang Tran,
2013,
DBSec.
David W. Chadwick,
Álvaro Enrique Arenas,
Xavier Parent,
2006,
I-ESA.
Ketil Stølen,
Atoosa Jalashgar,
K. Stølen,
1998
.
Ketil Stølen,
Mass Soldal Lund,
Fredrik Vraalsen,
2004
.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
André Alexandersen Hauge,
K. Stølen,
2013
.
Ketil Stølen,
Bjørnar Solhaug,
Atle Refsdal,
2015
.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Fredrik Seehusen,
K. Stølen,
2009
.
Ketil Stølen,
Gencer Erdogan,
Fredrik Seehusen,
2015,
Int. J. Secur. Softw. Eng..
Ketil Stølen,
Gencer Erdogan,
2016,
RISK.
Ketil Stølen,
Bjørnar Solhaug,
Aida Omerovic,
2012,
Inf. Softw. Technol..
Ketil Stølen,
Fredrik Vraalsen,
Folker den Braber,
2005,
J. Cases Inf. Technol..
Yan Li,
Ketil Stølen,
Gencer Erdogan,
2014,
International Journal on Software Tools for Technology Transfer.
Ketil Stølen,
Mass Soldal Lund,
M. S. Lund,
2006,
FM.
Jürgen Großmann,
Marc-Florian Wendland,
Ketil Stølen,
2013,
Lecture Notes in Computer Science.
Ketil Stølen,
Mass Soldal Lund,
Folker den Braber,
2003
.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Atle Refsdal,
Gyrd Brændeland,
2010,
J. Syst. Softw..
Maritta Heisel,
Ketil Stølen,
Rene Meis,
2018,
ENASE.
Radu Grosu,
Ketil Stølen,
1996,
AMAST.
Ketil Stølen,
Bjørnar Solhaug,
Dag Elgesem,
2007,
Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07).
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Erik G. Nilsson,
2010,
ADHOCNETS.
Ketil Stølen,
K. Stølen,
1996,
ESOP.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Theodosis Dimitrakos,
Monica Kristiansen,
2002,
SAFECOMP.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Mass Soldal Lund,
Eva Henriksen,
2003,
MIE.
Ketil Stølen,
Heidi E. I. Dahl,
I. Hogganvik,
2007
.
Ketil Stølen,
Fredrik Seehusen,
K. Stølen,
2006,
Formal Aspects in Security and Trust.
Ketil Stølen,
Bjørnar Solhaug,
2011,
STM.
Ketil Stølen,
Atle Refsdal,
Ragnhild Kobro Runde,
2007
.
Ketil Stølen,
Fredrik Vraalsen,
Folker den Braber,
2003
.
Ketil Stølen,
Bjørnar Solhaug,
Aida Omerovic,
2011,
2011 Fifth International Conference on Secure Software Integration and Reliability Improvement.
Ketil Stølen,
Max Fuchs,
K. Stølen,
1993
.
Ketil Stølen,
Bjørnar Solhaug,
K. Stølen,
2008,
ESORICS.
Ketil Stølen,
Atle Refsdal,
2008,
Electron. Notes Theor. Comput. Sci..
Ketil Stølen,
Bjørnar Solhaug,
2011,
Int. J. Softw. Informatics.
Ketil Stølen,
Atle Refsdal,
Ragnhild Kobro Runde,
2015,
J. Comput. Syst. Sci..
Ketil Stølen,
Günter Karjoth,
2007,
CCS 2007.
Ketil Stølen,
Mass Soldal Lund,
Atle Refsdal,
2007,
Model-Based Engineering of Embedded Real-Time Systems.
Fabio Massacci,
Fabio Martinelli,
Ketil Stølen,
2006
.
Ketil Stølen,
Ida Hogganvik,
K. Stølen,
2006,
MoDELS'06.
Ketil Stølen,
Bjørnar Solhaug,
Atle Refsdal,
2015
.
Ketil Stølen,
Atle Refsdal,
Gyrd Brændeland,
2011,
FACS.
Ketil Stølen,
Atle Refsdal,
2008,
Sci. Comput. Program..
Ketil Stølen,
Gencer Erdogan,
Fredrik Seehusen,
2014
.
Fabio Massacci,
Ketil Stølen,
Bjørnar Solhaug,
2014
.
Yannis C. Stamatiou,
Ketil Stølen,
Siv Hilde Houmb,
2003
.
Ketil Stølen,
Øystein Haugen,
Knut Eilif Husa,
2003,
Scenarios: Models, Transformations and Tools.
Manfred Broy,
Ketil Stølen,
Claus Dendorfer,
1993
.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Yan Li,
Ketil Stølen,
Ragnhild Kobro Runde,
2013
.
Ketil Stølen,
Aida Omerovic,
2009,
2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement.
Peter Liggesmeyer,
Bruno Legeard,
Ruth Breu,
2014
.
Ketil Stølen,
Atle Refsdal,
Gencer Erdogan,
2013,
RISK@ICTSS.
Ketil Stølen,
Atle Refsdal,
K. Stølen,
2009,
IFIPTM.
Ketil Stølen,
Bjørnar Solhaug,
Fredrik Seehusen,
2009,
Software & Systems Modeling.
Ketil Stølen,
Mass Soldal Lund,
Atle Refsdal,
2007
.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Ida Hogganvik,
K. Stølen,
2007
.
Ketil Stølen,
Amela Karahasanovic,
Aida Omerovic,
2012
.
Manfred Broy,
Ketil Stølen,
2001
.
Maritta Heisel,
Ketil Stølen,
Rene Meis,
2018,
ENASE.
Ketil Stølen,
Erik G. Nilsson,
2016
.
Ketil Stølen,
Bjørnar Solhaug,
Atle Refsdal,
2015,
SpringerBriefs in Computer Science.
Ketil Stølen,
Bjørnar Solhaug,
Dag Elgesem,
2007
.
Jon Ølnes,
Per Myrseth,
Ketil Stølen,
2010,
ESSoS.
Ketil Stølen,
Gencer Erdogan,
Jan Øyvind Aagedal,
2016,
ICISSP.
Manfred Broy,
Ketil Stølen,
2001
.
Ketil Stølen,
K. Stølen,
1991,
CONCUR.
Ketil Stølen,
Atle Refsdal,
Ragnhild Kobro Runde,
2013,
Formal Aspects of Computing.
Manfred Broy,
Ketil Stølen,
M. Broy,
1994,
FTRTFT.
Ketil Stølen,
K. Stølen,
1996,
Sci. Comput. Program..
Ketil Stølen,
Fredrik Seehusen,
2011,
ICMT@TOOLS.
Manfred Broy,
Ketil Stølen,
2001
.
Ketil Stølen,
Mass Soldal Lund,
Folker den Braber,
2003,
Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings..
Ketil Stølen,
Gyrd Brændeland,
2004,
iTrust.
Brian Ritchie,
Ketil Stølen,
Theodosis Dimitrakos,
2002
.
Ketil Stølen,
1995
.
Radu Grosu,
Ketil Stølen,
1997
.
Xavier Parent,
Ketil Stølen,
Mass Soldal Lund,
2005,
iTrust.
Ketil Stølen,
Mass Soldal Lund,
Siv Hilde Houmb,
2002
.
Ketil Stølen,
Gyrd Brændeland,
K. Stølen,
2010
.
Ketil Stølen,
Heidi E. I. Dahl,
Gyrd Brændeland,
2007,
CRITIS.
Manfred Broy,
Ketil Stølen,
2001
.
Ketil Stølen,
Gyrd Brændeland,
K. Stølen,
2006,
Formal Aspects in Security and Trust.
Ketil Stølen,
Atle Refsdal,
Knut Eilif Husa,
2007
.
Ketil Stølen,
Bjørnar Solhaug,
Atle Refsdal,
2015
.
Ketil Stølen,
Atle Refsdal,
Ragnhild Kobro Runde,
2016,
From Action Systems to Distributed Systems.
Ketil Stølen,
Aida Omerovic,
K. Stølen,
2011
.
Ketil Stølen,
Fredrik Seehusen,
K. Stølen,
2006,
SACMAT '06.
Ketil Stølen,
Theodosis Dimitrakos,
Dimitris Raptis,
2002,
Communications and Multimedia Security.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Heidi E. I. Dahl,
Gyrd Brændeland,
2008
.
Ketil Stølen,
Ida Hogganvik,
2005,
13th International Workshop on Program Comprehension (IWPC'05).
Ketil Stølen,
Bjørnar Solhaug,
Atle Refsdal,
2014,
Engineering Secure Future Internet Services and Systems.
Ketil Stølen,
Atle Refsdal,
Ragnhild Kobro Runde,
2011
.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Atle Refsdal,
Olav S. Ligaarden,
2011,
2011 Third International Workshop on Security Measurements and Metrics.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Kristian Beckers,
Maritta Heisel,
Ketil Stølen,
2014,
Engineering Secure Future Internet Services and Systems.
Ketil Stølen,
Frank Dederichs,
Rainer Weber,
1996,
Formal Aspects of Computing.
Ketil Stølen,
Fredrik Seehusen,
2008,
2008 IEEE Workshop on Policies for Distributed Systems and Networks.
Ketil Stølen,
K. Stølen,
1991,
VDM Europe.
Manfred Broy,
Ketil Stølen,
M. Broy,
2001,
Monographs in Computer Science.
Ketil Stølen,
Mass Soldal Lund,
Fredrik Vraalsen,
2005,
iTrust.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Fredrik Seehusen,
K. Stølen,
2009,
IET Inf. Secur..
Ketil Stølen,
K. Stølen,
1992,
Refine.
Fabio Massacci,
Fabio Martinelli,
Ketil Stølen,
2006
.
An Analytic Evaluation of the SaCS Pattern Language - Including Explanations of Major Design Choices
Ketil Stølen,
Sintef Ict,
AndrAlexandersen Hauge,
2014
.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
André Alexandersen Hauge,
2011,
ICINCO.
Ketil Stølen,
Theodosis Dimitrakos,
Dimitris Raptis,
2002,
Proceedings. Sixth International Enterprise Distributed Object Computing.
Ketil Stølen,
Erik G. Nilsson,
K. Stølen,
2016,
EICS.
Ketil Stølen,
Mass Soldal Lund,
Ida Hogganvik,
2007
.
Ketil Stølen,
1994,
Formal Systems Specification.
Ketil Stølen,
Gencer Erdogan,
Phu H. Nguyen,
2019,
Exploring Security in Software Architecture and Design.
An Analytic Evaluation of the SaCS Pattern Language for Conceptualisation of Safety Critical Systems
Ketil Stølen,
Sintef Ict,
Alexandersen Hauge,
2014
.
Ketil Stølen,
Øystein Haugen,
Ragnhild Kobro Runde,
2005
.
Yannis C. Stamatiou,
Ketil Stølen,
Mass Soldal Lund,
2002
.
Jon Ølnes,
Per Myrseth,
Ketil Stølen,
2010,
Electron. Commer. Res..
Radu Grosu,
Ketil Stølen,
2001,
Formal Aspects of Computing.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2011
.
Ketil Stølen,
Atle Refsdal,
Olav Skjelkvale Ligaarden,
2013
.
Ketil Stølen,
Øystein Haugen,
Ragnhild Kobro Runde,
2005,
FMCO.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2010,
Computer.
Brian Ritchie,
Ketil Stølen,
Siv Hilde Houmb,
2002,
I3E.
Manfred Broy,
Ketil Stølen,
M. Broy,
2001
.
Ketil Stølen,
Mass Soldal Lund,
M. S. Lund,
2011,
Risk analysis : an official publication of the Society for Risk Analysis.
Ketil Stølen,
Bjørnar Solhaug,
Atle Refsdal,
2008,
IFIPTM.
Gerhard Goos,
Juris Hartmanis,
Jan van Leeuwen,
2017,
Lecture Notes in Computer Science.
Ketil Stølen,
Mass Soldal Lund,
Bjørnar Solhaug,
2010
.
Ketil Stølen,
André Alexandersen Hauge,
K. Stølen,
2011,
PLoP '11.
Ketil Stølen,
Erik G. Nilsson,
2011,
OZCHI.
Yan Li,
Ketil Stølen,
Ragnhild Kobro Runde,
2012
.
Ketil Stølen,
P. Mohn,
K. Stølen,
2000,
SAM.
Ketil Stølen,
Aida Omerovic,
K. Stølen,
2011
.
Ketil Stølen,
Folker den Braber,
Soldal Lund,
2003
.
Ida Solheim,
Ketil Stølen,
K. Stølen,
2007
.
Yannis C. Stamatiou,
Ketil Stølen,
Mass Soldal Lund,
.
Ketil Stølen,
Bjørnar Solhaug,
Heidi E. I. Dahl,
2006
.
Ketil Stølen,
E. M. Scharf,
Bjørn Axel Gran,
2002
.
Birger Møller-Pedersen,
Ketil Stølen,
Bjørnar Solhaug,
2012
.
Yan Li,
Fabio Massacci,
Ketil Stølen,
2015
.
Ketil Stølen,
Folker den Braber,
F. Braber,
2003
.
Ketil Stølen,
Atle Refsdal,
Olav Skjelkvale Ligaarden,
2012
.
Ketil Stølen,
Atle Refsdal,
Olav Skjelkvale Ligaarden,
2011
.