| |
| 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] |