Wednesday 29th January 2014, between 5pm and 6 pm, Matthieu Moy (Verimag) gives a Lecture at collège de France on « Virtual prototyping of systems on chip for an efficient and faithful simulation »
Home > Verimag > Actualités
A Lecture at collège de France by Matthieu Moy
View online : http://www.college-de-france.fr/sit...
Browsing
News
- NEWS
- Development, design, and semantics of programming languages Tenure track research position at CNRS
- Cybersécurité, sûreté et programmation Poste de Professeur⋅e des Universités Verimag/UGA
- Intelligence artificielle, sciences du logiciel, méthodes formelles Poste de Professeur⋅e des Universités Verimag/Grenoble-INP
Seminars
New publications
- Some Recent Publications
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
- Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian: A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
- Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani: Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
