Camilo Rueda
AuthID: R-006-ESA
1
TITLE: Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
AUTHORS: Nestor Catano ; Sorren Hanvey; Camilo Rueda;
PUBLISHED: 2012, SOURCE: 50th International Conference on Objects, Models, Components, Patterns (TOOLS) in OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, VOLUME: 7304
AUTHORS: Nestor Catano ; Sorren Hanvey; Camilo Rueda;
PUBLISHED: 2012, SOURCE: 50th International Conference on Objects, Models, Components, Patterns (TOOLS) in OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, VOLUME: 7304
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
AUTHORS: Néstor Cataño; Sorren Hanvey; Camilo Rueda;
PUBLISHED: 2012, SOURCE: Objects, Models, Components, Patterns - Lecture Notes in Computer Science
AUTHORS: Néstor Cataño; Sorren Hanvey; Camilo Rueda;
PUBLISHED: 2012, SOURCE: Objects, Models, Components, Patterns - Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef3
TITLE: Verification of JML generic types with Yices
AUTHORS: Catano, N ; Rueda, C; Hanvey, S;
PUBLISHED: 2011, SOURCE: 2011 6th Colombian Computing Congress, CCC 2011 in 2011 6th Colombian Computing Congress, CCC 2011
AUTHORS: Catano, N ; Rueda, C; Hanvey, S;
PUBLISHED: 2011, SOURCE: 2011 6th Colombian Computing Congress, CCC 2011 in 2011 6th Colombian Computing Congress, CCC 2011
INDEXED IN: Scopus CrossRef
Scopus CrossRef4
TITLE: Verification of JML Generic Types with Yices
AUTHORS: Nestor Catano; Camilo Rueda; Sorren Hanvey;
PUBLISHED: 2011, SOURCE: 6th Colombian Computing Congress (CCC) in 2011 6TH COLOMBIAN COMPUTING CONGRESS (CCC)
AUTHORS: Nestor Catano; Camilo Rueda; Sorren Hanvey;
PUBLISHED: 2011, SOURCE: 6th Colombian Computing Congress (CCC) in 2011 6TH COLOMBIAN COMPUTING CONGRESS (CCC)
INDEXED IN: WOS
WOS5
TITLE: Matelas: A Predicate Calculus Common Formal Definition for Social Networking
AUTHORS: Nestor Catano ; Camilo Rueda;
PUBLISHED: 2010, SOURCE: 2nd International Conference on Abstract State Machines, B and Z in ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS, VOLUME: 5977
AUTHORS: Nestor Catano ; Camilo Rueda;
PUBLISHED: 2010, SOURCE: 2nd International Conference on Abstract State Machines, B and Z in ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS, VOLUME: 5977
6
TITLE: Teaching Formal Methods for the Unconquered Territory
AUTHORS: Nestor Catano ; Camilo Rueda;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
AUTHORS: Nestor Catano ; Camilo Rueda;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
