Daniela Carneiro da Cruz
AuthID: R-000-PG7
11
TITLE: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2013)
AUTHORS: Rachel Harrison; Sol Greenspan; Tim Menzies; Marjan Mernik; Pedro Henriques; Daniela da Cruz; Daniel Rodriguez;
PUBLISHED: 2013, SOURCE: 35th International Conference on Software Engineering (ICSE) in PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013)
AUTHORS: Rachel Harrison; Sol Greenspan; Tim Menzies; Marjan Mernik; Pedro Henriques; Daniela da Cruz; Daniel Rodriguez;
PUBLISHED: 2013, SOURCE: 35th International Conference on Software Engineering (ICSE) in PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013)
INDEXED IN: 
WOS
WOS12
TITLE: Program Analysis and Evaluation using Quimera
AUTHORS: Daniela Fonte; Ismael Vilas Boas; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLISHED: 2012, SOURCE: 14th International Conference on Enterprise Information Systems, ICEIS 2012 in ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012, VOLUME: 2 ISAS, ISSUE: SAIC/-
AUTHORS: Daniela Fonte; Ismael Vilas Boas; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLISHED: 2012, SOURCE: 14th International Conference on Enterprise Information Systems, ICEIS 2012 in ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012, VOLUME: 2 ISAS, ISSUE: SAIC/-
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: 
ORCID
ORCID
14
TITLE: Contract-Based Slicing
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1
IN MY: ORCID | ResearcherID
ORCID | ResearcherID15
TITLE: Exploring, visualizing and slicing the soul of XML documents
AUTHORS: Da Cruz, D; Henriques, PR ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing
AUTHORS: Da Cruz, D; Henriques, PR ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID16
TITLE: SVS, BORS, SVSi: Three strategies to relate problem and program domains
AUTHORS: Beron, MM; Pereira, MJV; Oliveira, N; Da Cruz, D;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
AUTHORS: Beron, MM; Pereira, MJV; Oliveira, N; Da Cruz, D;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
17
TITLE: Influence of synchronized domain visualizations on program comprehension
AUTHORS: Oliveira, N; Pereira, MJV; Da Cruz, D; Beron, M;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
AUTHORS: Oliveira, N; Pereira, MJV; Da Cruz, D; Beron, M;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
18
TITLE: Contract-based slicing helps on safety reuse
AUTHORS: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
AUTHORS: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
19
TITLE: GamaSlicer: An online laboratory for program verification and analysis
AUTHORS: Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010
AUTHORS: Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID20
TITLE: Assertion-based slicing and slice graphs
AUTHORS: Barros, JB ; Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010
AUTHORS: Barros, JB ; Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010
