publications

Export 16 results:
Filters: Author is N. Cataño  [Clear All Filters]
2013
Cataño, N.., Ahmad I., Siminiceanu R. I., & Aldrich J. (2013).  A case study on the lightweight verification of a multi-threaded task server. Science of Computer Programming [Impact Factor: 0.568].
Cataño, N.., Rueda C., & Hanvey S.. (2013).  On the Use of Formal Methods to Enforce Privacy-Aware Social-Networking . (Caviglione, L., Coccoli M., & Merlo A., Ed.).Social Network Engineering for Secure Web Data and Services.
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.
2010
Cataño, N.., Pestana J.., & Rodrigues R.. (2010).  JFly: A JML-based strategy for incorporating formal specifications into the software development process. INFORUM 2010.
Cataño, N.., & Siminiceanu R.. (2010).  A machine-checked proof of a state-space construction algorithm. (Muñoz, C., Ed.).Second NASA Formal Methods Symposium (NFM 2010). NASA/CP-2010-216215,
Cataño, N.., & Rueda C. (2010).  Matelas: A Predicate Calculus Common Formal Definition for Social Networking. (Frappier, M., Glasser U., Khurshid S., Laleau R., & Reeves S., Ed.).Proceedings of ABZ. vol. 5977 of Lecture Notes in Computer Science, 259-272.
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.
2005
Breunesse, C.-B.., Cataño N.., Huisman M.., & Jacobs B.. (2005).  Formal methods for smart cards: an experience report. Science of Computer Programming. 55, 53 - 80.