Search dblp for Publications

export results for "Rui Abreu"

 download as .bib file

@article{DBLP:journals/access/CostaSVMSC24,
  author       = {Elena J. da Costa and
                  Antonio Santos da Silva and
                  Jos{\'{e}} Alfredo Ruiz Vargas and
                  Jo{\~{a}}o Paulo A. Maranh{\~{a}}o and
                  Giovanni Almeida Santos and
                  Jo{\~{a}}o Paulo C. L. da Costa},
  title        = {Blind Framework With Low Complexity Model Order Selection and Unsupervised
                  Identification of Visually Evoked Potential Components},
  journal      = {{IEEE} Access},
  volume       = {12},
  pages        = {47746--47754},
  year         = {2024}
}
@article{DBLP:journals/sensors/BarrosSMVFAG24,
  author       = {Nelson Barros and
                  Pedro Miguel Sobral and
                  Rui S. Moreira and
                  Jo{\~{a}}o Vargas and
                  Ana Fonseca and
                  Isabel Abreu and
                  Maria Simas Guerreiro},
  title        = {SchoolAIR: {A} Citizen Science IoT Framework Using Low-Cost Sensing
                  for Indoor Air Quality Management},
  journal      = {Sensors},
  volume       = {24},
  number       = {1},
  pages        = {148},
  year         = {2024}
}
@inproceedings{DBLP:conf/coling/BelcavelloTMPGS24,
  author       = {Frederico Belcavello and
                  Tiago Timponi Torrent and
                  Ely Edison Matos and
                  Adriana S. Pagano and
                  Maucha Gamonal and
                  Nat{\'{a}}lia Sigiliano and
                  L{\'{\i}}via Vicente Dutra and
                  Helen de Andrade Abreu and
                  Mairon Samagaio and
                  Mariane Carvalho and
                  Franciany Campos and
                  Gabrielly Azalim and
                  Bruna Mazzei and
                  Mateus Fonseca de Oliveira and
                  Ana Carolina Lo{\c{c}}asso Luz and
                  L{\'{\i}}via P{\'{a}}dua Ruiz and
                  J{\'{u}}lia Bellei and
                  Amanda Pestana and
                  Josiane Costa and
                  Iasmin Rabelo and
                  Anna Beatriz Silva and
                  Raquel Roza and
                  Mariana Souza Mota and
                  Igor Oliveira},
  title        = {Frame2: {A} FrameNet-based Multimodal Dataset for Tackling Text-image
                  Interactions in Video},
  booktitle    = {{LREC/COLING}},
  pages        = {7429--7437},
  publisher    = {{ELRA} and {ICCL}},
  year         = {2024}
}
@inproceedings{DBLP:conf/coling/ViridianoLTMPSG24,
  author       = {Marcelo Viridiano and
                  Arthur Lorenzi and
                  Tiago Timponi Torrent and
                  Ely Edison Matos and
                  Adriana S. Pagano and
                  Nat{\'{a}}lia Sathler Sigiliano and
                  Maucha Gamonal and
                  Helen de Andrade Abreu and
                  L{\'{\i}}via Vicente Dutra and
                  Mairon Samagaio and
                  Mariane Carvalho and
                  Franciany Campos and
                  Gabrielly Azalim and
                  Bruna Mazzei and
                  Mateus Fonseca de Oliveira and
                  Ana Carolina Luz and
                  Livia Padua Ruiz and
                  J{\'{u}}lia Bellei and
                  Amanda Pestana and
                  Josiane Costa and
                  Iasmin Rabelo and
                  Anna Beatriz Silva and
                  Raquel Roza and
                  Mariana Souza Mota and
                  Igor Oliveira and
                  M{\'{a}}rcio Henrique Pelegrino de Freitas},
  title        = {Framed Multi30K: {A} Frame-Based Multimodal-Multilingual Dataset},
  booktitle    = {{LREC/COLING}},
  pages        = {7438--7449},
  publisher    = {{ELRA} and {ICCL}},
  year         = {2024}
}
@article{DBLP:journals/corr/abs-2402-09158,
  author       = {Tom{\'{a}}s Mestre Santos and
                  Rui Neto Marinheiro and
                  Fernando Brito e Abreu},
  title        = {Wireless Crowd Detection for Smart Overtourism Mitigation},
  journal      = {CoRR},
  volume       = {abs/2402.09158},
  year         = {2024}
}
@article{DBLP:journals/jss/MichelonMSAAAE23,
  author       = {Gabriela Karoline Michelon and
                  Jabier Martinez and
                  Bruno Sotto{-}Mayor and
                  Aitor Arrieta and
                  Wesley K. G. Assun{\c{c}}{\~{a}}o and
                  Rui Abreu and
                  Alexander Egyed},
  title        = {Spectrum-based feature localization for families of systems},
  journal      = {J. Syst. Softw.},
  volume       = {195},
  pages        = {111532},
  year         = {2023}
}
@inproceedings{DBLP:conf/cain/PinconschiRZ0EP23,
  author       = {Eduard Pinconschi and
                  Sofia Reis and
                  Chi Zhang and
                  Rui Abreu and
                  Hakan Erdogmus and
                  Corina S. Pasareanu and
                  Limin Jia},
  title        = {Tenet: {A} Flexible Framework for Machine-Learning-based Vulnerability
                  Detection},
  booktitle    = {{CAIN}},
  pages        = {102--103},
  publisher    = {{IEEE}},
  year         = {2023}
}
@inproceedings{DBLP:conf/ease/Reis0P23,
  author       = {Sofia Reis and
                  Rui Abreu and
                  Corina S. Pasareanu},
  title        = {Are security commit messages informative? Not enough!},
  booktitle    = {{EASE}},
  pages        = {196--199},
  publisher    = {{ACM}},
  year         = {2023}
}
@inproceedings{DBLP:conf/fsen/FariaA23,
  author       = {Jo{\~{a}}o Pascoal Faria and
                  Rui Abreu},
  title        = {Case Studies of Development of Verified Programs with Dafny for Accessibility
                  Assessment},
  booktitle    = {{FSEN}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14155},
  pages        = {25--39},
  publisher    = {Springer},
  year         = {2023}
}
@inproceedings{DBLP:conf/icse/AlmeidaGSA23,
  author       = {Lu{\'{\i}}s Almeida and
                  Miguel Gonzaga and
                  Jos{\'{e}} Fragoso Santos and
                  Rui Abreu},
  title        = {Rexstepper: a Reference Debugger for JavaScript Regular Expressions},
  booktitle    = {{ICSE} Companion},
  pages        = {41--45},
  publisher    = {{IEEE}},
  year         = {2023}
}
@inproceedings{DBLP:conf/ijcai/ChatterjeeC0023,
  author       = {Prantik Chatterjee and
                  Jos{\'{e}} Campos and
                  Rui Abreu and
                  Subhajit Roy},
  title        = {Augmenting Automated Spectrum Based Fault Localization for Multiple
                  Faults},
  booktitle    = {{IJCAI}},
  pages        = {3140--3148},
  publisher    = {ijcai.org},
  year         = {2023}
}
@inproceedings{DBLP:conf/sigsoft/MockusR0SCN23,
  author       = {Audris Mockus and
                  Peter C. Rigby and
                  Rui Abreu and
                  Parth Suresh and
                  Yifen Chen and
                  Nachiappan Nagappan},
  title        = {Modeling the Centrality of Developer Output with Software Supply Chains},
  booktitle    = {{ESEC/SIGSOFT} {FSE}},
  pages        = {1809--1819},
  publisher    = {{ACM}},
  year         = {2023}
}
@inproceedings{DBLP:conf/sigsoft/ShackletonCR0GN23,
  author       = {Will Shackleton and
                  Katriel Cohn{-}Gordon and
                  Peter C. Rigby and
                  Rui Abreu and
                  James Gill and
                  Nachiappan Nagappan and
                  Karim Nakad and
                  Ioannis Papagiannis and
                  Luke Petre and
                  Giorgi Megreli and
                  Patrick Riggs and
                  James Saindon},
  title        = {Dead Code Removal at Meta: Automatically Deleting Millions of Lines
                  of Code and Petabytes of Deprecated Data},
  booktitle    = {{ESEC/SIGSOFT} {FSE}},
  pages        = {1705--1715},
  publisher    = {{ACM}},
  year         = {2023}
}
@inproceedings{DBLP:conf/sle/RibeiroMT0S23,
  author       = {Francisco Ribeiro and
                  Jos{\'{e}} Nuno Castro de Macedo and
                  Kanae Tsushima and
                  Rui Abreu and
                  Jo{\~{a}}o Saraiva},
  title        = {GPT-3-Powered Type Error Debugging: Investigating the Use of Large
                  Language Models for Code Repair},
  booktitle    = {{SLE}},
  pages        = {111--124},
  publisher    = {{ACM}},
  year         = {2023}
}
@article{DBLP:journals/corr/abs-2301-03224,
  author       = {Jo{\~{a}}o Pascoal Faria and
                  Rui Abreu},
  title        = {Case studies of development of verified programs with Dafny for accessibility
                  assessment},
  journal      = {CoRR},
  volume       = {abs/2301.03224},
  year         = {2023}
}
@article{DBLP:journals/corr/abs-2301-06959,
  author       = {Sofia Reis and
                  Corina S. Pasareanu and
                  Rui Abreu and
                  Hakan Erdogmus},
  title        = {SECOMlint: {A} linter for Security Commit Messages},
  journal      = {CoRR},
  volume       = {abs/2301.06959},
  year         = {2023}
}
@article{DBLP:journals/cacm/00010022,
  author       = {Shaukat Ali and
                  Tao Yue and
                  Rui Abreu},
  title        = {When software engineering meets quantum computing},
  journal      = {Commun. {ACM}},
  volume       = {65},
  number       = {4},
  pages        = {84--88},
  year         = {2022}
}
@article{DBLP:journals/eaai/Sotto-MayorEKA22,
  author       = {Bruno Sotto{-}Mayor and
                  Amir Elmishali and
                  Meir Kalech and
                  Rui Abreu},
  title        = {Exploring Design smells for smell-based defect prediction},
  journal      = {Eng. Appl. Artif. Intell.},
  volume       = {115},
  pages        = {105240},
  year         = {2022}
}
@article{DBLP:journals/tr/AlcantaraPAd22,
  author       = {Lucas A. M. De Alcantara and
                  Guilherme Padilha and
                  Rui Abreu and
                  Marcelo d'Amorim},
  title        = {Syrius: Synthesis of Rules for Intrusion Detectors},
  journal      = {{IEEE} Trans. Reliab.},
  volume       = {71},
  number       = {1},
  pages        = {370--381},
  year         = {2022}
}
@inproceedings{DBLP:conf/icse-apr/Ribeiro0S22,
  author       = {Francisco Ribeiro and
                  Rui Abreu and
                  Jo{\~{a}}o Saraiva},
  title        = {Framing Program Repair as Code Completion},
  booktitle    = {APR@ICSE},
  pages        = {38--45},
  publisher    = {{IEEE}},
  year         = {2022}
}
@inproceedings{DBLP:conf/icse-qse/0001FLT22,
  author       = {Rui Abreu and
                  Jo{\~{a}}o Paulo Fernandes and
                  Luis Llana and
                  Guilherme Tavares},
  title        = {Metamorphic Testing of Oracle Quantum Programs},
  booktitle    = {Q-SE@ICSE},
  pages        = {16--23},
  publisher    = {{IEEE}},
  year         = {2022}
}
@inproceedings{DBLP:conf/icse/FortunatoCA22,
  author       = {Daniel Fortunato and
                  Jos{\'{e}} Campos and
                  Rui Abreu},
  title        = {Mutation Testing of Quantum Programs Written in QISKit},
  booktitle    = {ICSE-Companion},
  pages        = {358--359},
  publisher    = {{ACM/IEEE}},
  year         = {2022}
}
@inproceedings{DBLP:conf/icse/SivaramanASAC22,
  author       = {Aishwarya Sivaraman and
                  Rui Abreu and
                  Andrew Scott and
                  Tobi Akomolede and
                  Satish Chandra},
  title        = {Mining Idioms in the Wild},
  booktitle    = {{ICSE} {(SEIP)}},
  pages        = {187--196},
  publisher    = {{IEEE}},
  year         = {2022}
}
@inproceedings{DBLP:conf/icsm/Lee0YQN22,
  author       = {Noah Lee and
                  Rui Abreu and
                  Mehmet Yatbaz and
                  Hang Qu and
                  Nachiappan Nagappan},
  title        = {The Engineering Implications of Code Maintenance in Practice},
  booktitle    = {{ICSME}},
  pages        = {568--577},
  publisher    = {{IEEE}},
  year         = {2022}
}
@inproceedings{DBLP:conf/icst/TrincaFA22,
  author       = {Miguel Trinca and
                  Jo{\~{a}}o F. Ferreira and
                  Rui Abreu},
  title        = {A Preliminary Study on Generating Well-Formed Q{\#} Quantum Programs
                  for Fuzz Testing},
  booktitle    = {{ICST} Workshops},
  pages        = {118--121},
  publisher    = {{IEEE}},
  year         = {2022}
}
@inproceedings{DBLP:conf/ict4s/Macedo0PS22,
  author       = {Jo{\~{a}}o de Macedo and
                  Rui Abreu and
                  Rui Pereira and
                  Jo{\~{a}}o Saraiva},
  title        = {WebAssembly versus JavaScript: Energy and Runtime Performance},
  booktitle    = {{ICT4S}},
  pages        = {24--34},
  publisher    = {{IEEE}},
  year         = {2022}
}
@inproceedings{DBLP:conf/issre/Lee0N22,
  author       = {Noah Lee and
                  Rui Abreu and
                  Nachiappan Nagappan},
  title        = {Code Quality Prediction Under Super Extreme Class Imbalance},
  booktitle    = {{ISSRE} Workshops},
  pages        = {99--104},
  publisher    = {{IEEE}},
  year         = {2022}
}
@inproceedings{DBLP:conf/issta/FortunatoC022,
  author       = {Daniel Fortunato and
                  Jos{\'{e}} Campos and
                  Rui Abreu},
  title        = {QMutPy: a mutation testing tool for Quantum algorithms and applications
                  in Qiskit},
  booktitle    = {{ISSTA}},
  pages        = {797--800},
  publisher    = {{ACM}},
  year         = {2022}
}
@inproceedings{DBLP:conf/issta/PinconschiB0AS22,
  author       = {Eduard Pinconschi and
                  Quang{-}Cuong Bui and
                  Rui Abreu and
                  Pedro Ad{\~{a}}o and
                  Riccardo Scandariato},
  title        = {Maestro: a platform for benchmarking automatic program repair tools
                  on software vulnerabilities},
  booktitle    = {{ISSTA}},
  pages        = {789--792},
  publisher    = {{ACM}},
  year         = {2022}
}
@inproceedings{DBLP:conf/kbse/MamedeP022,
  author       = {Cl{\'{a}}udia Mamede and
                  Eduard Pinconschi and
                  Rui Abreu},
  title        = {A transformer-based {IDE} plugin for vulnerability detection},
  booktitle    = {{ASE}},
  pages        = {149:1--149:4},
  publisher    = {{ACM}},
  year         = {2022}
}
@inproceedings{DBLP:conf/kbse/Reis0dF22,
  author       = {Sofia Reis and
                  Rui Abreu and
                  Marcelo d'Amorim and
                  Daniel Fortunato},
  title        = {Leveraging Practitioners' Feedback to Improve a Security Linter},
  booktitle    = {{ASE}},
  pages        = {66:1--66:12},
  publisher    = {{ACM}},
  year         = {2022}
}
@inproceedings{DBLP:conf/mobilesoft/PereiraFMA22,
  author       = {Ricardo B. Pereira and
                  Jo{\~{a}}o F. Ferreira and
                  Alexandra Mendes and
                  Rui Abreu},
  title        = {Extending EcoAndroid with Automated Detection of Resource Leaks},
  booktitle    = {MOBILESoft},
  pages        = {17--27},
  publisher    = {{IEEE}},
  year         = {2022}
}
@inproceedings{DBLP:conf/msr/ReisAEP22,
  author       = {Sofia Reis and
                  Rui Abreu and
                  Hakan Erdogmus and
                  Corina S. Pasareanu},
  title        = {{SECOM:} Towards a convention for security commit messages},
  booktitle    = {{MSR}},
  pages        = {764--765},
  publisher    = {{ACM}},
  year         = {2022}
}
@inproceedings{DBLP:conf/qp4se/CostaF022,
  author       = {Nuno Costa and
                  Jo{\~{a}}o Paulo Fernandes and
                  Rui Abreu},
  title        = {Asserting the correctness of Shor implementations using metamorphic
                  testing},
  booktitle    = {QP4SE@ESEC/SIGSOFT {FSE}},
  pages        = {32--36},
  publisher    = {{ACM}},
  year         = {2022}
}
@inproceedings{DBLP:conf/qrs/MamedePAC22,
  author       = {Cl{\'{a}}udia Mamede and
                  Eduard Pinconschi and
                  Rui Abreu and
                  Jos{\'{e}} Campos},
  title        = {Exploring Transformers for Multi-Label Classification of Java Vulnerabilities},
  booktitle    = {{QRS}},
  pages        = {43--52},
  publisher    = {{IEEE}},
  year         = {2022}
}
@inproceedings{DBLP:conf/sigsoft/Chen0AR0N22,
  author       = {Lawrence Chen and
                  Rui Abreu and
                  Tobi Akomolede and
                  Peter C. Rigby and
                  Satish Chandra and
                  Nachiappan Nagappan},
  title        = {Leveraging test plan quality to improve code review efficacy},
  booktitle    = {{ESEC/SIGSOFT} {FSE}},
  pages        = {1320--1330},
  publisher    = {{ACM}},
  year         = {2022}
}
@incollection{DBLP:books/sp/22/FerreiraF022,
  author       = {Filipa Ramos Ferreira and
                  Jo{\~{a}}o Paulo Fernandes and
                  Rui Abreu},
  title        = {Quantum Software Frameworks for Deep Learning},
  booktitle    = {Quantum Software Engineering},
  pages        = {281--302},
  publisher    = {Springer International Publishing},
  year         = {2022}
}
@misc{DBLP:data/10/CruzA22,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {On the Energy Footprint of Mobile Testing Frameworks},
  publisher    = {{IEEE} DataPort},
  year         = {2022},
  month        = may,
  howpublished = {\url{https://doi.org/10.21227/kb5s-1r43}},
  note         = {Accessed on YYYY-MM-DD.}
}
@article{DBLP:journals/corr/abs-2212-01237,
  author       = {Rui Abreu},
  title        = {The Bumpy Road of Taking Automated Debugging to Industry},
  journal      = {CoRR},
  volume       = {abs/2212.01237},
  year         = {2022}
}
@book{DBLP:books/ws/KalechAL21,
  author       = {Meir Kalech and
                  Rui Abreu and
                  Mark Last},
  title        = {Artificial Intelligence Methods for Software Engineering},
  publisher    = {WorldScientific},
  year         = {2021}
}
@article{DBLP:journals/computers/TeixeiraFMAVLCA21,
  author       = {Filipe B. Teixeira and
                  Bruno M. Ferreira and
                  Nuno Moreira and
                  Nuno Abreu and
                  Murillo Villa and
                  Jo{\~{a}}o P. Loureiro and
                  Nuno Alexandre Cruz and
                  Jos{\'{e}} Carlos Alves and
                  Manuel Ricardo and
                  Rui Campos},
  title        = {A Novel Simulation Platform for Underwater Data Muling Communications
                  Using Autonomous Underwater Vehicles},
  journal      = {Comput.},
  volume       = {10},
  number       = {10},
  pages        = {119},
  year         = {2021}
}
@article{DBLP:journals/ese/ReisAC21,
  author       = {Sofia Reis and
                  Rui Abreu and
                  Luis Cruz},
  title        = {Fixing vulnerabilities potentially hinders maintainability},
  journal      = {Empir. Softw. Eng.},
  volume       = {26},
  number       = {6},
  pages        = {127},
  year         = {2021}
}
@article{DBLP:journals/sigsoft/AbreuAY21,
  author       = {Rui Abreu and
                  Shaukat Ali and
                  Tao Yue},
  title        = {First International Workshop on Quantum Software Engineering {(Q-SE}
                  2020)},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {46},
  number       = {2},
  pages        = {30--32},
  year         = {2021}
}
@article{DBLP:journals/sigsoft/AbreuAYFE21,
  author       = {Rui Abreu and
                  Shaukat Ali and
                  Tao Yue and
                  Michael Felderer and
                  Iaakov Exman},
  title        = {Quantum Software: Model-driven or Search-driven? {A} {Q-SE} 2021 Workshop
                  Report},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {46},
  number       = {4},
  pages        = {23--25},
  year         = {2021}
}
@article{DBLP:journals/systems/OliveiraLA21,
  author       = {Rui A. F. Oliveira and
                  Jorge P. Lopes and
                  Maria Isabel Abreu},
  title        = {Sustainability Perspective to Support Decision Making in Structural
                  Retrofitting of Buildings: {A} Case Study},
  journal      = {Syst.},
  volume       = {9},
  number       = {4},
  pages        = {78},
  year         = {2021}
}
@article{DBLP:journals/tse/CruzA21,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {On the Energy Footprint of Mobile Testing Frameworks},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {47},
  number       = {10},
  pages        = {2260--2271},
  year         = {2021}
}
@article{DBLP:journals/tse/PerezAD21,
  author       = {Alexandre Perez and
                  Rui Abreu and
                  Arie van Deursen},
  title        = {A Theoretical and Empirical Analysis of Program Spectra Diagnosability},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {47},
  number       = {2},
  pages        = {412--431},
  year         = {2021}
}
@inproceedings{DBLP:conf/ant/OliveiraMHALA021,
  author       = {Daniela Oliveira and
                  Rui Miranda and
                  Francini Hak and
                  Nuno Abreu and
                  Pedro Leuschner and
                  Ant{\'{o}}nio Abelha and
                  Jos{\'{e}} Machado},
  title        = {Steps towards an Healthcare Information Model based on openEHR},
  booktitle    = {{ANT/EDI40}},
  series       = {Procedia Computer Science},
  volume       = {184},
  pages        = {893--898},
  publisher    = {Elsevier},
  year         = {2021}
}
@inproceedings{DBLP:conf/biostec/OliveiraOCF21,
  author       = {Marisa Oliveira and
                  Jorge Oliveira and
                  Rui Camacho and
                  Carlos Abreu Ferreira},
  title        = {A Multi-spot Murmur Sound Detection Algorithm and Its Application
                  to a Pediatric and Neonate Population},
  booktitle    = {{BIOSIGNALS}},
  pages        = {228--234},
  publisher    = {{SCITEPRESS}},
  year         = {2021}
}
@inproceedings{DBLP:conf/educon/GonzalezH0CPMCM21,
  author       = {Carina S. Gonz{\'{a}}lez and
                  Alicia Garc{\'{\i}}a{-}Holgado and
                  Pedro Plaza and
                  Manuel Castro and
                  Aruquia Peixoto and
                  Julia Merino and
                  Elio San Crist{\'{o}}bal and
                  Antonio Menacho and
                  Diana Urbano and
                  Manuel Bl{\'{a}}zquez and
                  F{\'{e}}lix Garc{\'{\i}}a Loro and
                  Maria Teresa Restivo and
                  Rebecca Strachan and
                  Paloma D{\'{\i}}az and
                  Inmaculada Plaza and
                  Cristina Fern{\'{a}}ndez and
                  Susan M. Lord and
                  Diane T. Rover and
                  Rosanna Yuen{-}Yan Chan and
                  Melany M. Ciampi and
                  Russ Meier and
                  Edmundo Tovar and
                  Magdalena Salazar and
                  Susan Zvacek and
                  Jos{\'{e}} A. Ruip{\'{e}}rez Valiente and
                  Blanca Quintana and
                  Sergio Mart{\'{\i}}n and
                  Guillermo Botella and
                  {\'{A}}frica Lopez{-}Rey and
                  Paulo Abreu},
  title        = {Gender and {STEAM} as part of the {MOOC} {STEAM4ALL}},
  booktitle    = {{EDUCON}},
  pages        = {1630--1634},
  publisher    = {{IEEE}},
  year         = {2021}
}
@inproceedings{DBLP:conf/goodit/TumedeiBPGCAMN021,
  author       = {Gianni Tumedei and
                  Francesco Boschi and
                  Catia Prandi and
                  Lu{\'{\i}}s Gomes and
                  Rui Calheno and
                  Rui Abreu and
                  Shuhao Ma and
                  Valentina Nisi and
                  Nuno Nunes and
                  Augusto Esteves},
  title        = {Promoting a Safe Return to University Campuses during the {COVID-19}
                  Pandemic: Crowdsensing Room Occupancy},
  booktitle    = {GoodIT},
  pages        = {145--150},
  publisher    = {{ACM}},
  year         = {2021}
}
@inproceedings{DBLP:conf/icst/HershkovichS0E21,
  author       = {Eran Hershkovich and
                  Roni Stern and
                  Rui Abreu and
                  Amir Elmishali},
  title        = {Prioritized Test Generation Guided by Software Fault Prediction},
  booktitle    = {{ICST} Workshops},
  pages        = {218--225},
  publisher    = {{IEEE}},
  year         = {2021}
}
@inproceedings{DBLP:conf/icst/Martins00N21,
  author       = {Ricardo Martins and
                  Rui Abreu and
                  Manuel Lopes and
                  Jo{\~{a}}o Nadkarni},
  title        = {Supervised Learning for Test Suit Selection in Continuous Integration},
  booktitle    = {{ICST} Workshops},
  pages        = {239--246},
  publisher    = {{IEEE}},
  year         = {2021}
}
@inproceedings{DBLP:conf/issre/PinconschiAA21,
  author       = {Eduard Pinconschi and
                  Rui Abreu and
                  Pedro Ad{\~{a}}o},
  title        = {A Comparative Study of Automatic Program Repair Techniques for Security
                  Vulnerabilities},
  booktitle    = {{ISSRE}},
  pages        = {196--207},
  publisher    = {{IEEE}},
  year         = {2021}
}
@inproceedings{DBLP:conf/kbse/AbreuINRV21,
  author       = {Rui Abreu and
                  Franjo Ivancic and
                  Filip Niksic and
                  Hadi Ravanbakhsh and
                  Ramesh Viswanathan},
  title        = {Reducing Time-To-Fix For Fuzzer Bugs},
  booktitle    = {{ASE}},
  pages        = {1126--1130},
  publisher    = {{IEEE}},
  year         = {2021}
}
@inproceedings{DBLP:conf/kbse/MacedoAPS21,
  author       = {Jo{\~{a}}o de Macedo and
                  Rui Abreu and
                  Rui Pereira and
                  Jo{\~{a}}o Saraiva},
  title        = {On the Runtime and Energy Performance of WebAssembly: Is WebAssembly
                  superior to JavaScript yet?},
  booktitle    = {{ASE} Workshops},
  pages        = {255--262},
  publisher    = {{IEEE}},
  year         = {2021}
}
@inproceedings{DBLP:conf/qrs/RibeiroAS21,
  author       = {Francisco Ribeiro and
                  Rui Abreu and
                  Jo{\~{a}}o Saraiva},
  title        = {On Understanding Contextual Changes of Failures},
  booktitle    = {{QRS}},
  pages        = {1036--1047},
  publisher    = {{IEEE}},
  year         = {2021}
}
@inproceedings{DBLP:conf/splc/MichelonSMAAA21,
  author       = {Gabriela Karoline Michelon and
                  Bruno Sotto{-}Mayor and
                  Jabier Martinez and
                  Aitor Arrieta and
                  Rui Abreu and
                  Wesley K. G. Assun{\c{c}}{\~{a}}o},
  title        = {Spectrum-based feature localization: a case study using ArgoUML},
  booktitle    = {{SPLC} {(A)}},
  pages        = {126--130},
  publisher    = {{ACM}},
  year         = {2021}
}
@incollection{DBLP:books/sp/21/Feitosa00F0S21,
  author       = {Daniel Feitosa and
                  Lu{\'{\i}}s Cruz and
                  Rui Abreu and
                  Jo{\~{a}}o Paulo Fernandes and
                  Marco Couto and
                  Jo{\~{a}}o Saraiva},
  title        = {Patterns and Energy Consumption: Design, Implementation, Studies,
                  and Stories},
  booktitle    = {Software Sustainability},
  pages        = {89--121},
  publisher    = {Springer},
  year         = {2021}
}
@article{DBLP:journals/corr/abs-2106-01367,
  author       = {David Coimbra and
                  Sofia Reis and
                  Rui Abreu and
                  Corina S. Pasareanu and
                  Hakan Erdogmus},
  title        = {On using distributed representations of source code for the detection
                  of {C} security vulnerabilities},
  journal      = {CoRR},
  volume       = {abs/2106.01367},
  year         = {2021}
}
@article{DBLP:journals/corr/abs-2106-03271,
  author       = {Sofia Reis and
                  Rui Abreu and
                  Luis Cruz},
  title        = {Fixing Vulnerabilities Potentially Hinders Maintainability},
  journal      = {CoRR},
  volume       = {abs/2106.03271},
  year         = {2021}
}
@article{DBLP:journals/corr/abs-2107-06402,
  author       = {Aishwarya Sivaraman and
                  Rui Abreu and
                  Andrew Scott and
                  Tobi Akomolede and
                  Satish Chandra},
  title        = {Mining Idioms in the Wild},
  journal      = {CoRR},
  volume       = {abs/2107.06402},
  year         = {2021}
}
@article{DBLP:journals/corr/abs-2108-03028,
  author       = {Rui Abreu and
                  Marco Couto and
                  Lu{\'{\i}}s Cruz and
                  J{\'{a}}come Cunha and
                  Jo{\~{a}}o Paulo Fernandes and
                  Rui Pereira and
                  Alexandre Perez and
                  Jo{\~{a}}o Saraiva},
  title        = {Green Software Lab: Towards an Engineering Discipline for Green Software},
  journal      = {CoRR},
  volume       = {abs/2108.03028},
  year         = {2021}
}
@article{DBLP:journals/corr/abs-2110-09635,
  author       = {Sofia Reis and
                  Rui Abreu},
  title        = {A ground-truth dataset of real security patches},
  journal      = {CoRR},
  volume       = {abs/2110.09635},
  year         = {2021}
}
@article{DBLP:journals/cce/AbreuTFDPM20,
  author       = {Miguel Abreu and
                  Paula Teixeira and
                  Rui M. Filipe and
                  Lu{\'{\i}}s Domingues and
                  Carla I. C. Pinheiro and
                  Henrique A. Matos},
  title        = {Modeling the deactivation of CaO-based sorbents during multiple Ca-looping
                  cycles for CO\({}_{\mbox{2}}\) post-combustion capture},
  journal      = {Comput. Chem. Eng.},
  volume       = {134},
  pages        = {106679},
  year         = {2020}
}
@article{DBLP:journals/infsof/ZakariLAAR20,
  author       = {Abubakar Zakari and
                  Sai Peck Lee and
                  Rui Abreu and
                  Babiker Hussien Ahmed and
                  Rasheed Abubakar Rasheed},
  title        = {Multiple fault localization of software programs: {A} systematic literature
                  review},
  journal      = {Inf. Softw. Technol.},
  volume       = {124},
  pages        = {106312},
  year         = {2020}
}
@inproceedings{DBLP:conf/centeris/OliveiraLA20,
  author       = {Rui A. F. de Oliveira and
                  Jorge Lopes and
                  Maria I. Abreu},
  title        = {Insights from a project procurement strategy through an action research},
  booktitle    = {CENTERIS/ProjMAN/HCist},
  series       = {Procedia Computer Science},
  volume       = {181},
  pages        = {1002--1010},
  publisher    = {Elsevier},
  year         = {2020}
}
@inproceedings{DBLP:conf/euspn/OliveiraMALASM20,
  author       = {Daniela Oliveira and
                  Rui Miranda and
                  Nuno Abreu and
                  Pedro Leuschner and
                  Ant{\'{o}}nio Abelha and
                  Manuel Santos and
                  Jos{\'{e}} Machado},
  title        = {Management of a Pandemic Based on an openEHR approach},
  booktitle    = {{EUSPN/ICTH}},
  series       = {Procedia Computer Science},
  volume       = {177},
  pages        = {522--527},
  publisher    = {Elsevier},
  year         = {2020}
}
@inproceedings{DBLP:conf/icse/DurieuxFAC20,
  author       = {Thomas Durieux and
                  Jo{\~{a}}o F. Ferreira and
                  Rui Abreu and
                  Pedro Cruz},
  title        = {Empirical review of automated analysis tools on 47, 587 Ethereum smart
                  contracts},
  booktitle    = {{ICSE}},
  pages        = {530--541},
  publisher    = {{ACM}},
  year         = {2020}
}
@inproceedings{DBLP:conf/icse/dAmorimAM20,
  author       = {Marcelo d'Amorim and
                  Rui Abreu and
                  Carlos A. B. Mello},
  title        = {Visual sketching: from image sketches to code},
  booktitle    = {{ICSE} {(NIER)}},
  pages        = {101--104},
  publisher    = {{ACM}},
  year         = {2020}
}
@inproceedings{DBLP:conf/ijcai/ChatterjeeCCAR20,
  author       = {Prantik Chatterjee and
                  Abhijit Chatterjee and
                  Jos{\'{e}} Campos and
                  Rui Abreu and
                  Subhajit Roy},
  title        = {Diagnosing Software Faults Using Multiverse Analysis},
  booktitle    = {{IJCAI}},
  pages        = {1629--1635},
  publisher    = {ijcai.org},
  year         = {2020}
}
@inproceedings{DBLP:conf/kbse/FerreiraCDA20,
  author       = {Jo{\~{a}}o F. Ferreira and
                  Pedro Cruz and
                  Thomas Durieux and
                  Rui Abreu},
  title        = {SmartBugs: {A} Framework to Analyze Solidity Smart Contracts},
  booktitle    = {{ASE}},
  pages        = {1349--1352},
  publisher    = {{IEEE}},
  year         = {2020}
}
@inproceedings{DBLP:conf/lwmoocs/PlazaCMRPGMLCBD20,
  author       = {Pedro Plaza and
                  Manuel Castro and
                  Julia Merino and
                  Maria Teresa Restivo and
                  Aruquia Peixoto and
                  Carina S. Gonz{\'{a}}lez{-}Gonz{\'{a}}lez and
                  Antonio Menacho and
                  F{\'{e}}lix Garc{\'{\i}}a Loro and
                  Elio San Crist{\'{o}}bal and
                  Manuel Bl{\'{a}}zquez and
                  Paloma D{\'{\i}}az and
                  Inmaculada Plaza and
                  Irene Fond{\'{o}}n and
                  Auxiliadora Sarmiento and
                  Iciar Civantos and
                  Cristina Fern{\'{a}}ndez and
                  Susan M. Lord and
                  Diane T. Rover and
                  Rosanna Yuen{-}Yan Chan and
                  Melany M. Ciampi and
                  Russ Meier and
                  Edmundo Tovar and
                  Magdalena Salazar and
                  Susan Zvacek and
                  Jos{\'{e}} A. Ruip{\'{e}}rez Valiente and
                  Blanca Quintana and
                  Sergio Mart{\'{\i}}n and
                  Guillermo Botella and
                  {\'{A}}frica Lopez{-}Rey and
                  Myriam Guedey and
                  Paulo Abreu and
                  Diana Urbano and
                  Rebecca Strachan},
  title        = {Educational Robotics for All: Gender, Diversity, and Inclusion in
                  {STEAM}},
  booktitle    = {{LWMOOCS}},
  pages        = {19--24},
  publisher    = {{IEEE}},
  year         = {2020}
}
@inproceedings{DBLP:conf/msr/DurieuxGHA20,
  author       = {Thomas Durieux and
                  Claire {Le Goues} and
                  Michael Hilton and
                  Rui Abreu},
  title        = {Empirical Study of Restarted and Flaky Builds on Travis {CI}},
  booktitle    = {{MSR}},
  pages        = {254--264},
  publisher    = {{ACM}},
  year         = {2020}
}
@inproceedings{DBLP:conf/qce/GomesFFA20,
  author       = {Cl{\'{a}}udio Gomes and
                  Daniel Fortunato and
                  Jo{\~{a}}o Paulo Fernandes and
                  Rui Abreu},
  title        = {Off-the-shelf Components for Quantum Programming and Testing},
  booktitle    = {Q-SET@QCE},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2705},
  pages        = {14--19},
  publisher    = {CEUR-WS.org},
  year         = {2020}
}
@inproceedings{DBLP:conf/wimob/TeixeiraMAFRC20,
  author       = {Filipe B. Teixeira and
                  Nuno Moreira and
                  Nuno Abreu and
                  Bruno M. Ferreira and
                  Manuel Ricardo and
                  Rui Campos},
  title        = {UDMSim: {A} Simulation Platform for Underwater Data Muling Communications},
  booktitle    = {WiMob},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020}
}
@article{DBLP:journals/corr/abs-2003-11772,
  author       = {Thomas Durieux and
                  Claire {Le Goues} and
                  Michael Hilton and
                  Rui Abreu},
  title        = {Empirical Study of Restarted and Flaky Builds on Travis {CI}},
  journal      = {CoRR},
  volume       = {abs/2003.11772},
  year         = {2020}
}
@article{DBLP:journals/corr/abs-2007-04771,
  author       = {Jo{\~{a}}o F. Ferreira and
                  Pedro Cruz and
                  Thomas Durieux and
                  Rui Abreu},
  title        = {SmartBugs: {A} Framework to Analyze Solidity Smart Contracts},
  journal      = {CoRR},
  volume       = {abs/2007.04771},
  year         = {2020}
}
@article{DBLP:journals/ese/CruzA19,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {Catalog of energy patterns for mobile applications},
  journal      = {Empir. Softw. Eng.},
  volume       = {24},
  number       = {4},
  pages        = {2209--2235},
  year         = {2019}
}
@article{DBLP:journals/ese/CruzAL19,
  author       = {Luis Cruz and
                  Rui Abreu and
                  David Lo},
  title        = {To the attention of mobile software developers: guess what, test your
                  app!},
  journal      = {Empir. Softw. Eng.},
  volume       = {24},
  number       = {4},
  pages        = {2438--2468},
  year         = {2019}
}
@article{DBLP:journals/jserd/0002A19,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {Improving Energy Efficiency Through Automatic Refactoring},
  journal      = {J. Softw. Eng. Res. Dev.},
  volume       = {7},
  pages        = {2},
  year         = {2019}
}
@inproceedings{DBLP:conf/icse/CruzA19,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {EMaaS: energy measurements as a service for mobile applications},
  booktitle    = {{ICSE} {(NIER)}},
  pages        = {101--104},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019}
}
@inproceedings{DBLP:conf/icsm/0002AGLX19,
  author       = {Luis Cruz and
                  Rui Abreu and
                  John C. Grundy and
                  Li Li and
                  Xin Xia},
  title        = {Do Energy-Oriented Changes Hinder Maintainability?},
  booktitle    = {{ICSME}},
  pages        = {29--40},
  publisher    = {{IEEE}},
  year         = {2019}
}
@inproceedings{DBLP:conf/icsm/DurieuxAMB019,
  author       = {Thomas Durieux and
                  Rui Abreu and
                  Martin Monperrus and
                  Tegawend{\'{e}} F. Bissyand{\'{e}} and
                  Luis Cruz},
  title        = {An Analysis of 35+ Million Jobs of Travis {CI}},
  booktitle    = {{ICSME}},
  pages        = {291--295},
  publisher    = {{IEEE}},
  year         = {2019}
}
@inproceedings{DBLP:conf/icspcs/GularteAVMCAR19,
  author       = {Kevin Herman Muraro Gularte and
                  Lucas Martins Alves and
                  Jos{\'{e}} Alfredo Ruiz Vargas and
                  Jo{\~{a}}o Paulo A. Maranh{\~{a}}o and
                  Guilherme C. Carvalho and
                  Sadek C. A. Alfaro and
                  Jesus Franklin Andrade Romero},
  title        = {A Chaotic Synchronization scheme for information security},
  booktitle    = {{ICSPCS}},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2019}
}
@inproceedings{DBLP:conf/icspcs/GularteMVMGR19,
  author       = {Kevin Herman Muraro Gularte and
                  Lu{\'{\i}}za F. Q. Martins and
                  Jos{\'{e}} Alfredo Ruiz Vargas and
                  Jo{\~{a}}o Paulo A. Maranh{\~{a}}o and
                  Willian A. M. Gabalan and
                  Jesus Franklin Andrade Romero},
  title        = {A Scheme for Encryption/Decryption based on Hyperchaotic Systems and
                  Lyapunov Theory},
  booktitle    = {{ICSPCS}},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2019}
}
@inproceedings{DBLP:conf/icspcs/JavidiCMMV19,
  author       = {Elnaz Javidi and
                  Jo{\~{a}}o Paulo C. L. da Costa and
                  Ricardo Kehrle Miranda and
                  Jo{\~{a}}o Paulo A. Maranh{\~{a}}o and
                  Jos{\'{e}} Alfredo Ruiz Vargas},
  title        = {Unsupervised Framework for the Identification of Visual Evoked Potential
                  in {MEG} Measurements},
  booktitle    = {{ICSPCS}},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019}
}
@inproceedings{DBLP:conf/icspcs/JavidiCMMV19a,
  author       = {Elnaz Javidi and
                  Jo{\~{a}}o Paulo C. L. da Costa and
                  Ricardo Kehrle Miranda and
                  Jo{\~{a}}o Paulo A. Maranh{\~{a}}o and
                  Jos{\'{e}} Alfredo Ruiz Vargas},
  title        = {Modified Information Theoretic Criteria for Low Complexity Estimation
                  of the Amount of Components in {MEG} Measurements},
  booktitle    = {{ICSPCS}},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019}
}
@inproceedings{DBLP:conf/icst/PatersonCAKFM19,
  author       = {David Paterson and
                  Jos{\'{e}} Campos and
                  Rui Abreu and
                  Gregory M. Kapfhammer and
                  Gordon Fraser and
                  Phil McMinn},
  title        = {An Empirical Study on the Use of Defect Prediction for Test Case Prioritization},
  booktitle    = {{ICST}},
  pages        = {346--357},
  publisher    = {{IEEE}},
  year         = {2019}
}
@inproceedings{DBLP:conf/ijcai/ReisAd19,
  author       = {Sofia Reis and
                  Rui Abreu and
                  Marcelo d'Amorim},
  title        = {Demystifying the Combination of Dynamic Slicing and Spectrum-based
                  Fault Localization},
  booktitle    = {{IJCAI}},
  pages        = {4760--4766},
  publisher    = {ijcai.org},
  year         = {2019}
}
@inproceedings{DBLP:conf/kbse/CastroPA19,
  author       = {Bruno Castro and
                  Alexandre Perez and
                  Rui Abreu},
  title        = {Pangolin: An SFL-Based Toolset for Feature Localization},
  booktitle    = {{ASE}},
  pages        = {1130--1133},
  publisher    = {{IEEE}},
  year         = {2019}
}
@inproceedings{DBLP:conf/segah/SimoesAGRBC19,
  author       = {Marco Sim{\~{o}}es and
                  Rui Abreu and
                  H{\'{e}}lio Gon{\c{c}}alves and
                  Ana Rodrigues and
                  In{\^{e}}s Bernardino and
                  Miguel Castelo{-}Branco},
  title        = {Serious games for ageing: a pilot interventional study in a cohort
                  of heterogeneous cognitive impairment},
  booktitle    = {SeGAH},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019}
}
@inproceedings{DBLP:conf/sigsoft/CorreiaASN19,
  author       = {Daniel Correia and
                  Rui Abreu and
                  Pedro Santos and
                  Jo{\~{a}}o Nadkarni},
  title        = {{MOTSD:} a multi-objective test selection tool using test suite diagnosability},
  booktitle    = {{ESEC/SIGSOFT} {FSE}},
  pages        = {1070--1074},
  publisher    = {{ACM}},
  year         = {2019}
}
@inproceedings{DBLP:conf/sigsoft/DurieuxDMA19,
  author       = {Thomas Durieux and
                  Fernanda Madeiral and
                  Matias Martinez and
                  Rui Abreu},
  title        = {Empirical review of Java program repair tools: a large-scale experiment
                  on 2, 141 bugs and 23, 551 repair attempts},
  booktitle    = {{ESEC/SIGSOFT} {FSE}},
  pages        = {302--313},
  publisher    = {{ACM}},
  year         = {2019}
}
@inproceedings{DBLP:conf/wpmc/SilvaMA19,
  author       = {R{\'{u}}ben Dias da Silva and
                  Rui Neto Marinheiro and
                  Fernando Brito e Abreu},
  title        = {Crowding Detection Combining Trace Elements from Heterogeneous Wireless
                  Technologies},
  booktitle    = {{WPMC}},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019}
}
@article{DBLP:journals/corr/abs-1901-03302,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {Catalog of Energy Patterns for Mobile Applications},
  journal      = {CoRR},
  volume       = {abs/1901.03302},
  year         = {2019}
}
@article{DBLP:journals/corr/abs-1902-02605,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {EMaaS: Energy Measurements as a Service for Mobile Applications},
  journal      = {CoRR},
  volume       = {abs/1902.02605},
  year         = {2019}
}
@article{DBLP:journals/corr/abs-1902-02610,
  author       = {Luis Cruz and
                  Rui Abreu and
                  David Lo},
  title        = {To the Attention of Mobile Software Developers: Guess What, Test your
                  App!},
  journal      = {CoRR},
  volume       = {abs/1902.02610},
  year         = {2019}
}
@article{DBLP:journals/corr/abs-1904-09416,
  author       = {Thomas Durieux and
                  Rui Abreu and
                  Martin Monperrus and
                  Tegawend{\'{e}} F. Bissyand{\'{e}}},
  title        = {Interviewing the Most Successful Bot on GitHub: Dr Travis {CI} on
                  35+ Million of its Jobs},
  journal      = {CoRR},
  volume       = {abs/1904.09416},
  year         = {2019}
}
@article{DBLP:journals/corr/abs-1905-09375,
  author       = {Thomas Durieux and
                  Rui Abreu},
  title        = {Critical Review of BugSwarm for Fault Localization and Program Repair},
  journal      = {CoRR},
  volume       = {abs/1905.09375},
  year         = {2019}
}
@article{DBLP:journals/corr/abs-1905-11973,
  author       = {Thomas Durieux and
                  Fernanda Madeiral and
                  Matias Martinez and
                  Rui Abreu},
  title        = {Empirical Review of Java Program Repair Tools: {A} Large-Scale Experiment
                  on 2, 141 Bugs and 23, 551 Repair Attempts},
  journal      = {CoRR},
  volume       = {abs/1905.11973},
  year         = {2019}
}
@article{DBLP:journals/corr/abs-1908-08332,
  author       = {Luis Cruz and
                  Rui Abreu and
                  John C. Grundy and
                  Li Li and
                  Xin Xia},
  title        = {Do Energy-oriented Changes Hinder Maintainability?},
  journal      = {CoRR},
  volume       = {abs/1908.08332},
  year         = {2019}
}
@article{DBLP:journals/corr/abs-1910-08768,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {On the Energy Footprint of Mobile Testing Frameworks},
  journal      = {CoRR},
  volume       = {abs/1910.08768},
  year         = {2019}
}
@article{DBLP:journals/corr/abs-1910-10601,
  author       = {Thomas Durieux and
                  Jo{\~{a}}o F. Ferreira and
                  Rui Abreu and
                  Pedro Cruz},
  title        = {Empirical Review of Automated Analysis Tools on 47, 587 Ethereum Smart
                  Contracts},
  journal      = {CoRR},
  volume       = {abs/1910.10601},
  year         = {2019}
}
@article{DBLP:journals/corr/abs-1911-05488,
  author       = {Ricardo J. Bessa and
                  David Rua and
                  Cl{\'{a}}udia Abreu and
                  Paulo Machado and
                  Jos{\'{e}} R. Andrade and
                  Rui Pinto and
                  Carla Gon{\c{c}}alves and
                  Marisa Reis},
  title        = {Data Economy for Prosumers in a Smart Grid Ecosystem},
  journal      = {CoRR},
  volume       = {abs/1911.05488},
  year         = {2019}
}
@article{DBLP:journals/ijoe/TavaresMPAR18,
  author       = {Rafael Tavares and
                  Hugo Mesquita and
                  Rui Penha and
                  Paulo Abreu and
                  Maria Teresa Restivo},
  title        = {An Instrumented Glove for Control Audiovisual Elements in Performing
                  Arts},
  journal      = {Int. J. Online Eng.},
  volume       = {14},
  number       = {2},
  pages        = {173--180},
  year         = {2018}
}
@inproceedings{DBLP:conf/cibse/CruzA18,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {Using Automatic Refactoring to Improve Energy Efficiency of Android
                  Apps},
  booktitle    = {CIbSE},
  pages        = {163--176},
  publisher    = {Curran Associates},
  year         = {2018}
}
@inproceedings{DBLP:conf/eenergy/BessaRAMAPGR18,
  author       = {Ricardo J. Bessa and
                  David Rua and
                  Cl{\'{a}}udia Abreu and
                  Paulo Machado and
                  Jos{\'{e}} R. Andrade and
                  Rui Pinto and
                  Carla Gon{\c{c}}alves and
                  Marisa Reis},
  title        = {Data Economy for Prosumers in a Smart Grid Ecosystem},
  booktitle    = {e-Energy},
  pages        = {622--630},
  publisher    = {{ACM}},
  year         = {2018}
}
@inproceedings{DBLP:conf/icse/CruzA18,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {Measuring the energy footprint of mobile testing frameworks},
  booktitle    = {{ICSE} (Companion Volume)},
  pages        = {400--401},
  publisher    = {{ACM}},
  year         = {2018}
}
@inproceedings{DBLP:conf/icse/PerezA18,
  author       = {Alexandre Perez and
                  Rui Abreu},
  title        = {A qualitative reasoning approach to spectrum-based fault localization},
  booktitle    = {{ICSE} (Companion Volume)},
  pages        = {372--373},
  publisher    = {{ACM}},
  year         = {2018}
}
@inproceedings{DBLP:conf/ijcai/PerezA18,
  author       = {Alexandre Perez and
                  Rui Abreu},
  title        = {Leveraging Qualitative Reasoning to Improve {SFL}},
  booktitle    = {{IJCAI}},
  pages        = {1935--1941},
  publisher    = {ijcai.org},
  year         = {2018}
}
@inproceedings{DBLP:conf/kbse/OzdemirTEA18,
  author       = {Alim Ozdemir and
                  Ayse Tosun and
                  Hakan Erdogmus and
                  Rui Abreu},
  title        = {Lightweight source code monitoring with Triggr},
  booktitle    = {{ASE}},
  pages        = {864--867},
  publisher    = {{ACM}},
  year         = {2018}
}
@inproceedings{DBLP:conf/safeprocess/PerezA18,
  author       = {Alexandre Perez and
                  Rui Abreu},
  title        = {QR-Augmented Spectrum-based Fault Localization},
  booktitle    = {{DX}},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2289},
  publisher    = {CEUR-WS.org},
  year         = {2018}
}
@article{DBLP:journals/corr/abs-1803-05889,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {Using Automatic Refactoring to Improve Energy Efficiency of Android
                  Apps},
  journal      = {CoRR},
  volume       = {abs/1803.05889},
  year         = {2018}
}
@article{DBLP:journals/corr/abs-1805-11232,
  author       = {Gon{\c{c}}alo Abreu and
                  Rui Ferreira Neves and
                  Nuno Horta},
  title        = {Currency exchange prediction using machine learning, genetic algorithms
                  and technical analysis},
  journal      = {CoRR},
  volume       = {abs/1805.11232},
  year         = {2018}
}
@article{DBLP:journals/ijsse/ReisA17,
  author       = {Sofia Reis and
                  Rui Abreu},
  title        = {A Database of Existing Vulnerabilities to Enable Controlled Testing
                  Studies},
  journal      = {Int. J. Secur. Softw. Eng.},
  volume       = {8},
  number       = {3},
  pages        = {1--23},
  year         = {2017}
}
@article{DBLP:journals/tsmc/PassosAR17,
  author       = {L{\'{u}}cio S. Passos and
                  Rui Abreu and
                  Rosaldo J. F. Rossetti},
  title        = {Empirical Evaluation of Similarity Coefficients for Multiagent Fault
                  Localization},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {47},
  number       = {5},
  pages        = {767--782},
  year         = {2017}
}
@inproceedings{DBLP:conf/esorics/ReisA17,
  author       = {Sofia Reis and
                  Rui Abreu},
  title        = {{SECBENCH:} {A} Database of Real Security Vulnerabilities},
  booktitle    = {SecSE@ESORICS},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1977},
  pages        = {69--85},
  publisher    = {CEUR-WS.org},
  year         = {2017}
}
@inproceedings{DBLP:conf/icse/CruzA17,
  author       = {Luis Cruz and
                  Rui Abreu},
  title        = {Performance-Based Guidelines for Energy Efficient Mobile Applications},
  booktitle    = {MOBILESoft@ICSE},
  pages        = {46--57},
  publisher    = {{IEEE}},
  year         = {2017}
}
@inproceedings{DBLP:conf/icse/CruzAR17,
  author       = {Luis Cruz and
                  Rui Abreu and
                  Jean{-}Noel Rouvignac},
  title        = {Leafactor: Improving Energy Efficiency of Android Apps via Automatic
                  Refactoring},
  booktitle    = {MOBILESoft@ICSE},
  pages        = {205--206},
  publisher    = {{IEEE}},
  year         = {2017}
}
@inproceedings{DBLP:conf/icse/PearsonCJFAEPK17,
  author       = {Spencer Pearson and
                  Jos{\'{e}} Campos and
                  Ren{\'{e}} Just and
                  Gordon Fraser and
                  Rui Abreu and
                  Michael D. Ernst and
                  Deric Pang and
                  Benjamin Keller},
  title        = {Evaluating and improving fault localization},
  booktitle    = {{ICSE}},
  pages        = {609--620},
  publisher    = {{IEEE} / {ACM}},
  year         = {2017}
}
@inproceedings{DBLP:conf/icse/PerezAD17,
  author       = {Alexandre Perez and
                  Rui Abreu and
                  Arie van Deursen},
  title        = {A test-suite diagnosability metric for spectrum-based fault localization
                  approaches},
  booktitle    = {{ICSE}},
  pages        = {654--664},
  publisher    = {{IEEE} / {ACM}},
  year         = {2017}
}
@inproceedings{DBLP:conf/icst/PerezAd17,
  author       = {Alexandre Perez and
                  Rui Abreu and
                  Marcelo d'Amorim},
  title        = {Prevalence of Single-Fault Fixes and Its Impact on Fault Localization},
  booktitle    = {{ICST}},
  pages        = {12--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2017}
}
@inproceedings{DBLP:conf/ijcai/RubinAGNMS17,
  author       = {Jonathan Rubin and
                  Rui Abreu and
                  Anurag Ganguli and
                  Saigopal Nelaturi and
                  Ion Matei and
                  Kumar Sricharan},
  title        = {Recognizing Abnormal Heart Sounds Using Deep Learning},
  booktitle    = {KDH@IJCAI},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1891},
  pages        = {13--19},
  publisher    = {CEUR-WS.org},
  year         = {2017}
}
@inproceedings{DBLP:conf/issre/AngPDA17,
  author       = {Aaron Ang and
                  Alexandre Perez and
                  Arie van Deursen and
                  Rui Abreu},
  title        = {Revisiting the Practical Use of Automated Software Fault Localization
                  Techniques},
  booktitle    = {{ISSRE} Workshops},
  pages        = {175--182},
  publisher    = {{IEEE} Computer Society},
  year         = {2017}
}
@article{DBLP:journals/corr/RubinAGNMS17,
  author       = {Jonathan Rubin and
                  Rui Abreu and
                  Anurag Ganguli and
                  Saigopal Nelaturi and
                  Ion Matei and
                  Kumar Sricharan},
  title        = {Recognizing Abnormal Heart Sounds Using Deep Learning},
  journal      = {CoRR},
  volume       = {abs/1707.04642},
  year         = {2017}
}
@article{DBLP:journals/smr/PerezA16,
  author       = {Alexandre Perez and
                  Rui Abreu},
  title        = {Framing program comprehension as fault localization},
  journal      = {J. Softw. Evol. Process.},
  volume       = {28},
  number       = {10},
  pages        = {840--862},
  year         = {2016}
}
@article{DBLP:journals/tse/WongGLAW16,
  author       = {W. Eric Wong and
                  Ruizhi Gao and
                  Yihao Li and
                  Rui Abreu and
                  Franz Wotawa},
  title        = {A Survey on Software Fault Localization},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {42},
  number       = {8},
  pages        = {707--740},
  year         = {2016}
}
@inproceedings{DBLP:conf/cd/SilvanoACGPBBMP16,
  author       = {Cristina Silvano and
                  Giovanni Agosta and
                  Stefano Cherubin and
                  Davide Gadioli and
                  Gianluca Palermo and
                  Andrea Bartolini and
                  Luca Benini and
                  Jan Martinovic and
                  Martin Palkovic and
                  Katerina Slaninov{\'{a}} and
                  Jo{\~{a}}o Bispo and
                  Jo{\~{a}}o M. P. Cardoso and
                  Rui Abreu and
                  Pedro Pinto and
                  Carlo Cavazzoni and
                  Nico Sanna and
                  Andrea Rosario Beccari and
                  Radim Cmar and
                  Erven Rohou},
  title        = {The {ANTAREX} approach to autotuning and adaptivity for energy efficient
                  {HPC} systems},
  booktitle    = {Conf. Computing Frontiers},
  pages        = {288--293},
  publisher    = {{ACM}},
  year         = {2016}
}
@inproceedings{DBLP:conf/cinc/RubinAGNMS16,
  author       = {Jonathan Rubin and
                  Rui Abreu and
                  Anurag Ganguli and
                  Saigopal Nelaturi and
                  Ion Matei and
                  Kumar Sricharan},
  title        = {Classifying Heart Sound Recordings using Deep Convolutional Neural
                  Networks and Mel-Frequency Cepstral Coefficients},
  booktitle    = {CinC},
  publisher    = {www.cinc.org},
  year         = {2016}
}
@inproceedings{DBLP:conf/crisis/AbreuAC16,
  author       = {Rui Abreu and
                  C{\'{e}}sar Andr{\'{e}}s and
                  Ana R. Cavalli},
  title        = {A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game
                  Theory},
  booktitle    = {CRiSIS},
  series       = {Lecture Notes in Computer Science},
  volume       = {10158},
  pages        = {169--182},
  publisher    = {Springer},
  year         = {2016}
}
@inproceedings{DBLP:conf/ecai/CardosoAFK16,
  author       = {Nuno Cardoso and
                  Rui Abreu and
                  Alexander Feldman and
                  Johan de Kleer},
  title        = {A Framework for Automatic Debugging of Functional and Degradation
                  Failures},
  booktitle    = {{ECAI}},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {285},
  pages        = {569--576},
  publisher    = {{IOS} Press},
  year         = {2016}
}
@inproceedings{DBLP:conf/evoW/AbreuCP16,
  author       = {Jos{\'{e}} Abreu and
                  Marcelo F. Caetano and
                  Rui Penha},
  title        = {Computer-Aided Musical Orchestration Using an Artificial Immune System},
  booktitle    = {EvoMUSART},
  series       = {Lecture Notes in Computer Science},
  volume       = {9596},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2016}
}
@inproceedings{DBLP:conf/ph/RubinAAEB16,
  author       = {Jonathan Rubin and
                  Rui Abreu and
                  Shane Ahern and
                  Hoda Eldardiry and
                  Daniel G. Bobrow},
  title        = {Time, frequency {\&} complexity analysis for recognizing panic
                  states from physiologic time-series},
  booktitle    = {PervasiveHealth},
  pages        = {81--88},
  publisher    = {{ACM}},
  year         = {2016}
}
@inproceedings{DBLP:conf/tapp/AbreuACCEG16,
  author       = {Rui Abreu and
                  Dave Archer and
                  Erin Chapman and
                  James Cheney and
                  Hoda Eldardiry and
                  Adri{\`{a}} Gasc{\'{o}}n},
  title        = {Provenance Segmentation},
  booktitle    = {TaPP},
  publisher    = {{USENIX} Association},
  year         = {2016}
}
@article{DBLP:journals/ase/HoferPAW15,
  author       = {Birgit Hofer and
                  Alexandre Perez and
                  Rui Abreu and
                  Franz Wotawa},
  title        = {On the empirical evaluation of similarity coefficients for spreadsheets
                  fault localization},
  journal      = {Autom. Softw. Eng.},
  volume       = {22},
  number       = {1},
  pages        = {47--74},
  year         = {2015}
}
@article{DBLP:journals/sqj/AbreuHPW15,
  author       = {Rui Abreu and
                  Birgit Hofer and
                  Alexandre Perez and
                  Franz Wotawa},
  title        = {Using constraints to diagnose faulty spreadsheets},
  journal      = {Softw. Qual. J.},
  volume       = {23},
  number       = {2},
  pages        = {297--322},
  year         = {2015}
}
@inproceedings{DBLP:conf/edm/StrechtCSMA15,
  author       = {Pedro Strecht and
                  Luis Cruz and
                  Carlos Soares and
                  Jo{\~{a}}o Mendes{-}Moreira and
                  Rui Abreu},
  title        = {A Comparative Study of Regression and Classification Algorithms for
                  Modelling Students' Academic Performance},
  booktitle    = {{EDM}},
  pages        = {392--395},
  publisher    = {International Educational Data Mining Society {(IEDMS)}},
  year         = {2015}
}
@inproceedings{DBLP:conf/huc/RubinEAADPB15,
  author       = {Jonathan Rubin and
                  Hoda Eldardiry and
                  Rui Abreu and
                  Shane Ahern and
                  Honglu Du and
                  Ashish Pattekar and
                  Daniel G. Bobrow},
  title        = {Towards a mobile and wearable system for predicting panic attacks},
  booktitle    = {UbiComp},
  pages        = {529--533},
  publisher    = {{ACM}},
  year         = {2015}
}
@inproceedings{DBLP:conf/icse/AbreuEP15,
  author       = {Rui Abreu and
                  Hakan Erdogmus and
                  Alexandre Perez},
  title        = {CodeAware: Sensor-Based Fine-Grained Monitoring and Management of
                  Software Artifacts},
  booktitle    = {{ICSE} {(2)}},
  pages        = {551--554},
  publisher    = {{IEEE} Computer Society},
  year         = {2015}
}
@inproceedings{DBLP:conf/ijcai/PassosAR15,
  author       = {L{\'{u}}cio S. Passos and
                  Rui Abreu and
                  Rosaldo J. F. Rossetti},
  title        = {Spectrum-Based Fault Localisation for Multi-Agent Systems},
  booktitle    = {{IJCAI}},
  pages        = {1134--1140},
  publisher    = {{AAAI} Press},
  year         = {2015}
}
@inproceedings{DBLP:conf/mum/CruzRAAEB15,
  author       = {Luis Cruz and
                  Jonathan Rubin and
                  Rui Abreu and
                  Shane Ahern and
                  Hoda Eldardiry and
                  Daniel G. Bobrow},
  title        = {A wearable and mobile intervention delivery system for individuals
                  with panic disorder},
  booktitle    = {{MUM}},
  pages        = {175--182},
  publisher    = {{ACM}},
  year         = {2015}
}
@inproceedings{DBLP:conf/pts/AbreuAHW15,
  author       = {Rui Abreu and
                  Simon Au{\ss}erlechner and
                  Birgit Hofer and
                  Franz Wotawa},
  title        = {Testing for Distinguishing Repair Candidates in Spreadsheets - the
                  Mussco Approach},
  booktitle    = {{ICTSS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9447},
  pages        = {124--140},
  publisher    = {Springer},
  year         = {2015}
}
@inproceedings{DBLP:conf/safeprocess/AbreuBEFHHKPAB15,
  author       = {Rui Abreu and
                  Daniel G. Bobrow and
                  Hoda Eldardiry and
                  Alexander Feldman and
                  John Hanley and
                  Tomonori Honda and
                  Johan de Kleer and
                  Alexandre Perez and
                  Dave Archer and
                  David Burke},
  title        = {Diagnosing Advanced Persistent Threats: {A} Position Paper},
  booktitle    = {{DX}},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1507},
  pages        = {193--200},
  publisher    = {CEUR-WS.org},
  year         = {2015}
}
@inproceedings{DBLP:conf/safeprocess/HondaLESAPI15,
  author       = {Tomonori Honda and
                  Linxia Liao and
                  Hoda Eldardiry and
                  Bhaskar Saha and
                  Rui Abreu and
                  Radu Pavel and
                  Jonathan Iverson},
  title        = {Device Health Estimation by Combining Contextual Control Information
                  with Sensor Data},
  booktitle    = {{DX}},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1507},
  pages        = {209--216},
  publisher    = {CEUR-WS.org},
  year         = {2015}
}
@inproceedings{DBLP:conf/ssbse/CamposFAA15,
  author       = {Jos{\'{e}} Campos and
                  Gordon Fraser and
                  Andrea Arcuri and
                  Rui Abreu},
  title        = {Continuous Test Generation on Guava},
  booktitle    = {{SSBSE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9275},
  pages        = {228--234},
  publisher    = {Springer},
  year         = {2015}
}
@inproceedings{DBLP:conf/teem/RibeiroACFSPA15,
  author       = {Diogo Ribeiro and
                  Tiago Abreu and
                  Rui Camposinhos and
                  Carlos F{\'{e}}lix and
                  Rui Gomes dos Santos and
                  Maria de F{\'{a}}tima Portela and
                  S{\'{\i}}lvia Azevedo},
  title        = {Academic internships: the experience of the civil engineering department
                  of {ISEP}},
  booktitle    = {{TEEM}},
  pages        = {611--616},
  publisher    = {{ACM}},
  year         = {2015}
}
@proceedings{DBLP:conf/euc/2015,
  editor       = {Eli Bozorgzadeh and
                  Jo{\~{a}}o M. P. Cardoso and
                  Rui Abreu and
                  Seda Ogrenci Memik},
  title        = {13th {IEEE} International Conference on Embedded and Ubiquitous Computing,
                  {EUC} 2013, Porto, Portugal, October 21-23, 2015},
  publisher    = {{IEEE} Computer Society},
  year         = {2015}
}
@article{DBLP:journals/corr/PintoAC15,
  author       = {Pedro Pinto and
                  Rui Abreu and
                  Jo{\~{a}}o M. P. Cardoso},
  title        = {Fault Detection in {C} Programs using Monitoring of Range Values:
                  Preliminary Results},
  journal      = {CoRR},
  volume       = {abs/1505.01878},
  year         = {2015}
}
@article{DBLP:journals/jss/PerezAR14,
  author       = {Alexandre Perez and
                  Rui Abreu and
                  Andr{\'{e}} Riboira},
  title        = {A dynamic code coverage approach to maximize fault localization efficiency},
  journal      = {J. Syst. Softw.},
  volume       = {90},
  pages        = {18--28},
  year         = {2014}
}
@inproceedings{DBLP:conf/ecai/HoferAPW14,
  author       = {Birgit Hofer and
                  Rui Abreu and
                  Alexandre Perez and
                  Franz Wotawa},
  title        = {Generation of Relevant Spreadsheet Repair Candidates},
  booktitle    = {{ECAI}},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {263},
  pages        = {1027--1028},
  publisher    = {{IOS} Press},
  year         = {2014}
}
@inproceedings{DBLP:conf/iccsa/AbreuSC14,
  author       = {Pedro H. Abreu and
                  Carlos Soares and
                  Rui Carlos Camacho},
  title        = {Distributed Environment Framework for Optimization Experiments},
  booktitle    = {{ICCSA} (Workshops/Short Papers/Posters)},
  pages        = {256--259},
  publisher    = {{IEEE} Computer Society},
  year         = {2014}
}
@inproceedings{DBLP:conf/icse/CasanovaGSA14,
  author       = {Paulo Casanova and
                  David Garlan and
                  Bradley R. Schmerl and
                  Rui Abreu},
  title        = {Diagnosing unobserved components in self-adaptive systems},
  booktitle    = {{SEAMS}},
  pages        = {75--84},
  publisher    = {{ACM}},
  year         = {2014}
}
@inproceedings{DBLP:conf/icsm/AbreuCFMPS14,
  author       = {Rui Abreu and
                  J{\'{a}}come Cunha and
                  Jo{\~{a}}o Paulo Fernandes and
                  Pedro Martins and
                  Alexandre Perez and
                  Jo{\~{a}}o Saraiva},
  title        = {Smelling Faults in Spreadsheets},
  booktitle    = {{ICSME}},
  pages        = {111--120},
  publisher    = {{IEEE} Computer Society},
  year         = {2014}
}
@inproceedings{DBLP:conf/icsm/AbreuCFMPS14a,
  author       = {Rui Abreu and
                  J{\'{a}}come Cunha and
                  Jo{\~{a}}o Paulo Fernandes and
                  Pedro Martins and
                  Alexandre Perez and
                  Jo{\~{a}}o Saraiva},
  title        = {FaultySheet Detective: When Smells Meet Fault Localization},
  booktitle    = {{ICSME}},
  pages        = {625--628},
  publisher    = {{IEEE} Computer Society},
  year         = {2014}
}
@inproceedings{DBLP:conf/iwpc/PerezA14,
  author       = {Alexandre Perez and
                  Rui Abreu},
  title        = {A diagnosis-based approach to software comprehension},
  booktitle    = {{ICPC}},
  pages        = {37--47},
  publisher    = {{ACM}},
  year         = {2014}
}
@inproceedings{DBLP:conf/kbse/CamposAFA14,
  author       = {Jos{\'{e}} Carlos Medeiros de Campos and
                  Andrea Arcuri and
                  Gordon Fraser and
                  Rui Filipe Lima Maranh{\~{a}}o de Abreu},
  title        = {Continuous test generation: enhancing continuous integration with
                  automated test generation},
  booktitle    = {{ASE}},
  pages        = {55--66},
  publisher    = {{ACM}},
  year         = {2014}
}
@inproceedings{DBLP:conf/quatic/AbreuF14,
  author       = {Rui Abreu and
                  Jo{\~{a}}o Pascoal Faria},
  title        = {Foreword of the 5th Portuguese Software Engineering Doctoral Symposium
                  (SEDES'2014)},
  booktitle    = {{QUATIC}},
  pages        = {274--275},
  publisher    = {{IEEE} Computer Society},
  year         = {2014}
}
@article{DBLP:journals/ijhisi/PaivaPCA13,
  author       = {Sara Paiva and
                  Rui Peleja and
                  Jorge Cunha and
                  Carlos Abreu},
  title        = {Preventing Alzheimer's Wandering: The Potential of Involving Communities},
  journal      = {Int. J. Heal. Inf. Syst. Informatics},
  volume       = {8},
  number       = {4},
  pages        = {32--43},
  year         = {2013}
}
@inproceedings{DBLP:conf/aaai/CardosoA13,
  author       = {Nuno Cardoso and
                  Rui Abreu},
  title        = {A Kernel Density Estimate-Based Approach to Component Goodness Modeling},
  booktitle    = {{AAAI}},
  pages        = {152--158},
  publisher    = {{AAAI} Press},
  year         = {2013}
}
@inproceedings{DBLP:conf/epia/CardosoA13,
  author       = {Nuno Cardoso and
                  Rui Abreu},
  title        = {A Distributed Approach to Diagnosis Candidate Generation},
  booktitle    = {{EPIA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8154},
  pages        = {175--186},
  publisher    = {Springer},
  year         = {2013}
}
@inproceedings{DBLP:conf/fase/HoferRWAG13,
  author       = {Birgit Hofer and
                  Andr{\'{e}} Riboira and
                  Franz Wotawa and
                  Rui Abreu and
                  Elisabeth Getzner},
  title        = {On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets},
  booktitle    = {{FASE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7793},
  pages        = {68--82},
  publisher    = {Springer},
  year         = {2013}
}
@inproceedings{DBLP:conf/healthcom/OsorioFAS13,
  author       = {Eduardo Osorio and
                  Liliana Ferreira and
                  Rui Abreu and
                  Filipe Sousa},
  title        = {Interoperability in Ambient Assisted Living using OpenEHR},
  booktitle    = {Healthcom},
  pages        = {394--398},
  publisher    = {{IEEE}},
  year         = {2013}
}
@inproceedings{DBLP:conf/icpp/MachadoPA13,
  author       = {Rui Machado and
                  Vasco Pedro and
                  Salvador Abreu},
  title        = {On the Scalability of Constraint Programming on Hierarchical Multiprocessor
                  Systems},
  booktitle    = {{ICPP}},
  pages        = {530--535},
  publisher    = {{IEEE} Computer Society},
  year         = {2013}
}
@inproceedings{DBLP:conf/icse/CasanovaGSA13,
  author       = {Paulo Casanova and
                  David Garlan and
                  Bradley R. Schmerl and
                  Rui Abreu},
  title        = {Diagnosing architectural run-time failures},
  booktitle    = {{SEAMS}},
  pages        = {103--112},
  publisher    = {{IEEE} Computer Society},
  year         = {2013}
}
@inproceedings{DBLP:conf/issre/PerezA13,
  author       = {Alexandre Perez and
                  Rui Abreu},
  title        = {Cues for scent intensification in debugging},
  booktitle    = {{ISSRE} (Supplemental Proceedings)},
  pages        = {120--125},
  publisher    = {{IEEE} Computer Society},
  year         = {2013}
}
@inproceedings{DBLP:conf/issta/SteimannFA13,
  author       = {Friedrich Steimann and
                  Marcus Frenkel and
                  Rui Abreu},
  title        = {Threats to the validity and value of empirical assessments of the
                  accuracy of coverage-based fault locators},
  booktitle    = {{ISSTA}},
  pages        = {314--324},
  publisher    = {{ACM}},
  year         = {2013}
}
@inproceedings{DBLP:conf/itng/CamposA13,
  author       = {Jos{\'{e}} Campos and
                  Rui Abreu},
  title        = {Encoding Test Requirements as Constraints for Test Suite Minimization},
  booktitle    = {{ITNG}},
  pages        = {317--322},
  publisher    = {{IEEE} Computer Society},
  year         = {2013}
}
@inproceedings{DBLP:conf/kbse/CamposAFd13,
  author       = {Jos{\'{e}} Campos and
                  Rui Abreu and
                  Gordon Fraser and
                  Marcelo d'Amorim},
  title        = {Entropy-based test generation for improved fault localization},
  booktitle    = {{ASE}},
  pages        = {257--267},
  publisher    = {{IEEE}},
  year         = {2013}
}
@inproceedings{DBLP:conf/musepat/CardosoA13,
  author       = {Nuno Cardoso and
                  Rui Abreu},
  title        = {{MHS2:} {A} Map-Reduce Heuristic-Driven Minimal Hitting Set Search
                  Algorithm},
  booktitle    = {{MUSEPAT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8063},
  pages        = {25--36},
  publisher    = {Springer},
  year         = {2013}
}
@inproceedings{DBLP:conf/padl/MachadoAD13,
  author       = {Rui Machado and
                  Salvador Abreu and
                  Daniel Diaz},
  title        = {Parallel Performance of Declarative Programming Using a {PGAS} Model},
  booktitle    = {{PADL}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7752},
  pages        = {244--260},
  publisher    = {Springer},
  year         = {2013}
}
@inproceedings{DBLP:conf/pts/KocaSA13,
  author       = {Feyzullah Koca and
                  Hasan S{\"{o}}zer and
                  Rui Abreu},
  title        = {Spectrum-Based Fault Localization for Diagnosing Concurrency Faults},
  booktitle    = {{ICTSS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8254},
  pages        = {239--254},
  publisher    = {Springer},
  year         = {2013}
}
@inproceedings{DBLP:conf/qsic/CamposA13,
  author       = {Jos{\'{e}} Campos and
                  Rui Abreu},
  title        = {Leveraging a Constraint Solver for Minimizing Test Suites},
  booktitle    = {{QSIC}},
  pages        = {253--259},
  publisher    = {{IEEE}},
  year         = {2013}
}
@inproceedings{DBLP:conf/sigsoft/MachadoC013,
  author       = {Pedro Machado and
                  Jos{\'{e}} Campos and
                  Rui Abreu},
  title        = {MZoltar: automatic debugging of Android applications},
  booktitle    = {DeMobile@ESEC/FSE},
  pages        = {9--16},
  publisher    = {{ACM}},
  year         = {2013}
}
@inproceedings{DBLP:conf/vissoft/GouveiaCA13,
  author       = {Carlos Gouveia and
                  Jos{\'{e}} Campos and
                  Rui Abreu},
  title        = {Using {HTML5} visualizations in software fault localization},
  booktitle    = {{VISSOFT}},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2013}
}
@incollection{DBLP:books/sp/awareness/Gonzalez-SanchezPAGG13,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  {\'{E}}ric Piel and
                  Rui Abreu and
                  Hans{-}Gerhard Gross and
                  Arjan J. C. van Gemund},
  title        = {Prioritizing Tests for Fault Localization},
  booktitle    = {Situation Awareness with Systems of Systems},
  pages        = {247--257},
  publisher    = {Springer},
  year         = {2013}
}
@article{DBLP:journals/corr/abs-1301-7699,
  author       = {Rui Machado and
                  Salvador Abreu and
                  Daniel Diaz},
  title        = {Parallel Local Search: Experiments with a PGAS-based programming model},
  journal      = {CoRR},
  volume       = {abs/1301.7699},
  year         = {2013}
}
@article{DBLP:journals/ijcicg/RiboiraRAC12,
  author       = {Andr{\'{e}} Riboira and
                  Rui Rodrigues and
                  Rui Abreu and
                  Jos{\'{e}} Campos},
  title        = {Integrating Interactive Visualizations of Automatic Debugging Techniques
                  on an Integrated Development Environment},
  journal      = {Int. J. Creative Interfaces Comput. Graph.},
  volume       = {3},
  number       = {2},
  pages        = {42--59},
  year         = {2012}
}
@article{DBLP:journals/sigsoft/HoferWA12,
  author       = {Birgit Hofer and
                  Franz Wotawa and
                  Rui Abreu},
  title        = {{AI} for the win: improving spectrum-based fault localization},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {37},
  number       = {6},
  pages        = {1--8},
  year         = {2012}
}
@inproceedings{DBLP:conf/cibse/AbreuRW12,
  author       = {Rui Abreu and
                  Andr{\'{e}} Riboira and
                  Franz Wotawa},
  title        = {Constraint-based Debugging of Spreadsheets},
  booktitle    = {CIbSE},
  pages        = {1--14},
  year         = {2012}
}
@inproceedings{DBLP:conf/iccci/AndresAN12,
  author       = {C{\'{e}}sar Andr{\'{e}}s and
                  Rui Abreu and
                  Alberto Nu{\~{n}}ez},
  title        = {{OCE:} An Online Colaborative Editor},
  booktitle    = {{ICCCI} {(2)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7654},
  pages        = {89--98},
  publisher    = {Springer},
  year         = {2012}
}
@inproceedings{DBLP:conf/issre/AbreuRW12,
  author       = {Rui Abreu and
                  Andr{\'{e}} Riboira and
                  Franz Wotawa},
  title        = {Debugging Spreadsheets: {A} CSP-based Approach},
  booktitle    = {{ISSRE} Workshops},
  pages        = {159--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2012}
}
@inproceedings{DBLP:conf/issre/PerezRA12,
  author       = {Alexandre Perez and
                  Andr{\'{e}} Riboira and
                  Rui Abreu},
  title        = {A Topology-Based Model for Estimating the Diagnostic Efficiency of
                  Statistics-Based Approaches},
  booktitle    = {{ISSRE} Workshops},
  pages        = {171--176},
  publisher    = {{IEEE} Computer Society},
  year         = {2012}
}
@inproceedings{DBLP:conf/kbse/CamposRPA12,
  author       = {Jos{\'{e}} Campos and
                  Andr{\'{e}} Riboira and
                  Alexandre Perez and
                  Rui Abreu},
  title        = {GZoltar: an eclipse plug-in for testing and debugging},
  booktitle    = {{ASE}},
  pages        = {378--381},
  publisher    = {{ACM}},
  year         = {2012}
}
@inproceedings{DBLP:conf/pts/SantosA12,
  author       = {Jo{\~{a}}o A. M. Santos and
                  Rui Abreu},
  title        = {Lightweight Automatic Error Detection by Monitoring Collar Variables},
  booktitle    = {{ICTSS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7641},
  pages        = {215--230},
  publisher    = {Springer},
  year         = {2012}
}
@inproceedings{DBLP:conf/quatic/CardosoA12,
  author       = {Nuno Cardoso and
                  Rui Abreu},
  title        = {Self-Healing on the Cloud: State-of-the-Art and Future Challenges},
  booktitle    = {{QUATIC}},
  pages        = {279--284},
  publisher    = {{IEEE} Computer Society},
  year         = {2012}
}
@article{DBLP:journals/ife/MachadoLAP11,
  author       = {Rui Machado and
                  Carsten Lojewski and
                  Salvador Abreu and
                  Franz{-}Josef Pfreundt},
  title        = {Unbalanced tree search on a manycore system using the {GPI} programming
                  model},
  journal      = {Comput. Sci. Res. Dev.},
  volume       = {26},
  number       = {3-4},
  pages        = {229--236},
  year         = {2011}
}
@article{DBLP:journals/jss/AbreuZG11,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {Simultaneous debugging of software faults},
  journal      = {J. Syst. Softw.},
  volume       = {84},
  number       = {4},
  pages        = {573--586},
  year         = {2011}
}
@article{DBLP:journals/spe/Gonzalez-SanchezPAGG11,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  {\'{E}}ric Piel and
                  Rui Abreu and
                  Hans{-}Gerhard Gro{\ss} and
                  Arjan J. C. van Gemund},
  title        = {Prioritizing tests for software fault diagnosis},
  journal      = {Softw. Pract. Exp.},
  volume       = {41},
  number       = {10},
  pages        = {1105--1129},
  year         = {2011}
}
@inproceedings{DBLP:conf/aaai/Gonzalez-SanchezAGG11,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Rui Abreu and
                  Hans{-}Gerhard Gro{\ss} and
                  Arjan J. C. van Gemund},
  title        = {Spectrum-Based Sequential Diagnosis},
  booktitle    = {{AAAI}},
  pages        = {189--196},
  publisher    = {{AAAI} Press},
  year         = {2011}
}
@inproceedings{DBLP:conf/ecsa/CasanovaSGA11,
  author       = {Paulo Casanova and
                  Bradley R. Schmerl and
                  David Garlan and
                  Rui Abreu},
  title        = {Architecture-Based Run-Time Fault Diagnosis},
  booktitle    = {{ECSA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6903},
  pages        = {261--277},
  publisher    = {Springer},
  year         = {2011}
}
@inproceedings{DBLP:conf/icse/RiboiraAR11,
  author       = {Andr{\'{e}} Riboira and
                  Rui Abreu and
                  Rui Rodrigues},
  title        = {An OpenGL-based eclipse plug-in for visual debugging},
  booktitle    = {TOPI@ICSE},
  pages        = {60},
  publisher    = {{ACM}},
  year         = {2011}
}
@inproceedings{DBLP:conf/icst/GuptaGA11,
  author       = {Shekhar Gupta and
                  Arjan J. C. van Gemund and
                  Rui Abreu},
  title        = {Probabilistic Error Propagation Modeling in Logic Circuits},
  booktitle    = {{ICST} Workshops},
  pages        = {617--623},
  publisher    = {{IEEE} Computer Society},
  year         = {2011}
}
@inproceedings{DBLP:conf/ieaaie/AbreuGG11,
  author       = {Rui Abreu and
                  Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Arjan J. C. van Gemund},
  title        = {A Diagnostic Reasoning Approach to Defect Prediction},
  booktitle    = {{IEA/AIE} {(2)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6704},
  pages        = {416--425},
  publisher    = {Springer},
  year         = {2011}
}
@inproceedings{DBLP:conf/kbse/Gonzalez-SanchezAGG11,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Rui Abreu and
                  Hans{-}Gerhard Gross and
                  Arjan J. C. van Gemund},
  title        = {Prioritizing tests for fault localization through ambiguity group
                  reduction},
  booktitle    = {{ASE}},
  pages        = {83--92},
  publisher    = {{IEEE} Computer Society},
  year         = {2011}
}
@inproceedings{DBLP:conf/sac/Gonzalez-SanchezAGG11,
  author       = {Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Rui Abreu and
                  Hans{-}Gerhard Gro{\ss} and
                  Arjan J. C. van Gemund},
  title        = {An empirical study on the usage of testability information to fault
                  localization in software},
  booktitle    = {{SAC}},
  pages        = {1398--1403},
  publisher    = {{ACM}},
  year         = {2011}
}
@article{DBLP:journals/ai/AbreuG10,
  author       = {Rui Abreu and
                  Arjan J. C. van Gemund},
  title        = {Diagnosing multiple intermittent failures using maximum likelihood
                  estimation},
  journal      = {Artif. Intell.},
  volume       = {174},
  number       = {18},
  pages        = {1481--1497},
  year         = {2010}
}
@article{DBLP:journals/jcheminf/AbreuFQF10,
  author       = {Rui M. V. Abreu and
                  Hugo J. C. Froufe and
                  Maria Queiroz and
                  Isabel C. F. R. Ferreira},
  title        = {{MOLA:} a bootable, self-configuring system for virtual screening
                  using AutoDock4/Vina on computer clusters},
  journal      = {J. Cheminformatics},
  volume       = {2},
  pages        = {10},
  year         = {2010}
}
@inproceedings{DBLP:conf/promise/AbreuGG10,
  author       = {Rui Abreu and
                  Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Arjan J. C. van Gemund},
  title        = {Exploiting count spectra for Bayesian fault localization},
  booktitle    = {{PROMISE}},
  pages        = {12},
  publisher    = {{ACM}},
  year         = {2010}
}
@inproceedings{DBLP:conf/qsic/SozerAAG10,
  author       = {Hasan S{\"{o}}zer and
                  Rui Abreu and
                  Mehmet Aksit and
                  Arjan J. C. van Gemund},
  title        = {Increasing System Availability with Local Recovery Based on Fault
                  Localization},
  booktitle    = {{QSIC}},
  pages        = {276--281},
  publisher    = {{IEEE} Computer Society},
  year         = {2010}
}
@inproceedings{DBLP:conf/taicpart/RiboiraA10,
  author       = {Andr{\'{e}} Riboira and
                  Rui Abreu},
  title        = {The GZoltar Project: {A} Graphical Debugger Interface},
  booktitle    = {{TAIC} {PART}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {215--218},
  publisher    = {Springer},
  year         = {2010}
}
@phdthesis{DBLP:phd/basesearch/Abreu09,
  author       = {Rui Abreu},
  title        = {Spectrum-based Fault Localization in Embedded Software},
  school       = {Delft University of Technology, Netherlands},
  year         = {2009}
}
@article{DBLP:journals/jss/AbreuZGG09,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Rob Golsteijn and
                  Arjan J. C. van Gemund},
  title        = {A practical evaluation of spectrum-based fault localization},
  journal      = {J. Syst. Softw.},
  volume       = {82},
  number       = {11},
  pages        = {1780--1792},
  year         = {2009}
}
@inproceedings{DBLP:conf/ijcai/AbreuZG09,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {A New Bayesian Approach to Multiple Intermittent Fault Diagnosis},
  booktitle    = {{IJCAI}},
  pages        = {653--658},
  year         = {2009}
}
@inproceedings{DBLP:conf/kbse/AbreuZG09,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {Spectrum-Based Multiple Fault Localization},
  booktitle    = {{ASE}},
  pages        = {88--99},
  publisher    = {{IEEE} Computer Society},
  year         = {2009}
}
@inproceedings{DBLP:conf/kbse/JanssenAG09,
  author       = {Tom Janssen and
                  Rui Abreu and
                  Arjan J. C. van Gemund},
  title        = {Zoltar: {A} Toolset for Automatic Fault Localization},
  booktitle    = {{ASE}},
  pages        = {662--664},
  publisher    = {{IEEE} Computer Society},
  year         = {2009}
}
@inproceedings{DBLP:conf/qsic/AbreuZG09,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {Localizing Software Faults Simultaneously},
  booktitle    = {{QSIC}},
  pages        = {367--376},
  publisher    = {{IEEE} Computer Society},
  year         = {2009}
}
@inproceedings{DBLP:conf/sac/AbreuMSG09,
  author       = {Rui Abreu and
                  Wolfgang Mayer and
                  Markus Stumptner and
                  Arjan J. C. van Gemund},
  title        = {Refining spectrum-based fault localization rankings},
  booktitle    = {{SAC}},
  pages        = {409--414},
  publisher    = {{ACM}},
  year         = {2009}
}
@inproceedings{DBLP:conf/sara/AbreuG09,
  author       = {Rui Abreu and
                  Arjan J. C. van Gemund},
  title        = {A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application
                  to Model-Based Diagnosis},
  booktitle    = {{SARA}},
  publisher    = {{AAAI}},
  year         = {2009}
}
@inproceedings{DBLP:conf/enase/Abreu0ZG08,
  author       = {Rui Abreu and
                  Alberto Gonz{\'{a}}lez and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {Using Fault Screeners for Software Error Detection},
  booktitle    = {{ENASE} (Selected Papers)},
  series       = {Communications in Computer and Information Science},
  volume       = {69},
  pages        = {60--74},
  year         = {2008}
}
@inproceedings{DBLP:conf/enase/AbreuGZG08,
  author       = {Rui Abreu and
                  Alberto Gonz{\'{a}}lez{-}Sanchez and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {On the Performance of Fault Screeners in Software Development and
                  Deployment},
  booktitle    = {{ENASE}},
  pages        = {123--130},
  publisher    = {{INSTICC} Press},
  year         = {2008}
}
@inproceedings{DBLP:conf/issta/AbreuZG08,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {An observation-based model for fault localization},
  booktitle    = {{WODA}},
  pages        = {64--70},
  publisher    = {{ACM}},
  year         = {2008}
}
@inproceedings{DBLP:conf/sac/AbreuGZG08,
  author       = {Rui Abreu and
                  Alberto Gonz{\'{a}}lez and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {Automatic software fault localization using generic program invariants},
  booktitle    = {{SAC}},
  pages        = {712--717},
  publisher    = {{ACM}},
  year         = {2008}
}
@inproceedings{DBLP:conf/ssiri/ZoeteweijPAFG08,
  author       = {Peter Zoeteweij and
                  Jurryt Pietersma and
                  Rui Abreu and
                  Alexander Feldman and
                  Arjan J. C. van Gemund},
  title        = {Automated Fault Diagnosis in Embedded Systems},
  booktitle    = {{SSIRI}},
  pages        = {103--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2008}
}
@inproceedings{DBLP:conf/ecbs/ZoeteweijAGG07,
  author       = {Peter Zoeteweij and
                  Rui Abreu and
                  Rob Golsteijn and
                  Arjan J. C. van Gemund},
  title        = {Diagnosis of Embedded Software Using Program Spectra},
  booktitle    = {{ECBS}},
  pages        = {213--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2007}
}
@article{DBLP:journals/csi/CaleroRBAP06,
  author       = {Coral Calero and
                  Francisco Ruiz and
                  Aline L{\'{u}}cia Baroni and
                  Fernando Brito e Abreu and
                  Mario Piattini},
  title        = {An ontological approach to describe the {SQL:} 2003 object-relational
                  features},
  journal      = {Comput. Stand. Interfaces},
  volume       = {28},
  number       = {6},
  pages        = {695--713},
  year         = {2006}
}
@inproceedings{DBLP:conf/prdc/AbreuZG06,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {An Evaluation of Similarity Coefficients for Software Fault Localization},
  booktitle    = {{PRDC}},
  pages        = {39--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2006}
}
@article{DBLP:journals/corr/abs-cs-0607116,
  author       = {Rui Abreu and
                  Peter Zoeteweij and
                  Arjan J. C. van Gemund},
  title        = {Program Spectra Analysis in Embedded Software: {A} Case Study},
  journal      = {CoRR},
  volume       = {abs/cs/0607116},
  year         = {2006}
}
@inproceedings{DBLP:conf/ict/AbreuSS04,
  author       = {Ricardo Matos Abreu and
                  Miguel Jorge Alves de Sousa and
                  M{\'{a}}rio Rui Santos},
  title        = {A Cost-Effective Local Positioning System Architecture Based on TDoA},
  booktitle    = {{ICT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3124},
  pages        = {858--865},
  publisher    = {Springer},
  year         = {2004}
}
@inproceedings{DBLP:conf/iwann/AlonsoLHAST97,
  author       = {Rafael Alonso Sol{\'{\i}}s and
                  Ignacio L{\'{o}}pez{-}Coviella and
                  Francisco Javier Hern{\'{a}}ndez D{\'{\i}}az and
                  Pedro Abreu Gonz{\'{a}}lez and
                  Eduardo Salido Ru{\'{\i}}z and
                  L. Tabares},
  title        = {Interactions Between Environmental and Hormonal Oscillations Induce
                  Plastic Changes in a Simple Neuroendocrine Transducer},
  booktitle    = {{IWANN}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1240},
  pages        = {72--81},
  publisher    = {Springer},
  year         = {1997}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics