What is Certus?
Leading industrial enterprises, public services, and research organizations collaborate in the Certus Centre to improve dependability of software-intensive systems. In Certus we work to advance scientific methods and industry best practices to build industrial systems that are more reliable, robust, efficient, safe, and secure. Certus was opened October 1st 2011 and is hosted by Simula Research Laboratory in Oslo, Norway. The centre is supported by the Research Council of Norway as a Centre for Research-based Innovation (SFI). More about Certus.
Our partners
Latest news
Mini symposium on healthcare registries at the Cancer Registry of Norway
On Tuesday, September 13th, The Cancer Registry of Norway organized a mini-symposium on “Utilizing Healthcare Registries for personalised cancer prevention and treatment” at the Jonas Einarsson Auditorium, Oslo Cancer Cluster Innovation Park. The symposium brought together representatives from the Certus Centre at Simula Research Laboratory, Lawrence Livermore National Labs, BigInsight at the University of Oslo, Karolinska Institute,[…]
Certus sponsors Crash Course on Machine Learning
August 22-25th 2016, Simula hosted a Crash Course in Machine Learning (ML), which Certus co-sponsored. ML as an Artificial Intelligence discipline takes a growing place in software development processes, and Certus researchers believe that more and more interesting AI-based techniques will help to foster innovation in this area. The unique combination of competences at Simula[…]
Certus scientists receive Best Paper Award at ICSOFT-EA ’16
We present our congratulations to Arnaud Gotlieb, Dusica Marijan and Alexandre Pétillon from the Certus Centre and Simula, and Mats Carlsson from SICS in Sweden. This team of researchers has received the prestigious Best Paper Award at the 11th International Conference on Software Engineering and Applications, or ICSOFT-EA 2016, for their paper, titled “A New Approach to Feature-based Test Suite Reduction[…]
Newsletter: Certus summarises the first half of 2016
2016 has been eventful for Certus so far. Jan-Christian Kerlefsen has become the new leader of the board, the Cancer Registry of Norway has joined the ranks as a new User Partner, and the centre’s researchers have attended numerous conferences and academic events. The newsletter is written for partners and affiliates of Certus, however, it is[…]
A User Partner Workshop with creative energy
April 28-29, 35 representatives from the partners and Certus joined forces at the offices of the Cancer Registry of Norway. The traditional seminar format was set aside for a proper workshop, with a number of creative tools provided by OKONI, a French consultancy agency. The objective of the workshop was to brainstorm and create an[…]
Certus Annual Report for 2015 is available
It’s been another eventful year for Certus. The Centre has been evaluated in the midway evaluation that all Centres for Research-based Innovation are subjected to, and Certus received a green light from the Research Council of Norway to continue as planned until 2019. The conclusions and recommendations of the evaluation committee have been carefully taken into consideration and[…]
Jan-Christian Kerlefsen new Board Leader for the Certus Centre
Jan Christian Kerlefsen is Certus’ new board leader as of 01.01.2016. He takes over the postion from Professor Are Magnus Bruaset. (Photo: Certus/Bård Gudim. From left: Katrine Langset (Norwegian Customs), Bjørn Ove Olafsen (KM), Are Magnus Bruaset (Simula), Jan-Christian Kerlefsen (ABB, Head of the Board), Marius Liaaen (Cisco), Arnaud Gotlib (Simula, Centre Director)
Certus’ 8th Annual User Partner Workshop a success
On Friday, October 30th, 2015, Certus held its 8th annual user partner workshop in the company of its industry collaborators. The workshop was held at the offices of Cisco at Lysaker this year, with a varied programme. Presentations While the Certus project leaders presented the status and content of their research, several of the partners gave talks[…]
Mathieu demonstrates an ABB robot
Mathieu Collet did his Master’s degree in collaboration with the Certus centre, and he wrote a script for an industrial ABB robot. He is using constraint programming to create the movements of the robot, where the robot itself intelligently generates a Hamiltonian circuit. Have a look at his demonstration below.
Morten Mossige successfully defended his PhD
On Wednesday August 26th 2015, Morten Mossige successfully defend his PhD thesis “Testing Robotics Software using Constraint Programming in a Continuous Integration Process”. The defense took place at the University of Stavanger at 12:15. Mossige has conducted his PhD as part of the Industrial PhD scheme, in cooperation between the Research Council, the University of[…]