Daniela Carneiro da Cruz

José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based slicing and slice graphs. Formal Asp. Comput. 24(2): 217-248 (2012)

Rachel Harrison, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira, Shih-Hsi Liu, Tim Menzies, Marjan Mernik, Daniel Rodríguez: Report from the first international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2012). ACM SIGSOFT Software Engineering Notes 37(5): 34-35 (2012)

Daniela Fonte, Ismael Vilas Boas, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques: Program Analysis and Evaluation using Quimera. ICEIS (2) 2012: 209-219

Daniela Carneiro da Cruz, Maria João Frade, Jorge Sousa Pinto: Verification conditions for single-assignment programs. SAC 2012: 1264-1270

Maria João Varanda Pereira, Mario Marcelo Beron, Daniela Carneiro da Cruz, Nuno Oliveira, Pedro Rangel Henriques: Problem Domain Oriented Approach for Program Comprehension. SLATE 2012: 91-105

Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Automatic Test Generation for Space. SLATE 2012: 185-203

Alberto Simões, Ricardo Queirós, Daniela Carneiro da Cruz (Eds.): 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21.22, 2012. OASICS 21, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, isbn 978-3-939897-40-8

Daniela Fonte, Ismael Vilas Boas, José Azevedo, José João Peixoto, Pedro Faria, Pedro Silva, Tiago Sá, Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Modeling Languages: metrics and assessing tools. CoRR abs/1206.4477 (2012)

Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Automatic Test Generation for Space. CoRR abs/1206.5104 (2012)

Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques: A DSL for PIM specifications: Design and attribute grammar based implementation. Comput. Sci. Inf. Syst. 8(2): 379-403 (2011)

Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: GammaPolarSlicer. Comput. Sci. Inf. Syst. 8(2): 477-499 (2011)

Miguel Regedor, Daniela Carneiro da Cruz, Pedro Rangel Henriques: The Role of Best Practices to Appraise Open Source Software. ECEASST 48 (2011)

Daniela Carneiro da Cruz, Pedro Rangel Henriques: Visualizing and Analyzing the Quality of XML Documents. J. UCS 17(1): 126-150 (2011)

Tomaz Kosar, Nuno Oliveira, Marjan Mernik, Maria João Varanda Pereira, Matej Crepinsek, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Comparing general-purpose and domain-specific languages: An empirical study. Comput. Sci. Inf. Syst. 7(2): 247-264 (2010)

Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Bastian Cramer: VisualLISA: A visual environment to develop attribute grammars. Comput. Sci. Inf. Syst. 7(2): 265-289 (2010)

Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Safe Integration of Annotated Components in Open Source Projects. ECEASST 33 (2010)

Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques: An Attribute Grammar Specification of IIS*Case PIM Concepts. ADBIS (Local Proceedings) 2010: 110-124

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Contract-Based Slicing. ISoLA (1) 2010: 106-120

Mario Marcelo Beron, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz: SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains. ICPC 2010: 60-61

Sergio Areias, Daniela Carneiro da Cruz, Jorge Sousa Pinto: Contract-Based Slicing Helps on Safety Reuse. ICPC 2010: 62-63

Nuno Oliveira, Maria João Varanda Pereira, Daniela Carneiro da Cruz, Mario Marcelo Beron: Influence of Synchronized Domain Visualizations on Program Comprehension. ICPC 2010: 192-195

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: GamaSlicer: an online laboratory for program verification and analysis. LDTA 2010: 3

Daniela Carneiro da Cruz, Pedro Rangel Henriques: Exploring, visualizing and slicing the soul of XML documents. SAC 2010: 40-46

José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based Slicing and Slice Graphs. SEFM 2010: 93-102

Daniela Carneiro da Cruz, Pedro Rangel Henriques: Assessing Databases in .NET - Comparing Approaches. ICEIS (1) 2009: 278-282

Tomaz Kosar, Marjan Mernik, Matej Crepinsek, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Nuno Oliveira: Influence of domain-specific notation to program understanding. IMCSIT 2009: 675-682

Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira: VisualLISA: Visual programming environment for attribute grammars specification. IMCSIT 2009: 691-698

Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Marjan Mernik, Tomaz Kosar, Matej Crepinsek: Applying program comprehension techniques to karel robot programs. IMCSIT 2009: 699-706

Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz: Visualization of domain-specific programs' behavior. VISSOFT 2009: 37-40

Maria João Varanda Pereira, Marjan Mernik, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Program comprehension for domain-specific languages. Comput. Sci. Inf. Syst. 5(2): 1-17 (2008)

Elisabete Ferreira, Rogério Paulo, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Integration of the ST language in a model-based engineering environment for control systems: An approach for compiler implementation. Comput. Sci. Inf. Syst. 5(2): 87-101 (2008)

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira: ALMA versus DDD. Comput. Sci. Inf. Syst. 5(2): 119-136 (2008)

Ruben Filipe Cardoso da Fonseca, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira: How to Interconnect Operational and Behavioral Views of Web Applications. ICPC 2008: 263-267

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira: Constructing program animations using a pattern-based approach. Comput. Sci. Inf. Syst. 4(2): 99-116 (2007)

Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira: Specifying Languages Using Aspect-oriented Approach: AspectLISA. CIT 14(4): 343-350 (2006)