Browsing Import fra CRIStin by Journals "CEUR Workshop Proceedings"

Now showing items 1-13 of 13

    • 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 ...

    • Analyzing Eye Tracking Data using Symbolic Aggregate Approximation 

      Helgesen, Carsten Gunnar; Geitung, Atle Birger; Heldal, Ilona; Borgli, Henrik (Peer reviewed; Journal article, 2023)
      Oculomotor disturbance (OMD) is a common vision problem, meaning that the left and right eye do not cooperate properly, i.e., by having a common gaze point. Eye tracking technology (ET) promises support for identifying ...

    • 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 ...

    • Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction 

      Strand, Ruben Dobler; Kristensen, Lars Michael; Petrucci, Laure (Peer reviewed; Journal article, 2022)
      Long periods of dry and cold weather conditions significantly increase fire risks for wooden buildings. Recent advances in predictive fire risk models combined with publicly available cloud-based weather data services have ...

    • 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 ...

    • Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition 

      Hatlem, Markus; Rabbi, Fazle; Stünkel, Patrick; Leh, Friedemann (Peer reviewed; Journal article, 2023)
      A pathology laboratory processes various types of tissue and cell specimens and plays a vital role in the diagnostic process. However, pathology departments are currently facing a significant challenge due to the steady ...

    • Model checking starvation for resource-aware active objects with coloured petri nets 

      Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh (Peer reviewed; Journal article, 2020)
      Dynamic resource provisioning is an important driver for pay-on-demand cloud computing. Virtualized resources open for resource awareness, such that applications may use resource management strategies to modify their ...

    • 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 ...

    • OAS DB: A Repository of Specifications to Support OpenAPI Research 

      Stoll, Alex Braha; Chaim, Marcos Lordello; Oyetoyan, Tosin Daniel; Cruzes, Daniela Soares (Peer reviewed; Journal article, 2020)
      There are many specifications used to describe a Web API. One of the most popular ones is OpenAPI. This specification allows one to describe all the resources that can be accessed and manipulated through a REST Web API. ...

    • 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 ...

    • Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform 

      Heldal, Rogardt; Kristensen, Lars Michael; Lima, Keila; Oyetoyan, Tosin Daniel; Nguyen, Ngoc Thanh (Peer reviewed; Journal article, 2023)
      We present the Coloured Petri Nets (CPNs) modelling of the SmartOcean platform currently under development and aimed at providing cloud-based services for data-driven software systems and applications relying on marine ...