2008 | ||
---|---|---|
3 | EE | David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin: Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. AMAST 2008: 122-138 |
2 | EE | Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky: Relational Analysis and Precision via Probabilistic Abstract Interpretation. Electr. Notes Theor. Comput. Sci. 220(3): 23-42 (2008) |
2006 | ||
1 | EE | Pascal Sotin, David Cachera, Thomas P. Jensen: Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. Electr. Notes Theor. Comput. Sci. 164(3): 153-167 (2006) |
1 | David Cachera | [1] [3] |
2 | Thomas P. Jensen | [1] [3] |
3 | Arnaud Jobin | [3] |
4 | Alessandra Di Pierro | [2] |
5 | Herbert Wiklicky | [2] |