title = {{Automated Verification of Termination Certificates} },
author = {Ly, Kim Quyen},
month = {October},
year = {2014},
school = {{Universit\'e Grenoble-Alpes}},
team = {PACSS},
}
Home > Verimag > Publications
bibtex
@phdthesis{'Ly4',
title = {{Automated Verification of Termination Certificates} },
author = {Ly, Kim Quyen},
month = {October},
year = {2014},
school = {{Universit\'e Grenoble-Alpes}},
team = {PACSS},
}
title = {{Automated Verification of Termination Certificates} },
author = {Ly, Kim Quyen},
month = {October},
year = {2014},
school = {{Universit\'e Grenoble-Alpes}},
team = {PACSS},
}
Browsing
News
Seminars
- Seminars
- 22 November 2018 Analyse et verif. legeres Une journee de reflexion: Lightweight analysis and verification techniques
- 29 November 2018 Sylvain Boulmé: Importation d'oracles ml impératifs dans du code coq vérifié
- 6 December 2018 Joseph Sifakis: On the nature of autonomy – a rigorous architectural characterization
New publications
- Recent Publications
- Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications
- Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrére, Dogan Ulus: AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
- Sylvain Boulmé, Alexandre Maréchal: A Coq Tactic for Equality Learning in Linear Arithmetic
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Petit Franck: Gradual Stabilization
- Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong: A Model-based Approach to Certification of Adaptive MILS
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] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
