Néstor Cataño

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