Néstor Cataño

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 14

Top Topics

Top Venues

Publications

Néstor Cataño
Program Synthesis for Cyber-Resilience. IEEE Trans. Software Eng. 49 (3) (2023)
Joanna C. S. Santos, Selma Suloglu, Néstor Cataño, Mehdi Mirakhorli
A Methodological Approach to Verify Architecture Resiliency. ECSA (Tracks and Workshops) (2022)
Néstor Cataño
Teaching Formal Methods: Lessons Learnt from Using Event-B. FMTea (2019)
Néstor Cataño
Engaging Millennials into Learning Formal Methods. CoRR (2018)
Ijaz Ahmed, Néstor Cataño
Checking JML-encoded finite state machine properties. ICACS (2018)
Néstor Cataño
Improving the Reliability of Mobility Applications. CoRR (2018)
Néstor Cataño
A Logical Framework for Verifying Privacy Breaches of Social Networks. CoRR (2018)
Néstor Cataño
An Empirical Study on Teaching Formal Methods to Millennials. SECM@ICSE (2017)
Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda
Code generation for Event-B. Int. J. Softw. Tools Technol. Transf. 19 (1) (2017)
Néstor Cataño, Shigeo Nishi
Soundness Proof of EventB2Java. LADC (2016)
Néstor Cataño, Victor Rivera
EventB2Java: A Code Generator for Event-B. NFM (2016)
Victor Rivera, Sukriti Bhattacharya, Néstor Cataño
Undertaking the tokeneer challenge in event-b. FormaliSE@ICSE (2016)
Sorren Hanvey, Néstor Cataño
Identifying Transitivity Threats in Social Networks. TELERISE@ICSE (2015)
Néstor Cataño, Tim Wahls
A Case Study on Code Generation of an ERP System from Event-B. QRS (2015)
Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, Jonathan Aldrich
A case study on the lightweight verification of a multi-threaded task server. Sci. Comput. Program. 80 (2014)
Víctor Rivera, Néstor Cataño
Translating event-B to JML-specified Java programs. SAC (2014)
Néstor Cataño, Camilo Rueda, Tim Wahls
A Machine-Checked Proof for a Translation of Event-B Machines to JML. CoRR (2013)
Néstor Cataño, Sorren Hanvey, Camilo Rueda
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies. TOOLS (50) (2012)
Néstor Cataño, Tim Wahls, Camilo Rueda, Víctor Rivera, Danni Yu
Translating B machines to JML specifications. SAC (2012)
Néstor Cataño, K. Rustan M. Leino, Víctor Rivera
The EventB2Dafny rodin plug-in. TOPI@ICSE (2012)
Radu I. Siminiceanu, Ijaz Ahmed, Néstor Cataño
Automated Verification of Specifications with Typestates and Access Permissions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño
A linear concurrent constraint approach for the automatic verification of access permissions. PPDP (2012)
Néstor Cataño, Ijaz Ahmed
Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool. FMICS (2011)
Néstor Cataño, Camilo Rueda
Matelas: A Predicate Calculus Common Formal Definition for Social Networking. ASM (2010)
Néstor Cataño, Radu I. Siminiceanu
A Machine-Checked Proof of A State-Space Construction Algorithm. NASA Formal Methods (2010)
Néstor Cataño, Tim Wahls
Executing JML specifications of Java card applications: a case study. SAC (2009)
Néstor Cataño, Camilo Rueda
Teaching Formal Methods for the Unconquered Territory. TFM (2009)
Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda
A Case Study in JML-Assisted Software Development. Electron. Notes Theor. Comput. Sci. 240 (2009)
Néstor Cataño
Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS. TPHOLs (2005)
Néstor Cataño
Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead. Rev. Colomb. de Computación 6 (1) (2005)
Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs
Formal methods for smart cards: an experience report. Sci. Comput. Program. 55 (1-3) (2005)
Néstor Cataño
Slicing Event Spaces: Towards a Java Programs Checking Framework. Electron. Notes Theor. Comput. Sci. 80 (2003)
Néstor Cataño, Marieke Huisman
CHASE: A Static Checker for JML's Assignable Clause. VMCAI (2003)
Néstor Cataño, Marieke Huisman
Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. FME (2002)