This software is based on Linear Relation Analysis, and combines classic LRA (with widening) and acceleration techniques.
Browsing
News
- Conferences
- 10-13 November 2018 RV 2018
Seminars
- Seminars
- 23 October 2018 Thusitha asela Bandara: An adaptive charge protocol for lithium-lon batteries
- 31 October 2018 Mahieddine Dellabani: Formal methods for distributed real-time systems (Phd)
- 22 November 2018 Analyse et verif. legeres Une journee de reflexion: Lightweight analysis and verification techniques
New publications
- Recent Publications
- Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin: Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets
- Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo: Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)
- Alexey Bakhirkin, Thomas Ferrére, Oded Maler: Efficient Parametric Identification for STL
- Takoua Abdellatif, Marius Bozga: An End-to-End Security Model for Adaptive Service-Oriented Applications
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Stabilisation progressive
- Dogan Ulus, Oded Maler: Specifying Timed Patterns using Temporal Logic
Jobs and internships
- Jobs and internships
- 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
- Post-Doc and/or Research Engineer positions on Software Security
- [M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
