Néstor Cataño
Néstor Cataño
Associate Professor at Innopolis University
Verified email at innopolis.ru - Homepage
Title
Cited by
Cited by
Year
Formal specification and static checking of Gemplus’ electronic purse using ESC/Java
N Catano, M Huisman
International Symposium of Formal Methods Europe, 272-289, 2002
702002
Formal methods for smart cards: an experience report
CB Breunesse, N Catano, M Huisman, B Jacobs
Science of Computer Programming 55 (1-3), 53-80, 2005
612005
CHASE:A Static Checker for JML’s Assignable Clause
N Catano, M Huisman
International Workshop on Verification, Model Checking, and Abstract …, 2003
612003
Code generation for Event-B
V Rivera, N Cataño, T Wahls, C Rueda
International Journal on Software Tools for Technology Transfer 19 (1), 31-52, 2017
322017
Translating Event-B to JML-specified Java programs
V Rivera, N Cataño
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1264-1271, 2014
292014
Matelas: A predicate calculus common formal definition for social networking
N Catano, C Rueda
International Conference on Abstract State Machines, Alloy, B and Z, 259-272, 2010
282010
Translating B machines to JML specifications
N Cataño, T Wahls, C Rueda, V Rivera, D Yu
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1271-1277, 2012
262012
EventB2Java: A code generator for Event-B
N Cataño, V Rivera
NASA Formal Methods Symposium, 166-171, 2016
252016
Executing JML specifications of Java card applications: a case study
N Cataño, T Wahls
Proceedings of the 2009 ACM symposium on Applied Computing, 404-408, 2009
252009
Executing formal specifications with concurrent constraint programming
T Wahls, GT Leavens, AL Baker
Automated Software Engineering 7 (4), 315-343, 2000
242000
The eventb2dafny rodin plug-in
N Catano, KRM Leino, V Rivera
2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI), 49-54, 2012
182012
Teaching formal methods for the unconquered territory
N Catano, C Rueda
International Conference on Technical Formal Methods, 2-19, 2009
132009
Automated verification of specifications with typestates and access permissions
RI Siminiceanu, N Catano
112011
A case study on the lightweight verification of a multi-threaded task server
N Cataño, I Ahmed, RI Siminiceanu, J Aldrich
Science of Computer Programming 80, 169-187, 2014
102014
Lightweight verification of a multi-task threaded server: A case study with the plural tool
N Catano, I Ahmed
International Workshop on Formal Methods for Industrial Critical Systems, 6-20, 2011
102011
A case study on code generation of an ERP system from Event-B
N Cataño, T Wahls
2015 IEEE International Conference on Software Quality, Reliability and …, 2015
92015
A machine-checked proof for a translation of Event-B machines to JML
N Catano, C Rueda, T Wahls
arXiv preprint arXiv:1309.2339, 2013
92013
JML-Based formal development of a Java card application for managing medical appointments
RMS Rodrigues
Universidade da Madeira, 2009
82009
Undertaking the Tokeneer challenge in Event-B
V Rivera, S Bhattacharya, N Cataño
Proceedings of the 4th FME Workshop on Formal Methods in Software …, 2016
72016
The Social-Event Planner, 2012
V Rivera, N Catano
72015
The system can't perform the operation now. Try again later.
Articles 1–20