BibTeX records: Daniela Carneiro da Cruz

download as .bib file

@inproceedings{DBLP:conf/slate/PintoHCC22,
  author       = {Gon{\c{c}}alo Rodrigues Pinto and
                  Pedro Rangel Henriques and
                  Daniela Carneiro da Cruz and
                  Jo{\~{a}}o Cruz},
  editor       = {Jo{\~{a}}o Cordeiro and
                  Maria Jo{\~{a}}o Pereira and
                  Nuno F. Rodrigues and
                  Sebasti{\~{a}}o Pais},
  title        = {Determining Programming Languages Complexity and Its Impact on Processing},
  booktitle    = {11th Symposium on Languages, Applications and Technologies, {SLATE}
                  2022, July 14-15, 2022, Universidade da Beira Interior, Covilh{\~{a}},
                  Portugal},
  series       = {OASIcs},
  volume       = {104},
  pages        = {16:1--16:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2022.16},
  doi          = {10.4230/OASICS.SLATE.2022.16},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slate/PintoHCC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/CruzHC15,
  author       = {Jo{\~{a}}o Cruz and
                  Pedro Rangel Henriques and
                  Daniela Carneiro da Cruz},
  editor       = {Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
                  Jos{\'{e}} Paulo Leal and
                  Alberto Sim{\~{o}}es},
  title        = {Assessing Attribute Grammars' Quality: Metrics and a Tool},
  booktitle    = {Languages, Applications and Technologies - 4th International Symposium,
                  {SLATE} 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {563},
  pages        = {137--144},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-27653-3\_13},
  doi          = {10.1007/978-3-319-27653-3\_13},
  timestamp    = {Wed, 24 Aug 2022 11:27:10 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/CruzHC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/MartinsHC15,
  author       = {V{\'{\i}}tor T. Martins and
                  Pedro Rangel Henriques and
                  Daniela Carneiro da Cruz},
  editor       = {Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
                  Jos{\'{e}} Paulo Leal and
                  Alberto Sim{\~{o}}es},
  title        = {An AST-based Tool, Spector, for Plagiarism Detection: The Approach,
                  Functionality, and Implementation},
  booktitle    = {Languages, Applications and Technologies - 4th International Symposium,
                  {SLATE} 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {563},
  pages        = {153--159},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-27653-3\_15},
  doi          = {10.1007/978-3-319-27653-3\_15},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/MartinsHC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/FonteBOCGH14,
  author       = {Daniela Fonte and
                  Ismael Vilas Boas and
                  Nuno Oliveira and
                  Daniela Carneiro da Cruz and
                  Alda Lopes Gan{\c{c}}arski and
                  Pedro Rangel Henriques},
  editor       = {Susan Zvacek and
                  Maria Teresa Restivo and
                  James Onohuome Uhomoibhi and
                  Markus Helfert},
  title        = {Partial Correctness and Continuous Integration in Computer Supported
                  Education},
  booktitle    = {{CSEDU} 2014 - Proceedings of the 6th International Conference on
                  Computer Supported Education, Volume 2, Barcelona, Spain, 1-3 April,
                  2014},
  pages        = {205--212},
  publisher    = {SciTePress},
  year         = {2014},
  url          = {https://doi.org/10.5220/0004848802050212},
  doi          = {10.5220/0004848802050212},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csedu/FonteBOCGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/MartinsFHC14,
  author       = {V{\'{\i}}tor T. Martins and
                  Daniela Fonte and
                  Pedro Rangel Henriques and
                  Daniela Carneiro da Cruz},
  editor       = {Maria Jo{\~{a}}o Varanda Pereira and
                  Jos{\'{e}} Paulo Leal and
                  Alberto Sim{\~{o}}es},
  title        = {Plagiarism Detection: {A} Tool Survey and Comparison},
  booktitle    = {3rd Symposium on Languages, Applications and Technologies, {SLATE}
                  2014, June 19-20, 2014 - Bragan{\c{c}}a, Portugal},
  series       = {OASIcs},
  volume       = {38},
  pages        = {143--158},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2014.143},
  doi          = {10.4230/OASICS.SLATE.2014.143},
  timestamp    = {Wed, 24 Aug 2022 11:27:10 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/MartinsFHC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CruzHP13,
  author       = {Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Jorge Sousa Pinto},
  title        = {Interactive Verification of Safety-Critical Software},
  booktitle    = {37th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
  pages        = {519--528},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/COMPSAC.2013.86},
  doi          = {10.1109/COMPSAC.2013.86},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/CruzHP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HarrisonGMMHCR04,
  author       = {Rachel Harrison and
                  Sol J. Greenspan and
                  Tim Menzies and
                  Marjan Mernik and
                  Pedro Rangel Henriques and
                  Daniela Carneiro da Cruz and
                  Daniel Rodr{\'{\i}}guez},
  editor       = {David Notkin and
                  Betty H. C. Cheng and
                  Klaus Pohl},
  title        = {2nd international workshop on realizing artificial intelligence synergies
                  in software engineering {(RAISE} 2013)},
  booktitle    = {35th International Conference on Software Engineering, {ICSE} '13,
                  San Francisco, CA, USA, May 18-26, 2013},
  pages        = {1543--1544},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICSE.2013.6606778},
  doi          = {10.1109/ICSE.2013.6606778},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HarrisonGMMHCR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/FonteCGH13,
  author       = {Daniela Fonte and
                  Daniela Carneiro da Cruz and
                  Alda Lopes Gan{\c{c}}arski and
                  Pedro Rangel Henriques},
  editor       = {Jos{\'{e}} Paulo Leal and
                  Ricardo Rocha and
                  Alberto Sim{\~{o}}es},
  title        = {A Flexible Dynamic System for Automatic Grading of Programming Exercises},
  booktitle    = {2nd Symposium on Languages, Applications and Technologies, {SLATE}
                  2013, June 20-21, 2013 - Porto, Portugal},
  series       = {OASIcs},
  volume       = {29},
  pages        = {129--144},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2013.129},
  doi          = {10.4230/OASICS.SLATE.2013.129},
  timestamp    = {Wed, 24 Aug 2022 11:27:10 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/FonteCGH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/PereiraOCH13,
  author       = {Maria Jo{\~{a}}o Varanda Pereira and
                  Nuno Oliveira and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  editor       = {Jos{\'{e}} Paulo Leal and
                  Ricardo Rocha and
                  Alberto Sim{\~{o}}es},
  title        = {Choosing Grammars to Support Language Processing Courses},
  booktitle    = {2nd Symposium on Languages, Applications and Technologies, {SLATE}
                  2013, June 20-21, 2013 - Porto, Portugal},
  series       = {OASIcs},
  volume       = {29},
  pages        = {155--168},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2013},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2013.155},
  doi          = {10.4230/OASICS.SLATE.2013.155},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/PereiraOCH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BarrosCHP12,
  author       = {Jos{\'{e}} Bernardo Barros and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Jorge Sousa Pinto},
  title        = {Assertion-based slicing and slice graphs},
  journal      = {Formal Aspects Comput.},
  volume       = {24},
  number       = {2},
  pages        = {217--248},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00165-011-0196-1},
  doi          = {10.1007/S00165-011-0196-1},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BarrosCHP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/HarrisonCHPLMMR12,
  author       = {Rachel Harrison and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Maria Jo{\~{a}}o Varanda Pereira and
                  Shih{-}Hsi Liu and
                  Tim Menzies and
                  Marjan Mernik and
                  Daniel Rodr{\'{\i}}guez},
  title        = {Report from the first international workshop on realizing artificial
                  intelligence synergies in software engineering {(RAISE} 2012)},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {37},
  number       = {5},
  pages        = {34--35},
  year         = {2012},
  url          = {https://doi.org/10.1145/2347696.2347697},
  doi          = {10.1145/2347696.2347697},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/HarrisonCHPLMMR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/FonteBCGH12,
  author       = {Daniela Fonte and
                  Ismael Vilas Boas and
                  Daniela Carneiro da Cruz and
                  Alda Lopes Gan{\c{c}}arski and
                  Pedro Rangel Henriques},
  editor       = {Leszek A. Maciaszek and
                  Alfredo Cuzzocrea and
                  Jos{\'{e}} Cordeiro},
  title        = {Program Analysis and Evaluation using Quimera},
  booktitle    = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
                  Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
                  - 1 July, 2012},
  pages        = {209--219},
  publisher    = {SciTePress},
  year         = {2012},
  timestamp    = {Tue, 21 Aug 2012 14:19:32 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/FonteBCGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CruzFP12,
  author       = {Daniela Carneiro da Cruz and
                  Maria Jo{\~{a}}o Frade and
                  Jorge Sousa Pinto},
  editor       = {Sascha Ossowski and
                  Paola Lecca},
  title        = {Verification conditions for single-assignment programs},
  booktitle    = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
                  Riva, Trento, Italy, March 26-30, 2012},
  pages        = {1264--1270},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2245276.2231977},
  doi          = {10.1145/2245276.2231977},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/CruzFP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/FreitasCH12,
  author       = {Jose Luis Freitas and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  editor       = {Jonathan P. Bowen and
                  Huibiao Zhu and
                  Mike Hinchey},
  title        = {A Comment Analysis Approach for Program Comprehension},
  booktitle    = {35th Annual {IEEE} Software Engineering Workshop, {SEW} 2012, Heraclion,
                  Crete, Greece, October 12-13, 2012},
  pages        = {11--20},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SEW.2012.8},
  doi          = {10.1109/SEW.2012.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sew/FreitasCH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/PereiraBCOH12,
  author       = {Maria Jo{\~{a}}o Varanda Pereira and
                  Mario Marcelo Ber{\'{o}}n and
                  Daniela Carneiro da Cruz and
                  Nuno Oliveira and
                  Pedro Rangel Henriques},
  editor       = {Alberto Sim{\~{o}}es and
                  Ricardo Queir{\'{o}}s and
                  Daniela Carneiro da Cruz},
  title        = {Problem Domain Oriented Approach for Program Comprehension},
  booktitle    = {1st Symposium on Languages, Applications and Technologies, {SLATE}
                  2012, Braga, Portugal, June 21-22, 2012},
  series       = {OASIcs},
  volume       = {21},
  pages        = {91--105},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2012.91},
  doi          = {10.4230/OASICS.SLATE.2012.91},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slate/PereiraBCOH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/CostaCH12,
  author       = {Ulisses Ara{\'{u}}jo Costa and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  editor       = {Alberto Sim{\~{o}}es and
                  Ricardo Queir{\'{o}}s and
                  Daniela Carneiro da Cruz},
  title        = {Automatic Test Generation for Space},
  booktitle    = {1st Symposium on Languages, Applications and Technologies, {SLATE}
                  2012, Braga, Portugal, June 21-22, 2012},
  series       = {OASIcs},
  volume       = {21},
  pages        = {185--203},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/OASIcs.SLATE.2012.185},
  doi          = {10.4230/OASICS.SLATE.2012.185},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slate/CostaCH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slate/2012,
  editor       = {Alberto Sim{\~{o}}es and
                  Ricardo Queir{\'{o}}s and
                  Daniela Carneiro da Cruz},
  title        = {1st Symposium on Languages, Applications and Technologies, {SLATE}
                  2012, Braga, Portugal, June 21-22, 2012},
  series       = {OASIcs},
  volume       = {21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  isbn         = {978-3-939897-40-8},
  timestamp    = {Wed, 24 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slate/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-4477,
  author       = {Daniela Fonte and
                  Ismael Vilas Boas and
                  Jos{\'{e}} Azevedo and
                  Jos{\'{e}} Jo{\~{a}}o Peixoto and
                  Pedro Faria and
                  Pedro Silva and
                  Tiago S{\'{a}} and
                  Ulisses Ara{\'{u}}jo Costa and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  title        = {Modeling Languages: metrics and assessing tools},
  journal      = {CoRR},
  volume       = {abs/1206.4477},
  year         = {2012},
  url          = {http://arxiv.org/abs/1206.4477},
  eprinttype    = {arXiv},
  eprint       = {1206.4477},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1206-4477.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-5104,
  author       = {Ulisses Ara{\'{u}}jo Costa and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  title        = {Automatic Test Generation for Space},
  journal      = {CoRR},
  volume       = {abs/1206.5104},
  year         = {2012},
  url          = {http://arxiv.org/abs/1206.5104},
  eprinttype    = {arXiv},
  eprint       = {1206.5104},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1206-5104.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/pt/Cruz11,
  author       = {Daniela Carneiro da Cruz},
  title        = {Verification, slicing, and visualization of programs with contracts},
  school       = {University of Minho, Portugal},
  year         = {2011},
  url          = {https://hdl.handle.net/1822/19646},
  timestamp    = {Fri, 12 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/pt/Cruz11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/LukovicPOCH11,
  author       = {Ivan Lukovic and
                  Maria Jo{\~{a}}o Varanda Pereira and
                  Nuno Oliveira and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  title        = {A {DSL} for {PIM} specifications: Design and attribute grammar based
                  implementation},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {379--403},
  year         = {2011},
  url          = {https://doi.org/10.2298/CSIS101229018L},
  doi          = {10.2298/CSIS101229018L},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/LukovicPOCH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/AreiasCHP11,
  author       = {Sergio Areias and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Jorge Sousa Pinto},
  title        = {GammaPolarSlicer},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {477--499},
  year         = {2011},
  url          = {https://doi.org/10.2298/CSIS110107006A},
  doi          = {10.2298/CSIS110107006A},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/AreiasCHP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RegedorCH11,
  author       = {Miguel Regedor and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  title        = {The Role of Best Practices to Appraise Open Source Software},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {48},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.48.799},
  doi          = {10.14279/TUJ.ECEASST.48.799},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/RegedorCH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CruzH11,
  author       = {Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  title        = {Visualizing and Analyzing the Quality of {XML} Documents},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {17},
  number       = {1},
  pages        = {126--150},
  year         = {2011},
  url          = {https://doi.org/10.3217/jucs-017-01-0126},
  doi          = {10.3217/JUCS-017-01-0126},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/CruzH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/KosarOMPCCH10,
  author       = {Tomaz Kosar and
                  Nuno Oliveira and
                  Marjan Mernik and
                  Maria Jo{\~{a}}o Varanda Pereira and
                  Matej Crepinsek and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  title        = {Comparing general-purpose and domain-specific languages: An empirical
                  study},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {247--264},
  year         = {2010},
  url          = {https://doi.org/10.2298/CSIS1002247K},
  doi          = {10.2298/CSIS1002247K},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/KosarOMPCCH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/OliveiraPHCC10,
  author       = {Nuno Oliveira and
                  Maria Jo{\~{a}}o Varanda Pereira and
                  Pedro Rangel Henriques and
                  Daniela Carneiro da Cruz and
                  Bastian Cramer},
  title        = {VisualLISA: {A} visual environment to develop attribute grammars},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {265--289},
  year         = {2010},
  url          = {https://doi.org/10.2298/CSIS1002265O},
  doi          = {10.2298/CSIS1002265O},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/OliveiraPHCC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AreiasCHP10,
  author       = {Sergio Areias and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Jorge Sousa Pinto},
  title        = {Safe Integration of Annotated Components in Open Source Projects},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {33},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.33.460},
  doi          = {10.14279/TUJ.ECEASST.33.460},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/AreiasCHP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/LukovicPOCH10,
  author       = {Ivan Lukovic and
                  Maria Jo{\~{a}}o Varanda Pereira and
                  Nuno Oliveira and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  editor       = {Mirjana Ivanovic and
                  Bernhard Thalheim and
                  Barbara Catania and
                  Zoran Budimac},
  title        = {An Attribute Grammar Specification of IIS*Case {PIM} Concepts},
  booktitle    = {Local Proceedings of the Fourteenth East-European Conference on Advances
                  in Databases and Information Systems, Novi Sad, Serbia, September
                  20-24, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {639},
  pages        = {110--124},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-639/110-lukovic.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:59 +0100},
  biburl       = {https://dblp.org/rec/conf/adbis/LukovicPOCH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CruzHP10,
  author       = {Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Jorge Sousa Pinto},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Contract-Based Slicing},
  booktitle    = {Leveraging Applications of Formal Methods, Verification, and Validation
                  - 4th International Symposium on Leveraging Applications, ISoLA 2010,
                  Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6415},
  pages        = {106--120},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16558-0\_11},
  doi          = {10.1007/978-3-642-16558-0\_11},
  timestamp    = {Sun, 02 Jun 2019 21:11:28 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/CruzHP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/BeronPOC10,
  author       = {Mario Marcelo Ber{\'{o}}n and
                  Maria Jo{\~{a}}o Varanda Pereira and
                  Nuno Oliveira and
                  Daniela Carneiro da Cruz},
  title        = {SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains},
  booktitle    = {The 18th {IEEE} International Conference on Program Comprehension,
                  {ICPC} 2010, Braga, Minho, Portugal, June 30-July 2, 2010},
  pages        = {60--61},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICPC.2010.24},
  doi          = {10.1109/ICPC.2010.24},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwpc/BeronPOC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/AreiasCP10,
  author       = {Sergio Areias and
                  Daniela Carneiro da Cruz and
                  Jorge Sousa Pinto},
  title        = {Contract-Based Slicing Helps on Safety Reuse},
  booktitle    = {The 18th {IEEE} International Conference on Program Comprehension,
                  {ICPC} 2010, Braga, Minho, Portugal, June 30-July 2, 2010},
  pages        = {62--63},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICPC.2010.44},
  doi          = {10.1109/ICPC.2010.44},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwpc/AreiasCP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/OliveiraPCB10,
  author       = {Nuno Oliveira and
                  Maria Jo{\~{a}}o Varanda Pereira and
                  Daniela Carneiro da Cruz and
                  Mario Marcelo Ber{\'{o}}n},
  title        = {Influence of Synchronized Domain Visualizations on Program Comprehension},
  booktitle    = {The 18th {IEEE} International Conference on Program Comprehension,
                  {ICPC} 2010, Braga, Minho, Portugal, June 30-July 2, 2010},
  pages        = {192--195},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICPC.2010.21},
  doi          = {10.1109/ICPC.2010.21},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwpc/OliveiraPCB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldta/CruzHP10,
  author       = {Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Jorge Sousa Pinto},
  editor       = {Claus Brabrand and
                  Pierre{-}Etienne Moreau},
  title        = {GamaSlicer: an online laboratory for program verification and analysis},
  booktitle    = {Proceedings of the of the Tenth Workshop on Language Descriptions,
                  Tools and Applications, {LDTA} 2010, Paphos, Cyprus, March 28-29,
                  2010 - satellite event of {ETAPS}},
  pages        = {3},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1868281.1868284},
  doi          = {10.1145/1868281.1868284},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ldta/CruzHP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CruzH10,
  author       = {Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski and
                  Michael Schumacher and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {Exploring, visualizing and slicing the soul of {XML} documents},
  booktitle    = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
                  Sierre, Switzerland, March 22-26, 2010},
  pages        = {40--46},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1774088.1774097},
  doi          = {10.1145/1774088.1774097},
  timestamp    = {Sun, 02 Jun 2019 21:18:37 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/CruzH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BarrosCHP10,
  author       = {Jos{\'{e}} Bernardo Barros and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Jorge Sousa Pinto},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Assertion-based Slicing and Slice Graphs},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {93--102},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.18},
  doi          = {10.1109/SEFM.2010.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BarrosCHP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/CruzH09,
  author       = {Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  editor       = {Jos{\'{e}} Cordeiro and
                  Joaquim Filipe},
  title        = {Assessing Databases in .NET - Comparing Approaches},
  booktitle    = {{ICEIS} 2009 - Proceedings of the 11th International Conference on
                  Enterprise Information Systems, Volume DISI, Milan, Italy, May 6-10,
                  2009},
  pages        = {278--282},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 09:32:44 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/CruzH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imcsit/KosarMCHCPO09,
  author       = {Tomaz Kosar and
                  Marjan Mernik and
                  Matej Crepinsek and
                  Pedro Rangel Henriques and
                  Daniela Carneiro da Cruz and
                  Maria Jo{\~{a}}o Varanda Pereira and
                  Nuno Oliveira},
  title        = {Influence of domain-specific notation to program understanding},
  booktitle    = {Proceedings of the International Multiconference on Computer Science
                  and Information Technology, {IMCSIT} 2009, Mragowo, Poland, 12-14
                  October 2009},
  pages        = {675--682},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/IMCSIT.2009.5352767},
  doi          = {10.1109/IMCSIT.2009.5352767},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/imcsit/KosarMCHCPO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imcsit/OliveiraHCP09,
  author       = {Nuno Oliveira and
                  Pedro Rangel Henriques and
                  Daniela Carneiro da Cruz and
                  Maria Jo{\~{a}}o Varanda Pereira},
  title        = {VisualLISA: Visual programming environment for attribute grammars
                  specification},
  booktitle    = {Proceedings of the International Multiconference on Computer Science
                  and Information Technology, {IMCSIT} 2009, Mragowo, Poland, 12-14
                  October 2009},
  pages        = {691--698},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/IMCSIT.2009.5352765},
  doi          = {10.1109/IMCSIT.2009.5352765},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/imcsit/OliveiraHCP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imcsit/OliveiraHCPMKC09,
  author       = {Nuno Oliveira and
                  Pedro Rangel Henriques and
                  Daniela Carneiro da Cruz and
                  Maria Jo{\~{a}}o Varanda Pereira and
                  Marjan Mernik and
                  Tomaz Kosar and
                  Matej Crepinsek},
  title        = {Applying program comprehension techniques to karel robot programs},
  booktitle    = {Proceedings of the International Multiconference on Computer Science
                  and Information Technology, {IMCSIT} 2009, Mragowo, Poland, 12-14
                  October 2009},
  pages        = {699--706},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/IMCSIT.2009.5352762},
  doi          = {10.1109/IMCSIT.2009.5352762},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/imcsit/OliveiraHCPMKC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/OliveiraPHC09,
  author       = {Nuno Oliveira and
                  Maria Jo{\~{a}}o Varanda Pereira and
                  Pedro Rangel Henriques and
                  Daniela Carneiro da Cruz},
  editor       = {Hausi A. M{\"{u}}ller and
                  Michele Lanza and
                  Margaret{-}Anne D. Storey},
  title        = {Visualization of domain-specific programs' behavior},
  booktitle    = {Proceedings of the 5th {IEEE} International Workshop on Visualizing
                  Software for Understanding and Analysis, {VISSOFT} 2009, Edmonton,
                  Alberta, Canada, September 25, 2009},
  pages        = {37--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/VISSOF.2009.5336426},
  doi          = {10.1109/VISSOF.2009.5336426},
  timestamp    = {Thu, 16 Sep 2021 17:01:58 +0200},
  biburl       = {https://dblp.org/rec/conf/vissoft/OliveiraPHC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/PereiraMCH08,
  author       = {Maria Jo{\~{a}}o Varanda Pereira and
                  Marjan Mernik and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  title        = {Program comprehension for domain-specific languages},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {5},
  number       = {2},
  pages        = {1--17},
  year         = {2008},
  url          = {https://doi.org/10.2298/CSIS0802001P},
  doi          = {10.2298/CSIS0802001P},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/PereiraMCH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/FerreiraPCH08,
  author       = {Elisabete Ferreira and
                  Rog{\'{e}}rio Paulo and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques},
  title        = {Integration of the {ST} language in a model-based engineering environment
                  for control systems: An approach for compiler implementation},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {5},
  number       = {2},
  pages        = {87--101},
  year         = {2008},
  url          = {https://doi.org/10.2298/CSIS0802087F},
  doi          = {10.2298/CSIS0802087F},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/FerreiraPCH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/CruzHP08,
  author       = {Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Maria Jo{\~{a}}o Varanda Pereira},
  title        = {{ALMA} versus {DDD}},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {5},
  number       = {2},
  pages        = {119--136},
  year         = {2008},
  url          = {https://doi.org/10.2298/CSIS0802119d},
  doi          = {10.2298/CSIS0802119D},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/CruzHP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/FonsecaCHP08,
  author       = {Ruben Filipe Cardoso da Fonseca and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Maria Jo{\~{a}}o Varanda Pereira},
  editor       = {Ren{\'{e}} L. Krikhaar and
                  Ralf L{\"{a}}mmel and
                  Chris Verhoef},
  title        = {How to Interconnect Operational and Behavioral Views of Web Applications},
  booktitle    = {The 16th {IEEE} International Conference on Program Comprehension,
                  {ICPC} 2008, Amsterdam, The Netherlands, June 10-13, 2008},
  pages        = {263--267},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICPC.2008.25},
  doi          = {10.1109/ICPC.2008.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwpc/FonsecaCHP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/CruzHP07,
  author       = {Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Maria Jo{\~{a}}o Varanda Pereira},
  title        = {Constructing program animations using a pattern-based approach},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {4},
  number       = {2},
  pages        = {99--116},
  year         = {2007},
  url          = {https://doi.org/10.2298/CSIS0702097C},
  doi          = {10.2298/CSIS0702097C},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/CruzHP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cit/RebernakMHCP06,
  author       = {Damijan Rebernak and
                  Marjan Mernik and
                  Pedro Rangel Henriques and
                  Daniela Carneiro da Cruz and
                  Maria Jo{\~{a}}o Varanda Pereira},
  title        = {Specifying Languages Using Aspect-oriented Approach: AspectLISA},
  journal      = {J. Comput. Inf. Technol.},
  volume       = {14},
  number       = {4},
  pages        = {343--350},
  year         = {2006},
  url          = {https://doi.org/10.2498/cit.2006.04.11},
  doi          = {10.2498/CIT.2006.04.11},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cit/RebernakMHCP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics