Daniela Carneiro da Cruz

46 papers A* 1A 4B 3C 1Misc 2Journal 16Unranked 17

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Determining Programming Languages Complexity and Its Impact on Processing. SLATE Gonçalo Rodrigues Pinto, Pedro Rangel Henriques, Daniela Carneiro da Cruz, João Cruz
2015	—	`conf`	An AST-based Tool, Spector, for Plagiarism Detection: The Approach, Functionality, and Implementation. SLATE Vítor T. Martins, Pedro Rangel Henriques, Daniela Carneiro da Cruz
2015	—	`conf`	Assessing Attribute Grammars' Quality: Metrics and a Tool. SLATE João Cruz, Pedro Rangel Henriques, Daniela Carneiro da Cruz
2014	—	`conf`	Partial Correctness and Continuous Integration in Computer Supported Education. CSEDU (2) Daniela Fonte, Ismael Vilas Boas, Nuno Oliveira, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques
2014	—	`conf`	Plagiarism Detection: A Tool Survey and Comparison. SLATE Vítor T. Martins, Daniela Fonte, Pedro Rangel Henriques, Daniela Carneiro da Cruz
2013	A*	`conf`	2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013). ICSE Rachel Harrison, Sol J. Greenspan, Tim Menzies, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Daniel Rodríguez
2013	—	`conf`	A Flexible Dynamic System for Automatic Grading of Programming Exercises. SLATE Daniela Fonte, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques
2013	—	`conf`	Choosing Grammars to Support Language Processing Courses. SLATE Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2013	B	`conf`	Interactive Verification of Safety-Critical Software. COMPSAC Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2012	—	`ed.`	1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012 SLATE Alberto Simões, Ricardo Queirós, Daniela Carneiro da Cruz
2012	C	`conf`	A Comment Analysis Approach for Program Comprehension. SEW Jose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2012	J	`jnl`	Assertion-based slicing and slice graphs. Formal Aspects Comput. José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2012	J	`jnl`	Automatic Test Generation for Space CoRR Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2012	—	`conf`	Automatic Test Generation for Space. SLATE Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2012	J	`jnl`	Modeling Languages: metrics and assessing tools CoRR 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
2012	—	`conf`	Problem Domain Oriented Approach for Program Comprehension. SLATE Maria João Varanda Pereira, Mario Marcelo Berón, Daniela Carneiro da Cruz, Nuno Oliveira, Pedro Rangel Henriques
2012	—	`conf`	Program Analysis and Evaluation using Quimera. ICEIS (2) Daniela Fonte, Ismael Vilas Boas, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques
2012	J	`jnl`	Report from the first international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2012). ACM SIGSOFT Softw. Eng. Notes Rachel Harrison, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira, Shih-Hsi Liu, Tim Menzies, Marjan Mernik, Daniel Rodríguez
2012	Misc	`conf`	Verification conditions for single-assignment programs. SAC Daniela Carneiro da Cruz, Maria João Frade, Jorge Sousa Pinto
2011	J	`jnl`	A DSL for PIM specifications: Design and attribute grammar based implementation. Comput. Sci. Inf. Syst. Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2011	J	`jnl`	GammaPolarSlicer. Comput. Sci. Inf. Syst. Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2011	J	`jnl`	The Role of Best Practices to Appraise Open Source Software. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Miguel Regedor, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2011	—	`—`	Verification, slicing, and visualization of programs with contracts Daniela Carneiro da Cruz
2011	J	`jnl`	Visualizing and Analyzing the Quality of XML Documents. J. Univers. Comput. Sci. Daniela Carneiro da Cruz, Pedro Rangel Henriques
2010	—	`conf`	An Attribute Grammar Specification of IIS*Case PIM Concepts. ADBIS (Local Proceedings) Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2010	B	`conf`	Assertion-based Slicing and Slice Graphs. SEFM José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2010	J	`jnl`	Comparing general-purpose and domain-specific languages: An empirical study. Comput. Sci. Inf. Syst. Tomaz Kosar, Nuno Oliveira, Marjan Mernik, Maria João Varanda Pereira, Matej Crepinsek, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2010	A	`conf`	Contract-Based Slicing Helps on Safety Reuse. ICPC Sergio Areias, Daniela Carneiro da Cruz, Jorge Sousa Pinto
2010	—	`conf`	Contract-Based Slicing. ISoLA (1) Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2010	Misc	`conf`	Exploring, visualizing and slicing the soul of XML documents. SAC Daniela Carneiro da Cruz, Pedro Rangel Henriques
2010	—	`conf`	GamaSlicer: an online laboratory for program verification and analysis. LDTA Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2010	A	`conf`	Influence of Synchronized Domain Visualizations on Program Comprehension. ICPC Nuno Oliveira, Maria João Varanda Pereira, Daniela Carneiro da Cruz, Mario Marcelo Berón
2010	A	`conf`	SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains. ICPC Mario Marcelo Berón, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz
2010	J	`jnl`	Safe Integration of Annotated Components in Open Source Projects. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2010	J	`jnl`	VisualLISA: A visual environment to develop attribute grammars. Comput. Sci. Inf. Syst. Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Bastian Cramer
2009	—	`conf`	Applying program comprehension techniques to karel robot programs. IMCSIT Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Marjan Mernik, Tomaz Kosar, Matej Crepinsek
2009	—	`conf`	Assessing Databases in .NET - Comparing Approaches. ICEIS (1) Daniela Carneiro da Cruz, Pedro Rangel Henriques
2009	—	`conf`	Influence of domain-specific notation to program understanding. IMCSIT Tomaz Kosar, Marjan Mernik, Matej Crepinsek, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Nuno Oliveira
2009	—	`conf`	VisualLISA: Visual programming environment for attribute grammars specification. IMCSIT Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira
2009	B	`conf`	Visualization of domain-specific programs' behavior. VISSOFT Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz
2008	J	`jnl`	ALMA versus DDD. Comput. Sci. Inf. Syst. Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira
2008	A	`conf`	How to Interconnect Operational and Behavioral Views of Web Applications. ICPC Ruben Filipe Cardoso da Fonseca, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira
2008	J	`jnl`	Integration of the ST language in a model-based engineering environment for control systems: An approach for compiler implementation. Comput. Sci. Inf. Syst. Elisabete Ferreira, Rogério Paulo, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2008	J	`jnl`	Program comprehension for domain-specific languages. Comput. Sci. Inf. Syst. Maria João Varanda Pereira, Marjan Mernik, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2007	J	`jnl`	Constructing program animations using a pattern-based approach. Comput. Sci. Inf. Syst. Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira
2006	J	`jnl`	Specifying Languages Using Aspect-oriented Approach: AspectLISA. J. Comput. Inf. Technol. Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira