VMCAI paper presentation in January 2019

Posted on Tue 27 November 2018

We will present a paper entitled "Static Analysis Of Binary Code With Memory Indirections Using Polyhedra." at VMCAI'2019.


Continue reading

New reseach member joined in October 2018

Posted on Tue 27 November 2018

A new research member, Frédéric Fort, joined in October 2018. He will work on adaptive real-time systems with Prelude.


Continue reading

New reseach member joined in Juin 2018

Posted on Tue 27 November 2018

A new research member, Jordy Ruiz, joined in Juin 2018. He will work on polyhedral domain abstract interpretation, in the context of WCET computation.


Continue reading

Kick-off meeting held in Lille on 14-15 January 2018

Posted on Tue 27 November 2018

The CORTEVA projet has been launched during the kick-off meeting that was held in Lille from 14 to 15 of January 2018.

During the meeting, the partners discussed the main scientific challenges of the project, and we agreed on a roadmap towards the projet objectives.

We discussed the requirements of …


Continue reading