Assistant Professor at Ensimag/Verimag (Synchrone team).

Contact Details

email: Matthieu.Moy@grenoble-inp.fr

Address:
Laboratoire Verimag
Centre Équation
2, avenue de Vignate
38610 Gières
FRANCE

Phone: +33 4 56 52 03 56

Fax: +33 4 56 52 03 44

How to come to Verimag (I’m in the « Équation 4 » building, but the entry phone is at the « Équation 3 » entrance)

Latest articles

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | ... | 110

Most popular articles

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | ... | 110

Keywords

Co-workers

Bageshri Karkare, Claire Maiza, Claude Helmstetter, David Monniaux, Florence Maraninchi, Giovanni Funchal, Julien Henry, Karine Altisen, Kevin Marquet, Pascal Raymond, Yanhong Liu

Tools

ac2lus, ACEplorer, Apron, ATMI, Clang, CUDD, GCC, Git, Java, jTLM, Kalray MPPA, LLVM, LusSy, Lustre, NuSMV, PAGAI, Pinapa, PinaVM, sc-during, Spin, SPIP, SystemC, Uppaal, Verse, Yices, Z3

Topics

42, Abstract Interpretation, Implementation, Compilation, Formal Verification, Parallelism, Power-estimation, Real-Time Calculus, SMT-solving, TLM, Worst Case Execution Time

Type of Student

Bachelor of engineering, L3 Internship, Master 1 internship, CIFRE Ph. D, Excellence Internship, IRL Ensimag, M2R, Ph. D, Post-doc, TER UJF

Year

2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015
Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License