Primary tabs

Most recent publications

S. Bruvoll, J. E. Hannay, G. K. Svendsen, M. L. Asprusten, K. M. Fauske, V. B. Kvernelv, R. A. Løvlid and J. I. Hyndøy

Simulation-Supported Wargaming for Analysis of Plans

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
View
J. E. Hannay, K. Brathen and J. I. Hyndøy

On How Simulations Can Support Adaptive Thinking in Operations Planning

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
View
J. E. Hannay

A Higher-Order Simulation Relation for System F

In Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784. Lecture Notes in Computer Science. Springer-Verlag, 2000.
Proceedings, refereed
2000
View
J. E. Hannay

Abstraction Barriers in Equational Proof

In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Proceedings, refereed
1998
View

Selected publications

J. E. Hannay, H. C. Benestad and K. Strand

Benefit Points – The Best Part of the Story

IEEE Software 34, no. 3 (2017): 73-85.
Journal Article
2017
View
J. E. Hannay, H. C. Benestad and K. Strand

Earned Business Value Management – See that You Deliver Value to Your Customer –

IEEE Software 34, no. 4 (2017): 58-70.
Journal Article
2017
View

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 4 results:
2015

Proceedings, refereed

S. Bruvoll, J. E. Hannay, G. K. Svendsen, M. L. Asprusten, K. M. Fauske, V. B. Kvernelv, R. A. Løvlid and J. I. Hyndøy

Simulation-Supported Wargaming for Analysis of Plans

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
J. E. Hannay, K. Brathen and J. I. Hyndøy

On How Simulations Can Support Adaptive Thinking in Operations Planning

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
2000

Proceedings, refereed

J. E. Hannay

A Higher-Order Simulation Relation for System F

In Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784. Lecture Notes in Computer Science. Springer-Verlag, 2000.
Status: Published
1998

Proceedings, refereed

J. E. Hannay

Abstraction Barriers in Equational Proof

In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Status: Published