sc-during is a library that can be used on top of SystemC to write efficient parallel simulators.
Navigation
Actualités
- Conférences
- Du 28 septembre au 2 octobre 2020 AlgoTel et CoRes 2020
- Du 18 au 21 novembre 2020 SSS 2020
Nouvelles publications
- Publications
Récentes
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Marius Bozga, Radu Iosif, Joseph Sifakis: Checking Deadlock-Freedom of Parametric Component-Based Systems
- Braham Lotfi Mediouni: Modeling and Analysis of Stochastic Real-Time Systems
- Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel: Structural Invariants for the Verification of Systems with Parameterized Architectures
- Rim El-Ballouli: Modeling Self-configuration In Architecture-based Self-adaptive Systems
Offres d'emploi et stages
- Offres d'emploi et stages
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- PhD position : Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- Self-Stabilization in TVG
