Sergio Yovine

POSITION

Full-time researcher (Directeur de Recherche) at CNRS.

Since june 2009 on leave of absence at Department of Computer Science, University of Buenos Aires.

My current up-to-date web page is here.

ADDRESS

VERIMAG, Centre Equation, 2 Av. de Vignate, 38610 Gieres, France.

Phone: +33 (0)4 56 52 04 20. Fax: +33 (0)4 56 52 03 44.

E-mail: Sergio.Yovine@imag.fr

RESEARCH

Formal specification, verification and implementation of real-time embedded systems.

List of publications.

The Kronos home page.

The IMPLEM research team.

DEA Timed and Hybrid Systems.

Cours "Compilation" (2005).

Some recent projects
       NEVA
       DYNAMO
       MADEJA
       EXPRESSO
       MASH
       SODA
       TAXYS
    

Last modified: April 30, 2010.