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:

• Embedded software design, analysis and implementation
• Model-based testing and monitoring
• Decentralized observation and control
• Model-checking and control synthesis for timed automata
• Other

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:

• The Simulink/Stateflow to Lustre translator.
• KRONOS : a tool for model-checking TCTL properties on Timed Automata
• OPEN-KRONOS: another model-checker for timed automata
• RT-Spin: an extension of Spin to timed systems
• MINIM: state-minimization w.r.t. time-abstracting bisimulations

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:
  • The Synchronous Model of Computation. Lectures given at EECS 249: Design of Embedded Systems: Models, Validation and Synthesis and CE 290I: Civil Systems: Control and Information Management. October 2009.
  • Embedded software implementation: a model-based approach. Lecture given at EECS 249: Design of Embedded Systems: Models, Validation and Synthesis, Fall 2007.
  • Model-based design: an instance. Lecture given at EECS 249: Embedded System Design: Models, Validation and Synthesis, Fall 2006.
• Post-graduate course on Testing at Joseph Fourier University:
  • Testing Mealy machines (slides, answers to some questions)
  • Testing timed automata (slides)
  • Exam questions and answers (2005)

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