- Publications
- Influence
Share This Author
Formal methods for smart cards: an experience report
- Cees-Bart Breunesse, Néstor Cataño, M. Huisman, B. Jacobs
- Computer ScienceSci. Comput. Program.
- 1 March 2005
CHASE: A Static Checker for JML's Assignable Clause
- Néstor Cataño, M. Huisman
- Computer ScienceVMCAI
- 9 January 2002
TLDR
Automated Verification of Specifications with Typestates and Access Permissions
- Radu I. Siminiceanu, Ijaz Ahmed, Néstor Cataño
- Computer ScienceElectron. Commun. Eur. Assoc. Softw. Sci. Technol…
- 13 December 2012
TLDR
Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java
- Néstor Cataño, M. Huisman
- Computer ScienceFME
- 22 July 2002
TLDR
Translating event-B to JML-specified Java programs
- V. Rivera, Néstor Cataño
- Computer ScienceSAC
- 24 March 2014
TLDR
A case study on the lightweight verification of a multi-threaded task server
- Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, Jonathan Aldrich
- Computer ScienceSci. Comput. Program.
- 1 February 2014
Matelas: A Predicate Calculus Common Formal Definition for Social Networking
- Néstor Cataño, C. Rueda
- Computer ScienceASM
- 22 February 2010
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and how these relations…
Poporo: A Formal Framework for Social Networking
- Néstor Cataño, V. Kostakos, I. Oakley
- Computer ScienceFM
- 2009
TLDR
EventB2Java: A Code Generator for Event-B
- Néstor Cataño, V. Rivera
- Computer ScienceNFM
- 7 June 2016
TLDR
Teaching Formal Methods: Lessons Learnt from Using Event-B
- Néstor Cataño
- Computer ScienceFMTea
- 7 October 2019
This paper summarises our experience in teaching Formal Methods to Computer Science and Software Engineers students from various universities around the world, including the University of Madeira in…
...
...