News
- NEWS
- Development, design, and semantics of programming languages Tenure track research position at CNRS
New publications
- Some Recent Publications
- Marius Bozga, Radu Iosif, Florian Zuleger: Iterating Non-Aggregative Structure Compositions
- Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani: Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
