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
15/11/2019 Tom AtkinsonNews

Netflix created and deployed a tool inspired by Certus research

Recently, Netflix created and deployed a tool which schedules the execution of test cases on a variety of devices. For that, they took inspiration from our Certus research paper “Reinforcement Learning for Automatic Test CaseContinue reading

20/06/2019 Tom AtkinsonEvents, News

Talk on Applied Machine Learning, by Yongqi Dong

Yongqi Dong, a researcher at University of Waterloo visited Certus on June 17/18, and gave a talk on applied machine learning in shared mobility. Abstract: In this presentation, I will share my exploration in ML andContinue reading

20/06/201920/06/2019 Tom AtkinsonEvents, News

Dusica Marijan organizes the 6th International Workshop on Software Engineering Research and Industrial Practice at ICSE 2019

This year SER&IP (Software Engineering Research and Industrial Practice) workshop is joining forces with CESI (Conducting Empirical Studies in Industry) workshop, organized on May 28 at ICSE (International Conference on Software Engineering) 2019 in Montreal.Continue reading

14/06/2019 Tom AtkinsonNews

Certus researcher participated in ICSE in Montreal

Certus researcher Leon Moonen participated in the recent ICSE 2019 and co-located conferences MSR and ICPC in Montreal, Canada. He was also invited to participate in the ML4SE workshop organized after the ICSE week atContinue reading

27/05/201927/05/2019 Tom AtkinsonNews

Certus hosts NordConsNet Workshop 2019

NordConsNet is the Nordic Network for researchers and practitioners of Constraint Programming. It arranges an annual workshop series, with the purpose to learn about ongoing research in Constraint Programming and optimisation and existing projects andContinue reading

29/04/201929/04/2019 Tom AtkinsonEvents, News

Certus researchers participate at the 2nd AI Night in Paris

Certus researchers participated to the 2nd AI Night in Paris as part as their involvement into the AI4EU project. The event gathered two thousands participants, including startups, SMEs, researchers, engineers, venture-capitalists, etc.  In the mainstreamContinue reading

From the 12th Certus UPW (Photo: Bård Gudim)
29/04/201929/04/2019 Tom AtkinsonEvents, News

Successful kickoff of recently launched RCN IKTPLUSS project T-SAR

The T-SAR project officially started this month, with a kick-off meeting held on April 23rd and 24th at Simula, Fornebu. The T-SAR partners and collaborators include STATSAT AS, who develops and provides space infrastructure forContinue reading

12/03/2019 Tom AtkinsonNews

Certus researcher Dusica Marijan was awarded a Young Talent FRINATEK Grant for the T3AS project

Senior Research Scientist Dusica Marijan was awarded a Young Talent FRINATEK Grant of ~8 MNOK for her project entitled “T3AS: Theory, Methods and Tools for Testing of Autonomous Systems”. The  goal  of  this  project  is Continue reading

10/01/201910/01/2019 Tom AtkinsonNews

Certus participates in the AI4EU project

The AI4EU project officially starts this month, with a kick-off meeting among the partners in Barcelona today (10 January): AI4EU brings together 79 top research institutes, SMEs and large enterprises in 21 countries to build a focal pointContinue reading

19/11/201819/11/2018 Tom AtkinsonEvents, News

Certus researchers involved in arranging the first IEEE AI Testing Conference

Certus researchers are strongly engaged into the organization of the first IEEE AI Testing Conference, to be held in San Francisco, USA, from 4-9 April, 2019 . For more information about the conference, please visit: http://www.ieeeaitests.com/index.html

Posts navigation

Older 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.