FuncTion

Publications

Talks

🇫🇷 Analyse Statique par Interprétation Abstraite de Propriétés Temporelles des Programmes
Thursday, January 28, 2016
Counterexample-Guided Inference of Ranking Functions
Thursday, July 30, 2015
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
Thursday, December 18, 2014
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
Monday, November 3, 2014
Automatic Inference of Ranking Functions by Abstract Interpretation
Wednesday, October 1, 2014
Automatic Inference of Ranking Functions by Abstract Interpretation
Tuesday, August 26, 2014
Automatic Inference of Ranking Functions by Abstract Interpretation
Wednesday, June 18, 2014
An Abstract Domain to Infer Ordinal-Valued Ranking Functions
Wednesday, May 28, 2014
Automatic Inference of Ranking Functions by Abstract Interpretation
Tuesday, March 18, 2014
Automatic Inference of Ranking Functions by Abstract Interpretation
Thursday, January 16, 2014