Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Daniela Carneiro da Cruz
@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} }
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.