Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Raul Barbosa
@article{DBLP:journals/computer/CerveiraFB24,
author = {Frederico Cerveira and
Ant{\'{o}}nio Howcroft Ferreira and
Raul Barbosa},
title = {Resilient Virtualization},
journal = {Computer},
volume = {57},
number = {2},
pages = {70--78},
year = {2024},
url = {https://doi.org/10.1109/MC.2023.3306617},
doi = {10.1109/MC.2023.3306617},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/CerveiraFB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/BarbosaFAC24,
author = {Raul Barbosa and
Jo{\~{a}}o Pedro Fonseca and
Marco Ara{\'{u}}jo and
Daniel Corujo},
title = {Vinia: Voice-enabled intent-based networking for industrial automation},
journal = {Comput. Sci. Inf. Syst.},
volume = {21},
number = {1},
pages = {395--418},
year = {2024},
url = {https://doi.org/10.2298/csis230213002b},
doi = {10.2298/CSIS230213002B},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comsis/BarbosaFAC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/LimaAGCBB23,
author = {Stanley Lima and
Filipe Ara{\'{u}}jo and
Miguel de Oliveira Guerreiro and
Jaime Correia and
Andr{\'{e}} Bento and
Raul Barbosa},
title = {Efficient Causal Access in Geo-Replicated Storage Systems},
journal = {J. Grid Comput.},
volume = {21},
number = {1},
pages = {8},
year = {2023},
url = {https://doi.org/10.1007/s10723-022-09640-z},
doi = {10.1007/S10723-022-09640-Z},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/grid/LimaAGCBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/BentoAB23,
author = {Andr{\'{e}} Bento and
Filipe Ara{\'{u}}jo and
Raul Barbosa},
title = {Cost-Availability Aware Scaling: Towards Optimal Scaling of Cloud
Services},
journal = {J. Grid Comput.},
volume = {21},
number = {4},
pages = {80},
year = {2023},
url = {https://doi.org/10.1007/s10723-023-09718-2},
doi = {10.1007/S10723-023-09718-2},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/grid/BentoAB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HijaziDCCBMCCM23,
author = {Haytham Hijazi and
Jo{\~{a}}o Dur{\~{a}}es and
Ricardo Couceiro and
Jo{\~{a}}o Castelhano and
Raul Barbosa and
J{\'{u}}lio Medeiros and
Miguel Castelo{-}Branco and
Paulo de Carvalho and
Henrique Madeira},
title = {Quality Evaluation of Modern Code Reviews Through Intelligent Biometric
Program Comprehension},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {2},
pages = {626--645},
year = {2023},
url = {https://doi.org/10.1109/TSE.2022.3158543},
doi = {10.1109/TSE.2022.3158543},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/HijaziDCCBMCCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/DomingosCBM23,
author = {Jomar Domingos and
Frederico Cerveira and
Raul Barbosa and
Henrique Madeira},
title = {Predicting Cloud Applications Failures from Infrastructure Level Data},
booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30,
2023},
pages = {9--16},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSN-W58399.2023.00023},
doi = {10.1109/DSN-W58399.2023.00023},
timestamp = {Thu, 17 Aug 2023 15:16:15 +0200},
biburl = {https://dblp.org/rec/conf/dsn/DomingosCBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LeongB23,
author = {Iat Tou Leong and
Raul Barbosa},
title = {Translating Natural Language Requirements to Formal Specifications:
{A} Study on {GPT} and Symbolic {NLP}},
booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2023 - Workshops, Porto, Portugal, June 27-30,
2023},
pages = {259--262},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSN-W58399.2023.00065},
doi = {10.1109/DSN-W58399.2023.00065},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/LeongB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/GodinhoDMABMFSASVSCG23,
author = {No{\'{e}} Godinho and
Paulo Duarte and
Paulo Martins and
David Perez Abreu and
Raul Barbosa and
Bruno Mendes and
Jo{\~{a}}o Pedro Fonseca and
Marco Silva and
Marco Ara{\'{u}}jo and
Jo{\~{a}}o Silva and
Karima Velasquez and
Bruno Sousa and
Mar{\'{\i}}lia Curado and
Adriano Almeida G{\'{o}}es},
title = {{OREOS:} Demonstrating {E2E} Orchestration in 5G Networks with Open-Source
Components},
booktitle = {{IEEE} {INFOCOM} 2023 - {IEEE} Conference on Computer Communications
Workshop, Hoboken, NJ, USA, May 20, 2023},
pages = {1--2},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/INFOCOMWKSHPS57453.2023.10226044},
doi = {10.1109/INFOCOMWKSHPS57453.2023.10226044},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/GodinhoDMABMFSASVSCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/SilvaFAMDBMSGASCS23,
author = {Marco Silva and
Jo{\~{a}}o Pedro Fonseca and
David Perez Abreu and
Paulo Romero Martins Maciel and
Paulo Duarte and
Raul Barbosa and
Bruno Mendes and
Jo{\~{a}}o Silva and
Adriano Almeida G{\'{o}}es and
Marco Ara{\'{u}}jo and
Bruno Sousa and
Mar{\'{\i}}lia Curado and
Jos{\'{e}} Santos},
title = {{O-RAN} and {RIC} Compliant Solutions for Next Generation Networks},
booktitle = {{IEEE} {INFOCOM} 2023 - {IEEE} Conference on Computer Communications
Workshop, Hoboken, NJ, USA, May 20, 2023},
pages = {1--7},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/INFOCOMWKSHPS57453.2023.10225994},
doi = {10.1109/INFOCOMWKSHPS57453.2023.10225994},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/SilvaFAMDBMSGASCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BaptistaCBSFDBA23,
author = {Goncalo Baptista and
Jaime Correia and
Andr{\'{e}} Bento and
Jo{\~{a}}o Soares and
Antonio Ferreira and
Jo{\~{a}}o Dur{\~{a}}es and
Raul Barbosa and
Filipe Ara{\'{u}}jo},
editor = {Jiman Hong and
Maart Lanperne and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}} and
Hossain Shahriar},
title = {Defektor: An Extensible Tool for Fault Injection Campaign Management
in Microservice Systems},
booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2023, Tallinn, Estonia, March 27-31, 2023},
pages = {184--187},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3555776.3578809},
doi = {10.1145/3555776.3578809},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BaptistaCBSFDBA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/FerreiraFSTDABMG23,
author = {Rui Ferreira and
Jo{\~{a}}o Pedro Fonseca and
Jo{\~{a}}o Silva and
Mayuri Tendulkar and
Paulo Duarte and
Marco Ara{\'{u}}jo and
Raul Barbosa and
Bruno Mendes and
Adriano Almeida G{\'{o}}es},
title = {Demo: Enhancing Network Performance based on 5G Network Function and
Slice Load Analysis},
booktitle = {24th {IEEE} International Symposium on a World of Wireless, Mobile
and Multimedia Networks, WoWMoM 2023, Boston, MA, USA, June 12-15,
2023},
pages = {340--342},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/WoWMoM57956.2023.00057},
doi = {10.1109/WOWMOM57956.2023.00057},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wowmom/FerreiraFSTDABMG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/AraujoSSSGFDMBSSLPK23,
author = {Marco Ara{\'{u}}jo and
Jo{\~{a}}o Silva and
Pedro M. Santos and
Himanshu Singh and
Deepak Gunjal and
Jo{\~{a}}o Pedro Fonseca and
Paulo Duarte and
Bruno Mendes and
Raul Barbosa and
Peter Steenkiste and
Saeid Sabamoniri and
Luis Lam and
Jo{\~{a}}o Pereira and
Harrison Kurunathan},
title = {Demo: Object detection under 5G-edge mobility},
booktitle = {24th {IEEE} International Symposium on a World of Wireless, Mobile
and Multimedia Networks, WoWMoM 2023, Boston, MA, USA, June 12-15,
2023},
pages = {343--345},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/WoWMoM57956.2023.00058},
doi = {10.1109/WOWMOM57956.2023.00058},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wowmom/AraujoSSSGFDMBSSLPK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-14443,
author = {Raul Barbosa},
title = {Petit programming language and compiler},
journal = {CoRR},
volume = {abs/2311.14443},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.14443},
doi = {10.48550/ARXIV.2311.14443},
eprinttype = {arXiv},
eprint = {2311.14443},
timestamp = {Thu, 30 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-14443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/BernardesCMHTSD22,
author = {Andr{\'{e}} Bernardes and
Ricardo Couceiro and
J{\'{u}}lio Medeiros and
Jorge Henriques and
C{\'{e}}sar Teixeira and
Marco Sim{\~{o}}es and
Jo{\~{a}}o Dur{\~{a}}es and
Raul Barbosa and
Henrique Madeira and
Paulo Carvalho},
title = {How Reliable Are Ultra-Short-Term {HRV} Measurements during Cognitively
Demanding Tasks?},
journal = {Sensors},
volume = {22},
number = {17},
pages = {6528},
year = {2022},
url = {https://doi.org/10.3390/s22176528},
doi = {10.3390/S22176528},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/BernardesCMHTSD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcc/CerveiraBMA22,
author = {Frederico Cerveira and
Raul Barbosa and
Henrique Madeira and
Filipe Ara{\'{u}}jo},
title = {The Effects of Soft Errors and Mitigation Strategies for Virtualization
Servers},
journal = {{IEEE} Trans. Cloud Comput.},
volume = {10},
number = {2},
pages = {1065--1081},
year = {2022},
url = {https://doi.org/10.1109/TCC.2020.2973146},
doi = {10.1109/TCC.2020.2973146},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcc/CerveiraBMA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/AgirreYBVSYBENK22,
author = {Joseba Andoni Agirre and
Ahmet Yazici and
Katia Di Blasio and
Jose Luis de la Vara and
Behrooz Sangchoolie and
Ugur Yayan and
Raul Barbosa and
Leire Etxeberria and
Massimo Nazaria and
Mustafa Karaca},
title = {Multidimensional Framework for Characterizing Verification and Validation
of Automated Systems},
booktitle = {18th European Dependable Computing Conference, {EDCC} 2022, Zaragoza,
Spain, September 12-15, 2022},
pages = {41--48},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/EDCC57035.2022.00018},
doi = {10.1109/EDCC57035.2022.00018},
timestamp = {Fri, 11 Nov 2022 16:53:15 +0100},
biburl = {https://dblp.org/rec/conf/edcc/AgirreYBVSYBENK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inista/BarbosaA22,
author = {Raul Barbosa and
Marco Ara{\'{u}}jo},
editor = {Richard Chbeir and
Tulay Yildirim and
Ladjel Bellatreche and
Yannis Manolopoulos and
Apostolos Papadopoulos},
title = {AI-driven Human-centric Control Interfaces for Industry 4.0 with Role-based
Access},
booktitle = {International Conference on INnovations in Intelligent SysTems and
Applications, {INISTA} 2022, Biarritz, France, August 8-12, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/INISTA55318.2022.9894247},
doi = {10.1109/INISTA55318.2022.9894247},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inista/BarbosaA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/BentoSFDFCAB22,
author = {Andr{\'{e}} Bento and
Jo{\~{a}}o Soares and
Ant{\'{o}}nio Ferreira and
Jo{\~{a}}o Dur{\~{a}}es and
Jos{\'{e}} Ferreira and
Rita Carreira and
Filipe Ara{\'{u}}jo and
Raul Barbosa},
editor = {Michele Colajanni and
Luca Ferretti and
Miguel L. Pardal and
Dimiter R. Avresky},
title = {Bi-objective optimization of availability and cost for cloud services},
booktitle = {21st {IEEE} International Symposium on Network Computing and Applications,
{NCA} 2022, Boston, MA, USA, December 14-16, 2022},
pages = {45--53},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/NCA57778.2022.10013618},
doi = {10.1109/NCA57778.2022.10013618},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nca/BentoSFDFCAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/AlmeidaCBM22,
author = {Pedro David Almeida and
Frederico Cerveira and
Raul Barbosa and
Henrique Madeira},
title = {ucXception: {A} Framework for Evaluating Dependability of Software
Systems},
booktitle = {22nd {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2022, Guangzhou, China, December 5-9, 2022},
pages = {561--570},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/QRS57517.2022.00063},
doi = {10.1109/QRS57517.2022.00063},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/AlmeidaCBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/MoraisBLCLM22,
author = {Ant{\'{o}}nio Morais and
Raul Barbosa and
Nuno Louren{\c{c}}o and
Frederico Cerveira and
Michele Lombardi and
Henrique Madeira},
title = {Strategies for Improving the Error Robustness of Convolutional Neural
Networks},
booktitle = {22nd {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2022, Guangzhou, China, December 5-9, 2022},
pages = {874--883},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/QRS57517.2022.00092},
doi = {10.1109/QRS57517.2022.00092},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/MoraisBLCLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcist/SousaCRBRS022,
author = {Maria Jos{\'{e}} Sousa and
Waleska Campos and
Luciana B. da Rosa and
Raul Barbosa and
M. Carolina Rodrigues and
Miguel Sousa and
{\'{A}}lvaro Rocha},
editor = {{\'{A}}lvaro Rocha and
Hojjat Adeli and
Gintautas Dzemyda and
Fernando Moreira},
title = {Public Policies Vectors for Urban Greening Technological Strategies},
booktitle = {Information Systems and Technologies - WorldCIST 2022, Volume 3, Budva,
Montenegro, 12-14 April, 2022},
series = {Lecture Notes in Networks and Systems},
volume = {470},
pages = {284--293},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-04829-6\_25},
doi = {10.1007/978-3-031-04829-6\_25},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/worldcist/SousaCRBRS022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/CerveiraBM21,
author = {Frederico Cerveira and
Raul Barbosa and
Henrique Madeira},
title = {Mitigating Virtualization Failures Through Migration to a Co-Located
Hypervisor},
journal = {{IEEE} Access},
volume = {9},
pages = {105255--105269},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3098644},
doi = {10.1109/ACCESS.2021.3098644},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/CerveiraBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/istr/LizardoBNCA21,
author = {Andr{\'{e}} Lizardo and
Raul Barbosa and
Samuel Neves and
Jaime Correia and
Filipe Ara{\'{u}}jo},
title = {End-to-end secure group communication for the Internet of Things},
journal = {J. Inf. Secur. Appl.},
volume = {58},
pages = {102772},
year = {2021},
url = {https://doi.org/10.1016/j.jisa.2021.102772},
doi = {10.1016/J.JISA.2021.102772},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/istr/LizardoBNCA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/AgirreEBBGBFEOOPPSSTTBYS21,
author = {Joseba Andoni Agirre and
Leire Etxeberria and
Raul Barbosa and
Stylianos Basagiannis and
Georgios Giantamidis and
Thomas Bauer and
Enrico Ferrari and
Mikel Labayen Esnaola and
Vanessa Orani and
Johnny {\"{O}}berg and
David Pereira and
Jos{\'{e}} Proen{\c{c}}a and
Rupert Schlick and
Ales Smrcka and
Walter Tiberti and
Stefano Tonetta and
Marco Bozzano and
Ahmet Yazici and
Behrooz Sangchoolie},
title = {The {VALU3S} {ECSEL} project: Verification and validation of automated
systems safety and security},
journal = {Microprocess. Microsystems},
volume = {87},
pages = {104349},
year = {2021},
url = {https://doi.org/10.1016/j.micpro.2021.104349},
doi = {10.1016/J.MICPRO.2021.104349},
timestamp = {Thu, 21 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/AgirreEBBGBFEOOPPSSTTBYS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/BarbosaFA21,
author = {Raul Barbosa and
Alcides Fonseca and
Filipe Ara{\'{u}}jo},
title = {Reductions and abstractions for formal verification of distributed
round-based algorithms},
journal = {Softw. Qual. J.},
volume = {29},
number = {3},
pages = {705--731},
year = {2021},
url = {https://doi.org/10.1007/s11219-020-09539-6},
doi = {10.1007/S11219-020-09539-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/BarbosaFA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LeongB21,
author = {Iat Tou Leong and
Raul Barbosa},
title = {Generation of Oracles using Natural Language Processing},
booktitle = {28th Asia-Pacific Software Engineering Conference Workshops, {APSEC}
Workshops 2021, Taipei, Taiwan, December 6-9, 2021},
pages = {25--31},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/APSECW53869.2021.00016},
doi = {10.1109/APSECW53869.2021.00016},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/LeongB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/TomasBSRFCAB21,
author = {Jo{\~{a}}o Tom{\'{a}}s and
Andr{\'{e}} Bento and
Jo{\~{a}}o Soares and
Lu{\'{\i}}s Ribeiro and
Ant{\'{o}}nio Ferreira and
Rita Carreira and
Filipe Ara{\'{u}}jo and
Raul Barbosa},
editor = {Rasmus Adler and
Amel Bennaceur and
Simon Burton and
Amleto Di Salle and
Nicola Nostro and
Rasmus L{\o}venstein Olsen and
Selma Saidi and
Philipp Schleiss and
Daniel Schneider and
Hans{-}Peter Schwefel},
title = {Autonomic Service Operation for Cloud Applications: Safe Actuation
and Risk Management},
booktitle = {Dependable Computing - {EDCC} 2021 Workshops - DREAMS, DSOGRI, {SERENE}
2021, Munich, Germany, September 13, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1462},
pages = {39--46},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86507-8\_4},
doi = {10.1007/978-3-030-86507-8\_4},
timestamp = {Sun, 25 Dec 2022 19:02:10 +0100},
biburl = {https://dblp.org/rec/conf/edcc/TomasBSRFCAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/DomingosBM21,
author = {Jomar Domingos and
Raul Barbosa and
Henrique Madeira},
title = {Why is it so hard to predict computer systems failures?},
booktitle = {17th European Dependable Computing Conference, {EDCC} 2021, Munich,
Germany, September 13-16, 2021},
pages = {41--44},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EDCC53658.2021.00013},
doi = {10.1109/EDCC53658.2021.00013},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/DomingosBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esann/Barbosa0LF21,
author = {Raul Barbosa and
Diego Carvalho and
Priscila Lima and
Felipe M. G. Fran{\c{c}}a},
title = {A bag of nodes primer on weightless graph classification},
booktitle = {29th European Symposium on Artificial Neural Networks, Computational
Intelligence and Machine Learning, {ESANN} 2021, Online event (Bruges,
Belgium), October 6-8, 2021},
year = {2021},
url = {https://doi.org/10.14428/esann/2021.ES2021-107},
doi = {10.14428/ESANN/2021.ES2021-107},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esann/Barbosa0LF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iv/SilvaCBAB21,
author = {Sara Silva and
Jaime Correia and
Andr{\'{e}} Bento and
Filipe Ara{\'{u}}jo and
Raul Barbosa},
editor = {Ebad Banissi and
Anna Ursyn and
Mark W. McK. Bannatyne and
Jo{\~{a}}o Moura Pires and
Nuno Datia and
Mao Lin Huang and
Weidong Huang and
Quang Vinh Nguyen and
Kawa Nazemi and
Boris Kovalerchuk and
Minoru Nakayama and
John Counsell and
Andrew Agapiou and
Farzad Khosrow{-}shahi and
Hing{-}Wah Chau and
Mengbi Li and
Richard Laing and
Fatma Bouali and
Gilles Venturini and
Marco Temperini and
Muhammad Sarfraz},
title = {{\(\mu\)} Viz: Visualization of Microservices},
booktitle = {25th International Conference Information Visualisation, {IV} 2021,
Sydney, Australia, July 5-9, 2021},
pages = {120--128},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IV53921.2021.00028},
doi = {10.1109/IV53921.2021.00028},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iv/SilvaCBAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/BentoCDSRFCAB21,
author = {Andr{\'{e}} Bento and
Jaime Correia and
Jo{\~{a}}o Dur{\~{a}}es and
Jo{\~{a}}o Soares and
Lu{\'{\i}}s Ribeiro and
Ant{\'{o}}nio Ferreira and
Rita Carreira and
Filipe Ara{\'{u}}jo and
Raul Barbosa},
editor = {Mauro Andreolini and
Mirco Marchetti and
Dimiter R. Avresky},
title = {A layered framework for root cause diagnosis of microservices},
booktitle = {20th {IEEE} International Symposium on Network Computing and Applications,
{NCA} 2021, Boston, MA, USA, November 23-26, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/NCA53618.2021.9685494},
doi = {10.1109/NCA53618.2021.9685494},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/BentoCDSRFCAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/CerveiraDBM21,
author = {Frederico Cerveira and
Jomar Domingos and
Raul Barbosa and
Henrique Madeira},
title = {Measuring lead times for failure prediction},
booktitle = {26th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2021, Perth, Australia, December 1-4, 2021},
pages = {1--5},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/PRDC53464.2021.00020},
doi = {10.1109/PRDC53464.2021.00020},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prdc/CerveiraDBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-14480,
author = {Luciano Serafini and
Raul Barbosa and
Jasmin Grosinger and
Luca Iocchi and
Christian Napoli and
Salvatore Rinzivillo and
Jacques Robin and
Alessandro Saffiotti and
Teresa Scantamburlo and
Peter Sch{\"{u}}ller and
Paolo Traverso and
Javier V{\'{a}}zquez{-}Salceda},
title = {On some Foundational Aspects of Human-Centered Artificial Intelligence},
journal = {CoRR},
volume = {abs/2112.14480},
year = {2021},
url = {https://arxiv.org/abs/2112.14480},
eprinttype = {arXiv},
eprint = {2112.14480},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-14480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisp/SilvaBB20,
author = {Rui Silva and
Raul Barbosa and
Jorge Bernardino},
title = {Intrusion Detection Systems for Mitigating {SQL} Injection Attacks:
Review and State-of-Practice},
journal = {Int. J. Inf. Secur. Priv.},
volume = {14},
number = {2},
pages = {20--40},
year = {2020},
url = {https://doi.org/10.4018/IJISP.2020040102},
doi = {10.4018/IJISP.2020040102},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisp/SilvaBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/BarbosaBGBFJKEO20,
author = {Raul Barbosa and
Stylianos Basagiannis and
Georgios Giantamidis and
H. Becker and
Enrico Ferrari and
J. Jahic and
A. Kanak and
Mikel Labayen Esnaola and
Vanessa Orani and
David Pereira and
Luigi Pomante and
Rupert Schlick and
Ales Smrcka and
Ahmet Yazici and
Peter Folkesson and
Behrooz Sangchoolie},
title = {The {VALU3S} {ECSEL} Project: Verification and Validation of Automated
Systems Safety and Security},
booktitle = {23rd Euromicro Conference on Digital System Design, {DSD} 2020, Kranj,
Slovenia, August 26-28, 2020},
pages = {352--359},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DSD51259.2020.00064},
doi = {10.1109/DSD51259.2020.00064},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/BarbosaBGBFJKEO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MartinsB0RM20,
author = {Jo{\~{a}}o Martins and
Raul Barbosa and
Nuno Louren{\c{c}}o and
Jacques Robin and
Henrique Madeira},
title = {Online Verification through Model Checking of Medical Critical Intelligent
Systems},
booktitle = {50th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks Workshops, {DSN} Workshops 2020, Valencia, Spain, June
29 - July 2, 2020},
pages = {32--37},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DSN-W50199.2020.00015},
doi = {10.1109/DSN-W50199.2020.00015},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/MartinsB0RM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CerveiraOBM20,
author = {Frederico Cerveira and
Rui Andr{\'{e}} Oliveira and
Raul Barbosa and
Henrique Madeira},
editor = {Marco Vieira and
Henrique Madeira and
Nuno Antunes and
Zheng Zheng},
title = {Evaluation of RESTful frameworks under soft errors},
booktitle = {31st {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2020, Coimbra, Portugal, October 12-15, 2020},
pages = {369--379},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISSRE5003.2020.00042},
doi = {10.1109/ISSRE5003.2020.00042},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/CerveiraOBM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/BarbosaCGM19,
author = {Raul Barbosa and
Frederico Cerveira and
Lu{\'{\i}}s Gon{\c{c}}alo and
Henrique Madeira},
title = {Emulating representative software vulnerabilities using field data},
journal = {Computing},
volume = {101},
number = {2},
pages = {119--138},
year = {2019},
url = {https://doi.org/10.1007/s00607-018-0657-y},
doi = {10.1007/S00607-018-0657-Y},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/BarbosaCGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/CerveiraFBM19,
author = {Frederico Cerveira and
Alcides Fonseca and
Raul Barbosa and
Henrique Madeira},
title = {Soft error sensitivity and vulnerability of languages and their implementations},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {9},
number = {4},
pages = {318--347},
year = {2019},
url = {https://doi.org/10.1504/IJCCBS.2019.106816},
doi = {10.1504/IJCCBS.2019.106816},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/CerveiraFBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/CerveiraBM19,
author = {Frederico Cerveira and
Raul Barbosa and
Henrique Madeira},
title = {Fast Local {VM} Migration Against Hypervisor Corruption},
booktitle = {15th European Dependable Computing Conference, {EDCC} 2019, Naples,
Italy, September 17-20, 2019},
pages = {97--102},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EDCC.2019.00028},
doi = {10.1109/EDCC.2019.00028},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/CerveiraBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Couceiro0BMBDDC19,
author = {Ricardo Couceiro and
Paulo Carvalho and
Miguel Castelo Branco and
Henrique Madeira and
Raul Barbosa and
Jo{\~{a}}o Dur{\~{a}}es and
Gon{\c{c}}alo Duarte and
Jo{\~{a}}o Castelhano and
Catarina Duarte and
C{\'{e}}sar Alexandre Teixeira and
Nuno Laranjeiro and
Julio Medeiros},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback},
booktitle = {30th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2019, Berlin, Germany, October 28-31, 2019},
pages = {93--103},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSRE.2019.00019},
doi = {10.1109/ISSRE.2019.00019},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/Couceiro0BMBDDC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RobinMMBDA19,
author = {Jacques Robin and
Ra{\'{u}}l Mazo and
Henrique Madeira and
Raul Barbosa and
Daniel Diaz and
Salvador Abreu},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna and
Ilir Gashi and
Erwin Schoitsch and
Friedemann Bitsch},
title = {A Self-certifiable Architecture for Critical Systems Powered by Probabilistic
Logic Artificial Intelligence},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September
10, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11699},
pages = {391--397},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26250-1\_32},
doi = {10.1007/978-3-030-26250-1\_32},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/RobinMMBDA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-01948,
author = {Raul Barbosa and
Frederico Cerveira and
Lu{\'{\i}}s Gon{\c{c}}alo and
Henrique Madeira},
title = {The most frequent programming mistakes that cause software vulnerabilities},
journal = {CoRR},
volume = {abs/1912.01948},
year = {2019},
url = {http://arxiv.org/abs/1912.01948},
eprinttype = {arXiv},
eprint = {1912.01948},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-01948.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/BarbosaCCF18,
author = {Raul Barbosa and
Douglas de O. Cardoso and
Diego Carvalho and
Felipe M. G. Fran{\c{c}}a},
title = {Weightless neuro-symbolic {GPS} trajectory classification},
journal = {Neurocomputing},
volume = {298},
pages = {100--108},
year = {2018},
url = {https://doi.org/10.1016/j.neucom.2017.11.075},
doi = {10.1016/J.NEUCOM.2017.11.075},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijon/BarbosaCCF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsusc/FonsecaCCB18,
author = {Alcides Fonseca and
Frederico Cerveira and
Bruno Cabral and
Raul Barbosa},
title = {Language-Based Expression of Reliability and Parallelism for Low-Power
Computing},
journal = {{IEEE} Trans. Sustain. Comput.},
volume = {3},
number = {3},
pages = {153--166},
year = {2018},
url = {https://doi.org/10.1109/TSUSC.2017.2771376},
doi = {10.1109/TSUSC.2017.2771376},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsusc/FonsecaCCB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/CerveiraFBM18,
author = {Frederico Cerveira and
Alcides Fonseca and
Raul Barbosa and
Henrique Madeira},
title = {Evaluating the Inherent Sensitivity of Programming Languages to Soft
Errors},
booktitle = {14th European Dependable Computing Conference, {EDCC} 2018, Ia{\c{s}}i,
Romania, September 10-14, 2018},
pages = {65--72},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EDCC.2018.00021},
doi = {10.1109/EDCC.2018.00021},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/CerveiraFBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/RodriguesCBB18,
author = {Bruno Rodrigues and
Frederico Cerveira and
Raul Barbosa and
Jorge Bernardino},
editor = {Leszek A. Maciaszek and
Marten van Sinderen},
title = {Virtualization: Past and Present Challenges},
booktitle = {Proceedings of the 13th International Conference on Software Technologies,
{ICSOFT} 2018, Porto, Portugal, July 26-28, 2018},
pages = {789--795},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006910707890795},
doi = {10.5220/0006910707890795},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/RodriguesCBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/CerveiraKBMP18,
author = {Frederico Cerveira and
Imre Kocsis and
Raul Barbosa and
Henrique Madeira and
Andr{\'{a}}s Pataricza},
title = {Exploratory Data Analysis of Fault Injection Campaigns},
booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2018, Lisbon, Portugal, July 16-20, 2018},
pages = {191--202},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/QRS.2018.00033},
doi = {10.1109/QRS.2018.00033},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/CerveiraKBMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/CerveiraBMM17,
author = {Frederico Cerveira and
Raul Barbosa and
Marta Mercier and
Henrique Madeira},
title = {On the Emulation of Vulnerabilities through Software Fault Injection},
booktitle = {13th European Dependable Computing Conference, {EDCC} 2017, Geneva,
Switzerland, September 4-8, 2017},
pages = {73--78},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/EDCC.2017.28},
doi = {10.1109/EDCC.2017.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/CerveiraBMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esann/0001FBC17,
author = {Diego Carvalho and
Felipe M. G. Fran{\c{c}}a and
Raul Barbosa and
Douglas de O. Cardoso},
title = {A neuro-symbolic approach to {GPS} trajectory classification},
booktitle = {25th European Symposium on Artificial Neural Networks, {ESANN} 2017,
Bruges, Belgium, April 26-28, 2017},
year = {2017},
url = {https://www.esann.org/sites/default/files/proceedings/legacy/es2017-138.pdf},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esann/0001FBC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/CarvalhoBB17,
author = {Eduardo Carvalho and
Raul Barbosa and
Jorge Bernardino},
editor = {Jorge Cardoso and
Leszek A. Maciaszek and
Marten van Sinderen and
Enrique Cabello},
title = {The Ability of Cloud Computing Performance Benchmarks to Measure Dependability},
booktitle = {Proceedings of the 12th International Conference on Software Technologies,
{ICSOFT} 2017, Madrid, Spain, July 24-26, 2017},
pages = {447--452},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006472404470452},
doi = {10.5220/0006472404470452},
timestamp = {Thu, 03 Feb 2022 09:27:49 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/CarvalhoBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CerveiraBM17,
author = {Frederico Cerveira and
Raul Barbosa and
Henrique Madeira},
title = {Experience Report: On the Impact of Software Faults in the Privileged
Virtual Machine},
booktitle = {28th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2017, Toulouse, France, October 23-26, 2017},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSRE.2017.39},
doi = {10.1109/ISSRE.2017.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/CerveiraBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/CerveiraBM17,
author = {Frederico Cerveira and
Raul Barbosa and
Henrique Madeira},
editor = {Dong Seong Kim and
Masato Kitakami and
Vijay Varadharajan},
title = {Soft Errors Susceptibility of Virtualization Servers},
booktitle = {22nd {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2017, Christchurch, New Zealand, January 22-25, 2017},
pages = {125--134},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/PRDC.2017.26},
doi = {10.1109/PRDC.2017.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/CerveiraBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/FathollahnejadB17,
author = {Negin Fathollahnejad and
Raul Barbosa and
Johan Karlsson},
editor = {Dong Seong Kim and
Masato Kitakami and
Vijay Varadharajan},
title = {A Probabilistic Analysis of a Leader Election Protocol for Virtual
Traffic Lights},
booktitle = {22nd {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2017, Christchurch, New Zealand, January 22-25, 2017},
pages = {311--320},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/PRDC.2017.56},
doi = {10.1109/PRDC.2017.56},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/FathollahnejadB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/FrancoCBRSG16,
author = {Jo{\~{a}}o Miguel Franco and
Francisco Correia and
Raul Barbosa and
M{\'{a}}rio Zenha Rela and
Bradley R. Schmerl and
David Garlan},
title = {Improving self-adaptation planning through software architecture-based
stochastic modeling},
journal = {J. Syst. Softw.},
volume = {115},
pages = {42--60},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2016.01.026},
doi = {10.1016/J.JSS.2016.01.026},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/FrancoCBRSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/c3s2e/SilvaBB16,
author = {Rui Silva and
Raul Barbosa and
Jorge Bernardino},
editor = {Bipin C. Desai and
Ana de Almeida and
Jorge Bernardino and
Evan Desai},
title = {Testing Snort with {SQL} Injection Attacks},
booktitle = {Proceedings of the Ninth International C* Conference on Computer Science
{\&} Software Engineering, {C3S2E} '16, Porto, Portugal, July
20-22, 2016},
pages = {129--130},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2948992.2949001},
doi = {10.1145/2948992.2949001},
timestamp = {Wed, 30 Oct 2019 15:55:46 +0100},
biburl = {https://dblp.org/rec/conf/c3s2e/SilvaBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/PereiraBM16,
author = {Goncalo Pereira and
Raul Barbosa and
Henrique Madeira},
title = {Practical Emulation of Software Defects in Source Code},
booktitle = {12th European Dependable Computing Conference, {EDCC} 2016, Gothenburg,
Sweden, September 5-9, 2016},
pages = {130--140},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/EDCC.2016.19},
doi = {10.1109/EDCC.2016.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/PereiraBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/FrancoCBR16,
author = {Jo{\~{a}}o Miguel Franco and
Frederico Cerveira and
Raul Barbosa and
M{\'{a}}rio Zenha Rela},
title = {Modeling the Failure Pathology of Software Components},
booktitle = {12th International {ACM} {SIGSOFT} Conference on Quality of Software
Architectures, QoSA 2016, Venice, Italy, April 5-8, 2016},
pages = {41--49},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/QoSA.2016.15},
doi = {10.1109/QOSA.2016.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/FrancoCBR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FonsecaB16,
author = {Alcides Fonseca and
Raul Barbosa},
title = {{MISO:} An intermediate language to express parallel and dependable
programs},
journal = {CoRR},
volume = {abs/1608.06171},
year = {2016},
url = {http://arxiv.org/abs/1608.06171},
eprinttype = {arXiv},
eprint = {1608.06171},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FonsecaB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/CerveiraBMA15,
author = {Frederico Cerveira and
Raul Barbosa and
Henrique Madeira and
Filipe Ara{\'{u}}jo},
title = {Recovery for Virtualized Environments},
booktitle = {11th European Dependable Computing Conference, {EDCC} 2015, Paris,
France, September 7-11, 2015},
pages = {25--36},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/EDCC.2015.26},
doi = {10.1109/EDCC.2015.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/CerveiraBMA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisa/AraujoBBC14,
author = {Filipe Ara{\'{u}}jo and
Serhiy Boychenko and
Raul Barbosa and
Ant{\'{o}}nio Casimiro},
title = {Replica placement to mitigate attacks on clouds},
journal = {J. Internet Serv. Appl.},
volume = {5},
number = {1},
pages = {7:1--7:13},
year = {2014},
url = {https://doi.org/10.1186/s13174-014-0007-z},
doi = {10.1186/S13174-014-0007-Z},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisa/AraujoBBC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/AraujoCFB14,
author = {Filipe Ara{\'{u}}jo and
Mar{\'{\i}}lia Curado and
Pedro Furtado and
Raul Barbosa},
editor = {Jimmy Lin and
Jian Pei and
Xiaohua Hu and
Wo Chang and
Raghunath Nambiar and
Charu C. Aggarwal and
Nick Cercone and
Vasant G. Honavar and
Jun Huan and
Bamshad Mobasher and
Saumyadipta Pyne},
title = {Taking an electronic ticketing system to the cloud: Design and discussion},
booktitle = {2014 {IEEE} International Conference on Big Data {(IEEE} BigData 2014),
Washington, DC, USA, October 27-30, 2014},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/BigData.2014.7004438},
doi = {10.1109/BIGDATA.2014.7004438},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/AraujoCFB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/FathollahnejadVPBK14,
author = {Negin Fathollahnejad and
Em{\'{\i}}lia Villani and
Risat Pathan and
Raul Barbosa and
Johan Karlsson},
title = {On Probabilistic Analysis of Disagreement in Synchronous Consensus
Protocols},
booktitle = {2014 Tenth European Dependable Computing Conference, Newcastle, United
Kingdom, May 13-16, 2014},
pages = {23--34},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/EDCC.2014.26},
doi = {10.1109/EDCC.2014.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/FathollahnejadVPBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NogueiraAB14,
author = {Rodrigo Nogueira and
Filipe Ara{\'{u}}jo and
Raul Barbosa},
title = {CloudBFT: Elastic Byzantine Fault Tolerance},
booktitle = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2014, Singapore, November 18-21, 2014},
pages = {180--189},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PRDC.2014.31},
doi = {10.1109/PRDC.2014.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/NogueiraAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/FrancoBR14,
author = {Jo{\~{a}}o Miguel Franco and
Raul Barbosa and
M{\'{a}}rio Zenha Rela},
title = {Availability Evaluation of Software Architectures through Formal Methods},
booktitle = {9th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2014, Guimaraes, Portugal, September 23-26, 2014},
pages = {282--287},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/QUATIC.2014.45},
doi = {10.1109/QUATIC.2014.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/quatic/FrancoBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/FathollahnejadV13,
author = {Negin Fathollahnejad and
Em{\'{\i}}lia Villani and
Risat Pathan and
Raul Barbosa and
Johan Karlsson},
title = {On reliability analysis of leader election protocols for virtual traffic
lights},
booktitle = {43rd Annual {IEEE/IFIP} Conference on Dependable Systems and Networks
Workshop, {DSN} Workshops 2013, Budapest, Hungary, June 24-27, 2013},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DSNW.2013.6615529},
doi = {10.1109/DSNW.2013.6615529},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/FathollahnejadV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/NunesCBR13,
author = {Jose Luis Nunes and
Jo{\~{a}}o Carlos Cunha and
Raul Barbosa and
M{\'{a}}rio Zenha Rela},
title = {Evaluating Xilinx {SEU} Controller Macro for fault injection},
booktitle = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
pages = {1--2},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DSN.2013.6575336},
doi = {10.1109/DSN.2013.6575336},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/NunesCBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FrancoBR13,
author = {Jo{\~{a}}o Miguel Franco and
Raul Barbosa and
M{\'{a}}rio Zenha Rela},
title = {Reliability Analysis of Software Architecture Evolution},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.16},
doi = {10.1109/LADC.2013.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/FrancoBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/FathollahnejadVPBK13,
author = {Negin Fathollahnejad and
Em{\'{\i}}lia Villani and
Risat Pathan and
Raul Barbosa and
Johan Karlsson},
title = {Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately
Pessimistic Decision Criterion},
booktitle = {{IEEE} 19th Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2013, Vancouver, BC, Canada, December 2-4, 2013},
pages = {68--77},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/PRDC.2013.13},
doi = {10.1109/PRDC.2013.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/FathollahnejadVPBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/VillaniFPBK13,
author = {Em{\'{\i}}lia Villani and
Negin Fathollahnejad and
Risat Pathan and
Raul Barbosa and
Johan Karlsson},
editor = {Henrik L{\"{o}}nn and
Elad Michael Schiller},
title = {Reliability Analysis of Consensus in Cooperative Transport Systems},
booktitle = {{SAFECOMP} 2013 - Workshop ASCoMS (Architecting Safety in Collaborative
Mobile Systems) of the 32nd International Conference on Computer Safety,
Reliability and Security, Toulouse, France, 2013},
publisher = {{HAL}},
year = {2013},
url = {http://hal.archives-ouvertes.fr/SAFECOMP2013-ASCOMS/hal-00848076},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/VillaniFPBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/CasimiroVKABNSCSGN12,
author = {Ant{\'{o}}nio Casimiro and
Paulo Ver{\'{\i}}ssimo and
Diego Kreutz and
Filipe Ara{\'{u}}jo and
Raul Barbosa and
Samuel Neves and
Bruno Sousa and
Mar{\'{\i}}lia Curado and
Carlos Silva and
Rajeev Gandhi and
Priya Narasimhan},
title = {{TRONE:} Trustworthy and Resilient Operations in a Network Environment},
booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
Workshops, {DSN} 2012, Boston, MA, USA, June 25-28, 2012},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DSNW.2012.6264694},
doi = {10.1109/DSNW.2012.6264694},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/CasimiroVKABNSCSGN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/AraujoBC12,
author = {Filipe Ara{\'{u}}jo and
Raul Barbosa and
Ant{\'{o}}nio Casimiro},
editor = {Bruno Schulze and
Rafael Tolosana{-}Calasanz and
Luiz F. Bittencourt},
title = {Replication for dependability on virtualized cloud environments},
booktitle = {Proceedings of the 10th International Workshop on Middleware for Grids,
Clouds and e-Science, {MCG} 2012, Montreal, QC, Canada, December 3-7,
2012},
pages = {2},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2405136.2405138},
doi = {10.1145/2405136.2405138},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/middleware/AraujoBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/IvakiAB12,
author = {Naghmeh Ramezani Ivaki and
Filipe Ara{\'{u}}jo and
Raul Barbosa},
title = {A Middleware for Exactly-Once Semantics in Request-Response Interactions},
booktitle = {{IEEE} 18th Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2012, Niigata, Japan, November 18-19, 2012},
pages = {31--40},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/PRDC.2012.23},
doi = {10.1109/PRDC.2012.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/IvakiAB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/FrancoBR12,
author = {Jo{\~{a}}o Miguel Franco and
Raul Barbosa and
M{\'{a}}rio Zenha Rela},
title = {Automated Reliability Prediction from Formal Architectural Descriptions},
booktitle = {2012 Joint Working {IEEE/IFIP} Conference on Software Architecture
and European Conference on Software Architecture, {WICSA/ECSA} 2012,
Helsinki, Finland, August 20-24, 2012},
pages = {302--309},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/WICSA-ECSA.212.50},
doi = {10.1109/WICSA-ECSA.212.50},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/wicsa/FrancoBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wolter2012/BarbosaKMV12,
author = {Raul Barbosa and
Johan Karlsson and
Henrique Madeira and
Marco Vieira},
editor = {Katinka Wolter and
Alberto Avritzer and
Marco Vieira and
Aad P. A. van Moorsel},
title = {Fault Injection},
booktitle = {Resilience Assessment and Evaluation of Computing Systems},
pages = {263--281},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29032-9\_13},
doi = {10.1007/978-3-642-29032-9\_13},
timestamp = {Tue, 16 May 2017 14:01:42 +0200},
biburl = {https://dblp.org/rec/books/sp/wolter2012/BarbosaKMV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BarbosaKYM11,
author = {Raul Barbosa and
Johan Karlsson and
Qiu Yu and
Xiaozhen Mao},
title = {Toward dependability benchmarking of partitioning operating systems},
booktitle = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
pages = {422--429},
publisher = {{IEEE} Compute Society},
year = {2011},
url = {https://doi.org/10.1109/DSN.2011.5958255},
doi = {10.1109/DSN.2011.5958255},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BarbosaKYM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdc/NunesCBR11,
author = {Jos{\'{e}} Lu{\'{\i}}s Nunes and
Jo{\~{a}}o Carlos Cunha and
Raul Barbosa and
M{\'{a}}rio Zenha Rela},
editor = {Felicita Di Giandomenico},
title = {Using partial dynamic {FPGA} reconfiguration to support real-time
dependability},
booktitle = {Proceedings of the 13th European Workshop on Dependable Computing,
{EWDC} '11, Pisa, Italy, May 11-12, 2011},
pages = {107--108},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1978582.1978605},
doi = {10.1145/1978582.1978605},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ewdc/NunesCBR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SkarinBK10,
author = {Daniel Skarin and
Raul Barbosa and
Johan Karlsson},
title = {{GOOFI-2:} {A} tool for experimental dependability assessment},
booktitle = {Proceedings of the 2010 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2010, Chicago, IL, USA, June 28 - July
1 2010},
pages = {557--562},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DSN.2010.5544265},
doi = {10.1109/DSN.2010.5544265},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/SkarinBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/SkarinBK10,
author = {Daniel Skarin and
Raul Barbosa and
Johan Karlsson},
title = {Comparing and Validating Measurements of Dependability Attributes},
booktitle = {Eighth European Dependable Computing Conference, {EDCC-8} 2010, Valencia,
Spain, 28-30 April 2010},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/EDCC.2010.11},
doi = {10.1109/EDCC.2010.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/SkarinBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BarbosaK10,
author = {Raul Barbosa and
Johan Karlsson},
editor = {Jean{-}Charles Fabre and
Olivier Guetta and
Mario Trapp},
title = {Opportunities from standardization in automotive safety assessment},
booktitle = {1st Workshop on Critical Automotive Applications: Robustness {\&}
Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {61--63},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1772643.1772661},
doi = {10.1145/1772643.1772661},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/BarbosaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/BarbosaSK10,
author = {Raul Barbosa and
Daniel Skarin and
Johan Karlsson},
title = {Shared Data from a Study of Measurement Uncertainty in Fault Injection},
booktitle = {30th {IEEE} International Conference on Distributed Computing Systems
Workshops {(ICDCS} 2010 Workshops), 21-25 June 2010, Genova, Italy},
pages = {284--285},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICDCSW.2010.68},
doi = {10.1109/ICDCSW.2010.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/BarbosaSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/Barbosa10,
author = {Raul Barbosa},
title = {Monitoring Local Progress with Watchdog Timers Deduced from Global
Properties},
booktitle = {29th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2010),
New Delhi, Punjab, India, October 31 - November 3, 2010},
pages = {131--140},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SRDS.2010.23},
doi = {10.1109/SRDS.2010.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/Barbosa10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Barbosa08,
author = {Raul Barbosa},
title = {Layered Fault Tolerance for Distributed Embedded Systems},
school = {Chalmers University of Technology, Gothenburg, Sweden},
year = {2008},
url = {http://publications.lib.chalmers.se/publication/77860-layered-fault-tolerance-for-distributed-embedded-systems},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Barbosa08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BarbosaK08,
author = {Raul Barbosa and
Johan Karlsson},
title = {On the Integrity of Lightweight Checkpoints},
booktitle = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008,
Nanjing, China, December 3 - 5, 2008},
pages = {125--134},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HASE.2008.25},
doi = {10.1109/HASE.2008.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BarbosaK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/BarbosaK08,
author = {Raul Barbosa and
Johan Karlsson},
title = {Formal specification and verification of a protocol for consistent
diagnosis in real-time embedded systems},
booktitle = {{IEEE} Third International Symposium on Industrial Embedded Systems,
{SIES} 2008, Montpellier / La Grande Motte, France, June 11-13, 2008},
pages = {192--199},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/SIES.2008.4577699},
doi = {10.1109/SIES.2008.4577699},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/BarbosaK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BarbosaFK07,
author = {Raul Barbosa and
Ant{\'{o}}nio Ferreira and
Johan Karlsson},
title = {Implementation of a Flexible Membership Protocol on a Real-Time Ethernet
Prototype},
booktitle = {13th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2007), 17-19 December, 2007, Melbourne, Victoria, Australia},
pages = {342--347},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PRDC.2007.49},
doi = {10.1109/PRDC.2007.49},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/BarbosaFK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BarbosaK06,
author = {Raul Barbosa and
Johan Karlsson},
title = {Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems},
booktitle = {12th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2006), 18-20 December, 2006, University of California, Riverside,
{USA}},
pages = {105--113},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/PRDC.2006.36},
doi = {10.1109/PRDC.2006.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/BarbosaK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BarbosaVFK05,
author = {Raul Barbosa and
Jonny Vinter and
Peter Folkesson and
Johan Karlsson},
editor = {Mario Dal Cin and
Mohamed Ka{\^{a}}niche and
Andr{\'{a}}s Pataricza},
title = {Assembly-Level Pre-injection Analysis for Improving Fault Injection
Efficiency},
booktitle = {Dependable Computing - EDCC-5, 5th European Dependable Computing Conference,
Budapest, Hungary, April 20-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3463},
pages = {246--262},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11408901\_19},
doi = {10.1007/11408901\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/BarbosaVFK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
