default search action
Daniela Carneiro da Cruz
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c28]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: 16:1-16:15
2010 – 2019
- 2015
- [c27]João Cruz, Pedro Rangel Henriques, Daniela Carneiro da Cruz:
Assessing Attribute Grammars' Quality: Metrics and a Tool. SLATE 2015: 137-144 - [c26]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: 153-159 - 2014
- [c25]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: 205-212 - [c24]Vítor T. Martins, Daniela Fonte, Pedro Rangel Henriques, Daniela Carneiro da Cruz:
Plagiarism Detection: A Tool Survey and Comparison. SLATE 2014: 143-158 - 2013
- [c23]Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Interactive Verification of Safety-Critical Software. COMPSAC 2013: 519-528 - [c22]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: 1543-1544 - [c21]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: 129-144 - [c20]Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Choosing Grammars to Support Language Processing Courses. SLATE 2013: 155-168 - 2012
- [j14]José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Assertion-based slicing and slice graphs. Formal Aspects Comput. 24(2): 217-248 (2012) - [j13]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): 34-35 (2012) - [c19]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 - [c18]Daniela Carneiro da Cruz, Maria João Frade, Jorge Sousa Pinto:
Verification conditions for single-assignment programs. SAC 2012: 1264-1270 - [c17]Jose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
A Comment Analysis Approach for Program Comprehension. SEW 2012: 11-20 - [c16]Maria João Varanda Pereira, Mario Marcelo Berón, Daniela Carneiro da Cruz, Nuno Oliveira, Pedro Rangel Henriques:
Problem Domain Oriented Approach for Program Comprehension. SLATE 2012: 91-105 - [c15]Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Automatic Test Generation for Space. SLATE 2012: 185-203 - [e1]Alberto Simões, Ricardo Queirós, Daniela Carneiro da Cruz:
1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012. OASIcs 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-40-8 [contents] - [i2]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) - [i1]Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Automatic Test Generation for Space. CoRR abs/1206.5104 (2012) - 2011
- [b1]Daniela Carneiro da Cruz:
Verification, slicing, and visualization of programs with contracts. University of Minho, Portugal, 2011 - [j12]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) - [j11]Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
GammaPolarSlicer. Comput. Sci. Inf. Syst. 8(2): 477-499 (2011) - [j10]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) - [j9]Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Visualizing and Analyzing the Quality of XML Documents. J. Univers. Comput. Sci. 17(1): 126-150 (2011) - 2010
- [j8]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) - [j7]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) - [j6]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) - [c14]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 - [c13]Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Contract-Based Slicing. ISoLA (1) 2010: 106-120 - [c12]Mario Marcelo Berón, 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 - [c11]Sergio Areias, Daniela Carneiro da Cruz, Jorge Sousa Pinto:
Contract-Based Slicing Helps on Safety Reuse. ICPC 2010: 62-63 - [c10]Nuno Oliveira, Maria João Varanda Pereira, Daniela Carneiro da Cruz, Mario Marcelo Berón:
Influence of Synchronized Domain Visualizations on Program Comprehension. ICPC 2010: 192-195 - [c9]Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
GamaSlicer: an online laboratory for program verification and analysis. LDTA 2010: 3 - [c8]Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Exploring, visualizing and slicing the soul of XML documents. SAC 2010: 40-46 - [c7]José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Assertion-based Slicing and Slice Graphs. SEFM 2010: 93-102
2000 – 2009
- 2009
- [c6]Daniela Carneiro da Cruz, Pedro Rangel Henriques:
Assessing Databases in .NET - Comparing Approaches. ICEIS (1) 2009: 278-282 - [c5]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 - [c4]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 - [c3]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 - [c2]Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz:
Visualization of domain-specific programs' behavior. VISSOFT 2009: 37-40 - 2008
- [j5]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) - [j4]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) - [j3]Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira:
ALMA versus DDD. Comput. Sci. Inf. Syst. 5(2): 119-136 (2008) - [c1]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 - 2007
- [j2]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) - 2006
- [j1]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): 343-350 (2006)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint