Research Projects

  • COEMS - Continuous Observation of 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

 

Ongoing PhD Projects

  • 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
  • Fazle Rabbi: A Model-driven Appraoch for the Evolution of Adaptive Systems
  • 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

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