sc-during is a library that can be used on top of SystemC to write efficient parallel simulators.
Navigation
Actualités
Séminaires
- Séminaires
- 28 mars 2019 Olivier Vidal: Matières premières et énergie à l’échelle mondiale dans le contexte de la transition (...)
- 1er avril 2019 Edward a. Lee: Living digital beings
- 4 avril 2019 Radu Iosif: Checking deadlock-freedom of parametric component-based systems
- 5 avril 2019 Radu Iosif: On the expressive completeness and complexity of prenex separation logic
- 29 avril 2019 Invited Speakers: Journée thématique verimag : many-core kalray mppa, implementation and (...)
Nouvelles publications
- Publications
Récentes
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- Robert I. Davis, Sebastian Altmeyer, Leandro Indrusiak, Claire Maiza, Vincent Nelis, Jan Reineke: An extensible framework for multicore response time analysis
- Steven De Oliveira: Finding constancy in linear routines
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally and practically verifying flow properties in industrial systems
- Arvind S. Adimoolam: A Calculus of Complex Zonotopes for Computing Invariants of Affine Hybrid Systems
Offres d'emploi et stages
- Offres d'emploi et stages
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- PHD proposal : Data Mining Dynamic Behaviors using Signal Temporal Logic
- Post-Doc and/or Research Engineer positions on Software Security
- STMicroelectronics
- [M2 internship] Self-Stabilization in TVG
