Travelled to:1 × Canada
1 × Cyprus
1 × Poland
1 × Portugal
1 × Switzerland
1 × The Netherlands
2 × Italy
Collaborated with:P.R.Henriques J.S.Pinto M.J.V.Pereira N.Oliveira M.M.Beron M.J.Frade S.Areias J.B.Barros R.F.C.d.Fonseca D.Fonte I.V.Boas A.L.Gançarski
Talks about:program (6) slice (4) visual (3) domain (3) behavior (2) analysi (2) verif (2) base (2) interconnect (1) laboratori (1)
Person: Daniela Carneiro da Cruz
DBLP: Cruz:Daniela_Carneiro_da
Contributed to:
2012
2012
2010
20102010
2010
20092008Wrote 10 papers:
- ICEIS-v2-2012-FonteBCGH #evaluation #program analysis #using
- Program Analysis and Evaluation using Quimera (DF, IVB, DCdC, ALG, PRH), pp. 209–219.
- SAC-2012-CruzFP #source code #verification
- Verification conditions for single-assignment programs (DCdC, MJF, JSP), pp. 1264–1270.
- ICPC-2010-AreiasCP #contract #reuse #safety #slicing
- Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.
- ICPC-2010-BeronPOC #problem
- SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains (MMB, MJVP, NO, DCdC), pp. 60–61.
- ICPC-2010-OliveiraPCB #comprehension #visualisation
- Influence of Synchronized Domain Visualizations on Program Comprehension (NO, MJVP, DCdC, MMB), pp. 192–195.
- LDTA-2010-CruzHP #analysis #named #online #verification
- GamaSlicer: an online laboratory for program verification and analysis (DCdC, PRH, JSP), p. 3.
- SAC-2010-CruzH #documentation #slicing #visualisation #xml
- Exploring, visualizing and slicing the soul of XML documents (DCdC, PRH), pp. 40–46.
- SEFM-2010-BarrosCHP #graph #slicing
- Assertion-based Slicing and Slice Graphs (JBB, DCdC, PRH, JSP), pp. 93–102.
- VISSOFT-2009-OliveiraPHC #behaviour #domain-specific language #source code #visualisation
- Visualization of domain-specific programs’ behavior (NO, MJVP, PRH, DCdC), pp. 37–40.
- ICPC-2008-FonsecaCHP #behaviour #how #web
- How to Interconnect Operational and Behavioral Views of Web Applications (RFCdF, DCdC, PRH, MJVP), pp. 263–267.