VDS Presentation

People

Current Members
Previous Members
PhD Thesis Proposal  

Research topics

ABV: Horus project
Assertion-based verification of TLM
Verif. of communications in NoC's
Fast prototyping from assertions
Activity Report 2011

Publications

After 2005
Before 2005

Projects

ANR Project FME3
ANR Project SFINCS
Minalogic/AESE Project SoCKET
     (TIMA contribution)
MEDEA+ Project B-Dreams
Minalogic Project SHIVA

Group Leader Laurence PIERRE Professor

Researchers Dominique BORRIONE Professor   Katell MORIN-ALLORY Associate Professor

PhD candidates Zeineb BEL HADJ AMOR   Renaud CLAVEL   Laila DAMRI   Alexandre PORCHER

Invited professor Kjetil SVARSTAD (Norwegian University of Science and Technology)

Interns Martial CHABOT   William DEVIA   Pierre FERRIS   Negin JAVAHERI

Recent PhD students   Luca FERRO (July 2011)   Amr HELMY (April 2010)   Yann ODDOS (November 2009)   Florent OUCHET (December 2011)