 | 2011 |
|---|
| 11 |       | Néstor Cataño,
Ijaz Ahmed:
Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool.
FMICS 2011: 6-20 |
| 2010 |
|---|
| 10 | | Néstor Cataño,
Camilo Rueda:
Matelas: A Predicate Calculus Common Formal Definition for Social Networking.
ASM 2010: 259-272 |
| 2009 |
|---|
| 9 | | Néstor Cataño,
Tim Wahls:
Executing JML specifications of Java card applications: a case study.
SAC 2009: 404-408 |
| 8 | | Néstor Cataño,
Camilo Rueda:
Teaching Formal Methods for the Unconquered Territory.
TFM 2009: 2-19 |
| 7 | | 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 |
|---|
| 6 | | Néstor Cataño:
Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS.
TPHOLs 2005: 82-97 |
| 5 | | Néstor Cataño:
Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead.
Revista Colombiana de Computación 6(1): (2005) |
| 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: 59-74 (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 |
Data released under the ODC-BY 1.0 license — See also our legal information page