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.Continue reading
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 robotContinue reading
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. MossigeContinue reading
Morten Mossige’s PHD will improve testing systems for robots
In collaboration with ABB Robotics, a Certus partner, Mossige’s dissertation demonstrates that development costs can be reduced, and the quality of the software increases uptime for the robots. Please read more at NTB (in Norwegian).
Certus at Formal Methods 2015
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 excellentContinue reading
Funded through the Fulbright-programme, Prof. David Binkley to visit Certus
David Binkley, Ph.D., professor of computer science at Loyola University Maryland, has received awards from the Core Fulbright U.S. Scholar Program and National Science Foundation to support an international, collaborative research project on the evolutionContinue reading
Registration is now open for HISS 2015
Registration is now open for the one day High Integrity Systems Symposium. Go to the event’s website to read more.
Certus to co-host the High Integrity Systems Symposium in June
The registration is now open for the High Integrity Systems Symposium, to be organised at Simula on the 3/6. Participation is open and free. Software has become an essential part of our critical national infrastructure, such as transportContinue reading
Shuai Wang successfully defended his PhD
On Monday April 20th 2015, Shuai Wang defended his PhD thesis “Systematic Product Line Testing: Methodologies, Automation, and Industrial Application”. The defense took place at 13:15, Stortua, Simula Research Laboratory, Martin Linges vei 17, Fornebu.Continue reading
Sunil Nair successfully defended his PhD
On Friday, the 27th March 2015, Sunil Nair defended his PhD thesis titled “Characterization of Safety Evidence for Assessment and Certification of Critical Systems”. The defense took place at 13.15, in Storstua, Simula Research Laboratory,Continue reading