5 citations · 6 across the 4 of their papers we have counts for
4 papers
Engaging Millennials into Learning Formal Methods
Néstor Cataño
This paper summarizes our experience in teaching courses on formal methods (FM) to Computer Science (CS) and Software Engineering (SE) students at various universities around the w…
A Logical Framework for Verifying Privacy Breaches of Social Networks
Néstor Cataño
We present a novel approach to deal with transitivity permission-delegation threats that arise in social networks when content is granted permissions by third-party users thereby b…
Improving the Reliability of Mobility Applications
Néstor Cataño
The Android platform was introduced by Google in 2008 as an operating system for mobile devices. Android's SDK provides a wide support for programming and extensive examples and do…
A Machine-Checked Proof for a Translation of Event-B Machines to JML
Néstor Cataño, Camilo Rueda, Tim Wahls
We present a machine-checked soundness proof of a translation of Event-B to the Java Modeling Language (JML). The translation is based on an operator EventB2Jml that maps Evnet-B e…