Daniela Carneiro da Cruz

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 1

Top Topics

Language Processing

Plagiarism Detection

Curriculum Design

Top Venues

Publications

Gonçalo Rodrigues Pinto, Pedro Rangel Henriques, Daniela Carneiro da Cruz, João Cruz
Determining Programming Languages Complexity and Its Impact on Processing. SLATE (2022)
Vítor T. Martins, Pedro Rangel Henriques, Daniela Carneiro da Cruz
An AST-based Tool, Spector, for Plagiarism Detection: The Approach, Functionality, and Implementation. SLATE (2015)
João Cruz, Pedro Rangel Henriques, Daniela Carneiro da Cruz
Assessing Attribute Grammars' Quality: Metrics and a Tool. SLATE (2015)
Daniela Fonte, Ismael Vilas Boas, Nuno Oliveira, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques
Partial Correctness and Continuous Integration in Computer Supported Education. CSEDU (2) (2014)
Vítor T. Martins, Daniela Fonte, Pedro Rangel Henriques, Daniela Carneiro da Cruz
Plagiarism Detection: A Tool Survey and Comparison. SLATE (2014)
Rachel Harrison, Sol J. Greenspan, Tim Menzies, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Daniel Rodríguez
2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013). ICSE (2013)
Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques
Choosing Grammars to Support Language Processing Courses. SLATE (2013)
Daniela Fonte, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques
A Flexible Dynamic System for Automatic Grading of Programming Exercises. SLATE (2013)
Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
Interactive Verification of Safety-Critical Software. COMPSAC (2013)
Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques
Automatic Test Generation for Space CoRR (2012)
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 (2012)
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)
Jose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques
A Comment Analysis Approach for Program Comprehension. SEW (2012)
Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques
Automatic Test Generation for Space. SLATE (2012)
Daniela Carneiro da Cruz, Maria João Frade, Jorge Sousa Pinto
Verification conditions for single-assignment programs. SAC (2012)
José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
Assertion-based slicing and slice graphs. Formal Aspects Comput. 24 (2) (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)
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 Softw. Eng. Notes 37 (5) (2012)
Miguel Regedor, Daniela Carneiro da Cruz, Pedro Rangel Henriques
The Role of Best Practices to Appraise Open Source Software. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 48 (2011)
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) (2011)
Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
GammaPolarSlicer. Comput. Sci. Inf. Syst. 8 (2) (2011)
Daniela Carneiro da Cruz, Pedro Rangel Henriques
Visualizing and Analyzing the Quality of XML Documents. J. Univers. Comput. Sci. 17 (1) (2011)
Sergio Areias, Daniela Carneiro da Cruz, Jorge Sousa Pinto
Contract-Based Slicing Helps on Safety Reuse. ICPC (2010)
Nuno Oliveira, Maria João Varanda Pereira, Daniela Carneiro da Cruz, Mario Marcelo Beron
Influence of Synchronized Domain Visualizations on Program Comprehension. ICPC (2010)
Daniela Carneiro da Cruz, Pedro Rangel Henriques
Exploring, visualizing and slicing the soul of XML documents. SAC (2010)
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) (2010)
Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
Contract-Based Slicing. ISoLA (1) (2010)
José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
Assertion-based Slicing and Slice Graphs. SEFM (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) (2010)
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)
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)
Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
GamaSlicer: an online laboratory for program verification and analysis. LDTA (2010)
Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
Safe Integration of Annotated Components in Open Source Projects. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
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)
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)
Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira
VisualLISA: Visual programming environment for attribute grammars specification. IMCSIT (2009)
Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz
Visualization of domain-specific programs' behavior. VISSOFT (2009)
Daniela Carneiro da Cruz, Pedro Rangel Henriques
Assessing Databases in .NET - Comparing Approaches. ICEIS (1) (2009)
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)
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) (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) (2008)
Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira
ALMA versus DDD. Comput. Sci. Inf. Syst. 5 (2) (2008)
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) (2007)
Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira
Specifying Languages Using Aspect-oriented Approach: AspectLISA. J. Comput. Inf. Technol. 14 (4) (2006)