For more information on Argosim and Stimulus : http://www-verimag.imag.fr/Argosim.html
Home > Verimag > Actualités
A press article on Stimulus/Argosim
Avec Stimulus, Argosim apporte simulation et débogage temps réel à la validation des exigences
Publié le 10 mars 2015 à 12:11 par François Gauthier
View online : http://www.lembarque.com/avec-stimu...
Browsing
News
- NEWS
- 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
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection
- Akram Idani, Yves Ledru, German Vega: Formal model-driven security combining B-method and process algebra: The B4MSecure platform
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian: Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs
Jobs and internships
- Jobs and internships
- Poste de Professeur⋅e des Universités Verimag/Grenoble-INP
- Poste de Professeur⋅e des Universités Verimag/UGA
- [PostDoc] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
- [Thèse] Contre-mesures logicielles “flot de données” pour la sécurité de bout-en-bout