Nestor Catano Collazos


AuthID: R-000-S8D

Confirmed Publications: 9



1
TITLE: A linear concurrent constraint approach for the automatic verification of access permissions
AUTHORS: Olarte, C; Rueda, C; Pimentel, E; Catano, N ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
2
TITLE: Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
AUTHORS: Nestor Catano ; Sorren Hanvey; Camilo Rueda;
PUBLISHED: 2012, SOURCE: 50th International Conference on Objects, Models, Components, Patterns (TOOLS) in OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, VOLUME: 7304
INDEXED IN: Scopus WOS
3
TITLE: The EventB2Dafny Rodin plug-in
AUTHORS: Catano, N ; Leino, KRM; Rivera, V;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
4
TITLE: Translating B machines to JML specifications
AUTHORS: Catano, N ; Wahls, T; Rueda, C; Rivera, V; Yu, D;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus
5
TITLE: Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
AUTHORS: Nestor Catano ; Ijaz Ahmed;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus WOS
6
TITLE: Verification of JML generic types with Yices
AUTHORS: Catano, N ; Rueda, C; Hanvey, S;
PUBLISHED: 2011, SOURCE: 2011 6th Colombian Computing Congress, CCC 2011 in 2011 6th Colombian Computing Congress, CCC 2011
INDEXED IN: Scopus CrossRef
IN MY: ORCID
7
TITLE: Matelas: A Predicate Calculus Common Formal Definition for Social Networking
AUTHORS: Nestor Catano ; Camilo Rueda;
PUBLISHED: 2010, SOURCE: 2nd International Conference on Abstract State Machines, B and Z in ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS, VOLUME: 5977
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
8
TITLE: A Case Study in JML-Assisted Software Development
AUTHORS: Catano, N ; Barraza, F; Garcia, D; Ortega, P; Rueda, C;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 240, ISSUE: C
INDEXED IN: Scopus
9
TITLE: Teaching Formal Methods for the Unconquered Territory
AUTHORS: Nestor Catano ; Camilo Rueda;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service