Stavros Tripakis
(I am currently on leave of absence at UC Berkeley)
CNRS Research Scientist
Verimag laboratory
CV in PDF
Contact info:
Phone: +1 510 280 4924
Email: last name at imag dot fr
Research:
Publications
PC Member -- upcoming events:
WODES 2010,
HSCC 2010,
DATE 2010 (Model Based Design of Embedded Systems track),
RTSS 2009,
FORMATS 2009,
PC Member -- past events
Tools:
PhD students:
- Adrian Curic.
Graduated October 2005.
Thesis: Implementing Lustre Programs on Distributed Platforms with Real-Time Constraints.
- Christos Sofronis.
Graduated November 2006.
Thesis: Embedded Code Generation from High-level Heterogeneous Components.
Currently Researcher at PARADES.
- Moez Krichen.
Graduated December 2007.
Thesis: Conformance Testing for Real-Time Systems.
Currently Assistant Professor at Ecole Nationale d'Ingénieurs de Sfax and Researcher at ReDCAD.
- Nazha Abed.
Graduated June 2009.
Thesis: Randomized Exploration of Large State Spaces for Verification.
Teaching:
- Invited lectures in post-graduate courses at UC Berkeley:
- Post-graduate course on Testing at Joseph Fourier University:
Some past projects:
- French ACI project CORTOS
- European IST projects
NEXT TTA (ended 31/01/2004)
and
RISE (running until 2005)
Infos de la bibliotheque IMAG