Rune Winther

Avdeling for informasjonsteknologi
English version of this page Stilling
Førsteamanuensis
Kontakt
+4769608357
Studiested
Halden
Kontornr.
-

Faglige interesser

Her kan du skrive om faglige interesser.

Undervisning

<Lenke til studieprogram/emne> 
<Lenke til studieprogram/emne> 
...

Bakgrunn

Kort om tidligere arbeidserfaring og utdanning

Priser

<Navn og eventuelt lenke til pris 1> 
<Navn og eventuelt lenke til pris 2> 
...

Verv

<Navn og eventuelt lenke til verv 1> 
<Navn og eventuelt lenke til verv 2> 
...

Samarbeid

 

Forskergrupper

Publikasjoner

  • 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 Vis sammendrag
  • 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 Vis sammendrag
  • 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 Vis sammendrag
  • 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 Vis sammendrag
  • 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 Vis sammendrag
  • 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 Vis sammendrag
  • 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 Vis sammendrag
  • 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 Vis sammendrag
  • 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 Vis sammendrag
  • 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 Vis sammendrag
  • 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 Vis sammendrag
  • Kristiansen, Monica & Winther, Rune (2004). Finding Upper Bounds for Dependencies between Software Components by Using Bayesian Hypothesis Testing. ?.  (1), s 9- 15 Vis sammendrag
  • 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 Vis sammendrag

Se alle arbeider i 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. Vis sammendrag

Se alle arbeider i Cristin

  • Kristiansen, Monica; Winther, Rune & Natvig, Bent (2010). Identifying possible rules for selecting the most important component dependencies in compound software. Vis sammendrag
  • Kristiansen, Monica; Winther, Rune & Simensen, John Eldar (2009). Identifying the most important component dependencies in compound software: an experimental study. Vis sammendrag
  • Kristiansen, Monica; Winther, Rune; van der Meulen, Meine & Revilla, Miguel A. (2009). The use of metrics to assess software component dependencies. Vis sammendrag
  • Kristoffersen, Steinar & Winther, Rune (2008). Using a smart mobile device to learn to live with long-term disease treatment. Vis sammendrag
  • 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. Vis sammendrag
  • 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. Vis sammendrag
  • 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. Vis sammendrag
  • Kristiansen, Monica & Winther, Rune (2005). Finding upper Bounds for Software Failure Probabilities - Experiments and results. Vis sammendrag
  • Helminen, Atte; Gran, Bjørn Axel; Kristiansen, Monica & Winther, Rune (2004). Use of Operational Data for the Assessment of Pre-Existing Software. Vis sammendrag
  • Kristiansen, Monica & Winther, Rune (2004). Finding Upper Bounds for Dependencies between Software Components by using Bayesian Hypothesis Testing. Vis sammendrag
  • 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. Vis sammendrag

Se alle arbeider i Cristin

Publisert 12. juni 2018 16:15 - Sist endret 12. juni 2018 16:15