sc-during is a library that can be used on top of SystemC to write efficient parallel simulators.
Navigation
Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- Automatisation : y aura-t-il un pilote dans l’avion ?
- Conférences
- 30 September - 1 October 2019 AVoCS 2019
Séminaires
Nouvelles publications
- Publications
Récentes
- Rim El-Ballouli: Modeling Self-configuration In Architecture-based Self-adaptive Systems
- Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger: Space-Time Interpolants
- Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle: A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
- Benjamin Farinier, Sebastien Bardin, Richard Bonichon, Marie-Laure Potet: Model Generation for Quantified Formulas: A Taint-Based Approach
- Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
- Tommaso Dreossi, Thao Dang, Carla Piazza: Reachability computation for polynomial dynamical systems
