Daniela Carneiro da Cruz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
2009–2014
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CSEDU | Partial Correctness and Continuous Integration in Computer Supported Education. | Daniela Fonte, Ismael Vilas Boas, Nuno Oliveira, Daniela Carneiro da Cruz, Alda Lopes Ganarski, Pedro Rangel Henriques |
| 2013 | COMPSAC | Interactive Verification of Safety-Critical Software. | Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
| 2013 | ICSE | 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 Rodrguez |
| 2012 | SAC | Verification conditions for single-assignment programs. | Daniela Carneiro da Cruz, Maria Joo Frade, Jorge Sousa Pinto |
| 2012 | SEW | A Comment Analysis Approach for Program Comprehension. | Jose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques |
| 2010 | ADBIS | An Attribute Grammar Specification of IIS*Case PIM Concepts. | Ivan Lukovic, Maria Joo Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques |
| 2010 | ISoLA | Contract-Based Slicing. | Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
| 2010 | SAC | Exploring, visualizing and slicing the soul of XML documents. | Daniela Carneiro da Cruz, Pedro Rangel Henriques |
| 2010 | SEFM | Assertion-based Slicing and Slice Graphs. | Jos Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
| 2009 | VISSOFT | Visualization of domain-specific programs' behavior. | Nuno Oliveira, Maria Joo Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz |