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,Continue reading
Open courses in Software Verification and Validation
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 softwareContinue reading
Certus publication receives best paper award at MODELS 2013
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 CaseContinue reading
Registration is open for the Fourth UPW
Registration is now open for the Fourth User Partner Workshop of Certus. Only people affiliated to Certus are allowed to register. The registration form can be found here, and the deadline for registration is onContinue reading
Sunil Nair won the Researcher Grand Prix Oslo final!
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 certificationContinue reading
Fourth User Partner Workshop
The Fourth Certus User Partner Workshop (UPW) will be organized at Rica Park hotel Holmenkollen on the 31st of October to the 1st of November. Twice a year Certus gathers all of its partners toContinue reading
New Certus website
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 forContinue reading
Certus Annual Report 2012 published
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 isContinue reading
Razieh Behjati successfully defended her PhD
On Friday, 9, November, Razieh Behjati successfully defended her PhD thesis A Model-Based Approach to the Software Configuration of Integrated Control Systems. The defense took place at 13:15 in Storstua, Simula Research Laboratory. Modern societyContinue reading
The 2nd User Partner Workshop
The 2nd User Partner Workshop of the Certus Center was held on 18/19 October 2012 in Holmen Fjordhotell, Asker. The workshop gathered about 30 participants, half of them coming from the Industrial and Public AdministrationContinue reading