This user account status is Approved
Algoritmi | User | Daniela Carneiro da Cruz

Daniela Carneiro da Cruz

Daniela Carneiro da Cruz

At Algoritmi

Collaborating Researcher with PhD

Member of the CST R&D Group

Academic Degree

PhD

Current Position

Adjunct Professor at Escola Superior de Tecnologia do Instituto Politécnico do Cavado e do Ave

Personal Webpage

Personal Email

danieladacruz@gmail.com

Orcid

0000-0002-3672-7119

Researcher ID

N-2588-2013

FCT Public Key

J090251U757

Ciência ID

8183893861341990

Google Scholar

Partial correctness and continuous integration in computer supported education

2014 | conference-paper

Plagiarism detection: A tool survey and comparison

2014 | conference-paper

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

2013 | conference-paper

A flexible dynamic system for automatic grading of programming exercises

2013 | conference-paper

Choosing grammars to support Language Processing courses

2013 | conference-paper

Interactive verification of safety-critical software

2013 | conference-paper

A Comment Analysis approach for Program Comprehension

Proceedings of the 2012 Ieee 35th Software Engineering Workshop (Sew 2012)

2012 | journal-article

Assertion-based slicing and slice graphs

Formal Aspects of Computing

2012 | journal-article

Guess XQ: A query-by-example approach for XML querying

2012 | book

Program analysis and evaluation using QUIMERA

2012 | conference-paper

Verification conditions for single-assignment programs

2012 | conference-paper

A DSL for PIM Specifications: Design and Attribute Grammar based Implementation

Computer Science and Information Systems

2011 | journal-article

GammaPolarSlicer

Computer Science and Information Systems

2011 | journal-article

Visualizing and analyzing the quality of XML documents

2011 | journal-article

An attribute grammar specification of IIS*case PIM concepts

2010 | conference-paper

Assertion-based slicing and slice graphs

2010 | conference-paper

Comparing General-Purpose and Domain-Specific Languages: An Empirical Study

Computer Science and Information Systems

2010 | journal-article

Contract-Based Slicing

Leveraging Applications of Formal Methods, Verification, and Validation, Pt I

2010 | journal-article

Contract-based slicing

2010 | book

Contract-based slicing helps on safety reuse

2010 | conference-paper

Exploring, visualizing and slicing the soul of XML documents

2010 | conference-paper

GamaSlicer: An online laboratory for program verification and analysis

2010 | conference-paper

Influence of synchronized domain visualizations on program comprehension

2010 | conference-paper

SVS, BORS, SVSi: Three strategies to relate problem and program domains

2010 | conference-paper

VisualLISA: A Visual Environment to Develop Attribute Grammars

Computer Science and Information Systems

2010 | journal-article

Applying program comprehension techniques to Karel robot programs

2009 | conference-paper

Assessing databases in .NET: Comparing approaches

2009 | conference-paper

Influence of domain-specific notation to program Understanding

2009 | conference-paper

VisualLISA: Visual programming environment for attribute grammars specification

2009 | conference-paper

Visualization of Domain-Specific Programs' Behavior

2009 5th Ieee International Workshop on Visualizing Software For Understanding and Analysis

2009 | journal-article

ALMA versus DDD

2008 | journal-article

How to interconnect operational and behavioral views of web applications

2008 | conference-paper

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

2008 | journal-article

Program comprehension for domain-specific languages

2008 | journal-article

Specifying languages using aspect-oriented approach: AspectLISA

2006 | conference-paper

Partial correctness and continuous integration in computer supported education

2014 | conference-paper

Plagiarism detection: A tool survey and comparison

2014 | conference-paper

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

2013 | conference-paper

A flexible dynamic system for automatic grading of programming exercises

2013 | conference-paper

Choosing grammars to support Language Processing courses

2013 | conference-paper

Interactive verification of safety-critical software

2013 | conference-paper

A Comment Analysis approach for Program Comprehension

Proceedings of the 2012 Ieee 35th Software Engineering Workshop (Sew 2012)

2012 | journal-article

Assertion-based slicing and slice graphs

Formal Aspects of Computing

2012 | journal-article

Guess XQ: A query-by-example approach for XML querying

2012 | book

Program analysis and evaluation using QUIMERA

2012 | conference-paper

Verification conditions for single-assignment programs

2012 | conference-paper

A DSL for PIM Specifications: Design and Attribute Grammar based Implementation

Computer Science and Information Systems

2011 | journal-article

GammaPolarSlicer

Computer Science and Information Systems

2011 | journal-article

Visualizing and analyzing the quality of XML documents

2011 | journal-article

An attribute grammar specification of IIS*case PIM concepts

2010 | conference-paper

Assertion-based slicing and slice graphs

2010 | conference-paper

Comparing General-Purpose and Domain-Specific Languages: An Empirical Study

Computer Science and Information Systems

2010 | journal-article

Contract-Based Slicing

Leveraging Applications of Formal Methods, Verification, and Validation, Pt I

2010 | journal-article

Contract-based slicing

2010 | book

Contract-based slicing helps on safety reuse

2010 | conference-paper

Exploring, visualizing and slicing the soul of XML documents

2010 | conference-paper

GamaSlicer: An online laboratory for program verification and analysis

2010 | conference-paper

Influence of synchronized domain visualizations on program comprehension

2010 | conference-paper

SVS, BORS, SVSi: Three strategies to relate problem and program domains

2010 | conference-paper

VisualLISA: A Visual Environment to Develop Attribute Grammars

Computer Science and Information Systems

2010 | journal-article

Applying program comprehension techniques to Karel robot programs

2009 | conference-paper

Assessing databases in .NET: Comparing approaches

2009 | conference-paper

Influence of domain-specific notation to program Understanding

2009 | conference-paper

VisualLISA: Visual programming environment for attribute grammars specification

2009 | conference-paper

Visualization of Domain-Specific Programs' Behavior

2009 5th Ieee International Workshop on Visualizing Software For Understanding and Analysis

2009 | journal-article

ALMA versus DDD

2008 | journal-article

How to interconnect operational and behavioral views of web applications

2008 | conference-paper

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

2008 | journal-article

Program comprehension for domain-specific languages

2008 | journal-article

Specifying languages using aspect-oriented approach: AspectLISA

2006 | conference-paper