Contact Detailsemail: Matthieu.Moy@grenoble-inp.fr Address: Verimag Laboratory Centre Équation - 2, avenue de Vignate 38610 Gières FRANCEPhone: +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) |
Jobs (Internship, ...) |
Latest articles
-
Tools >
Git >
Host a Git repository over HTTP(S) with limited access to the server
-
Research >
Slides >
Causality Closure for a New Class of Curves in Real-Time Calculus
-
Research >
Publications >
ACM Authorizer links
-
Research >
Slides >
Modeling of Time in Discrete-Event Simulation of Systems-on-Chip
-
Research >
Jobs/Internships >
Analyse statique de programme par interprétation abstraite
-
Research >
Jobs/Internships >
Formal Verification of SystemC Programs
-
Research >
Jobs/Internships >
Fast simulation of Systems-on-Chip
-
Research >
Students >
Si-Mohamed Lamraoui
-
Research >
Jobs/Internships >
Performance Evaluation for Embedded Systems: State Machines and State-Space Exploration
-
Research >
Students >
Julien Henry (M2R)
0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80
The most read articles
-
Tools >
Emacs >
L’Éditeur de texte Emacs
-
Tools >
Programming >
Collection of Funny, Buggy, C/C++ Programs
-
Teaching >
Misc >
Unix-training: a set of tools to teach Unix efficiently
-
Teaching >
Ensimag ASI >
Projet Compilation ASI
-
Personal >
Recipes >
Tarte au citron à la poudre d’amandes
-
Tools >
Ion >
Ion3 and notion
-
Tools >
Git >
Host a Git repository over HTTP(S) with limited access to the server
-
Research >
Students >
Xavier Jean
-
Research >
Students >
Guillaume Sarrazin
-
Research >
Jobs/Internships >
Analyse statique de programme par interprétation abstraite
0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80
Keywords
Co-workers
Bageshri Karkare, Claire Maiza, David Monniaux, Florence Maraninchi, Giovanni Funchal, Julien Henry, Karine Altisen, Kevin Marquet, Pascal Raymond, Yanhong LiuTools
ac2lus, ACEplorer, Apron, CUDD, GCC, Git, Java, jTLM, LLVM, LusSy, Lustre, NuSMV, Pinapa, PinaVM, Spin, SPIP, SystemC, Uppaal, Yices, Z3Topics
42, Abstract Interpretation, Implementation, Compilation, Formal Verification, Parallelism, Power-estimation, Real-Time Calculus, SMT-solving, TLMType of Student
Bachelor of engineering, L3 Internship, Master 1 internship, CIFRE Ph. D, Excellence Internship, M2R, Ph. D, Post-doc, TER Ensimag, TER UJFYear
2006, 2007, 2008, 2009, 2010, 2011, 2012
| Sign In |
Site Map |
RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License