Software Engineering, Sensor Networks and Engineering Computing
Research in Information and Communication Technology
Projects
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
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
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
Fernando Macías: Multi-Level Modelling and Domain-Specific Languages
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.