Nestor Catano Collazos
AuthID: R-000-S8D
11
TITLE: Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
AUTHORS: Néstor Cataño; Ijaz Ahmed;
PUBLISHED: 2011, SOURCE: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
AUTHORS: Néstor Cataño; Ijaz Ahmed;
PUBLISHED: 2011, SOURCE: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
12
TITLE: Verification of JML Generic Types with Yices
AUTHORS: Nestor Catano; Camilo Rueda; Sorren Hanvey;
PUBLISHED: 2011, SOURCE: 6th Colombian Computing Congress (CCC) in 2011 6TH COLOMBIAN COMPUTING CONGRESS (CCC)
AUTHORS: Nestor Catano; Camilo Rueda; Sorren Hanvey;
PUBLISHED: 2011, SOURCE: 6th Colombian Computing Congress (CCC) in 2011 6TH COLOMBIAN COMPUTING CONGRESS (CCC)
INDEXED IN: 
WOS
WOS13
TITLE: A Case Study in JML-Assisted Software Development
AUTHORS: Néstor Cataño; Fernando Barraza; Daniel García; Pablo Ortega; Camilo Rueda;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 240
AUTHORS: Néstor Cataño; Fernando Barraza; Daniel García; Pablo Ortega; Camilo Rueda;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 240
14
TITLE: Executing JML specifications of Java card applications. a case study
AUTHORS: Néstor Cataño; Tim Wahls;
PUBLISHED: 2009, SOURCE: Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09
AUTHORS: Néstor Cataño; Tim Wahls;
PUBLISHED: 2009, SOURCE: Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09
INDEXED IN: 
CrossRef
CrossRef15
TITLE: Formal methods for smart cards: An experience report Full Text
AUTHORS: Breunesse, CB; Catano, N; Huisman, M; Jacobs, B;
PUBLISHED: 2005, SOURCE: Science of Computer Programming, VOLUME: 55, ISSUE: 1-3 SPEC. ISS.
AUTHORS: Breunesse, CB; Catano, N; Huisman, M; Jacobs, B;
PUBLISHED: 2005, SOURCE: Science of Computer Programming, VOLUME: 55, ISSUE: 1-3 SPEC. ISS.
16
TITLE: Formal modeling of a slicing algorithm for Java event spaces in PVS
AUTHORS: Catano, N;
PUBLISHED: 2005, SOURCE: 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005 in Lecture Notes in Computer Science, VOLUME: 3603
AUTHORS: Catano, N;
PUBLISHED: 2005, SOURCE: 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005 in Lecture Notes in Computer Science, VOLUME: 3603
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID17
TITLE: Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS
AUTHORS: Néstor Cataño;
PUBLISHED: 2005, SOURCE: Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics
AUTHORS: Néstor Cataño;
PUBLISHED: 2005, SOURCE: Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics
18
TITLE: Slicing event spaces: Towards a Java programs checking framework
AUTHORS: Catano, N;
PUBLISHED: 2003, SOURCE: Eight International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03) in Electronic Notes in Theoretical Computer Science, VOLUME: 80
AUTHORS: Catano, N;
PUBLISHED: 2003, SOURCE: Eight International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03) in Electronic Notes in Theoretical Computer Science, VOLUME: 80
INDEXED IN: Scopus
Scopus19
TITLE: CHASE: A static checker for JML's assignable clause
AUTHORS: Catano, N; Huisman, M;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2575
AUTHORS: Catano, N; Huisman, M;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2575
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID20
TITLE: Slicing Event Spaces
AUTHORS: Néstor Cataño;
PUBLISHED: 2003, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 80
AUTHORS: Néstor Cataño;
PUBLISHED: 2003, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 80
