| 2022 | ECSA | A Methodological Approach to Verify Architecture Resiliency. | Joanna C. S. Santos, Selma Suloglu, Nstor Catao, Mehdi Mirakhorli |
| 2017 | ICSE | An Empirical Study on Teaching Formal Methods to Millennials. | Nstor Catao |
| 2016 | ICSE | Undertaking the tokeneer challenge in event-b. | Victor Rivera, Sukriti Bhattacharya, Nstor Catao |
| 2015 | ICSE | Identifying Transitivity Threats in Social Networks. | Sorren Hanvey, Nstor Catao |
| 2015 | QRS | A Case Study on Code Generation of an ERP System from Event-B. | Nstor Catao, Tim Wahls |
| 2014 | SAC | Translating event-B to JML-specified Java programs. | Vctor Rivera, Nstor Catao |
| 2012 | ICSE | The EventB2Dafny rodin plug-in. | Nstor Catao, K. Rustan M. Leino, Vctor Rivera |
| 2012 | PPDP | A linear concurrent constraint approach for the automatic verification of access permissions. | Carlos Olarte, Elaine Pimentel, Camilo Rueda, Nstor Catao |
| 2012 | SAC | Translating B machines to JML specifications. | Nstor Catao, Tim Wahls, Camilo Rueda, Vctor Rivera, Danni Yu |
| 2011 | FMICS | Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool. | Nstor Catao, Ijaz Ahmed |
| 2009 | SAC | Executing JML specifications of Java card applications: a case study. | Nstor Catao, Tim Wahls |
| 2003 | VMCAI | CHASE: A Static Checker for JML's Assignable Clause. | Nstor Catao, Marieke Huisman |
| 2002 | FM | Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. | Nstor Catao, Marieke Huisman |