Skip to content
The Certus Centre for Software Validation and Verification

The Certus Centre for Software Validation and Verification

  • Home
  • About
  • Annual Reports
  • Partner Overview
  • Projects
  • Publications
  • Contact Us
This photo of Park Inn by Radisson Oslo is courtesy of TripAdvisor
18/03/2014 adminUncategorized

Fifth User Partner Workshop

The Fifth Certus User Partner Workshop (UPW) will be organized at Park Inn-Radisson on the 20th and 21st of March 2014. Twice a year Certus gathers all of its partners to discuss, evaluate and plan researchContinue reading

04/02/201423/04/2014 adminUncategorized

TITAN attracts funding from RCN

  The mission of the Certus Centre is to conduct industry-relevant research. This implies developing research results further, into deliverables more readily available for industrial application and exploitation. In close interaction with Cisco user partner,Continue reading

23/12/201324/01/2014 adminUncategorized

Annual Work Plan 2014 Finalised

The Annual Work Plan outlines the activities of the Certus Centre and is an important document for the Centre. The annual work plans for 2012 and 2013 were submitted to the RCN in December 2011 andContinue reading

05/12/2013 adminUncategorized

Seminar: Model-Based Testing on Wed. 27 Nov.

On Wed. 27 Nov., 2013, CERTUS organized a seminar on Model-Based Testing dedicated to the needs of the Cancer Registry of Norway. CERTUS had invited independent consultant Eddie Jaffuel to give an introductory talk onContinue reading

25/11/201325/11/2013 adminUncategorized

Software Maintenance Day – Nov 22, 2013

Over 25 industry professionals attended day two of open courses at Simula Research Laboratory dedicated to topics in software maintenance and evolution. Magne Jørgensen, professor in software engineering, spoke in the first half of theContinue reading

22/11/201325/11/2013 adminUncategorized

Model-based Design and Testing Day – 21 November 2013

The software engineering department of Simula Research Laboratory is organising  two day courses on different software engineering topics. Today,  the first half-day was on software architectural design using model-based approaches tutored by Bran Selic. Bran’sContinue reading

15/11/2013 adminUncategorized

Certus is getting ready for Horizon 2020

Excellence in research and innovation is the aim of the Certus Centre, and in order to continue to stay at the forefront participation in Horizon 2020 is high on the Centre´s agenda. Last week 9Continue reading

01/11/201301/11/2013 adminUncategorized

UPW Day Two: Planning of 2014

Day two of the Certus User Partner Workshop is well under way. The key challenge when planning research activities in an SFI is to identify and address research challenges that are of importance for theContinue reading

31/10/2013 adminUncategorized

Fourth UPW kicks off!

The Fourth User Partner Workshop (UPW) has just kicked off in Holmenkollen Park Hotel Rica. Gathering 35 participants from all of Certus´ partners the UPW is an extremely important venue to meet and discuss challengesContinue reading

22/10/201322/10/2013 adminUncategorized

Report from SPLC-conference 2013

This year Certus centre participated to SPLC in Tokyo, Japan, the main event related on Software Product Line, that attracted around 200 participants worldwide. Certus scientists presented their work on practical software product line testing, doneContinue reading

Posts navigation

Older posts
Newer posts

Certus news

  • Netflix created and deployed a tool inspired by Certus research 15/11/2019
  • Talk on Applied Machine Learning, by Yongqi Dong 20/06/2019
  • Dusica Marijan organizes the 6th International Workshop on Software Engineering Research and Industrial Practice at ICSE 2019 20/06/2019
  • Certus researcher participated in ICSE in Montreal 14/06/2019
  • Certus hosts NordConsNet Workshop 2019 27/05/2019
  • Certus researchers participate at the 2nd AI Night in Paris 29/04/2019
  • Successful kickoff of recently launched RCN IKTPLUSS project T-SAR 29/04/2019
  • Certus researcher Dusica Marijan was awarded a Young Talent FRINATEK Grant for the T3AS project 12/03/2019
  • Certus participates in the AI4EU project 10/01/2019
  • Certus researchers involved in arranging the first IEEE AI Testing Conference 19/11/2018
Proudly powered by WordPress | Theme: Oria by JustFreeThemes.