Accueil > Équipes > Synchrone > Thèmes de recherche > Distributed Algorithms and Applications to Embedded (...)
xxx
Navigation
Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- Argosim et Verimag dans La Lettre Innovation du CNRS
- Conférences
- 30 September - 1 October 2019 AVoCS 2019
- Séminaires
- 25 juin 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 juin 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 juin 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 2 juillet 2019 Indranil Saha : Developing autonomous multi-robot systems for complex missions
- 4 juillet 2019 Radu Iosif: Alternating automata modulo first order theories
- 10 juillet 2019 Lionel Rieg: Integrating formal schedulability analysis into a verifed os kernel
Séminaires
Nouvelles publications
- Publications
Récentes
- Rémy Boutonnet, Nicolas Halbwachs: Disjunctive relational abstract interpretation for interprocedural program analysis
- Jonthan Salwan, Sebastien Bardin, Marie-Laure Potet: Binary Deobfuscation and Dynamic Symbolic Execution
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- Alexandre Rocca: Formal methods for modelling and validation of biological models
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs
- Rim El-Ballouli: Modeling Self-configuration In Architecture-based Self-adaptive Systems
