Professor

Adrian Rutle

Institutt for datateknologi, elektroteknologi og realfag
Adrian Rutle
Tel: +47 55 58 77 91
Epost: Send epost
Bergen
KRONSTAD, E407
Last ned kontaktkort
Sjå forskarprofil i CRIStin

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)
    Lecture Notes in Computer Science (LNCS) 2021

  • An extensible framework for customizable model repair

    Barriga Rodriguez, Angela, Heldal, Rogardt, Iovino, Ludovico, Marthinsen, Magnus, Rutle, Adrian (2020)
    Association for Computing Machinery (ACM). Isbn: 978-1-4503-7019-6

  • 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)
    Association for Computing Machinery (ACM). Isbn: 978-1-4503-8135-2

  • Improving Model Repair through Experience Sharing

    Barriga Rodriguez, Angela, Rutle, Adrian, Heldal, Rogardt (2020)
    Journal of Object Technology 2020 Volum 19 ;(2)s. 1-21

  • A parametric model for creating customized fabrication machines

    Fossdal, Frikk Hosøy, Heldal, Rogardt, Dyvik, Jens, Rutle, Adrian (2020)
    Association for Computing Machinery (ACM). Isbn: 978-1-4503-7019-6
    • Vis alle