Néstor Cataño

According to our database, Néstor Cataño authored at least 34 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Program Synthesis for Cyber-Resilience.

Néstor Cataño

IEEE Trans. Software Eng., March, 2023

2022

A Methodological Approach to Verify Architecture Resiliency.

Joanna C. S. Santos, Selma Suloglu, Néstor Cataño, Mehdi Mirakhorli

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

2019

Teaching Formal Methods: Lessons Learnt from Using Event-B.

Néstor Cataño

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

2018

Engaging Millennials into Learning Formal Methods.

Néstor Cataño

CoRR, 2018

A Logical Framework for Verifying Privacy Breaches of Social Networks.

Néstor Cataño

CoRR, 2018

Improving the Reliability of Mobility Applications.

Néstor Cataño

CoRR, 2018

Checking JML-encoded finite state machine properties.

Ijaz Ahmed, Néstor Cataño

Proceedings of the International Conference on Advancements in Computational Sciences, 2018

2017

Code generation for Event-B.

Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda

Int. J. Softw. Tools Technol. Transf., 2017

An Empirical Study on Teaching Formal Methods to Millennials.

Néstor Cataño

Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering Curricula for Millennials, 2017

2016

EventB2Java: A Code Generator for Event-B.

Néstor Cataño, Victor Rivera

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Soundness Proof of EventB2Java.

Néstor Cataño, Shigeo Nishi

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

Undertaking the tokeneer challenge in event-b.

Victor Rivera, Sukriti Bhattacharya, Néstor Cataño

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

2015

A Case Study on Code Generation of an ERP System from Event-B.

Néstor Cataño, Tim Wahls

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Identifying Transitivity Threats in Social Networks.

Sorren Hanvey, Néstor Cataño

Proceedings of the 1st IEEE/ACM International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity, 2015

2014

A case study on the lightweight verification of a multi-threaded task server.

Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, Jonathan Aldrich

Sci. Comput. Program., 2014

Translating event-B to JML-specified Java programs.

Víctor Rivera, Néstor Cataño

Proceedings of the Symposium on Applied Computing, 2014

2013

A Machine-Checked Proof for a Translation of Event-B Machines to JML.

Néstor Cataño, Camilo Rueda, Tim Wahls

CoRR, 2013

2012

Automated Verification of Specifications with Typestates and Access Permissions.

Radu I. Siminiceanu, Ijaz Ahmed, Néstor Cataño

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies.

Néstor Cataño, Sorren Hanvey, Camilo Rueda

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Translating B machines to JML specifications.

Néstor Cataño, Tim Wahls, Camilo Rueda, Víctor Rivera, Danni Yu

Proceedings of the ACM Symposium on Applied Computing, 2012

A linear concurrent constraint approach for the automatic verification of access permissions.

Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño

Proceedings of the Principles and Practice of Declarative Programming, 2012

The EventB2Dafny rodin plug-in.

Néstor Cataño, K. Rustan M. Leino, Víctor Rivera

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

2011

Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool.

Néstor Cataño, Ijaz Ahmed

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010

A Machine-Checked Proof of A State-Space Construction Algorithm.

Néstor Cataño, Radu I. Siminiceanu

Proceedings of the Second NASA Formal Methods Symposium, 2010

Matelas: A Predicate Calculus Common Formal Definition for Social Networking.

Néstor Cataño, Camilo Rueda

Proceedings of the Abstract State Machines, 2010

2009

Teaching Formal Methods for the Unconquered Territory.

Néstor Cataño, Camilo Rueda

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Executing JML specifications of Java card applications: a case study.

Néstor Cataño, Tim Wahls

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008

A Case Study in JML-Assisted Software Development.

Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, Camilo Rueda

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

2005

Formal methods for smart cards: an experience report.

Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs

Sci. Comput. Program., 2005

Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead.

Néstor Cataño

Rev. Colomb. de Computación, 2005

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS.

Néstor Cataño

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

2003

Slicing Event Spaces: Towards a Java Programs Checking Framework.

Néstor Cataño

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

CHASE: A Static Checker for JML's Assignable Clause.

Néstor Cataño, Marieke Huisman

Proceedings of the Verification, 2003

2002

Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.

Néstor Cataño, Marieke Huisman

Proceedings of the FME 2002: Formal Methods, 2002