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

Hakim BOUAMAMA                         Cyrille CHAVET David DEHARBE                         Emil DUMITRESCU Julia DUSHINA                         Philippe GEORGELIN Jean MERMET                         Adam MORAWIEC Vanderlei Morales RODRIGUES                         Gerd RITTER Ayman WAHBA                         Miao LIU Ghiath AL SAMMANE                         Menouer BOUBEKEUR Julien SCHMALTZ                         Diana TOMA Yann ODDOS                         Amr HELMY