Arnaud Jobin

According to our database, Arnaud Jobin authored at least 4 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Dioïdes et idéaux de polynômes en analyse statique. (Static analysis with dioids and polynomial ideals).

Arnaud Jobin

PhD thesis, 2012

Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases.

David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner

Proceedings of the Static Analysis - 19th International Symposium, 2012

2010

Injecting Abstract Interpretations into Linear Cost Models

David Cachera, Arnaud Jobin

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

2008

Long-Run Cost Analysis by Approximation of Linear Operators over Dioids.

David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin

Proceedings of the Algebraic Methodology and Software Technology, 2008