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
24/09/201426/09/2014 adminUncategorized

COST action nomination

Tao Yue and Shaukat Ali of Simula Research Laboratory are honoured to have been nominated as management committee members representing Norway on ICT COST (European Cooperation in Science and Technology) action IC1404: Multi-Paradigm Modelling forContinue reading

17/09/2014 adminUncategorized

Register now for the Sixth User Partner Workshop

Registration for the Sixth User Partner Workshop (UPW) is now open. The UPW will be organised on Soria Moria hotel, from 11.30 on the 9th of October to 13.30 on the 10th. To register, simplyContinue reading

11/09/2014 adminUncategorized

6th Certus User Partner Workshop to be organised at Soria Moria 9-10th of October

The 6th Certus User Partner workshop will be organised at Soria Moria. It will start with lunch on the 9th and end with lunch on the 10th. The topic for the workshop will be evaluatingContinue reading

07/08/2014 adminUncategorized

Certus paper receives best application paper award!

The paper entitled “Using CP in automatic test generation for ABB Robotic’s Paint Control System“, authored by Arnaud Gotlieb (Leader of the Certus Centre, Simula), Morten Mossige (Industrial-PhD student, ABB Robotics)  and Hein Meling (ProfessorContinue reading

07/08/2014 adminUncategorized

Co-authored Certus paper accepted to The 14th International Conference on Quality Software

The paper “Exploring Model-Based Repositories for a Broad Range of Industrial Applications and Challenges” has been accepted to The 14th International Conference on Quality Software, organised in Dallas, USA, October 2-3. Co-authored by several Certus partners,Continue reading

25/06/201425/06/2014 adminUncategorized

Certus presentation at Javazone 2014

Scientists from Certus, Dr. Shaukat Ali and Dr. Tao Yue, will give a talk on Search-based Software Engineering (SBSE) during JavaZone 2014 (http://2014.javazone.no/), which is a software development conference organized in Norway. Javazone is a forumContinue reading

16/06/2014 adminUncategorized

Strong Certus presence at ICSE 2014

In June 2014, Certus researchers participated to the most important annual venue in Software Engineering: the International Conference on Software Engineering (ICSE), organised in Hyderabad, India from June 1th to June 7th (http://2014.icse-conferences.org/). Arnaud Gotlieb,Continue reading

26/05/201426/05/2014 adminUncategorized

UTP Standard Submission

Simula, together with other international academic and industrial partners, recently submitted an initial version of the UML Testing Profile Standard (UTP) V.2, to the Object Management Group (OMG). OMG is an international, open membership, andContinue reading

10/04/2014 adminUncategorized

Presentations from the fifth UPW

The fifth Certus UPW took place on the 20th and 21st of March 2014. Presentations from the UPW may be found below. TITAN UPW March Experience Group Discussion Points Proposal Industry-Research Collaboration Certus Testing LabContinue reading

09/04/2014 adminUncategorized

ABB Robotics joins Certus

ABB Robotics joined Certus as a user partner on March 5th 2014. ABB Robotics is a market leader in painting systems embedded into industrial robots. These systems are integrated control software systems that pilot theContinue 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.