Rune Winther

Faculty of Computer Sciences
Norwegian version of this page Position
Associate Professor
Contact
+4769608357
Study place
Halden
Office nr.
-

Academic interests

Write a few words here about your academic interests.

Courses taught

  • <Link to programme of study/course>
  • <Link to programme of study/course>
  • ...

Background

Brief presentation of previous work experience and education

Awards

  • <Name and link to prize 1, if any>
  • <Name and link to prize 1, if any>
  • ...

Appointments

  • <Title and (if applicable) link 1>
  • <Title and (if applicable) link 2>
  • ...

Positions held

  • <Name and link to position 1, if any>
  • <Name and link to position 2, if any>
  • ...

Partners

 

Research groups

Publications

  • Sarshar, Sizarta; Hauge, André A & Winther, Rune (2019). Towards Risk Informed BIM Models in Major Norwegian Transport Projects, In Michael Beer & Enrico Zio (ed.),  Proceedings of the 29th European Safety and Reliability Conference(ESREL). 22 – 26 September 2019 Hannover, Germany.  Research Publishing Services.  ISBN 978-981-11-2724-3.  Paper.  s 1849 - 1855
  • Kristiansen, Monica Lind; Winther, Rune & Natvig, Bent (2010). On component dependencies in compound software. International Journal of Reliability, Quality and Safety Engineering (IJRQSE).  ISSN 0218-5393.  17(5), s 465- 493 . doi: 10.1142/S0218539310003895
  • Kristiansen, Monica; Winther, Rune & Simensen, John Eldar (2010). Identifying the most important component dependencies in compound software : an experimental study, In Radim Bris; Sebastián Martorell & C. Guedes Soares (ed.),  Reliability, Risk and Safety. Theory and Applications.  CRC Press.  ISBN 978-0-415-55509-8.  Kapittel.  s 1333 - 1340 Show summary
  • Kristiansen, Monica; Winther, Rune; van der Meulen, Meine & Revilla, Miguel A. (2010). The use of metrics to assess software component dependencies, In Carlos Guedes Soares; Radim Briš & Sebastián Martorell (ed.),  Reliability, Risk, and Safety: ESREL 2009.  CRC Press.  ISBN 978-0-415-55509-8.  -.  s 1359 - 1366 Show summary
  • Kristiansen, Monica; Winther, Rune & Simensen, John Eldar (2009). Identifying the most important component dependencies in compound software : an experimental study, In Radim Bris; Carlos Guedes Soares & Sebastian Martorell (ed.),  Reliability, Risk and Safety – Theory and Applications, (contains papers presented at the 18th European Safety and Reliability Conference (Esrel 2009) in Prague, Czech Republic, September 2009.).  CRC Press.  ISBN 9780415555098.  Artikkel.  s 1333 - 1340 Show summary
  • Kristoffersen, Steinar & Winther, Rune (2008). Using a smart mobile device to learn to live with long-term disease treatment, In  Proceedings of the IADIS International Conference on Mobile Learning.  IADIS Press.  s 169 - 173 Show summary
  • Sarshar, Sizarta & Winther, Rune (2008). Automatic source code analysis of failure modes causing error propagation, In  Safety, reliability and risk analysis : theory, methods and applications : proceedings of the European Safety and Reliability Conference, ESREL 2008, and 17th SRA-Europe, Valencia, Spain, September, 22-25, 2008.  Taylor & Francis.  s 183 - 190
  • Sætre, Fredrik & Winther, Rune (2008). Formal reasoning regarding error propagation in multi-process software architectures, In  Safety, reliabilty and risk analysis : theory, methods and applications : proceedings of the European Safety and Reliability Conference, ESREL 2008, and 17th SRA-Europe, Valencia, Spain, September, 22-25, 2008.  Taylor & Francis.  s 2635 - 2640
  • Fredriksen, Rune & Winther, Rune (2007). Challenges related to error propagation in software systems, In  Risk, reliability and societal safety : proceedings of the European Safety and Reliability Conference 2007 (ESREL 2007).  Taylor & Francis.  Paper.  s 83 - 90 Show summary
  • Gran, Bjørn Axel; Hauge, André; Lavik, Linda & Winther, Rune (2007). Some challenges and solutions assessing the safety of ATM systems, In  Risk, reliability and societal safety : proceedings of the European Safety and Reliabilty Conference 2007 (ESREL 2007).  Taylor & Francis.  s 2113 - 2120 Show summary
  • Kristiansen, Monica & Winther, Rune (2007). Assessing reliability of compound software, In  Risk, reliability and societal safety : proceedings of the European Safety and Reliability Conference 2007 (ESREL 2007).  Taylor & Francis.  s 1731 - 1738 Show summary
  • Sarshar, Sizarta; Simensen, John; Winther, Rune & Fredriksen, Rune (2007). Analysis of error propagation between software processes, In  Risk, reliability and societal safety : proceedings of the European Safety and Reliability Conference 2007 (ESREL 2007).  Taylor & Francis.  Paper.  s 91 - 98 Show summary
  • Winther, Rune & Talberg, Espen (2007). On the handling of reliability in adaptable autonomous systems : a review based on the 2005 Grand Challenge Competition, In  Risk, reliability and societal safety : proceedings of the European Safety and Reliability Conference 2007 (ESREL 2007).  Taylor & Francis.  s 2179 - 2186 Show summary
  • Winther, Rune (2006). Fault tolerance to facilitate the use of artificial intelligence in critical systems, In  Safety and reliability for managing risk.  Balkema.  s 239 - 246 Show summary
  • Winther, Rune & Kristiansen, Monica (2006). On the modelling of failure dependencies between software components, In  Safety and reliability for managing risk.  Balkema.  s 1443 - 1450 Show summary
  • Kristiansen, Monica & Winther, Rune (2004). Finding Upper Bounds for Dependencies between Software Components by Using Bayesian Hypothesis Testing. ?.  (1), s 9- 15 Show summary
  • Winther, Rune & Fredriksen, Rune (2002). SAFECOMP 2001. ?.  (1), s 13- 16
  • Winther, Rune; Johnsen, Ole-Arnt & Gran, Bjørn Axel (2001). Security assessments of safety critical systems using HAZOPs. Lecture Notes in Computer Science.  ISSN 0302-9743.  2187, s 14- 24 Show summary

