• Safer refactorings 

  Eilertsen, Anna Maria; Bagge, Anya Helene; Stolz, Volker (Peer reviewed; Journal article, 2016)

  Refactorings often require semantic correctness conditions that amount to software model checking. However, IDEs such as Eclipse’s Java Development Tools implement far simpler checks on the structure of the code. This leads ...

• Forbedret kontroll for sømløse virtuelle systemer 

  Berhe, Anday Semere; Brosvik, Elias; Eliassen, Thomas Aas; Rønningen, Jonas (Bachelor thesis, 2025)

• Peristéri - en digital løsning for dueutstillinger 

  Bell, Kristian; Helgeland, Bjørnar; Rojas, Christopher; Sangolt, Storm Anders (Bachelor thesis, 2025)

• Kvalitetssikring av elektrisk integritet i flex-PCB til bruk i ATLAS ITk 

  Reitan, Johan; Wogsland, Maxwell (Bachelor thesis, 2025)

• Virtuell assistent for maritim sikkerhetsstyring 

  Eielsen, Siri Norstrand; Myren, Jobjørn Røkenes; Ness, Sondre Langedal (Bachelor thesis, 2025)

View more