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 Read more about Newsletter: Certus summarises the first half of 2016[…]
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 Read more about Certus’ 8th Annual User Partner Workshop a success[…]
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.
Certus will have a booth at Formal Methods 2015, the most important venue in the area of formal methods. The conference is organised from June 22th to June 26th at UiO and features an excellent program: http://fm2015.ifi.uio.no/ . Certus, as an official sponsor of the event, will present various innovations realized in the center. Please, Read more about Certus at Formal Methods 2015[…]
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS2013) is “the premier venue for the exchange of innovative ideas and experiences of model-based approaches in the development of complex systems. Since 1998, MODELS has provided a broad forum for reporting scientific progress as well as experiences stemming from practical application of model-based Read more about Report from Models 2013[…]
Certus will organise a training program for software industry professionals in Norway over two days 21-22 November, 2013. These courses aim to promote application of state of the art software engineering research in the Norwegian software industry. We welcome professionals from the Norwegian software industry to Simula for two days to attend these interactive courses and Read more about Open courses in Software Verification and Validation[…]
PhD-student Shuai Wang (Simula – pictured below), have together with Shaukat Ali, Arnaud Gotlieb (both Simula) and Marius Liaaen (Cisco Systems Norway) authored the paper “Automated Test Case Selection using Feature Model: An Industrial Case Study”. The paper was presented at the MODELS conference 2013, where it received the Best paper award for the Application Track. Read more about Certus publication receives best paper award at MODELS 2013[…]
PhD student Sunil Nair at the Software Engineering department, Simula – Certus, won the semi final for his presentation “Fasten your seatbelts! Safety is not guaranteed!” at Researcher Grand Prix Oslo 24. september. Sunil works on certification of safety-critical systems. The project tries to define a common framework that spans different vertical markets for railways, avionics and Read more about Sunil Nair won the Researcher Grand Prix Oslo final![…]
Following technical difficulties with our previous website the new website for Certus is launched. The new website has some new features and will be updated continuously. We are currently working on a new setup for the “Publications” page and this will be implemented shortly.
The Certus Annual Report 2012 is ready. The report gives an overview of key activities and accomplishments from 2012 THE CERTUS SOFTWARE VALIDATION & VERIFICATION CENTER is a Centre for Research-based Innovation (SFI) which is funded by the Norwegian Research Council. The Certus Centre is hosted by Simula Research Laboratory, with FMC Technologies, Esito, Kongsberg Read more about Certus Annual Report 2012 published[…]