publications

Export 16 results:
Filters: Author is N. Cataño  [Clear All Filters]
2012
Cataño, N.., Ahmad I., & Siminiceanu R.. (2012).  Automated verification of specifications with type- states and access permissions. AVOCS.
Cataño, N.., Leino K.R.M.., & Rivera V. (2012).  The EventB2Dafny Rodin plug-in. Developing Tools as Plug-ins (TOPI). 49 -54.
Olarte, C., Pimentel E., Rueda C., & Cataño N.. (2012).  A linear concurrent constraint approach for the automatic verification of access permissions. Proceedings of the 14th symposium on Principles and practice of declarative programming, PPDP'12, [Acceptance Rate: 43%]. 207–216.
Cataño, N.., Hanvey S., & Rueda C. (2012).  Poporo: a formal methods tool for fast-checking of social network privacy policies. Proceedings of the 50th international conference on Objects, Models, Components, Patterns. 9–16.
Cataño, N.., Wahls T., Rueda C., Rivera V., & Yu D. (2012).  Translating B machines to JML specifications. Proceedings of 27th ACM Symposium on Applied Computing, Software Verification and Testing track (SAC-SVT), [Acceptance Rate: 26%]. 1271–1277.
2011
Cataño, N.., & Ahmad I. (2011).  Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool. (Salaun, G., & Schatz B., Ed.).Proceeding of Formal Methods for Industrial Critical Systems (FMICS). 6959, 6-20.
Cataño, N.., Rueda C., & Hanvey S.. (2011).  Verification of JML generic types with Yices. Computing Congress (CCC), 2011 6th Colombian. 1 -6.
2009
Cataño, N.., Barraza F., García D., Ortega P., & Rueda C. (2009).  A Case Study in JML-Assisted Software Development. Electronic Notes in Theoretical Computer Science [Impact Factor SJR2009: 0,674]. 240, 5 - 21.
Cataño, N.., & Wahls T. (2009).  Executing JML specifications of Java card applications: a case study. Proceedings of the 2009 ACM symposium on Applied Computing. 404–408.
Cataño, N.., & Rueda C. (2009).  Teaching Formal Methods for the Unconquered Territory. (Gibbons, J., & Oliveira JN., Ed.).Proceedings of FME Conference on Teaching Formal Methods (TFM). {5846}, 2-19.