View all works in Cristin

  • Winther, Rune; Gran, Bjørn Axel & Dahll, Gustav (ed.) (2005). Computer Safety, Reliability and Security Proceedings of the 24th International Conference, SAFECOMP 2005. Springer.  ISBN 3540292004.  405 s. Show summary

View all works in Cristin

  • Kristiansen, Monica; Winther, Rune & Natvig, Bent (2010). Identifying possible rules for selecting the most important component dependencies in compound software. Show summary
  • Kristiansen, Monica; Winther, Rune & Simensen, John Eldar (2009). Identifying the most important component dependencies in compound software: an experimental study. Show summary
  • Kristiansen, Monica; Winther, Rune; van der Meulen, Meine & Revilla, Miguel A. (2009). The use of metrics to assess software component dependencies. Show summary
  • Kristoffersen, Steinar & Winther, Rune (2008). Using a smart mobile device to learn to live with long-term disease treatment. Show summary
  • Sarshar, Sizarta & Winther, Rune (2008). Automatic source code analysis of failure modes causing error propagation.
  • Sætre, Fredrik & Winther, Rune (2008). Formal reasoning regarding error propagation in multi-process software architectures.
  • Fredriksen, Rune & Winther, Rune (2007). Challenges related to error propagation in software systems.
  • Gran, Bjørn Axel; Hauge, André; Lavik, Linda & Winther, Rune (2007). Some challenges and solutions assessing the safety of ATM systems.
  • Sarshar, Sizarta; Simensen, John; Winther, Rune & Fredriksen, Rune (2007). Analysis of error propagation between software processes.
  • Winther, Rune & Kristiansen, Monica (2007). Assessing reliability of compound software.
  • Winther, Rune & Kristiansen, Monica (2007). Further considerations of dependency aspects in software reliability. Show summary
  • Winther, Rune & Talberg, Espen (2007). On the handling of reliability in adaptable autonomous systems : a review based on the 2005 Grand Challenge Competition.
  • Winther, Rune (2006). Fault tolerance to facilitate the use of artificial intelligence in critical systems. Show summary
  • Winther, Rune (2006). Flygende robot ved HIØ : Airborne Autonomous Search Vehicle (AASV). ?.  (1), s 23- 25
  • Winther, Rune & Kristiansen, Monica (2006). On the modelling of failure dependencies between software components. Show summary
  • Kristiansen, Monica & Winther, Rune (2005). Finding upper Bounds for Software Failure Probabilities - Experiments and results. Show summary
  • Helminen, Atte; Gran, Bjørn Axel; Kristiansen, Monica & Winther, Rune (2004). Use of Operational Data for the Assessment of Pre-Existing Software. Show summary
  • Kristiansen, Monica & Winther, Rune (2004). Finding Upper Bounds for Dependencies between Software Components by using Bayesian Hypothesis Testing. Show summary
  • Tønnesen, Andreas; Winther, Rune & Hauge, André (2004). Use of Artificial Neural Networks in Safety-Critical Systems.
  • Winther, Rune (2004). Qualitative and Quantitative Analysis of Security in Safety and Reliability Critical Systems.
  • Dahll, Gustav & Winther, Rune (2003). Utvikling og bruk av kritiske programmerbare systemer : en kartlegging av kompetanse og behov i norsk industri.
  • Gran, Bjørn Axel; Fredriksen, Rune; Winther, Rune & Mathisen, Sindre (2003). The HALDEN open Dependability Demonstrator.
  • Winther, Rune; Johnsen, Ole-Arnt & Gran, Bjørn Axel (2001). Security assessments of safety critical systems using HAZOPs. Show summary

View all works in Cristin

Published June 12, 2018 4:15 PM - Last modified June 12, 2018 4:15 PM