Home > Teams > RSD > Obsolete > Rigorous Design of Component-Based Systems — The BIP (...) > BIP Tools
Download Form
Browsing
News
- Conferences
- November 18-21, 2020 SSS 2020
Seminars
New publications
- Recent Publications
- Karine Altisen, Stéphane Devismes, Erwan Jahier: SASA: A SimulAtor of Self-stabilizing Algorithms
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Sch"onfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
- Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu: SL-COMP: Competition of Solvers for Separation Logic
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
