Nestor Catano Collazos


AuthID: R-000-S8D

Publicações Confirmadas: 9



1
TÍTULO: A linear concurrent constraint approach for the automatic verification of access permissions
AUTORES: Olarte, C; Rueda, C; Pimentel, E; Catano, N ;
PUBLICAÇÃO: 2012, FONTE: 14th Symposium on Principles and Practice of Declarative Programming, PPDP 2012 in PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
2
TÍTULO: Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
AUTORES: Nestor Catano ; Sorren Hanvey; Camilo Rueda;
PUBLICAÇÃO: 2012, FONTE: 50th International Conference on Objects, Models, Components, Patterns (TOOLS) in OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, VOLUME: 7304
INDEXADO EM: Scopus WOS
3
TÍTULO: The EventB2Dafny Rodin plug-in
AUTORES: Catano, N ; Leino, KRM; Rivera, V;
PUBLICAÇÃO: 2012, FONTE: 2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012 in 2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012 - Proceedings
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
4
TÍTULO: Translating B machines to JML specifications
AUTORES: Catano, N ; Wahls, T; Rueda, C; Rivera, V; Yu, D;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing
INDEXADO EM: Scopus
5
TÍTULO: Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
AUTORES: Nestor Catano ; Ijaz Ahmed;
PUBLICAÇÃO: 2011, FONTE: 19th IEEE Int Requirements Engineering Conf erence (RE)/16th Int Workshop on Formal Methods for Industrial Critical Systems (FMICS)/5th Int IStar Workshop in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 6959
INDEXADO EM: Scopus WOS
6
TÍTULO: Verification of JML generic types with Yices
AUTORES: Catano, N ; Rueda, C; Hanvey, S;
PUBLICAÇÃO: 2011, FONTE: 2011 6th Colombian Computing Congress, CCC 2011 in 2011 6th Colombian Computing Congress, CCC 2011
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
7
TÍTULO: Matelas: A Predicate Calculus Common Formal Definition for Social Networking
AUTORES: Nestor Catano ; Camilo Rueda;
PUBLICAÇÃO: 2010, FONTE: 2nd International Conference on Abstract State Machines, B and Z in ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS, VOLUME: 5977
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
8
TÍTULO: A Case Study in JML-Assisted Software Development
AUTORES: Catano, N ; Barraza, F; Garcia, D; Ortega, P; Rueda, C;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 240, NÚMERO: C
INDEXADO EM: Scopus
9
TÍTULO: Teaching Formal Methods for the Unconquered Territory
AUTORES: Nestor Catano ; Camilo Rueda;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service