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
19/11/2018 Tom AtkinsonNews

Certus Researchers receive two IKTPLUSS grants with a total of 34 000 000,- NOK from the Research Council of Norway

Certus researchers have been successful in attracting innovative projects from the last IKTPLUSS programme on reducing digital vulnerabilities. Two projects, led by Certus project leaders were granted in the programme, namely TSAR (led by SeniorContinue reading

19/11/201819/11/2018 Tom AtkinsonNews

Certus 13th User Partner Workshop

On Thursday 11th of October, Certus organized its 13th User Partner Workshop at Simula. The event gathered more than 25 participants. The program of the workshop featured a keynote speech given by Nadjib Lazaar from UniversityContinue reading

19/09/201819/09/2018 Tom AtkinsonNews

Certus participates at NDC Techtown

NDC TechTown is an annual developer conference in Kongsberg, Norway, emphasising embedded programming, security and testing. This years’ speaker lineup included widely influential figures like Bjarne Stroustrup (creator of the C++ programming language) and Michael Kerrisk (maintainer of theContinue reading

04/09/201804/09/2018 Tom AtkinsonNews

Certus partners receives EU funding for research

On 10 Aug. 2018, the Certus administration was notified of the success of the AI4EU proposal, which was submitted to the European Commission for funding during spring 2018. The AI4EU project will gather 81 partnersContinue reading

5th International Workshop on Software Engineering Research and Industrial Practice
24/08/2018 Tom AtkinsonNews

Dusica Marijan and Sagar Sen organize the 5th International Workshop on Software Engineering Research and Industrial Practice at ICSE 2018

Certus scientists Dusica Marijan and Sagar Sen together with Rakesh Shukla, Markus Borg, and Ye Yang, organize the 5th International Workshop on Software Engineering Research and Industrial Practice, held in conjunction with International Conference on Software EngineeringContinue reading

18/04/201818/04/2018 adminUncategorized

Arnaud Gotlieb presents Certus at the 10th French National Days on Software Testing

The French National Days on Software Testing is the largest event for software test professionals in France, attended by more than 1200 participants. Dr. Gotlieb’s keynote talk was entitled “Artificial Intelligence in Software Testing: An Overview”.Continue reading

05/04/2018 adminUncategorized

The Certus 2017 Annual Report is now ready.

The report summarises the scientific activities of the Centre during 2017.

17/01/2018 adminUncategorized

On January 18 Roberto Di Cosmo will give a talk on “What would you do with billions of source code files? News from Software Heritage”.

The event will take place in Klasserommet@Simula at 11:00, January 18. Abstract From ten years of working on analysing the characteristics of large open source software repositories, we draw some lessons on the key properties we needContinue reading

From the 12th Certus UPW (Photo: Bård Gudim)
04/12/201704/12/2017 adminAnnual user workshop, News

Certus’ 12th User Partner Workshop

On November 23- 24, the Certus Centre hosted its 12th annual User Partner workshop. The objective of the workshops is to provide an update from the partners on recent activity in the Centre, and toContinue reading

Carl Martin Rosenberg holds a talk at Certus UPW'12 (Photo: Bård Gudim)
24/11/201713/12/2017 adminUncategorized

Talk at NDC Techtown: Effective test scrubbing with machine learning and Python

At the end of October Certus researcher Carl Martin Rosenberg and Marius Liaaen from Cisco held at talk at the software development conference NDC Techtown in Kongsberg, Norway. The duo held the same talk atContinue 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.