Stavros Tripakis
Research Scientist CNRS Research Scientist (Charge' de Recherche) Verimag Laboratory I am currently on leave of absence at UC Berkeley: Electrical Engineering and Computer Sciences University of California at Berkeley Contact info: Phone: +1 510 280 4924 Email: last name at imag dot fr CV in PDF	Submit your best papers to EMSOFT 2010!

Research:

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

Some talks

EMSOFT 2010 (program co-chair)

PC Member -- upcoming events: WODES 2010, HSCC 2010, DATE 2010 (Model Based Design of Embedded Systems track),
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 Associate Professor at ISIMS, Sfax, Tunisia.
• 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