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