Nestor Catano Collazos
AuthID: R-000-S8D
1
TITLE: Program Synthesis for Cyber-Resilience
AUTHORS: Nestor Catano;
PUBLISHED: 2023, SOURCE: IEEE Transactions on Software Engineering, VOLUME: 49, ISSUE: 3
AUTHORS: Nestor Catano;
PUBLISHED: 2023, SOURCE: IEEE Transactions on Software Engineering, VOLUME: 49, ISSUE: 3
2
TITLE: Early Validation of Functional Requirements and Transition to Source Code with Event-B
AUTHORS: Nestor Cataño;
PUBLISHED: 2020
AUTHORS: Nestor Cataño;
PUBLISHED: 2020
3
TITLE: Identifying Transitivity Threats in Social Networks
AUTHORS: Sorren Hanvey; Nestor Catano;
PUBLISHED: 2015, SOURCE: International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity in 2015 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON TECHNICAL AND LEGAL ASPECTS OF DATA PRIVACY AND SECURITY TELERISE 2015
AUTHORS: Sorren Hanvey; Nestor Catano;
PUBLISHED: 2015, SOURCE: International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity in 2015 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON TECHNICAL AND LEGAL ASPECTS OF DATA PRIVACY AND SECURITY TELERISE 2015
4
TITLE: A Case Study on Code Generation of an ERP System from Event-B
AUTHORS: Nestor Catano; Tim Wahls;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) in 2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY (QRS 2015)
AUTHORS: Nestor Catano; Tim Wahls;
PUBLISHED: 2015, SOURCE: IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) in 2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY (QRS 2015)
5
TITLE: Translating B and Event-B Machines to Java and JML
AUTHORS: Catano, N; Rivera, V; Rueda, C; Wahls, T;
PUBLISHED: 2014, SOURCE: Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method
AUTHORS: Catano, N; Rivera, V; Rueda, C; Wahls, T;
PUBLISHED: 2014, SOURCE: Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method
INDEXED IN: 
Scopus
Scopus6
TITLE: A case study on the lightweight verification of a multi-threaded task server Full Text
AUTHORS: Néstor Cataño; Ijaz Ahmed; Radu I Siminiceanu; Jonathan Aldrich;
PUBLISHED: 2014, SOURCE: Science of Computer Programming, VOLUME: 80
AUTHORS: Néstor Cataño; Ijaz Ahmed; Radu I Siminiceanu; Jonathan Aldrich;
PUBLISHED: 2014, SOURCE: Science of Computer Programming, VOLUME: 80
7
TITLE: Translating B and Event-B Machines to Java and JML
AUTHORS: Néstor Cataño; Víctor Rivera; Camilo Rueda; Tim Wahls;
PUBLISHED: 2014, SOURCE: Formal Methods Applied to Complex Systems - Implementation of the B Method
AUTHORS: Néstor Cataño; Víctor Rivera; Camilo Rueda; Tim Wahls;
PUBLISHED: 2014, SOURCE: Formal Methods Applied to Complex Systems - Implementation of the B Method
INDEXED IN: 
CrossRef
CrossRef8
TITLE: On the use of formal methods to enforce privacy aware social networking
AUTHORS: Collazos, NC; Hanvey, SC; Calderon, CR;
PUBLISHED: 2013, SOURCE: Social Network Engineering for Secure Web Data and Services
AUTHORS: Collazos, NC; Hanvey, SC; Calderon, CR;
PUBLISHED: 2013, SOURCE: Social Network Engineering for Secure Web Data and Services
9
TITLE: Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
AUTHORS: Néstor Cataño; Sorren Hanvey; Camilo Rueda;
PUBLISHED: 2012, SOURCE: Objects, Models, Components, Patterns - Lecture Notes in Computer Science
AUTHORS: Néstor Cataño; Sorren Hanvey; Camilo Rueda;
PUBLISHED: 2012, SOURCE: Objects, Models, Components, Patterns - Lecture Notes in Computer Science
10
TITLE: Translating B machines to JML specifications
AUTHORS: Néstor Cataño; Tim Wahls; Camilo Rueda; Víctor Rivera; Danni Yu;
PUBLISHED: 2012, SOURCE: Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12
AUTHORS: Néstor Cataño; Tim Wahls; Camilo Rueda; Víctor Rivera; Danni Yu;
PUBLISHED: 2012, SOURCE: Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12
