| |
| 2009 | ||
|---|---|---|
| 6 | EE | Néstor Cataño, Tim Wahls: Executing JML specifications of Java card applications: a case study. SAC 2009: 404-408 |
| 2005 | ||
| 5 | EE | Néstor Cataño: Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS. TPHOLs 2005: 82-97 |
| 4 | EE | Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs: Formal methods for smart cards: an experience report. Sci. Comput. Program. 55(1-3): 53-80 (2005) |
| 2003 | ||
| 3 | EE | Néstor Cataño, Marieke Huisman: CHASE: A Static Checker for JML's Assignable Clause. VMCAI 2003: 26-40 |
| 2 | EE | Néstor Cataño: Slicing Event Spaces: Towards a Java Programs Checking Framework. Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 2002 | ||
| 1 | EE | Néstor Cataño, Marieke Huisman: Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. FME 2002: 272-289 |
| 1 | Cees-Bart Breunesse | [4] |
| 2 | Marieke Huisman | [1] [3] [4] |
| 3 | Bart Jacobs | [4] |
| 4 | Tim Wahls | [6] |