Research Projects

  • COEMS – Continuous Observation of Embedded Multicore Systems (2016-2019). EU H2020 program
  • FormGrid: Formal Verification of Grid Systems (2010-2014). Supported by the Norwegian Research Council
  • Multi Scale Domain Decomposition Methods (2011-2015). Supported by the Norwegian Research Council
  • Partner in CERN project supported by Norwegian Funding of CERN research (until 2015)
  • The Michelsen Center for Industrial Measurement Science and Technology (until 2014).  Partner in Centre for Research-based Innovation support by the Norwegian Research Council and headed by Christian Michelsen Research
  • SimSubsea: A Game-based Learning Application for the Subsea Domain (2012-2015). Supported by several companies in the subsea domain
  • MoDiPS: Model-driven Development of Reliable Distributed Systems (2014-2015). Supported by UH-Nett Vest. Partners: University of Bergen and University of Stavanger.
  • Towards New Techniques for Memory Efficient and Distributed Model Checking of Software. Mobility grant supported by the Norwegian Research Council for collaboration with University Paris Nord, 2012.
  • Model-driven Simulator Development (2011-2012). Partner in project headed by Ålesund University College and supported by the MAROFF Programme of the Norwegian Research Council
  • Beregningsorientert medisin: Numeriske modeller for medisinske bilder og signaler / Computational medicine: Numerical models for medical images and signals (2015). Joint with UiB, HUH, UiS. Supported by UH-Nett Vest
  • Efficient preconditioners for problems with multiple scale. Joint with FH Bielefeld, Germany. Supported by the DAADppp program of the Norwegian Research Council
  • Discrete Mechanics, Geometric Integration and Lie-Butcher Series.  Joint with CSIC-Spain and UiB. Supported by a NILS EEA grant

Other Projects

  • Modern Refactoring, with Federal University of Campina Grande, Brazil. SIU/CAPES 2017/18
  • Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems, with Southwest University, Chongqing, China. SIU 2017/18

    Ongoing PhD Projects

    • Alejandro Tena:
    • Angela Rodríguez:
    • Frikk Fossdal:
    • Patrick Stünkel:
    • Faustin Ahishakiye:
    • Rui Wang: Application of Model-based Testing and Runtime Verification for Distributed Systems Protocols
    • Erik Eikeland: Domain decomposition methods with irregular subdomains
    • Anne-Lena Kampen: Wireless sensor networks with energy consumption as a constraint
    • Fernando Macias: A Metamodelling Framework for Runtime Verification of Behavioural Models
    • Atle Loneland: Domain decomposition methods for PDE with multiple scales
    • Murugesh Rasakkannu: Computer Modeling and simulations of CdS Quantum Dot Sensitized TiO2 Nanotubes for Solar Cell Applications
    • Bin Wu: Numerical methods for 3D reconstruction of digital images


    Completed PhD Projects

    • Fazle Rabbi: A Model-driven Appraoch for the Evolution of Adaptive Systems
    • Ajith Kumar: Industrial Wireless Sensor and Actuator Networks
    • Xiaoliang Wang: Verification of Model Transformations, 2016. PhD project within Model-driven Software Engineering.
    • Florian Mantz: Coupled Transformation of Graph Structures Applied to Model Migration, 2014. PhD project within Model-driven Software Engineering.
    • Kent Inge Fagerland Simonsen: Automated Code Generation of Protocol Software from Pragmatics Annotated Coloured Petri Nets, 2014. PhD project within Model-driven Software Engineering.
    • Hege Erdal: D0-electron correlations in pp collisions at sqrt(s) = 7 TeV, 2014. PhD project within Grid Computing and Physics Data Analysis.
    • Piotr Kaźmierczak: coordination of multi-agent systems using social law.
    • Yi Wang: Logical Dynamics of Group Knowledge and Subset Spaces, 2013. PhD project within Computational Intelligence.
    • Adrian Rutle: The Diagramn Predicate Framework: A Formal Approach to Model-driven Engineering, 2010. PhD project within Model-driven Software Engineering.
    • Ketil Røed: Single Event Upsets in SRAM FPGA-based readout electronics for the Time Projection Chamber in the ALICE experiment, 2009. PhD project within Grid Computing and Physics Data Analysis.