This software is based on Linear Relation Analysis, and combines classic LRA (with widening) and acceleration techniques.
Browsing
New publications
- Recent Publications
- Victor Magron, George A. Constantinides, Alastair F. Donaldson: Certified Roundoff Error Bounds Using Semidefinite Programming
- Maxime Puys, Marie-Laure Potet, Abdelaziz Khaled: Generation of Applicative Attacks Scenarios Against Industrial Systems
- Oded Maler, Irini-Eleftheria Mens: A Generic Algorithm for Learning Symbolic Automata from Membership Queries
- Karine Altisen, Olivier Alphand, Rodolphe Bertolini, Stéphane Devismes, Ali Fahs, Franck Rousseau: Collision Prevention in Distributed 6TiSCH Networks
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps
- Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger: Counterexample-Guided Refinement of Template Polyhedra
Jobs and internships
- Jobs and internships
- Phd Position: Vulnerability search in Industrial Control Systems
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- PHD proposal: Data Mining Dynamic Behaviors using Signal Temporal Logic
- Post-Doc and/or Research Engineer positions on Software Security
- [M1 internship] Modeling of Graph Topologies Using Coq
