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