New publications
- Some Recent Publications
- Radu Iosif, Xiao Xu: Alternating Automata Modulo First Order Theories
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- David Monniaux, Valentin Touzeau: On the Complexity of Cache Analysis for Different Replacement Policies
- Karine Altisen, Stéphane Devismes, Durand Anaïs, Colette Johnen, Petit Franck: Election Autostabilisante dans les Réseaux à Haute Dynamicité
Jobs and internships
- Jobs and internships
- Decision Procedures for Separation Logic Modulo Theories of Data
- Local Reasoning about Reconfigurable Component-based Systems
- PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- Postdoctoral position at VERIMAG
- Simulation of Distributed Algorithms
- Verifying Concurrent Systems with Automata over Infinite Alphabets
