| |
| 2004 | ||
|---|---|---|
| 3 | EE | Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov: Checking Absence of Illicit Applet Interactions: A Case Study. FASE 2004: 84-98 |
| 2003 | ||
| 2 | EE | Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov: A verification tool for ERLANG. STTT 4(4): 405-420 (2003) |
| 2002 | ||
| 1 | EE | Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov: Model Checking of Multi-Applet JavaCard Applications. CARDIS 2002: 87-96 |
| 1 | Thomas Arts | [2] |
| 2 | Mads Dam | [2] |
| 3 | Lars-Åke Fredlund (Lars-åke Fredlund) | [1] [2] |
| 4 | Dilian Gurov | [1] [2] [3] |
| 5 | Marieke Huisman | [3] |
| 6 | Thomas Noll | [2] |
| 7 | Christoph Sprenger | [3] |