| |
| 2008 | ||
|---|---|---|
| 5 | EE | Gurvan Le Guernic: Precise Dynamic Verification of Confidentiality. VERIFY 2008 |
| 4 | EE | Gurvan Le Guernic, Julien Perret: FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. Electr. Notes Theor. Comput. Sci. 219: 3-18 (2008) |
| 2007 | ||
| 3 | EE | Gurvan Le Guernic: Information Flow Testing. ASIAN 2007: 33-47 |
| 2 | EE | Gurvan Le Guernic: Automaton-based Confidentiality Monitoring of Concurrent Programs. CSF 2007: 218-232 |
| 2006 | ||
| 1 | EE | Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt: Automata-Based Confidentiality Monitoring. ASIAN 2006: 75-89 |
| 1 | Anindya Banerjee | [1] |
| 2 | Thomas P. Jensen | [1] |
| 3 | Julien Perret | [4] |
| 4 | David A. Schmidt | [1] |