Daniela Carneiro da Cruz

According to our database, Daniela Carneiro da Cruz authored at least 43 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Determining Programming Languages Complexity and Its Impact on Processing.

Gonçalo Rodrigues Pinto, Pedro Rangel Henriques, Daniela Carneiro da Cruz, João Cruz

Proceedings of the 11th Symposium on Languages, Applications and Technologies, 2022

2015

An AST-based Tool, Spector, for Plagiarism Detection: The Approach, Functionality, and Implementation.

Vítor T. Martins, Pedro Rangel Henriques, Daniela Carneiro da Cruz

Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015

Assessing Attribute Grammars' Quality: Metrics and a Tool.

João Cruz, Pedro Rangel Henriques, Daniela Carneiro da Cruz

Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015

2014

Plagiarism Detection: A Tool Survey and Comparison.

Vítor T. Martins, Daniela Fonte, Pedro Rangel Henriques, Daniela Carneiro da Cruz

Proceedings of the 3rd Symposium on Languages, Applications and Technologies, 2014

Partial Correctness and Continuous Integration in Computer Supported Education.

Daniela Fonte, Ismael Vilas Boas, Nuno Oliveira, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques

Proceedings of the CSEDU 2014, 2014

2013

Choosing Grammars to Support Language Processing Courses.

Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques

Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013

A Flexible Dynamic System for Automatic Grading of Programming Exercises.

Daniela Fonte, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques

Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013

2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013).

Rachel Harrison, Sol J. Greenspan, Tim Menzies, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Daniel Rodríguez

Proceedings of the 35th International Conference on Software Engineering, 2013

Interactive Verification of Safety-Critical Software.

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

Report from the first international workshop on realizing artificial intelligence synergies in software engineering (RAISE 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

ACM SIGSOFT Softw. Eng. Notes, 2012

Assertion-based slicing and slice graphs.

José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto

Formal Aspects Comput., 2012

Modeling Languages: metrics and assessing tools

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

CoRR, 2012

Problem Domain Oriented Approach for Program Comprehension.

Maria João Varanda Pereira, Mario Marcelo Berón, Daniela Carneiro da Cruz, Nuno Oliveira, Pedro Rangel Henriques

Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

Automatic Test Generation for Space.

Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques

Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

A Comment Analysis Approach for Program Comprehension.

Jose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Verification conditions for single-assignment programs.

Daniela Carneiro da Cruz, Maria João Frade, Jorge Sousa Pinto

Proceedings of the ACM Symposium on Applied Computing, 2012

Program Analysis and Evaluation using Quimera.

Daniela Fonte, Ismael Vilas Boas, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

2011

Verification, slicing, and visualization of programs with contracts

Daniela Carneiro da Cruz

PhD thesis, 2011

Visualizing and Analyzing the Quality of XML Documents.

Daniela Carneiro da Cruz, Pedro Rangel Henriques

J. Univers. Comput. Sci., 2011

The Role of Best Practices to Appraise Open Source Software.

Miguel Regedor, Daniela Carneiro da Cruz, Pedro Rangel Henriques

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

A DSL for PIM specifications: Design and attribute grammar based implementation.

Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques

Comput. Sci. Inf. Syst., 2011

GammaPolarSlicer.

Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto

Comput. Sci. Inf. Syst., 2011

2010

Safe Integration of Annotated Components in Open Source Projects.

Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

VisualLISA: A visual environment to develop attribute grammars.

Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Bastian Cramer

Comput. Sci. Inf. Syst., 2010

Comparing general-purpose and domain-specific languages: An empirical study.

Tomaz Kosar, Nuno Oliveira, Marjan Mernik, Maria João Varanda Pereira, Matej Crepinsek, Daniela Carneiro da Cruz, Pedro Rangel Henriques

Comput. Sci. Inf. Syst., 2010

Exploring, visualizing and slicing the soul of XML documents.

Daniela Carneiro da Cruz, Pedro Rangel Henriques

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

GamaSlicer: an online laboratory for program verification and analysis.

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Influence of Synchronized Domain Visualizations on Program Comprehension.

Nuno Oliveira, Maria João Varanda Pereira, Daniela Carneiro da Cruz, Mario Marcelo Berón

Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010

SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains.

Mario Marcelo Berón, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz

Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010

Contract-Based Slicing Helps on Safety Reuse.

Sergio Areias, Daniela Carneiro da Cruz, Jorge Sousa Pinto

Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010

Contract-Based Slicing.

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

An Attribute Grammar Specification of IIS*Case PIM Concepts.

Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques

Proceedings of the Local Proceedings of the Fourteenth East-European Conference on Advances in Databases and Information Systems, 2010

2009

Visualization of domain-specific programs' behavior.

Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz

Proceedings of the 5th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2009

Applying program comprehension techniques to karel robot programs.

Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Marjan Mernik, Tomaz Kosar, Matej Crepinsek

Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

VisualLISA: Visual programming environment for attribute grammars specification.

Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira

Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

Influence of domain-specific notation to program understanding.

Tomaz Kosar, Marjan Mernik, Matej Crepinsek, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Nuno Oliveira

Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

Assessing Databases in .NET - Comparing Approaches.

Daniela Carneiro da Cruz, Pedro Rangel Henriques

Proceedings of the ICEIS 2009, 2009

2008

Program comprehension for domain-specific languages.

Maria João Varanda Pereira, Marjan Mernik, Daniela Carneiro da Cruz, Pedro Rangel Henriques

Comput. Sci. Inf. Syst., 2008

Integration of the ST language in a model-based engineering environment for control systems: An approach for compiler implementation.

Elisabete Ferreira, Rogério Paulo, Daniela Carneiro da Cruz, Pedro Rangel Henriques

Comput. Sci. Inf. Syst., 2008

ALMA versus DDD.

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira

Comput. Sci. Inf. Syst., 2008

How to Interconnect Operational and Behavioral Views of Web Applications.

Ruben Filipe Cardoso da Fonseca, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira

Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008

2007

Constructing program animations using a pattern-based approach.

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira

Comput. Sci. Inf. Syst., 2007

2006

Specifying Languages Using Aspect-oriented Approach: AspectLISA.

Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira

J. Comput. Inf. Technol., 2006