• A tool for the convergence of multilevel modelling approaches 

      Macías, Fernando; Rutle, Adrian; Stolz, Volker (Journal article; Peer reviewed, 2018)
      Multilevel Modelling is a powerful paradigm that can improve the way we create and use models. The community and approaches related to Multilevel Modelling have been constantly growing, and the need to agree on some basic ...
    • Automatic model repair using reinforcement learning 

      Barriga Rodriguez, Angela; Rutle, Adrian; Heldal, Rogardt (Lecture, 2018)
      When performing modeling activities, the chances of breaking a model increase together with the size of development teams and number of changes in software specifications. One option to prevent and repair broken models is ...
    • CommonLang: a DSL for defining robot tasks 

      Rutle, Adrian; Backer, Jonas; Foldøy, Kolbein; Bye, Robin Trulssen (Journal article; Peer reviewed, 2018)
      Robots are becoming more and more complex and heterogeneous; their abilities and domains of usage are increasing exponentially. Programming these robots requires special skills and usually does not follow standard software ...
    • Development of an E-mental Health Infrastructure for Supporting Interoperability and Data Analysis 

      Rabbi, Fazle; Lamo, Yngve (Journal article; Peer reviewed, 2019)
      Digital technology plays an increasingly important role in addressing the challenges faced by health and care services such as rising costs, changing demographics, shortage of healthcare professionals. eHealth is the use ...
    • Handling constraints in model versioning 

      Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe Egbert (Journal article; Peer reviewed, 2018)
      In model-driven software engineering (MDSE), models are firstclass entities of software development and undergo a complex evolution during their life-cycles. As a consequence, there is a growing need for techniques and ...
    • Multilevel Modelling of Coloured Petri Nets 

      Tena, Alejandro Rodriguez; Rutle, Adrian; Duran, Francisco; Kristensen, Lars Michael; Macías, Fernando (Journal article; Peer reviewed, 2018)
      Coloured Petri Nets (CPNs) is a modelling language for distributed systems which has been applied in a multitude of industrial cases. The supporting tool of CPNs is currently lacking important features such as having the ...
    • On modelling and validation of the MQTT IoT protocol for M2M communication 

      Tena, Alejandro Rodriguez; Kristensen, Lars Michael; Rutle, Adrian (Journal article; Peer reviewed, 2018)
      Machine to Machine (M2M) communication and Internet of Things (IoT) are becoming still more pervasive with the increase of communicating devices used in cyber-physical environments. A prominent approach to communication ...