Home > Topics > Formal Proofs > Jobs and Internships > Jobs and Internships
Jobs and Internships
Jobs in the whole Verimag lab
New publications
- Some Recent Publications
(Preuves Formelles)
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Exact Worst Case Self-Stabilization Time
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Du discrètement continu au continûment discret
- 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
- Sylvain Boulmé, Alexandre Maréchal: Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra
- Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l'usage des roboteux et des distributeux
- Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao: Integrating Formal Schedulability Analysis into a Verified OS Kernel
- Cyril Six, Sylvain Boulmé, David Monniaux: Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
- Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen: A Decision Procedure for Equivalence Relations (abstract)
