Arbeids- og kompetanseområde

Programvareutvikling Modelldrevet progamvareutvilling Programvareutviklingsteori Domenespesifikke språk Prosessmodellering Arbeidsflytmodellering Tingenes Internett Programvareutvkling for Robotikk Programvarearkitektur eHelse og helseprosesser Mobile applikasjoner

 

Publication track record at DBLP.

Underviser i

  • Modellbasert programvareutvikling og pålitelige datasystemer
  • Forskningsmetode for masterprosjekter innen programvareutvikling

Publikasjonar

  • Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms

    Rodriguez Tena, Alejandro, Kristensen, Lars Michael, Rutle, Adrian (2021)
  • An extensible framework for customizable model repair

    Barriga Rodriguez, Angela, Heldal, Rogardt, Iovino, Ludovico, Marthinsen, Magnus, Rutle, Adrian (2020)
  • A comparative study of reinforcement learning techniques to repair models

    Barriga Rodriguez, Angela, Mandow, Lawrence, Pérez de la Cruz, José Luis, Rutle, Adrian, Heldal, Rogardt, Iovino, Ludovico (2020)
  • Improving Model Repair through Experience Sharing

    Barriga Rodriguez, Angela, Rutle, Adrian, Heldal, Rogardt (2020)
  • A parametric model for creating customized fabrication machines

    Fossdal, Frikk Hosøy, Heldal, Rogardt, Dyvik, Jens, Rutle, Adrian (2020)
  • Vis alle