| 2009 | ||
|---|---|---|
| 2 | Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry: CLOPS: A DSL for Command Line Options. DSL 2009: 187-210 | |
| 2006 | ||
| 1 | Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet: JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO 2006: 152-174 | |
| 1 | Gilles Barthe | [1] |
| 2 | Lilian Burdy | [1] |
| 3 | Dermot Cochran | [2] |
| 4 | Fintan Fairmichael | [2] |
| 5 | Benjamin Grégoire | [1] |
| 6 | Radu Grigore | [2] |
| 7 | Viliam Holub | [2] |
| 8 | Marieke Huisman | [1] |
| 9 | Mikolás Janota | [2] |
| 10 | Joseph Kiniry (Joseph R. Kiniry) | [2] |
| 11 | Jean-Louis Lanet | [1] |
| 12 | Mariela Pavlova | [1] |
| 13 | Antoine Requet | [1] |