un faux article (qui ne devrait pas etre visible (me dire (jahier imag.fr) si tel n’est pas le cas)) ...
Navigation
Actualités
Nouvelles publications
- Quelques Publications
Récentes
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
- Karine Altisen, Stéphane Devismes, Durand Anaïs, Colette Johnen, Petit Franck: Election Autostabilisante dans les Réseaux à Haute Dynamicité
- Cyril Six, Sylvain Boulmé, David Monniaux: Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
Offres d'emploi et stages
- Offres d'emploi et stages
- PhD position : software vulnerability analysis guided by countermeasures and attacker capabilities
- Certified compilation for security
- Convex polyhedra in floating point
- PhD Position : Decision Procedures for Inductive Separation Logic Modulo Data Theories
- PhD position : Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- PhD position : Proving Correctness of Reconfigurable Systems
- Simulation of Distributed Algorithms
