Stavros Tripakis
CNRS Research Scientist (Chargé de Recherche) Verimag Laboratory Currently on leave as Associate Research Scientist at UC Berkeley Contact info: Phone: +1 510 280 4924 Email: first name at eecs dot berkeley dot edu CV in PDF

Research:

Complete list of papers

By category:

• 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

PC Member - upcoming events:

• CAV 2012
• FORMATS 2012
• RV 2012
• EMSOFT 2012
• SSS 2012

Associate Editor: Discrete Event Dynamic Systems

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