Concepedia

Néstor Cataño

NC

6

Publications

168

Citations

6

H-Index

2004

Active since

Affiliations

Dickinson College(Current)

Universidade da Madeira

Pontificia Universidad Javeriana

Innopolis University

Néstor Cataño is an author at Dickinson College specializing in formal methods, engineering, and program analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationVerificationSoftware DesignSystem Software

Publications per year

2004–2016

6

Publications

6

Formal methods for smart cards: an experience report

Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman et al. · Science of Computer Programming · 2004 · 50 citations

Hardware Security, Near Field Communication, Engineering +8

Code generation for Event-B

Víctor Rivera, Néstor Cataño, Tim Wahls et al. · International Journal on Software Tools for Technology Transfer · 2015 · 49 citations

Event Processing, Engineering, Program Analysis +10

Translating event-B to JML-specified Java programs

Víctor Rivera, Néstor Cataño · 2014 · 21 citations

Event-driven Architecture, Engineering, Software Engineering +18

Translating B machines to JML specifications

Néstor Cataño, Tim Wahls, Camilo Rueda et al. · 2012 · 18 citations

Software Maintenance, Engineering, Verification +22

Executing JML specifications of Java card applications

Néstor Cataño, Tim Wahls · 2009 · 16 citations

Software Maintenance, Engineering, Verification +22

Rows per page

1–5 of 6