| Formal specification and static checking of Gemplus' electronic purse using ESC/Java N Catano, M Huisman FME 2, 272-289, 2002 | 71 | 2002 |
| 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 | 65 | 2005 |
| CHASE:A Static Checker for JML’s Assignable Clause N Catano, M Huisman Verification, Model Checking, and Abstract Interpretation: 4th International …, 2003 | 64 | 2003 |
| Code generation for Event-B V Rivera, N Catano, T Wahls, C Rueda International Journal on Software Tools for Technology Transfer 19, 31-52, 2017 | 55 | 2017 |
| EventB2Java: A code generator for Event-B N Catano, V Rivera NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016 | 37 | 2016 |
| 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 | 37 | 2014 |
| 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 | 30 | 2012 |
| Matelas: A Predicate Calculus Common Formal Definition for Social Networking. N Catano, C Rueda ASM, 259-272, 2010 | 30 | 2010 |
| Executing formal specifications with concurrent constraint programming T Wahls, GT Leavens, AL Baker Automated Software Engineering 7, 315-343, 2000 | 26 | 2000 |
| Executing JML specifications of Java card applications: a case study N Catano, T Wahls Proceedings of the 2009 ACM symposium on Applied Computing, 404-408, 2009 | 25 | 2009 |
| 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 | 22 | 2012 |
| Teaching formal methods for the unconquered territory N Catano, C Rueda Teaching Formal Methods: Second International Conference, TFM 2009 …, 2009 | 16 | 2009 |
| 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 | 15 | 2016 |
| Automated verification of specifications with typestates and access permissions RI Siminiceanu, N Catano | 15 | 2011 |
| 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 | 11 | 2014 |
| A case study on code generation of an ERP system from Event-B N Catano, T Wahls 2015 IEEE International Conference on Software Quality, Reliability and …, 2015 | 10 | 2015 |
| JML-Based formal development of a Java card application for managing medical appointments RMS Rodrigues PQDT-Global, 2009 | 10 | 2009 |
| 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 | 9 | 2013 |
| Lightweight verification of a multi-task threaded server: A case study with the plural tool N Catano, I Ahmed Formal Methods for Industrial Critical Systems: 16th International Workshop …, 2011 | 9 | 2011 |
| Teaching formal methods: Lessons learnt from using event-B N Cataño Formal Methods Teaching: Third International Workshop and Tutorial, FMTea …, 2019 | 7 | 2019 |
Victor RiveraLecturer at Australian National UniversityVerified email at anu.edu.au
