Accueil > Axes > Ressources partagées > Emplois et stages > Emplois et stages
Emplois et stages
Emplois et stages
Postdocs
Masters
- [Master] Implementation of critical applications on multi-core : execution mode analysis to reduce interferences
- [master/PhD] Static analysis of “pseudo-LRU” caches
- [Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
We propose a framework, based on Coq, to (semi-) automatically construct certified proofs of self-stabilizing algorithms called PADEC. The framework imports into Coq the computational model in which the algorithms are designed, formalizes the algorithms themselves and their specifications. Then the algorithms are proved using Coq including safety, convergence. The current development of the framework includes performance studies and complexity proofs but also connection with other formal tools.
- [Master] Simulation of Distributed Algorithms
- [Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks
- [Master] Sûreté des essaims de robots mobiles
- [Master] Analyzing fault parameters triggering timing anomalies
- [Master] Exploration by model-checking of timing anomaly cancellation in a processor
