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