 | 2009 |
|---|
| 8 |       | Néstor Cataño,
Tim Wahls:
Executing JML specifications of Java card applications: a case study.
SAC 2009: 404-408 |
| 7 | | Néstor Cataño,
Camilo Rueda:
Teaching Formal Methods for the Unconquered Territory.
TFM 2009: 2-19 |
| 6 | | Néstor Cataño,
Fernando Barraza,
Daniel García,
Pablo Ortega,
Camilo Rueda:
A Case Study in JML-Assisted Software Development.
Electr. Notes Theor. Comput. Sci. 240: 5-21 (2009) |
| 2005 |
|---|
| 5 | | Néstor Cataño:
Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS.
TPHOLs 2005: 82-97 |
| 4 | | 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 | | Néstor Cataño,
Marieke Huisman:
CHASE: A Static Checker for JML's Assignable Clause.
VMCAI 2003: 26-40 |
| 2 | | Néstor Cataño:
Slicing Event Spaces: Towards a Java Programs Checking Framework.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 2002 |
|---|
| 1 | | Néstor Cataño,
Marieke Huisman:
Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.
FME 2002: 272-289 |
