Arnaud Jobin

According to our database, Arnaud Jobin authored at least 4 papers between 2010 and 2014.

Collaborative distances:

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

2014

Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases.

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

Sci. Comput. Program., 2014

2012

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

Arnaud Jobin

PhD thesis, 2012

2010

Long-run cost analysis by approximation of linear operators over dioids.

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

Math. Struct. Comput. Sci., 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