Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/ladc:"
download as .bib file
@inproceedings{DBLP:conf/ladc/AquinoBCMOG23,
author = {Carlos A. Aquino and
Antonio M. Neto and
Vanessa C. Lima and
Evellin S. Moura and
Yanne A. Oliveira and
Rafael Lopes Gomes},
title = {Using IoT Mesh Networks to Extend Wireless Coverage in Industrial
Environments},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {204--207},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3625073},
doi = {10.1145/3615366.3625073},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/AquinoBCMOG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AraujoAV23,
author = {Iury Ara{\'{u}}jo and
Nuno Antunes and
Marco Vieira},
title = {Evaluation of Machine Learning for Intrusion Detection in Microservice
Applications},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {126--135},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615375},
doi = {10.1145/3615366.3615375},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/AraujoAV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AraujoAV23a,
author = {Iury Ara{\'{u}}jo and
Nuno Antunes and
Marco Vieira},
title = {Intrusion Detection and Tolerance for Microservice Applications},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {176--181},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3622794},
doi = {10.1145/3615366.3622794},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/AraujoAV23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CamposMV23,
author = {Jo{\~{a}}o R. Campos and
Rodrigo Machado and
Marco Vieira},
title = {Leveraging Time Series Autocorrelation Through Numerical Differentiation
for Improving Failure Prediction},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {70--79},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615423},
doi = {10.1145/3615366.3615423},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/CamposMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CastroLV23,
author = {Jessica Castro and
Nuno Laranjeiro and
Marco Vieira},
title = {Generating Realistic Attack Data for Microservices: Framework and
Case Study},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {60--69},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615377},
doi = {10.1145/3615366.3615377},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/CastroLV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CoelhoAF0023,
author = {F{\'{a}}bio Coelho and
Ana Nunes Alonso and
Lu{\'{\i}}s Meruje Ferreira and
Jos{\'{e}} Pereira and
Rui Oliveira},
title = {Loom: {A} Closed-Box Disaggregated Database System},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {30--39},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615424},
doi = {10.1145/3615366.3615424},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CoelhoAF0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FlauzinoD23,
author = {Jos{\'{e}} Wilson Vieira Flauzino and
Elias Proc{\'{o}}pio Duarte Jr.},
title = {Towards a Novel Model for Availability as a Service},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {170--175},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3622795},
doi = {10.1145/3615366.3622795},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/FlauzinoD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FreirePE23,
author = {Gustavo Freire and
Herminio Paucar and
J{\'{u}}lio Cezar Estrella},
title = {A distributed software architecture based on reactive microservices
for the Smart Building context},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {168--169},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3622790},
doi = {10.1145/3615366.3622790},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/FreirePE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Freitas23,
author = {Allan Edgard Silva Freitas},
title = {On Design Autonomic Behavior for Blockchain platforms},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {166--167},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3622792},
doi = {10.1145/3615366.3622792},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Freitas23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/GaleskyRDA23,
author = {Leonardo de Freitas Galesky and
Luiz Antonio Rodrigues and
Elias Proc{\'{o}}pio Duarte Jr. and
Luciana Arantes},
title = {Efficient Synchronization of CRDTs using VCube-PS},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {50--59},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615421},
doi = {10.1145/3615366.3615421},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/GaleskyRDA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/GuerraBNFS23,
author = {Patrick Andrei Caron Guerra and
Fabio Andr{\'{e}} Barcelos and
Raul Ceretta Nunes and
Edison Pignaton de Freitas and
Lu{\'{\i}}s Alvaro de Lima Silva},
title = {An Artificial Intelligence Framework for the Representation and Reuse
of Cybersecurity Incident Resolution Knowledge},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {136--145},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615369},
doi = {10.1145/3615366.3615369},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/GuerraBNFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/HoffmannHF23,
author = {Jos{\'{e}} Luis Conradi Hoffmann and
Leonardo Passig Horstmann and
Ant{\^{o}}nio Augusto Fr{\"{o}}hlich},
title = {Using Formal Methods for On-The-Fly Time Series Verification},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {21--29},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615427},
doi = {10.1145/3615366.3615427},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/HoffmannHF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/JuniorADM23,
author = {Everaldo Gomes Junior and
Eduardo Alchieri and
Fernando Lu{\'{\i}}s Dotti and
Odorico Machado Mendizabal},
title = {A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot
Overhead},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {100--109},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615417},
doi = {10.1145/3615366.3615417},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/JuniorADM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Kniess23,
author = {Janine Kniess},
title = {Optimization of Heterogeneous Data in Sensor Networks to Industrial
Internet},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {200--203},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3625072},
doi = {10.1145/3615366.3625072},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Kniess23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LlinasMSO23,
author = {Andr{\'{e}}s Llin{\'{a}}s and
Matias J. Micheletto and
Rodrigo M. Santos and
Sergio F. Ochoa},
title = {Software defined wireless networks with real-time constraints},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {226--229},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3625076},
doi = {10.1145/3615366.3625076},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/LlinasMSO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MatiasIM23,
author = {Clayton Matias and
Naghmeh Ivaki and
Regina Moraes},
title = {Exploring the Impact of Homomorphic Encryption on the Performance
of Machine Learning Algorithms},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {120--125},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615376},
doi = {10.1145/3615366.3615376},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/MatiasIM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/NobreSRMGA23,
author = {Francisco Valderlan Nobre and
Danielle Santos and
Silvio E. S. B. Ribeiro and
Maria C. Mesquita and
Rafael Lopes Gomes and
Thelmo P. de Ara{\'{u}}jo},
title = {Identification of High Delay Links in Internet Service Providers},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {192--195},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3625070},
doi = {10.1145/3615366.3625070},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/NobreSRMGA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/OliveiraAD23,
author = {Luiza Bartels de Oliveira and
Marco Ant{\^{o}}nio Ara{\'{u}}jo and
M{\'{a}}rio Ant{\^{o}}nio Ribeiro Dantas},
title = {A case study on the development of an ontology for maintenance services
of heavy machinery electronic components},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {188--191},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3625069},
doi = {10.1145/3615366.3625069},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/OliveiraAD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PastorioSSHC23,
author = {Jo{\~{a}}o Past{\'{o}}rio and
{\'{A}}lvaro Ricieri Castro e Souza and
Fabio A. Spanhol and
Alexandre Huff and
Edson Tavares de Camargo},
title = {ALR-LoRaWAN: An Application-Level Retransmission Management Algorithm
for LoRaWAN Networks},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {11--20},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615418},
doi = {10.1145/3615366.3615418},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/PastorioSSHC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PaucarE23,
author = {Herminio Paucar and
J{\'{u}}lio Cezar Estrella},
title = {Context-aware monitoring for IoT: an approach based on Agents, and
Federated Learning},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {164--165},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3622791},
doi = {10.1145/3615366.3622791},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/PaucarE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PontesSFB23,
author = {Davi Pontes and
Fernando Silva and
Eduardo De Lucena Falc{\~{a}}o and
Andrey Brito},
title = {Attesting {AMD} {SEV-SNP} Virtual Machines with {SPIRE}},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {1--10},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615419},
doi = {10.1145/3615366.3615419},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/PontesSFB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PromaA23,
author = {Nawshin Mannan Proma and
Rob Alexander},
title = {Systematic Situation Coverage versus Random Situation Coverage for
Safety Testing in an Autonomous Car Simulation},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {208--213},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3625077},
doi = {10.1145/3615366.3625077},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/PromaA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/RodriguezBC23,
author = {Marcelo Rodr{\'{\i}}guez and
Gustavo Betarte and
Daniel Calegari},
title = {Discovering attacker profiles using process mining and the {MITRE}
ATT{\&}CK taxonomy},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {146--155},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615372},
doi = {10.1145/3615366.3615372},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/RodriguezBC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SalasGB23,
author = {Marcelo Invert Palma Salas and
Paulo L. de Geus and
Marcus Botacin},
title = {Enhancing Malware Family Classification in the Microsoft Challenge
Dataset via Transfer Learning},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {156--163},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615374},
doi = {10.1145/3615366.3615374},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SalasGB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ScharfXM23,
author = {Jo{\~{a}}o Lucas Scharf and
Luiz Gustavo Coutinho Xavier and
Odorico M. Mendizabal},
title = {Joining Parallel and Partitioned State Machine Replication Models
for Enhanced Shared Logging Performance},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {90--99},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615422},
doi = {10.1145/3615366.3615422},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/ScharfXM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SerranoBC23,
author = {Nicol{\'{a}}s Serrano and
Gustavo Betarte and
Juan Diego Campo},
title = {Third-Party Trackers in {COVID-19} Mobile Applications Can Enable
Privacy Leaks},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {80--89},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615426},
doi = {10.1145/3615366.3615426},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SerranoBC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SilvaADP23,
author = {Jefferson Pereira da Silva and
Eduardo Alchieri and
Fernando Lu{\'{\i}}s Dotti and
Fernando Pedone},
title = {Parallel Execution of Transactions Based on Dynamic and Self-Verifiable
Conflict Analysis},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {110--119},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615425},
doi = {10.1145/3615366.3615425},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SilvaADP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SilvaRCCG23,
author = {Michael Silva and
Silvio E. S. B. Ribeiro and
Vanessa Carvalho and
Francisco Cardoso and
Rafael Lopes Gomes},
title = {Scalable Detection of {SQL} Injection in Cyber Physical Systems},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {220--225},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3625075},
doi = {10.1145/3615366.3625075},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SilvaRCCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SilveiraSSSMNG23,
author = {Matheus M. Silveira and
Danielle Santos and
Michael S. Souza and
Douglas Silva and
Maria C. Mesquita and
Jonas Neto and
Rafael Lopes Gomes},
title = {An Anonymization Service for Privacy in Data Mining},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {214--219},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3625074},
doi = {10.1145/3615366.3625074},
timestamp = {Fri, 23 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SilveiraSSSMNG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SteinRDA23,
author = {Gabriela Stein and
Luiz Antonio Rodrigues and
Elias Proc{\'{o}}pio Duarte Jr. and
Luciana Arantes},
title = {Diamond-P-vCube: An Eventually Perfect Hierarchical Failure Detector
for Asynchronous Distributed Systems},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {40--49},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3615420},
doi = {10.1145/3615366.3615420},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SteinRDA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/UrbanoSMCCG23,
author = {Arthur Urbano and
Douglas Silva and
Maria C. Mesquita and
Yago Melo Costa and
Mariana Cirino and
Rafael Lopes Gomes},
title = {MonTh: {A} Tool for Automated Monitoring of Threats},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {196--199},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3625071},
doi = {10.1145/3615366.3625071},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/UrbanoSMCCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZamirCV23,
author = {Bukhtawar Zamir and
Jo{\~{a}}o R. Campos and
Marco Vieira},
title = {Advanced Machine Learning for Runtime Data Generation},
booktitle = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
pages = {182--187},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366.3622793},
doi = {10.1145/3615366.3622793},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/ZamirCV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2023,
title = {12th Latin-American Symposium on Dependable and Secure Computing,
{LADC} 2023, La Paz, Bolivia, October 16-18, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3615366},
doi = {10.1145/3615366},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CarvalhoIVDMM22,
author = {Pedro {\^{A}}ngelo Vaz De Carvalho and
Andr{\'{e}} A. S. Ivo and
Guilherme Venticinque and
Gustavo Vicari Duarte and
Matheus Miranda and
F{\'{a}}tima Mattiello{-}Francisco},
title = {Simplifying Operational Scenario Simulation for CubeSat Mission Analysis
Purposes},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {125--130},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3570189},
doi = {10.1145/3569902.3570189},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CarvalhoIVDMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CasareSM22,
author = {Andreia R. Casare and
Celmar Guimar{\~{a}}es da Silva and
Regina Moraes},
title = {Do dependable systems need good user interfaces?},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {21--28},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569905},
doi = {10.1145/3569902.3569905},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CasareSM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CastroLV22,
author = {Jessica Castro and
Nuno Laranjeiro and
Marco Vieira},
title = {Detecting DoS Attacks in Microservice Applications: Approach and Case
Study},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {73--78},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569916},
doi = {10.1145/3569902.3569916},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CastroLV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Cerqueira22,
author = {Jorsiele Cerqueira},
title = {An Ontology for Context-aware Middleware for Dependable Medical Systems},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {79--83},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569947},
doi = {10.1145/3569902.3569947},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/Cerqueira22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Dobos-Kovacs022,
author = {Mih{\'{a}}ly Dobos{-}Kov{\'{a}}cs and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s},
title = {Evaluation of {SMT} solvers in abstraction-based software model checking},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {109--116},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3570187},
doi = {10.1145/3569902.3570187},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/Dobos-Kovacs022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FelixLNGJV22,
author = {Eduardo F. Felix and
Fernando Ant{\^{o}}nio Aires Lins and
Obionor O. N{\'{o}}brega and
Diego R. Gomes and
Bruno A. Jesus and
Marco Vieira},
title = {Compliance Evaluation of Cryptographic Security Requirements on IoT
Gateways},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {67--72},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569915},
doi = {10.1145/3569902.3569915},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/FelixLNGJV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/GaleskyR22,
author = {Leonardo de Freitas Galesky and
Luiz Antonio Rodrigues},
title = {Efficient {CRDT} Synchronization at Scale using a Causal Multicast
over a Virtual Hypercube Overlay},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {84--88},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569948},
doi = {10.1145/3569902.3569948},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/GaleskyR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/GarciaCD22,
author = {Vinicius Fulber Garcia and
F{\'{a}}bio Engel De Camargo and
Elias P. Duarte Jr.},
title = {Sk-Greedy: {A} Heuristic Scheduling Algorithm for Wireless Networks
under the {SINR} Model},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {143--148},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3570190},
doi = {10.1145/3569902.3570190},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/GarciaCD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/GonzalezOGCGMML22,
author = {Samuel Rodriguez Gonzalez and
Juan Betancourt Osorio and
Germ{\'{a}}n Pardo Gonz{\'{a}}lez and
Daniel Cuellar and
Camilo Gomez and
Francesco Mariotti and
Leonardo Montecchi and
Paolo Lollini},
title = {Modeling attacker behavior in Cyber-Physical-Systems},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {117--124},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3570188},
doi = {10.1145/3569902.3570188},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/GonzalezOGCGMML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MeloBSDP22,
author = {Leonardo H. de Melo and
Gustavo de Carvalho Bertoli and
Osamu Saotome and
Marcelo F. Domingues and
Louren{\c{c}}o Alves Pereira Jr.},
title = {Combination of Models for Denial-Of-Service Classification over Different
Networks},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {137--142},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3570176},
doi = {10.1145/3569902.3570176},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MeloBSDP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MoscaRUSG22,
author = {Eduardo E. P. Mosca and
Silvio E. S. B. Ribeiro and
Arthur Urbano and
Danielle S. Silva and
Rafael L. R. Gomes},
title = {Evaluation of Security Techniques in Heterogeneous IoT Devices},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {91--94},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3570170},
doi = {10.1145/3569902.3570170},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/MoscaRUSG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/NunesB22,
author = {Jos{\'{e}} Bernardi S. Nunes and
Andrey Brito},
title = {A taxonomy on privacy and confidentiality},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {1--10},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569903},
doi = {10.1145/3569902.3569903},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/NunesB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PachecoDP22,
author = {Leandro Pacheco and
Fernando Lu{\'{\i}}s Dotti and
Fernando Pedone},
title = {Strengthening Atomic Multicast for Partitioned State Machine Replication},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {51--60},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569909},
doi = {10.1145/3569902.3569909},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/PachecoDP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Pereira0V22,
author = {Jos{\'{e}} D'Abruzzo Pereira and
Nuno Louren{\c{c}}o and
Marco Vieira},
title = {On the Use of Deep Graph {CNN} to Detect Vulnerable {C} Functions},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {45--50},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569913},
doi = {10.1145/3569902.3569913},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/Pereira0V22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PereiraRPMLV22,
author = {Jos{\'{e}} D'Abruzzo Pereira and
Jo{\~{a}}o David Ribeiro and
Jo{\~{a}}o Pires and
Pedro Moita and
Nuno Laranjeiro and
Marco Vieira},
title = {On the use of the {TMA} Framework to promote self-adaptation capabilities
in TalkConnect},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {89--90},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569953},
doi = {10.1145/3569902.3569953},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/PereiraRPMLV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PereiraS22,
author = {Marcela Alves Pereira and
Alirio Santos de S{\'{a}}},
title = {{VCBP:} {A} Reliable and Real-Time Group Communication Protocol for
Vehicular Ad Hoc Networks},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {149--154},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3570191},
doi = {10.1145/3569902.3570191},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/PereiraS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ReisSM22,
author = {Jorge Reis and
Jarbas Silveira and
C{\'{e}}sar A. M. Marcon},
title = {Impact of failures in a MPSoC with shared coprocessors to extend the
{RISC-V} {ISA}},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {29--34},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569906},
doi = {10.1145/3569902.3569906},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/ReisSM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/RuchelRTADC22,
author = {Lucas V. Ruchel and
Luiz Antonio Rodrigues and
Rog{\'{e}}rio C. Turchetti and
Luciana Arantes and
Elias P. Duarte Jr. and
Edson Tavares de Camargo},
title = {A Leaderless Hierarchical Atomic Broadcast Algorithm},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {61--66},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569914},
doi = {10.1145/3569902.3569914},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/RuchelRTADC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SilveiraSRG22,
author = {Matheus M. Silveira and
Danielle S. Silva and
Sandra J. R. Rodriguez and
Rafael L. R. Gomes},
title = {Searchable Symmetric Encryption for Private Data Protection in Cloud
Environments},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {95--98},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3570171},
doi = {10.1145/3569902.3570171},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SilveiraSRG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SoutoSZMML22,
author = {Mois{\'{e}}s Cirilo de Brito Souto and
Lucas Rafael Leandro Silva and
Andr{\'{e}}a Zotovici and
Larissa Martins and
Maria de F{\'{a}}tima Mattiello{-}Francisco and
Geilson Loureiro},
title = {Application of Concurrent Engineering for {G.O.L.D.S} Constellation
as a Cyber-Physical System-of-Systems},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {99--108},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3570186},
doi = {10.1145/3569902.3570186},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SoutoSZMML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SouzaS22,
author = {Jeferson L. R. Souza and
Frank Siqueira},
title = {Analysing and Modelling Inaccessibility in Dependable Real-Time Networks{\unicode{10033}}},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {11--20},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569904},
doi = {10.1145/3569902.3569904},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SouzaS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/VenancioD22,
author = {Giovanni Ven{\^{a}}ncio and
Elias P. Duarte Jr.},
title = {{NHAM:} An {NFV} High Availability Architecture for Building Fault-Tolerant
Stateful Virtual Functions and Services},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {35--44},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3569907},
doi = {10.1145/3569902.3569907},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/VenancioD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/VerlandeLR22,
author = {Lisa Verlande and
Ulrike Lechner and
Steffi Rudel},
title = {Design of a Federated Learning System for {IT} Security: Towards Secure
Human Resource Management},
booktitle = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
pages = {131--136},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902.3570179},
doi = {10.1145/3569902.3570179},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/VerlandeLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2022,
title = {Proceedings of the 11th Latin-American Symposium on Dependable Computing,
{LADC} 2022, Fortaleza/CE, Brazil, November 21-24, 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3569902},
doi = {10.1145/3569902},
isbn = {978-1-4503-9737-7},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AlmeidaGCSM21,
author = {Danilo Pallamin de Almeida and
Bence Graics and
Ronan Arraes Jardim Chagas and
Fabiano Luis de Sousa and
F{\'{a}}tima Mattiello{-}Francisco},
title = {Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical
Systems View},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672594},
doi = {10.1109/LADC53747.2021.9672594},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/AlmeidaGCSM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AtifCB21,
author = {Muhammad Atif and
Andrea Ceccarelli and
Andrea Bondavalli},
title = {Reliable Traffic Sign Recognition System},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021 - Companion
Volume},
pages = {1--2},
publisher = {Brazilian Computing Society},
year = {2021},
url = {https://doi.org/10.5753/ladc.2021.18528},
doi = {10.5753/LADC.2021.18528},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/AtifCB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BertoliJS21,
author = {Gustavo de Carvalho Bertoli and
Louren{\c{c}}o Alves Pereira J{\'{u}}nior and
Osamu Saotome},
title = {Classification of Denial of Service Attacks on Wi-Fi-based Unmanned
Aerial Vehicle},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672561},
doi = {10.1109/LADC53747.2021.9672561},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BertoliJS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BortolotoOLA21,
author = {Evandro R. Bortoloto and
Talitha C. De Oliveira and
Carlos Henrique Netto Lahoz and
Fernando Teixeira Mendes Abrah{\~{a}}o},
title = {{CAST} Applied to Covid-19 Pandemic in Brazil},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672568},
doi = {10.1109/LADC53747.2021.9672568},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BortolotoOLA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BurgosAD21,
author = {Aldenio Burgos and
Eduardo Alchieri and
Fernando Lu{\'{\i}}s Dotti},
title = {On the Performance of Using Parallel State Machine Replication to
Implement Blockchains},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672588},
doi = {10.1109/LADC53747.2021.9672588},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BurgosAD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CamargoD21,
author = {F{\'{a}}bio Engel De Camargo and
Elias P. Duarte},
title = {A Down-to-Earth Scheduling Strategy for Dense {SINR} Wireless Networks},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672559},
doi = {10.1109/LADC53747.2021.9672559},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CamargoD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CamargoD21a,
author = {Edson Tavares de Camargo and
Elias P. Duarte},
title = {An Algorithm-Based Fault Tolerance Strategy for the Bitonic Sort Parallel
Algorithm},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--10},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672590},
doi = {10.1109/LADC53747.2021.9672590},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CamargoD21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Cordeiro21,
author = {Lucas C. Cordeiro},
title = {Exploiting the {SAT} Revolution for Automated Software Verification:
Report from an Industrial Case Study},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021 - Companion
Volume},
pages = {8--9},
publisher = {Brazilian Computing Society},
year = {2021},
url = {https://doi.org/10.5753/ladc.2021.18531},
doi = {10.5753/LADC.2021.18531},
timestamp = {Mon, 11 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Cordeiro21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Dobos-KovacsHV21,
author = {Mih{\'{a}}ly Dobos{-}Kov{\'{a}}cs and
{\'{A}}kos Hajdu and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s},
title = {Bitvector Support in the Theta Formal Verification Framework},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672595},
doi = {10.1109/LADC53747.2021.9672595},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Dobos-KovacsHV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ElekesM21,
author = {M{\'{a}}rton Elekes and
Zolt{\'{a}}n Micskei},
title = {Towards Testing the {UML} {PSSM} Test Suite},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672570},
doi = {10.1109/LADC53747.2021.9672570},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/ElekesM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FoldvariBKGP21,
author = {Andr{\'{a}}s F{\"{o}}ldv{\'{a}}ri and
Gergely Bicz{\'{o}}k and
Imre Kocsis and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Andr{\'{a}}s Pataricza},
title = {Impact Assessment of {IT} Security Breaches in Cyber-Physical Systems:
Short paper},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672582},
doi = {10.1109/LADC53747.2021.9672582},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/FoldvariBKGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FrancaTL21,
author = {Horacio L. Fran{\c{c}}a and
C{\'{e}}sar Teixeira and
Nuno Laranjeiro},
title = {Techniques for Evaluating the Robustness of Deep Learning Systems:
{A} Preliminary Review},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--5},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672592},
doi = {10.1109/LADC53747.2021.9672592},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/FrancaTL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/HortaBH21,
author = {Br{\'{a}}ulio Marques Horta and
Juliana de Melo Bezerra and
Celso Massaki Hirata},
title = {Applying {STAMP} to Support the Synthesis of Controller Logic considering
Safety Concerns},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--10},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672587},
doi = {10.1109/LADC53747.2021.9672587},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/HortaBH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/IvoRMI21,
author = {Andr{\'{e}} A. S. Ivo and
Sheila Granato Ribeiro and
F{\'{a}}tima Mattiello{-}Francisco and
Rog{\'{e}}rio Ishibashi},
title = {On the use of ontology-based integration architecture in Cemaden's
Natural Disaster Observational Network},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021 - Companion
Volume},
pages = {10--13},
publisher = {Brazilian Computing Society},
year = {2021},
url = {https://doi.org/10.5753/ladc.2021.18532},
doi = {10.5753/LADC.2021.18532},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/IvoRMI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/JesusLA21,
author = {Bruno A. Jesus and
Glauber Rodrigues Leite and
Nuno Antunes},
title = {Towards a Robustness Assessment Methodology for IoT Systems},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672573},
doi = {10.1109/LADC53747.2021.9672573},
timestamp = {Tue, 13 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/JesusLA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/KhanKVZS21,
author = {Shahid Khan and
Joost{-}Pieter Katoen and
Matthias Volk and
Muhammad Ahmad Zafar and
Falak Sher},
title = {Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault
Trees},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--10},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672579},
doi = {10.1109/LADC53747.2021.9672579},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/KhanKVZS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/KovacsS21,
author = {L{\'{a}}szl{\'{o}} Kov{\'{a}}cs and
Oszk{\'{a}}r Semer{\'{a}}th},
title = {Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672554},
doi = {10.1109/LADC53747.2021.9672554},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/KovacsS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LopesM21,
author = {Guilherme W. Lopes and
Leonardo Montecchi},
title = {Characterizing and Injecting Faults in Executable Models Specified
with fUML},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--10},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672596},
doi = {10.1109/LADC53747.2021.9672596},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/LopesM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MerladetSFL21,
author = {Antonio Vinicius Diniz Merladet and
Rodrigo De Melo Silveira and
Sergio Fugivara and
Carlos Henrique Netto Lahoz},
title = {Safety analysis of Brazilian suborbital launch operations based on
system-theoretic approach},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--9},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672557},
doi = {10.1109/LADC53747.2021.9672557},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MerladetSFL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MoraesBM21,
author = {Regina Moraes and
T{\^{a}}nia Basso and
Eliane Martins},
title = {V-Model Adaptation for Space Systems in Light of the {ECSS} Standard},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672593},
doi = {10.1109/LADC53747.2021.9672593},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MoraesBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/NagySVV21,
author = {Simon J{\'{o}}zsef Nagy and
Rich{\'{a}}rd Szab{\'{o}} and
M{\'{a}}t{\'{e}} Levente Vajda and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s},
title = {Demonstrator for dependable edge-based cyber-physical systems},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672569},
doi = {10.1109/LADC53747.2021.9672569},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/NagySVV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PaivaDLCMM21,
author = {David Paiva and
Jose Marcelo Lima Duarte and
Raffael S. C. G. de Lima and
Manoel J. M. Carvalho and
F{\'{a}}tima Mattiello{-}Francisco and
Henrique Madeira},
title = {Fault injection platform for affordable verification and validation
of CubeSats software},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--11},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672584},
doi = {10.1109/LADC53747.2021.9672584},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/PaivaDLCMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PereiraAV21,
author = {Jos{\'{e}} D'Abruzzo Pereira and
Jo{\~{a}}o Henggeler Antunes and
Marco Vieira},
title = {On Building a Vulnerability Dataset with Static Information from the
Source Code},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--2},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672589},
doi = {10.1109/LADC53747.2021.9672589},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/PereiraAV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SalesSVVV21,
author = {Frederico O. Sales and
Edelberto Franco Silva and
Alex Borges Vieira and
Marcos A. M. Vieira and
Luiz Filipe M. Vieira},
title = {A Proposal of a Dynamic Routing Multicast Protocol for Visible Light
Communication Networks},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672566},
doi = {10.1109/LADC53747.2021.9672566},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SalesSVVV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SalgadoS21,
author = {Mayara Lopes Salgado and
Marcelo Santiago de Sousa},
title = {Cybersecurity in Aviation: the STPA-Sec Method Applied to the {TCAS}
Security},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--10},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672578},
doi = {10.1109/LADC53747.2021.9672578},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SalgadoS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SchiavoneNB21,
author = {Enrico Schiavone and
Nicola Nostro and
Francesco Brancati},
title = {A {MDE} Tool for Security Risk Assessment of Enterprises},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021 - Companion
Volume},
pages = {5--7},
publisher = {Brazilian Computing Society},
year = {2021},
url = {https://doi.org/10.5753/ladc.2021.18530},
doi = {10.5753/LADC.2021.18530},
timestamp = {Mon, 11 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SchiavoneNB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SilvaFP21,
author = {Carina Carla Silva and
Claudio Medrado Filho and
Alexandre Magno Pinto},
title = {A Systemic Approach to Aircraft System Supportability},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672564},
doi = {10.1109/LADC53747.2021.9672564},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SilvaFP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/StaderiniPB21,
author = {Mirko Staderini and
Andr{\'{a}}s Pataricza and
Andrea Bondavalli},
title = {Static Analysis Tools Applied to Smart Contracts},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021 - Companion
Volume},
pages = {3--4},
publisher = {Brazilian Computing Society},
year = {2021},
url = {https://doi.org/10.5753/ladc.2021.18529},
doi = {10.5753/LADC.2021.18529},
timestamp = {Mon, 11 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/StaderiniPB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/VanzinO21,
author = {Leonardo Vanzin and
M{\'{a}}rcio Seiji Oyamada},
title = {Calibration of {BLE} beacons and its impact on distance estimation
using the log-distance path loss model},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672575},
doi = {10.1109/LADC53747.2021.9672575},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/VanzinO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/VidalIL21,
author = {Fernando Richter Vidal and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Revocation Mechanisms for Blockchain Applications: {A} Review},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--10},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672577},
doi = {10.1109/LADC53747.2021.9672577},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/VidalIL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZavalyshynLRR21,
author = {Igor Zavalyshyn and
Axel Legay and
Annanda Rath and
Etienne Rivi{\`{e}}re},
title = {Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety
of their (Smart) Homes},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672565},
doi = {10.1109/LADC53747.2021.9672565},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/ZavalyshynLRR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZoppiCB21,
author = {Tommaso Zoppi and
Andrea Ceccarelli and
Andrea Bondavalli},
title = {Feature Rankers to Predict Classification Performance of Unsupervised
Intrusion Detectors},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--9},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672586},
doi = {10.1109/LADC53747.2021.9672586},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/ZoppiCB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2021,
title = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021},
doi = {10.1109/LADC53747.2021},
isbn = {978-1-6654-7831-1},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2021c,
title = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021 - Companion
Volume},
publisher = {Brazilian Computing Society},
year = {2021},
url = {https://doi.org/10.5753/ladc\_estendido.2021},
doi = {10.5753/LADC\_ESTENDIDO.2021},
timestamp = {Mon, 11 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/2021c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BatistaADP19,
author = {Elia Batista and
Eduardo Alchieri and
Fernando Lu{\'{\i}}s Dotti and
Fernando Pedone},
title = {Resource Utilization Analysis of Early Scheduling in Parallel State
Machine Replication},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995730},
doi = {10.1109/LADC48089.2019.8995730},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BatistaADP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BendechacheLSSG19,
author = {Malika Bendechache and
Theo Lynn and
Ivanovitch Silva and
Guto Leoni Santos and
Luiz Affonso Guedes and
Sergej Svorobej and
Manuel Noya Mario and
M. Eduardo Ares and
James Byrne and
Patricia Takako Endo},
title = {Analysing Dependability and Performance of a Real-World Elastic Search
Application},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995709},
doi = {10.1109/LADC48089.2019.8995709},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BendechacheLSSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BertieriZMCBB19,
author = {Duccio Bertieri and
Tommaso Zoppi and
Innocenzo Mungiello and
Andrea Ceccarelli and
Mario Barbareschi and
Andrea Bondavalli},
title = {Practical Experience Report: Implementation, Verification and Validation
of a Safe and Secure Communication Protocol for the Railway Domain},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995727},
doi = {10.1109/LADC48089.2019.8995727},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BertieriZMCBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BritoBBSC19,
author = {Andrey Brito and
Francisco V. Brasileiro and
Ignacio Blanquer and
Altigran S. da Silva and
Andr{\'{e}} Carvalho},
title = {{ATMOSPHERE:} Adaptive, Trustworthy, Manageable, Orchestrated, Secure,
Privacy-Assuring, Hybrid Ecosystem for Resilient Cloud Computing},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995718},
doi = {10.1109/LADC48089.2019.8995718},
timestamp = {Fri, 04 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BritoBBSC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CardosoMLA19,
author = {Wallace F. F. Cardoso and
Eliane Martins and
Nuno Laranjeiro and
Nuno Antunes},
title = {Combining State and Interface - Based Robustness Testing for OpenStack
Components},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995720},
doi = {10.1109/LADC48089.2019.8995720},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/CardosoMLA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ChagasSAW19,
author = {Maykon Chagas and
Juc{\'{e}}lio Jair Silva and
Daniel D. Adriano and
Michelle S. Wangham},
title = {{SM4VO:} {A} Security Management Mechanism for Virtual Organizations},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995732},
doi = {10.1109/LADC48089.2019.8995732},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/ChagasSAW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FazulCB19,
author = {Rhauani Weber Aita Fazul and
Paulo Vinicius Cardoso and
Patr{\'{\i}}cia Pitthan Barcelos},
title = {Improving Data Availability in {HDFS} through Replica Balancing},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995674},
doi = {10.1109/LADC48089.2019.8995674},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/FazulCB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FerreiraLERMSSK19,
author = {Leylane Ferreira and
Theo Lynn and
Patricia Takako Endo and
{\'{E}}lisson da Silva Rocha and
Kayo Monteiro and
Guto Leoni Santos and
Francisco Airton Silva and
Judith Kelner and
Djamel Sadok and
Carmelo J. A. Bastos Filho and
Pierangelo Rosati},
title = {Optimizing Resource Availability in Composable Data Center Infrastructures},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995719},
doi = {10.1109/LADC48089.2019.8995719},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/FerreiraLERMSSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/JaraPRV19,
author = {Nicol{\'{a}}s A. Jara and
Hermann Pempelfort and
Gerardo Rubino and
Reinaldo Vallejos},
title = {Survivability in Optical Networks: {A} Solution for the Wavelength
Continuity Constraint Case},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--9},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995687},
doi = {10.1109/LADC48089.2019.8995687},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/JaraPRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/KleinschmidtKPK19,
author = {Jo{\~{a}}o H. Kleinschmidt and
Carlos Kamienski and
Ronaldo C. Prati and
Kari Kolehmainen and
Cristiano Aguzzi},
title = {End-to-End Security in the IoT Computing Continuum: Perspectives in
the {SWAMP} Project},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--2},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995724},
doi = {10.1109/LADC48089.2019.8995724},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/KleinschmidtKPK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LaranjeiroGSMCL19,
author = {Nuno Laranjeiro and
Camilo Gomez and
Enrico Schiavone and
Leonardo Montecchi and
Manoel J. M. Carvalho and
Paolo Lollini and
Zolt{\'{a}}n Micskei},
title = {Addressing Verification and Validation Challenges in Future Cyber-Physical
Systems},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--2},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995714},
doi = {10.1109/LADC48089.2019.8995714},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/LaranjeiroGSMCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LealPE19,
author = {Matheus Leal and
Fl{\'{a}}via Pisani and
Markus Endler},
title = {Inviolable Presence Registration of Mobile Entities in the ContextNet
Middleware (Short Paper)},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995684},
doi = {10.1109/LADC48089.2019.8995684},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/LealPE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MartinBF19,
author = {Andr{\'{e}} Martin and
Andrey Brito and
Christof Fetzer},
title = {Low Cost Synchronization for Actively Replicated Data Streams},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995686},
doi = {10.1109/LADC48089.2019.8995686},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MartinBF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/McGahaganBPC19,
author = {John McGahagan IV and
Darshan Bhansali and
Ciro Pinto{-}Coelho and
Michel Cukier},
title = {A Comprehensive Evaluation of Webpage Content Features for Detecting
Malicious Websites},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995713},
doi = {10.1109/LADC48089.2019.8995713},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/McGahaganBPC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PachecoMSORCN19,
author = {Lucas Pacheco and
Iago Medeiros and
Hugo Santos and
Helder M. N. S. Oliveira and
Denis do Ros{\'{a}}rio and
Eduardo Cerqueira and
Augusto Neto},
title = {A Handover Algorithm for Video Sharing over Vehicular Networks},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--9},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995680},
doi = {10.1109/LADC48089.2019.8995680},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/PachecoMSORCN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PerardGL19,
author = {Doriane Perard and
Lucas Gicquel and
J{\'{e}}r{\^{o}}me Lacan},
title = {BlockHouse: Blockchain-Based Distributed Storehouse System},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995675},
doi = {10.1109/LADC48089.2019.8995675},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/PerardGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PereiraCV19,
author = {Jos{\'{e}} D'Abruzzo Pereira and
Jo{\~{a}}o R. Campos and
Marco Vieira},
title = {An Exploratory Study on Machine Learning to Combine Security Vulnerability
Alerts from Static Analysis Tools},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995685},
doi = {10.1109/LADC48089.2019.8995685},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/PereiraCV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SignorettiSASSF19,
author = {Gabriel Signoretti and
Marianne Batista Diniz Da Silva and
Jordy Araujo and
Ivanovitch Silva and
Diego R. C. Silva and
Paolo Ferrari and
Emiliano Sisinni},
title = {A Dependability Evaluation for {OBD-II} Edge Devices: An Internet
of Intelligent Vehicles Perspective},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--9},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995679},
doi = {10.1109/LADC48089.2019.8995679},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SignorettiSASSF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SilvaABM19,
author = {Jorge Luiz da Silva and
M{\'{a}}rcio Miranda Assis and
Alexandre Braga and
Regina Moraes},
title = {Deploying Privacy as a Service within a Cloud-Based Framework},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995722},
doi = {10.1109/LADC48089.2019.8995722},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SilvaABM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SilvaMLBM19,
author = {Leandro Dias da Silva and
Diamantea Mongelli and
Paolo Lollini and
Andrea Bondavalli and
Gianluca Mand{\`{o}}},
title = {Performability Analysis of a Tramway System with Virtual Tags and
Local Positioning},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995712},
doi = {10.1109/LADC48089.2019.8995712},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SilvaMLBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SilvaNRSFS19,
author = {Diego R. C. Silva and
Marcelo B. Nogueira and
Marconi C. Rodrigues and
Ivanovitch Silva and
Paolo Ferrari and
Emiliano Sisinni},
title = {Implementation of a Dependable Smart Device in IoT Era},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995733},
doi = {10.1109/LADC48089.2019.8995733},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SilvaNRSFS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SilvaSB19,
author = {Matteus Sthefano Leite da Silva and
F{\'{a}}bio Fernando de Oliveira Silva and
Andrey Brito},
title = {Squad: {A} Secure, Simple Storage Service for SGX-Based Microservices},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--9},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995723},
doi = {10.1109/LADC48089.2019.8995723},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SilvaSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SlaghenaufiAN19,
author = {Xerxes Slaghenaufi and
Rodrigo Pincolini Amaral and
Raul Ceretta Nunes},
title = {A Combined Structure for Security in Distributed Simulation},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995729},
doi = {10.1109/LADC48089.2019.8995729},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SlaghenaufiAN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SouzaCBH19,
author = {Nivio Paula de Souza and
Cec{\'{\i}}lia de Azevedo Castro C{\'{e}}sar and
Juliana de Melo Bezerra and
Celso Massaki Hirata},
title = {STAMP-Based Approach to Analyze Safety, Security and Data Privacy},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995717},
doi = {10.1109/LADC48089.2019.8995717},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SouzaCBH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/TorquatoTMV19,
author = {Matheus Torquato and
Lucas Torquato and
Paulo R. M. Maciel and
Marco Vieira},
title = {IaaS Cloud Availability Planning using Models and Genetic Algorithms},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995734},
doi = {10.1109/LADC48089.2019.8995734},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/TorquatoTMV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/VenancioTD19,
author = {Giovanni Ven{\^{a}}ncio and
Rog{\'{e}}rio C. Turchetti and
Elias P. Duarte Jr.},
title = {NFV-RBCast: Enabling the Network to Offer Reliable and Ordered Broadcast
Services},
booktitle = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LADC48089.2019.8995681},
doi = {10.1109/LADC48089.2019.8995681},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/VenancioTD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2019,
title = {9th Latin-American Symposium on Dependable Computing, {LADC} 2019,
Natal, Brazil, November 19-21, 2019},
publisher = {{IEEE}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8977288/proceeding},
isbn = {978-1-7281-6622-3},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AlchieriDMMP18,
author = {Eduardo Alchieri and
Fernando Lu{\'{\i}}s Dotti and
Parisa Jalili Marandi and
Odorico Machado Mendizabal and
Fernando Pedone},
title = {Boosting State Machine Replication with Concurrent Execution},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {77--86},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00018},
doi = {10.1109/LADC.2018.00018},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/AlchieriDMMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BonomiFT18,
author = {Silvia Bonomi and
Giovanni Farina and
S{\'{e}}bastien Tixeuil},
title = {Multi-hop Byzantine Reliable Broadcast Made Practical},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {155--160},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00026},
doi = {10.1109/LADC.2018.00026},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BonomiFT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/DuarteA18,
author = {Ana Duarte and
Nuno Antunes},
title = {An Empirical Study of Docker Vulnerabilities and of Static Code Analysis
Applicability},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {27--36},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00013},
doi = {10.1109/LADC.2018.00013},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/DuarteA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FluriMW18,
author = {Christian Fluri and
Darya Melnyk and
Roger Wattenhofer},
title = {Improving Raft When There Are Failures},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {167--170},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00028},
doi = {10.1109/LADC.2018.00028},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/FluriMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/GharibSKC18,
author = {Mohamad Gharib and
Leandro Dias da Silva and
Hanna Kavalionak and
Andrea Ceccarelli},
title = {A Model-Based Approach for Analyzing the Autonomy Levels for Cyber-Physical
Systems-of-Systems},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {135--144},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00024},
doi = {10.1109/LADC.2018.00024},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/GharibSKC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/GoncalvesAV18,
author = {Charles F. Gon{\c{c}}alves and
Nuno Antunes and
Marco Vieira},
title = {Evaluating the Applicability of Robustness Testing in Virtualized
Environments},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {161--166},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00027},
doi = {10.1109/LADC.2018.00027},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/GoncalvesAV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Gracia-MoranSBG18,
author = {Joaquin Gracia{-}Moran and
Luis J. Saiz{-}Adalid and
Juan{-}Carlos Baraza{-}Calvo and
Pedro J. Gil},
title = {Correction of Adjacent Errors with Low Redundant Matrix Error Correction
Codes},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {107--114},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00021},
doi = {10.1109/LADC.2018.00021},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/Gracia-MoranSBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LopesFHD18,
author = {Marcus Kimura Lopes and
Ricardo Bedin Fran{\c{c}}a and
Celso Massaki Hirata and
Luiz Alberto Vieira Dias},
title = {Method to Detect Floating-Point Absorption and Cancellation Phenomena
in Software-Critical Design Models},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {125--134},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00023},
doi = {10.1109/LADC.2018.00023},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/LopesFHD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MonteiroH18,
author = {Andr{\'{e}} Monteiro and
Felipe da Rocha Henriques},
title = {QMapper: Dynamic Power and Performance Management in Virtualized Web
Servers Clusters},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {37--46},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00014},
doi = {10.1109/LADC.2018.00014},
timestamp = {Thu, 28 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MonteiroH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MorgantiSB18,
author = {Giacomo Morganti and
Enrico Schiavone and
Andrea Bondavalli},
title = {Risk Assessment of Blockchain Technology},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {87--96},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00019},
doi = {10.1109/LADC.2018.00019},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/MorgantiSB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/NguyenCKD18,
author = {Duong N. Nguyen and
Aleksey Charapko and
Sandeep S. Kulkarni and
Murat Demirbas},
title = {Using Weaker Consistency Models with Monitoring and Recovery for Improving
Performance of Key-Value Stores},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {67--76},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00017},
doi = {10.1109/LADC.2018.00017},
timestamp = {Thu, 28 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/NguyenCKD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/OkamuraDT18,
author = {Hiroyuki Okamura and
Tadashi Dohi and
Kishor S. Trivedi},
title = {Parametric Uncertainty Propagation through Dependability Models},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {10--18},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00011},
doi = {10.1109/LADC.2018.00011},
timestamp = {Thu, 28 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/OkamuraDT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PedrajaBB18,
author = {Daniel Pedraja and
Javier Baliosian and
Gustavo Betarte},
title = {Offloading Cryptographic Services to the {SIM} Card},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {47--56},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00015},
doi = {10.1109/LADC.2018.00015},
timestamp = {Thu, 28 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/PedrajaBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/RodriguesDAAS18,
author = {Luiz A. Rodrigues and
Elias P. Duarte Jr. and
Jo{\~{a}}o Paulo de Araujo and
Luciana Arantes and
Pierre Sens},
title = {Bundling Messages to Reduce the Cost of Tree-Based Broadcast Algorithms},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {115--124},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00022},
doi = {10.1109/LADC.2018.00022},
timestamp = {Mon, 24 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/RodriguesDAAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ScheffelF18,
author = {Roberto Milton Scheffel and
Ant{\^{o}}nio Augusto Fr{\"{o}}hlich},
title = {{WSN} Data Confidence Attribution Using Predictors},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {145--154},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00025},
doi = {10.1109/LADC.2018.00025},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/ScheffelF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SierraBBRMM18,
author = {Diego Sierra and
Juan Briceno and
Hector Buitrago and
Brian Rozo and
Leonardo Montecchi and
Ivan Mura},
title = {Probabilistic Modeling of Failure Domino Effects in Chemical Plants},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {57--66},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00016},
doi = {10.1109/LADC.2018.00016},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SierraBBRMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/TuzovAR18,
author = {Ilya Tuzov and
David de Andr{\'{e}}s and
Juan Carlos Ruiz},
title = {Speeding-Up Robustness Assessment of {HDL} Models through Profiling
and Multi-Level Fault Injection},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {97--106},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00020},
doi = {10.1109/LADC.2018.00020},
timestamp = {Thu, 28 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/TuzovAR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/WehmuthZ18,
author = {Klaus Wehmuth and
Artur Ziviani},
title = {Avoiding Spurious Paths in Centralities Based on Shortest Paths in
High Order Networks},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {19--26},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00012},
doi = {10.1109/LADC.2018.00012},
timestamp = {Thu, 28 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/WehmuthZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/XiangLYZYWZT18,
author = {Jianwen Xiang and
Lang Liu and
Ming Yang and
Siwei Zhou and
Luyao Ye and
Caisheng Weng and
Dongdong Zhao and
Jing Tian},
title = {Crane: {A} Tool for Reliability Analysis with Different Coverage Models},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {171--174},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00029},
doi = {10.1109/LADC.2018.00029},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/XiangLYZYWZT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZorzoNLMK18,
author = {Avelino F. Zorzo and
Henry C. Nunes and
Roben Castagna Lunardi and
Regio A. Michelin and
Salil S. Kanhere},
title = {Dependable IoT Using Blockchain-Based Technology},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00010},
doi = {10.1109/LADC.2018.00010},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/ZorzoNLMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2018,
title = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
publisher = {{IEEE}},
year = {2018},
url = {https://ieeexplore.ieee.org/xpl/conhome/8663673/proceeding},
isbn = {978-1-5386-8489-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AlmeidaM16,
author = {Raquel Almeida and
Henrique Madeira},
title = {Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {127--130},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.27},
doi = {10.1109/LADC.2016.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/AlmeidaM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AlvesFA16,
author = {Henrique Alves and
Baldoino Fonseca and
Nuno Antunes},
title = {Experimenting Machine Learning Techniques to Predict Vulnerabilities},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {151--156},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.32},
doi = {10.1109/LADC.2016.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/AlvesFA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BassoMMA16,
author = {T{\^{a}}nia Basso and
Roberta Mayumi Matsunaga and
Regina Moraes and
Nuno Antunes},
title = {Challenges on Anonymity, Privacy, and Big Data},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {164--171},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.34},
doi = {10.1109/LADC.2016.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BassoMMA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BetarteFMPZ16,
author = {Gustavo Betarte and
Rodrigo De La Fuente and
Rodrigo Mart{\'{\i}}nez and
Juan Pirez and
Felipe Zipitria},
title = {Towards Model-Driven Virtual Patching for Web Applications},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {109--118},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.24},
doi = {10.1109/LADC.2016.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BetarteFMPZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BogerFA16,
author = {Davi da Silva B{\"{o}}ger and
Joni da Silva Fraga and
Eduardo Alchieri},
title = {Reconfigurable Scalable State Machine Replication},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.12},
doi = {10.1109/LADC.2016.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BogerFA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CamargoD16,
author = {Edson Tavares de Camargo and
Elias P. Duarte Jr.},
title = {Running Resilient {MPI} Applications on a Dynamic Group of Recommended
Processes},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {15--24},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.14},
doi = {10.1109/LADC.2016.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CamargoD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CastanedaRR16,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Matthieu Roy},
title = {Two Convergence Problems for Robots on Graphs},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {81--90},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.21},
doi = {10.1109/LADC.2016.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CastanedaRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CatanoN16,
author = {N{\'{e}}stor Cata{\~{n}}o and
Shigeo Nishi},
title = {Soundness Proof of EventB2Java},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.15},
doi = {10.1109/LADC.2016.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CatanoN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ChiaradonnaGM16,
author = {Silvano Chiaradonna and
Felicita Di Giandomenico and
Giulio Masetti},
title = {Analyzing the Impact of Failures in the Electric Power Distribution
Grid},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {99--108},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.23},
doi = {10.1109/LADC.2016.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/ChiaradonnaGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ConceicaoMB16,
author = {Carlos A. P. L. Conceicao and
F{\'{a}}tima Mattiello{-}Francisco and
Carlos L. G. Batista},
title = {Dependability Verification of Nanosatellite Embedded Software Supported
by a Reusable Test System},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {157--163},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.33},
doi = {10.1109/LADC.2016.33},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/ConceicaoMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Dimastrogiovanni16,
author = {Carlo Dimastrogiovanni and
Nuno Laranjeiro},
title = {Towards Understanding the Value of False Positives in Static Code
Analysis},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {119--122},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.25},
doi = {10.1109/LADC.2016.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/Dimastrogiovanni16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/DoblerCWN16,
author = {Rodrigo J. Dobler and
S{\'{e}}rgio Luis Cechin and
Taisy Silva Weber and
Joao Netto},
title = {A Software Fault Injector to Validate Implementations of a Safety
Communication Protocol},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {35--42},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.16},
doi = {10.1109/LADC.2016.16},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/DoblerCWN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ErazoMG16,
author = {Leydi Erazo and
Eliane Martins and
Juliana Galvani Greghi},
title = {Modeling Dependable Product-Families: From Use Cases to State Machine
Models},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {131--134},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.28},
doi = {10.1109/LADC.2016.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/ErazoMG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/JeanneauRAD16,
author = {Denis Jeanneau and
Luiz A. Rodrigues and
Luciana Arantes and
Elias P. Duarte Jr.},
title = {An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous
Distributed Systems with Failure Detector},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {91--98},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.22},
doi = {10.1109/LADC.2016.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/JeanneauRAD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LaranjeiroSB16,
author = {Nuno Laranjeiro and
Seyma Nur Soydemir and
Jorge Bernardino},
title = {Testing Web Applications Using Poor Quality Data},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {139--144},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.30},
doi = {10.1109/LADC.2016.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/LaranjeiroSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LukovicKLM16,
author = {Slobodan Lukovic and
Igor Kaitovic and
Gerardo Lecuona and
Miroslaw Malek},
title = {A Methodology for Proactive Maintenance of Uninterruptible Power Supplies},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {183--186},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.37},
doi = {10.1109/LADC.2016.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/LukovicKLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MachadoMMO16,
author = {Nuno Machado and
Francisco Maia and
Miguel Matos and
Rui Oliveira},
title = {BuzzPSS: {A} Dependable and Adaptive Peer Sampling Service},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {71--80},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.20},
doi = {10.1109/LADC.2016.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MachadoMMO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MarascoSC16,
author = {Emanuela Marasco and
Mohamed Shehab and
Bojan Cukic},
title = {A Methodology for Prevention of Biometric Presentation Attacks},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {9--14},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.13},
doi = {10.1109/LADC.2016.13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/MarascoSC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MorganANK16,
author = {Beno{\^{\i}}t Morgan and
Eric Alata and
Vincent Nicomette and
Mohamed Ka{\^{a}}niche},
title = {Bypassing {IOMMU} Protection against {I/O} Attacks},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {145--150},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.31},
doi = {10.1109/LADC.2016.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MorganANK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/NunesCR16,
author = {Jose Luis Nunes and
Jo{\~{a}}o Carlos Cunha and
M{\'{a}}rio Zenha Rela},
title = {Using Failure Prediction to Improve {FPGA} Scrubbing},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {135--138},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.29},
doi = {10.1109/LADC.2016.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/NunesCR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/RossanezC16,
author = {Anderson Rossanez and
Ariadne M. B. R. Carvalho},
title = {Semi-Automatic Checklist Quality Assessment of Natural Language Requirements
for Space Applications},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {123--126},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.26},
doi = {10.1109/LADC.2016.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/RossanezC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/RossettoGAS16,
author = {Anubis Graciela de Moraes Rossetto and
Cl{\'{a}}udio Fernando Resin Geyer and
Luciana Arantes and
Pierre Sens},
title = {Implementing a Flexible Failure Detector That Expresses the Confidence
in the System},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {61--70},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.19},
doi = {10.1109/LADC.2016.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/RossettoGAS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SchiavoneCBC16,
author = {Enrico Schiavone and
Andrea Ceccarelli and
Andrea Bondavalli and
Ariadne M. B. R. Carvalho},
title = {Usability Assessment in a Multi-Biometric Continuous Authentication
System},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {43--50},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.17},
doi = {10.1109/LADC.2016.17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SchiavoneCBC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SilvaAVA16,
author = {Paulo Diego Barbosa Da Silva and
Ana Maria Ambrosio and
Em{\'{\i}}lia Villani and
Denise Rotondi Azevedo},
title = {An Approach for Verification of a Satellite Simulator - An Evolving
System},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {176--182},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.36},
doi = {10.1109/LADC.2016.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SilvaAVA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/TuzovRAG16,
author = {Ilya Tuzov and
Juan Carlos Ruiz and
David de Andr{\'{e}}s and
Pedro J. Gil},
title = {Speeding-Up Simulation-Based Fault Injection of Complex {HDL} Models},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.18},
doi = {10.1109/LADC.2016.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/TuzovRAG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/VecchiatoM16,
author = {Daniel Vecchiato and
Eliane Martins},
title = {Benchmarking User-Defined Security Configuration of Mobile Devices},
booktitle = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
pages = {172--175},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LADC.2016.35},
doi = {10.1109/LADC.2016.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/VecchiatoM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2016,
title = {2016 Seventh Latin-American Symposium on Dependable Computing, {LADC}
2016, Cali, Colombia, October 19-21, 2016},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://ieeexplore.ieee.org/xpl/conhome/7781471/proceeding},
isbn = {978-1-5090-5120-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AlataKNA13,
author = {Eric Alata and
Mohamed Ka{\^{a}}niche and
Vincent Nicomette and
Rim Akrout},
title = {An Automated Approach to Generate Web Applications Attack Scenarios},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {78--85},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.22},
doi = {10.1109/LADC.2013.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/AlataKNA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BehrensWF13,
author = {Diogo Behrens and
Stefan Weigert and
Christof Fetzer},
title = {Automatically Tolerating Arbitrary Faults in Non-malicious Settings},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {114--123},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.26},
doi = {10.1109/LADC.2013.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BehrensWF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CamaraLLVV13,
author = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Nuno Laranjeiro and
Rafael Ventura and
Marco Vieira},
title = {Robustness Evaluation of Controllers in Self-Adaptive Software Systems},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.17},
doi = {10.1109/LADC.2013.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CamaraLLVV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FigueirasGSB13,
author = {Jo{\~{a}}o Figueiras and
Jesper Gr{\o}nb{\ae}k and
Hans{-}Peter Schwefel and
Andrea Bondavalli},
title = {Multi-hypothesis {GPS} and Electronic Fence Data Fusion for Safety-Critical
Positioning in Railway Worksites},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {31--39},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.23},
doi = {10.1109/LADC.2013.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/FigueirasGSB13.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/ladc/Gracia-MoranGSBG13,
author = {Joaquin Gracia{-}Moran and
Daniel Gil{-}Tomas and
Luis J. Saiz{-}Adalid and
Juan{-}Carlos Baraza{-}Calvo and
Pedro J. Gil{-}Vicente},
title = {Defining a Representative and Low Cost Fault Model Set for Intermittent
Faults in Microprocessor Buses},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {98--103},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.19},
doi = {10.1109/LADC.2013.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/Gracia-MoranGSBG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/IrreraDMV13,
author = {Ivano Irrera and
Jo{\~{a}}o Dur{\~{a}}es and
Henrique Madeira and
Marco Vieira},
title = {Assessing the Impact of Virtualization on the Generation of Failure
Prediction Data},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {92--97},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.24},
doi = {10.1109/LADC.2013.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/IrreraDMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/IrreraPV13,
author = {Ivano Irrera and
Carlos Pereira and
Marco Vieira},
title = {The Time Dimension in Predicting Failures: {A} Case Study},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {86--91},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.25},
doi = {10.1109/LADC.2013.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/IrreraPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MaiaMOR13,
author = {Francisco Maia and
Miguel Matos and
Rui Oliveira and
Etienne Rivi{\`{e}}re},
title = {Slicing as a Distributed Systems Primitive},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {124--133},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.21},
doi = {10.1109/LADC.2013.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MaiaMOR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MoolenbroekAT13,
author = {David C. van Moolenbroek and
Raja Appuswamy and
Andrew S. Tanenbaum},
title = {Battling Bad Bits with Checksums in the Loris Page Cache},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {68--77},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.10},
doi = {10.1109/LADC.2013.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MoolenbroekAT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/QanadiloSZ13,
author = {Mona Qanadilo and
Sufyan Samara and
Yuhong Zhao},
title = {Accelerating Online Model Checking},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {40--47},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.20},
doi = {10.1109/LADC.2013.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/QanadiloSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/RamosMR13,
author = {Ramon Marques Ramos and
Magnos Martinello and
Christian Esteve Rothenberg},
title = {Data Center Fault-Tolerant Routing and Forwarding: An Approach Based
on Encoded Paths},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {104--113},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.18},
doi = {10.1109/LADC.2013.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/RamosMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SojerREBK13,
author = {Dominik Sojer and
Frank Reichenbach and
Stein Erik Ellevseth and
Christian Buckl and
Alois C. Knoll},
title = {A Model-Driven Approach for Runtime Reliability Analysis},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.12},
doi = {10.1109/LADC.2013.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SojerREBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/XiangMTYSM13,
author = {Jianwen Xiang and
Fumio Machida and
Kumiko Tadano and
Kazuo Yanoo and
Wei Sun and
Yoshiharu Maeno},
title = {A Static Analysis of Dynamic Fault Trees with Priority-AND Gates},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {58--67},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.14},
doi = {10.1109/LADC.2013.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/XiangMTYSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZiwichSDJ13,
author = {Roverli Pereira Ziwich and
Emanuel A. Schimidt and
Elias P. Duarte Jr. and
Ingrid Jansch{-}P{\^{o}}rto},
title = {Diagnosis of Content Pollution in {P2P} Live Streaming Networks},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {48--57},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.13},
doi = {10.1109/LADC.2013.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/ZiwichSDJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2013,
title = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://ieeexplore.ieee.org/xpl/conhome/6542299/proceeding},
isbn = {978-1-4673-5746-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ArlatM11,
author = {Jean Arlat and
Regina Moraes},
title = {Collecting, Analyzing and Archiving Results from Fault Injection Experiments},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {100--105},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.19},
doi = {10.1109/LADC.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/ArlatM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AzevedoMS11,
author = {Marcus Vinicius Azevedo and
Andr{\'{e}} Felipe Almeida Monteiro and
Alexandre Sztajnberg},
title = {Resource Optimization and Energy Saving in Clusters Using Virtualization},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {74--83},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.16},
doi = {10.1109/LADC.2011.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/AzevedoMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BorranHS11,
author = {Fatemeh Borran and
Martin Hutle and
Andr{\'{e}} Schiper},
title = {Timing Analysis of Leader-Based and Decentralized Byzantine Consensus
Algorithms},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {166--175},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.12},
doi = {10.1109/LADC.2011.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BorranHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BrandaoB11,
author = {Lu{\'{\i}}s T. A. N. Brand{\~{a}}o and
Alysson Neves Bessani},
title = {On the Reliability and Availability of Systems Tolerant to Stealth
Intrusion},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {35--44},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.27},
doi = {10.1109/LADC.2011.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BrandaoB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CeccarelliVFB11,
author = {Andrea Ceccarelli and
Lorenzo Vinerbi and
Lorenzo Falai and
Andrea Bondavalli},
title = {{RACME:} {A} Framework to Support V{\&}V and Certification},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {116--125},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.21},
doi = {10.1109/LADC.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CeccarelliVFB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CotroneoPPR11,
author = {Domenico Cotroneo and
Antonio Pecchia and
Roberto Pietrantuono and
Stefano Russo},
title = {Architecture-Based Criticality Assessment of Software Systems},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {126--135},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.22},
doi = {10.1109/LADC.2011.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CotroneoPPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FerreiraMRB11,
author = {Jeferson Ferreira and
Eliane Martins and
Cec{\'{\i}}lia M. F. Rubira and
Patrick Henrique da Silva Brito},
title = {Validation of Exception Handling in the Development of Dependable
Component-Based Software Systems},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.23},
doi = {10.1109/LADC.2011.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/FerreiraMRB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FriginalARG11,
author = {Jesus Friginal and
David de Andr{\'{e}}s and
Juan{-}Carlos Ruiz{-}Garcia and
Pedro J. Gil},
title = {On Selecting Representative Faultloads to Guide the Evaluation of
Ad Hoc Networks},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {94--99},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.18},
doi = {10.1109/LADC.2011.18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/FriginalARG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ImbsR11,
author = {Damien Imbs and
Michel Raynal},
title = {A Simple Snapshot Algorithm for Multicore Systems},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.11},
doi = {10.1109/LADC.2011.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/ImbsR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Kopetz11,
author = {Hermann Kopetz},
title = {{GENESYS} - {A} Cross-Domain Architecture for Dependable Embedded
Systems},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.9},
doi = {10.1109/LADC.2011.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/Kopetz11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LeiteRC11,
author = {Douglas Siqueira Leite and
Cec{\'{\i}}lia Mary Fischer Rubira and
Fernando Castor},
title = {Exception Handling for Service Component Architectures},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {84--93},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.17},
doi = {10.1109/LADC.2011.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/LeiteRC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MacedoFS11,
author = {Raimundo Jos{\'{e}} de Ara{\'{u}}jo Mac{\^{e}}do and
Allan Edgard Silva Freitas and
Alirio Santos de S{\'{a}}},
title = {A Self-Manageable Group Communication Protocol for Partially Synchronous
Distributed Systems},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {146--155},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.24},
doi = {10.1109/LADC.2011.24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MacedoFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MendesDM11,
author = {Naaliel Mendes and
Jo{\~{a}}o Dur{\~{a}}es and
Henrique Madeira},
title = {Benchmarking the Security of Web Serving Systems Based on Known Vulnerabilities},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.14},
doi = {10.1109/LADC.2011.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MendesDM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MoraisC11,
author = {Anderson Nunes Paiva Morais and
Ana R. Cavalli},
title = {Detection of Attacks in Wireless Mesh Networks},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {45--54},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.13},
doi = {10.1109/LADC.2011.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MoraisC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/NakaiMB11,
author = {Alan Massaru Nakai and
Edmundo Roberto Mauro Madeira and
Luiz Eduardo Buzato},
title = {Load Balancing for Internet Distributed Services Using Limited Redirection
Rates},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {156--165},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.25},
doi = {10.1109/LADC.2011.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/NakaiMB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PedoneSA11,
author = {Fernando Pedone and
Nicolas Schiper and
Jos{\'{e}} Enrique Armend{\'{a}}riz{-}I{\~{n}}igo},
title = {Byzantine Fault-Tolerant Deferred Update Replication},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {7--16},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.10},
doi = {10.1109/LADC.2011.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/PedoneSA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SanchesBM11,
author = {Bruno Pacheco Sanches and
T{\^{a}}nia Basso and
Regina Moraes},
title = {{J-SWFIT:} {A} Java Software Fault Injection Tool},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {106--115},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.20},
doi = {10.1109/LADC.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SanchesBM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ValeroAPS11,
author = {Mathieu Valero and
Luciana Arantes and
Maria Potop{-}Butucaru and
Pierre Sens},
title = {Enhancing Fault Tolerance of Distributed R-Tree},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.26},
doi = {10.1109/LADC.2011.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/ValeroAPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/WeberKC11,
author = {Andr{\'{e}}a Weber and
Alexander Robert Kutzke and
Stefano Chessa},
title = {Energy-Aware Test Connection Assignment for the Diagnosis of a Wireless
Sensor Network},
booktitle = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
pages = {65--73},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LADC.2011.15},
doi = {10.1109/LADC.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/WeberKC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2011,
title = {5th Latin-American Symposium on Dependable Computing, {LADC} 2011,
S{\~{a}}o Jos{\'{e}} dos Campos, Brazil, 25-29 April 2011},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/5783141/proceeding},
isbn = {978-0-7695-4320-8},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AndresRG09,
author = {David de Andr{\'{e}}s and
Juan{-}Carlos Ruiz{-}Garcia and
Pedro J. Gil},
title = {Using Dependability, Performance, Area and Energy Consumption Experimental
Measures to Benchmark {IP} Cores},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {49--56},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.17},
doi = {10.1109/LADC.2009.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/AndresRG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AntunesV09,
author = {Nuno Antunes and
Marco Vieira},
title = {Detecting {SQL} Injection Vulnerabilities in Web Services},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.21},
doi = {10.1109/LADC.2009.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/AntunesV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BouillaguetAS09,
author = {Mathieu Bouillaguet and
Luciana Arantes and
Luciana Sens},
title = {A Timer-Free Fault Tolerant K-Mutual Exclusion Algorithm},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {41--48},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.10},
doi = {10.1109/LADC.2009.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BouillaguetAS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BritoLMMR09,
author = {Patrick H. S. Brito and
Rog{\'{e}}rio de Lemos and
Eliane Martins and
Regina L{\'{u}}cia de Oliveira Moraes and
Cec{\'{\i}}lia M. F. Rubira},
title = {Architectural-Based Validation of Fault-Tolerant Software},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {103--110},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.22},
doi = {10.1109/LADC.2009.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/BritoLMMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CabralM09,
author = {Bruno Cabral and
Paulo Marques},
title = {Implementing Retry - Featuring {AOP}},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {73--80},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.15},
doi = {10.1109/LADC.2009.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CabralM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CardosoBA09,
author = {Jorge C. S. Cardoso and
Carlos Baquero and
Paulo S{\'{e}}rgio Almeida},
title = {Probabilistic Estimation of Network Size and Diameter},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {33--40},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.19},
doi = {10.1109/LADC.2009.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CardosoBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FiccoCR09,
author = {Massimo Ficco and
Luigi Coppolino and
Luigi Romano},
title = {A Weight-Based Symptom Correlation Approach to {SQL} Injection Attacks},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.14},
doi = {10.1109/LADC.2009.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/FiccoCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/HerderMAWGT09,
author = {Jorrit N. Herder and
David C. van Moolenbroek and
Raja Appuswamy and
Bingzheng Wu and
Ben Gras and
Andrew S. Tanenbaum},
title = {Dealing with Driver Failures in the Storage Stack},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {119--126},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.12},
doi = {10.1109/LADC.2009.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/HerderMAWGT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/IliasovRD09,
author = {Alexei Iliasov and
Alexander B. Romanovsky and
Fernando Lu{\'{\i}}s Dotti},
title = {Structuring Specifications with Modes},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {81--88},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.11},
doi = {10.1109/LADC.2009.11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/IliasovRD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LoidlMJB09,
author = {Hans{-}Wolfgang Loidl and
Kenneth MacKenzie and
Steffen Jost and
Lennart Beringer},
title = {A Proof-Carrying-Code Infrastructure for Resources},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {127--134},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.13},
doi = {10.1109/LADC.2009.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/LoidlMJB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Malek09,
author = {Miroslaw Malek},
title = {Empirical Data-Driven Modeling for Dependability Enhancement},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {138},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.31},
doi = {10.1109/LADC.2009.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/Malek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Maxion09,
author = {Roy A. Maxion},
title = {Experimental Methods for Computer Science Research},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {136},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.29},
doi = {10.1109/LADC.2009.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/Maxion09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Maxion09a,
author = {Roy A. Maxion},
title = {Dependability in the Time of Forensics},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {137},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.30},
doi = {10.1109/LADC.2009.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/Maxion09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MoraesAM09,
author = {Regina L{\'{u}}cia de Oliveira Moraes and
Bruno Teixeira de Abreu and
Eliane Martins},
title = {Mapping Web-Based Applications Failures to Faults},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {89--94},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.9},
doi = {10.1109/LADC.2009.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MoraesAM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/NetoV09,
author = {Afonso Ara{\'{u}}jo Neto and
Marco Vieira},
title = {Benchmarking Untrustworthiness in {DBMS} Configurations},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.23},
doi = {10.1109/LADC.2009.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/NetoV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/NetoV09a,
author = {Afonso Ara{\'{u}}jo Neto and
Marco Vieira},
title = {Appraisals Based on Security Best Practices for Software Configurations},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {57--64},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.18},
doi = {10.1109/LADC.2009.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/NetoV09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/OliveiraSFB09,
author = {Ana Cristina Oliveira and
L{\'{\i}}via M. R. Sampaio and
Stenio Flavio Fernandes and
Francisco Vilar Brasileiro},
title = {Adaptive Sabotage-Tolerant Scheduling for Peer-to-Peer Grids},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.16},
doi = {10.1109/LADC.2009.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/OliveiraSFB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PedoneO09,
author = {Fernando Pedone and
Rui Oliveira},
title = {From Object Replication to Database Replication},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {135},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.28},
doi = {10.1109/LADC.2009.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/PedoneO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PontesBA09,
author = {Felipe Pontes and
Francisco Vilar Brasileiro and
Nazareno Andrade},
title = {BitTorrent Needs Psychiatric Guarantees: Quantifying How Vulnerable
BitTorrent Swarms are to Sybil Attacks},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {65--72},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.24},
doi = {10.1109/LADC.2009.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/PontesBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SedaghatM09,
author = {Yasser Sedaghat and
Seyed Ghassem Miremadi},
title = {A Low-Cost On-Line Monitoring Mechanism for the FlexRay Communication
Protocol},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {111--118},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.20},
doi = {10.1109/LADC.2009.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SedaghatM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZumaldeSJ09,
author = {Alex Ander Javarotti Zumalde and
Jorge Martins Secall and
Jo{\~{a}}o Battista Camargo Junior},
title = {Comparative Analysis on the Impact of Defensive Programming Techniques
for Safety-Critical Systems},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {95--102},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.25},
doi = {10.1109/LADC.2009.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/ZumaldeSJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2009,
title = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://ieeexplore.ieee.org/xpl/conhome/5234290/proceeding},
isbn = {978-1-4244-4678-0},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AlexanderssonO07,
author = {Ruben Alexandersson and
Peter {\"{O}}hman},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Implementing Fault Tolerance Using Aspect Oriented Programming},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {57--74},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_6},
doi = {10.1007/978-3-540-75294-3\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ladc/AlexanderssonO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Alvisi07,
author = {Lorenzo Alvisi},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {{BAR} - Where Distributed Computing Meets Game Theory},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {235--236},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_19},
doi = {10.1007/978-3-540-75294-3\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Alvisi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AmbrosioMSSM07,
author = {Ana Maria Ambrosio and
Maria de F{\'{a}}tima Mattiello{-}Francisco and
Valdivino Alexandre de Santiago Jr. and
Wendell Pereira da Silva and
Eliane Martins},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Designing Fault Injection Experiments Using State-Based Model to Test
a Space Software},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {170--178},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_13},
doi = {10.1007/978-3-540-75294-3\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/AmbrosioMSSM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Arlat07,
author = {Jean Arlat},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Nanoscale Technologies: Prospect or Hazard to Dependable and Secure
Computing?},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {3--6},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_2},
doi = {10.1007/978-3-540-75294-3\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Arlat07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BelliEG07,
author = {Fevzi Belli and
Mubariz Eminov and
Nida G{\"{o}}k{\c{c}}e},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Coverage-Oriented, Prioritized Testing - {A} Fuzzy Clustering Approach
and Case Study},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {95--110},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_8},
doi = {10.1007/978-3-540-75294-3\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BelliEG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BritoLMR07,
author = {Patrick Henrique da S. Brito and
Rog{\'{e}}rio de Lemos and
Eliane Martins and
Cec{\'{\i}}lia M. F. Rubira},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Architecture-Centric Fault Tolerance with Exception Handling},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {75--94},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_7},
doi = {10.1007/978-3-540-75294-3\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BritoLMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CourtesKP07,
author = {Ludovic Court{\`{e}}s and
Marc{-}Olivier Killijian and
David Powell},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Security Rationale for a Cooperative Backup Service for Mobile Devices},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {212--230},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_16},
doi = {10.1007/978-3-540-75294-3\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/CourtesKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Fernandez07,
author = {Eduardo B. Fern{\'{a}}ndez},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Security Patterns and Secure Systems Design},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {233--234},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_18},
doi = {10.1007/978-3-540-75294-3\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Fernandez07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FonsecaVM07,
author = {Jos{\'{e}} Fonseca and
Marco Vieira and
Henrique Madeira},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Integrated Intrusion Detection in Databases},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {198--211},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_15},
doi = {10.1007/978-3-540-75294-3\_15},
timestamp = {Wed, 20 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/FonsecaVM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/KhelilS07,
author = {Abdelmajid Khelil and
Neeraj Suri},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Gossiping: Adaptive and Reliable Broadcasting in MANETs},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {123--141},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_10},
doi = {10.1007/978-3-540-75294-3\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/KhelilS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Koopman07,
author = {Philip Koopman},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Reliability, Safety, and Security in Everyday Embedded Systems (Extended
Abstract)},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {1--2},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_1},
doi = {10.1007/978-3-540-75294-3\_1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/Koopman07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LarreaLACW07,
author = {Mikel Larrea and
Alberto Lafuente and
Iratxe Soraluze Arriola and
Roberto Corti{\~{n}}as and
Joachim Wieland},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {On the Implementation of Communication-Optimal Failure Detectors},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {25--37},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_4},
doi = {10.1007/978-3-540-75294-3\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/LarreaLACW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Lemos07,
author = {Rog{\'{e}}rio de Lemos},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Scaling Dependability and Security in Ad Hoc Networks},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {237},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_20},
doi = {10.1007/978-3-540-75294-3\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Lemos07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Madeira07,
author = {Henrique Madeira},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Assessing, Measuring, and Benchmarking Dependability and Resilience},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {238},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_21},
doi = {10.1007/978-3-540-75294-3\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Madeira07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MoraesDMM07,
author = {Regina L{\'{u}}cia de Oliveira Moraes and
Jo{\~{a}}o Dur{\~{a}}es and
Eliane Martins and
Henrique Madeira},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Component-Based Software Certification Based on Experimental Risk
Assessment},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {179--197},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_14},
doi = {10.1007/978-3-540-75294-3\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MoraesDMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MuranhoPRS07,
author = {Jo{\~{a}}o Muranho and
Paula Prata and
M{\'{a}}rio Zenha Rela and
Jo{\~{a}}o Gabriel Silva},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Failure Boundedness in Discrete Applications},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {160--169},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_12},
doi = {10.1007/978-3-540-75294-3\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MuranhoPRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/OliveiraCG07,
author = {Talmai Brand{\~{a}}o de Oliveira and
Victor Franco Costa and
Fab{\'{\i}}ola Greve},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {On the Behavior of Broadcasting Protocols for MANETs Under Omission
Faults Scenarios},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {142--159},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_11},
doi = {10.1007/978-3-540-75294-3\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/OliveiraCG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/PiergiovanniB07,
author = {Sara {Tucci Piergiovanni} and
Roberto Baldoni},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Connectivity in Eventually Quiescent Dynamic Distributed Systems},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {38--56},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_5},
doi = {10.1007/978-3-540-75294-3\_5},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/PiergiovanniB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/RibeiroLR07,
author = {Jos{\'{e}} Carlos Bregieiro Ribeiro and
Bruno Miguel Lu{\'{\i}}s and
M{\'{a}}rio Zenha Rela},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Error Propagation Monitoring on Windows Mobile-Based Devices},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {111--122},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_9},
doi = {10.1007/978-3-540-75294-3\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/RibeiroLR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SchroederD07,
author = {Jonatan Schroeder and
Elias Proc{\'{o}}pio Duarte Jr.},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {7--24},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_3},
doi = {10.1007/978-3-540-75294-3\_3},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/SchroederD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/VieiraM07,
author = {Marco Vieira and
Henrique Madeira},
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Do You Know... How to Analyze and Share Results from Dependability
Evaluation Experiments?},
booktitle = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
pages = {231--232},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3\_17},
doi = {10.1007/978-3-540-75294-3\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/VieiraM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2007,
editor = {Andrea Bondavalli and
Francisco Vilar Brasileiro and
Sergio Rajsbaum},
title = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
Morella, Mexico, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4746},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75294-3},
doi = {10.1007/978-3-540-75294-3},
isbn = {978-3-540-75293-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/AraujoR05,
author = {Filipe Ara{\'{u}}jo and
Lu{\'{\i}}s E. T. Rodrigues},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {On the Monitoring Period for Fault-Tolerant Sensor Networks},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {174--190},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_15},
doi = {10.1007/11572329\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ladc/AraujoR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BritoRFMR05,
author = {Patrick Henrique da S. Brito and
Camila Ribeiro Rocha and
Fernando Castor Filho and
Eliane Martins and
Cec{\'{\i}}lia M. F. Rubira},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {A Method for Modeling and Testing Exceptions in Component-Based Software
Development},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {61--79},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_8},
doi = {10.1007/11572329\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BritoRFMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BucklKS05,
author = {Christian Buckl and
Alois C. Knoll and
Gerhard Schrott},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {The Zerberus Language: Describing the Functional Model of Dependable
Real-Time Systems},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {101--120},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_10},
doi = {10.1007/11572329\_10},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BucklKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CorreiaSSPMO05,
author = {Alfr{\^{a}}nio Correia Jr. and
Ant{\'{o}}nio Lu{\'{\i}}s Sousa and
Lu{\'{\i}}s Soares and
Jos{\'{e}} Pereira and
Francisco Moura and
Rui Oliveira},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Group-Based Replication of On-Line Transaction Processing Servers},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {245--260},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_19},
doi = {10.1007/11572329\_19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/CorreiaSSPMO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/DottiMS05,
author = {Fernando Lu{\'{\i}}s Dotti and
Odorico Machado Mendizabal and
Osmar Marchi dos Santos},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph
Grammars},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {80--100},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_9},
doi = {10.1007/11572329\_9},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/DottiMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/DuraesM05,
author = {Jo{\~{a}}o Dur{\~{a}}es and
Henrique Madeira},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {A Methodology for the Automated Identification of Buffer Overflow
Vulnerabilities in Executable Software Without Source-Code},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {20--34},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_5},
doi = {10.1007/11572329\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/DuraesM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FalaiBG05,
author = {Lorenzo Falai and
Andrea Bondavalli and
Felicita Di Giandomenico},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Quantitative Evaluation of Distributed Algorithms Using the Neko Framework:
The NekoStat Extension},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {35--51},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_6},
doi = {10.1007/11572329\_6},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/FalaiBG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FazeliFHM05,
author = {Mahdi Fazeli and
Reza Farivar and
Shaahin Hessabi and
Seyed Ghassem Miremadi},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {A Fault Tolerant Approach to Object Oriented Design and Synthesis
of Embedded Systems},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {143--153},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_13},
doi = {10.1007/11572329\_13},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/FazeliFHM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Fetzer05,
author = {Christof Fetzer},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Timed Asynchronous Distributed Systems},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {2--3},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_2},
doi = {10.1007/11572329\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Fetzer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Greve05,
author = {Fab{\'{\i}}ola Gon{\c{c}}alves Pereira Greve},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Agreement Protocols in Environments with Temporal Uncertainties},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {266},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_24},
doi = {10.1007/11572329\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Greve05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/GreveN05,
author = {Fab{\'{\i}}ola Gon{\c{c}}alves Pereira Greve and
Jean{-}Pierre Le Narzul},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Generating Fast Atomic Commit from Hyperfast Consensus},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {226--244},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_18},
doi = {10.1007/11572329\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/GreveN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/GuerraouiR05,
author = {Rachid Guerraoui and
Michel Raynal},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Fault-Tolerant Techniques for Concurrent Objects},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {265},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_23},
doi = {10.1007/11572329\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/GuerraouiR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LemosG05,
author = {Rog{\'{e}}rio de Lemos and
Paulo Asterio de Castro Guerra},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Software Architectures for Dependable Systems},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {263--264},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_22},
doi = {10.1007/11572329\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/LemosG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LepiksonB05,
author = {Herman Augusto Lepikson and
Leandro Buss Becker},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Latin-American Workshop on Dependable Automation Systems},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {262},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_21},
doi = {10.1007/11572329\_21},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/LepiksonB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LimaB05,
author = {George Marconi de Araujo Lima and
Alan Burns},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of
Faults},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {154--173},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_14},
doi = {10.1007/11572329\_14},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/LimaB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LimaM05,
author = {F{\'{a}}bio Lima and
Raimundo A. Mac{\^{e}}do},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Adapting Failure Detectors to Communication Network Load Fluctuations
Using {SNMP} and Artificial Neural Nets},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {191--205},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_16},
doi = {10.1007/11572329\_16},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/LimaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MoraesMPM05,
author = {Regina L{\'{u}}cia de Oliveira Moraes and
Eliane Martins and
Elaine C. Catapani Poletti and
Naaliel Vicente Mendes},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Using Stratified Sampling for Fault Injection},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {9--19},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_4},
doi = {10.1007/11572329\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/MoraesMPM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Nett05,
author = {Edgar Nett},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {{WLAN} in Automation - More Than an Academic Exercise?},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {4--8},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_3},
doi = {10.1007/11572329\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Nett05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/RamasamyAS05,
author = {HariGovind V. Ramasamy and
Adnan Agbaria and
William H. Sanders},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy
Execution},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {206--225},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_17},
doi = {10.1007/11572329\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/RamasamyAS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/RelaCSS05,
author = {M{\'{a}}rio Zenha Rela and
Jo{\~{a}}o Carlos Cunha and
Carlos Bruno Silva and
Lu{\'{\i}}s Ferreira da Silva},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {On the Effects of Errors During Boot},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {131--142},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_12},
doi = {10.1007/11572329\_12},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/RelaCSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SakugawaCY05,
author = {Benedito Sakugawa and
Edson Cury and
Edgar Toshiro Yano},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Airborne Software Concerns in Civil Aviation Certification},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {52--60},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_7},
doi = {10.1007/11572329\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SakugawaCY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Sanders05,
author = {William H. Sanders},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Probabilistic Validation of Computer System Survivability},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {1},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_1},
doi = {10.1007/11572329\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Sanders05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZarandiM05,
author = {Hamid R. Zarandi and
Seyed Ghassem Miremadi},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Soft Error Mitigation in Cache Memories of Embedded Systems by Means
of a Protected Scheme},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {121--130},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_11},
doi = {10.1007/11572329\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/ZarandiM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZorzoJG05,
author = {Avelino F. Zorzo and
Ingrid Jansch{-}P{\^{o}}rto and
Fab{\'{\i}}ola Gon{\c{c}}alves Pereira Greve},
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Third Workshop on Theses and Dissertations on Dependable Computing},
booktitle = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
pages = {261},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329\_20},
doi = {10.1007/11572329\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/ZorzoJG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2005,
editor = {Carlos Alberto Maziero and
Jo{\~{a}}o Gabriel Silva and
Aline Maria Santos Andrade and
Fl{\'{a}}vio Morais de Assis Silva},
title = {Dependable Computing, Second Latin-American Symposium, {LADC} 2005,
Salvador, Brazil, October 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3747},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11572329},
doi = {10.1007/11572329},
isbn = {3-540-29572-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BondavalliCCR03,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Domenico Cotroneo and
Luigi Romano},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {303--320},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_22},
doi = {10.1007/978-3-540-45214-0\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BondavalliCCR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BorchardtMJ03,
author = {Mauro Borchardt and
Carlos Maziero and
Edgard Jamhour},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {An Architecture for On-the-Fly File Integrity Checking},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {117--126},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_11},
doi = {10.1007/978-3-540-45214-0\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BorchardtMJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CamargoL03,
author = {Jo{\~{a}}o Batista Camargo Jr. and
Rog{\'{e}}rio de Lemos},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Workshop on Safety: Computer Systems in Critical Applications},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {362},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_26},
doi = {10.1007/978-3-540-45214-0\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/CamargoL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CamargosM03,
author = {L{\'{a}}saro J. Camargos and
Edmundo R. M. Madeira},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation
in the Development of Consensus and Fault Detection Services},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {234--253},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_18},
doi = {10.1007/978-3-540-45214-0\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CamargosM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CarusoAM03,
author = {Antonio Caruso and
Luiz Carlos Pessoa Albini and
Piero Maestrini},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {A New Diagnosis Algorithm for Regular Interconnected Structures},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {264--281},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_20},
doi = {10.1007/978-3-540-45214-0\_20},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/CarusoAM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ContrerasS03,
author = {Jos{\'{e}} Lino Contreras and
Jean{-}Louis Sourrouille},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Adaptable Objects for Dependability},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {181--196},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_15},
doi = {10.1007/978-3-540-45214-0\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/ContrerasS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CostaVMS03,
author = {Pedro Costa and
Marco Vieira and
Henrique Madeira and
Jo{\~{a}}o Gabriel Silva},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Plug and Play Fault Injector for Dependability Benchmarking},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {8--22},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_4},
doi = {10.1007/978-3-540-45214-0\_4},
timestamp = {Mon, 28 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/CostaVMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/DottiSR03,
author = {Fernando Lu{\'{\i}}s Dotti and
Osmar Marchi dos Santos and
Eduardo T. R{\"{o}}del},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {On the Use of Formal Specifications to Analyze Fault Behaviors of
Distributed Systems},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {341--360},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_24},
doi = {10.1007/978-3-540-45214-0\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/DottiSR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/EchtleE03,
author = {Klaus Echtle and
Irene Eusgeld},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {A Genetic Algorithm for Fault-Tolerant System Design},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {197--213},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_16},
doi = {10.1007/978-3-540-45214-0\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/EchtleE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FilhoGR03,
author = {Fernando Castor Filho and
Paulo Asterio de Castro Guerra and
Cec{\'{\i}}lia M. F. Rubira},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {An Architectural-Level Exception-Handling System for Component-Based
Applications},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {321--340},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_23},
doi = {10.1007/978-3-540-45214-0\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/FilhoGR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/GuptaLRSS03,
author = {Vishu Gupta and
Vinh Vi Lam and
HariGovind V. Ramasamy and
William H. Sanders and
Sankalp Singh},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Dependability and Performance Evaluation of Intrusion-Tolerant Server
Architectures},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {81--101},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_9},
doi = {10.1007/978-3-540-45214-0\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/GuptaLRSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/JurjensH03,
author = {Jan J{\"{u}}rjens and
Siv Hilde Houmb},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Development of Safety-Critical Systems and Model-Based Risk Analysis
with {UML}},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {364--365},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_28},
doi = {10.1007/978-3-540-45214-0\_28},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/JurjensH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Kanoun03,
author = {Karama Kanoun},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Dependability Benchmarking: How Far Are We?},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {1},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_1},
doi = {10.1007/978-3-540-45214-0\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Kanoun03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/KeidarR03,
author = {Idit Keidar and
Sergio Rajsbaum},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {On the Cost of Fault-Tolerant Consensus When There Are No Faults -
{A} Tutorial},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {366--368},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_29},
doi = {10.1007/978-3-540-45214-0\_29},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/KeidarR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MachirajuSM03,
author = {Vijay Machiraju and
Akhil Sahai and
Aad P. A. van Moorsel},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Managed Utility Computing: The Grid as Management Backplane},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {4--7},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_3},
doi = {10.1007/978-3-540-45214-0\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/MachirajuSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MadeiraDV03,
author = {Henrique Madeira and
Jo{\~{a}}o Dur{\~{a}}es and
Marco Vieira},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Emulation of Software Faults: Representativeness and Usefulness},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {137--159},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_13},
doi = {10.1007/978-3-540-45214-0\_13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MadeiraDV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Marcelin-JimenezR03,
author = {Ricardo Marcel{\'{\i}}n{-}Jim{\'{e}}nez and
Sergio Rajsbaum},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {214--233},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_17},
doi = {10.1007/978-3-540-45214-0\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Marcelin-JimenezR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MartinsM03,
author = {Eliane Martins and
Maria de F{\'{a}}tima Mattiello{-}Francisco},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {A Tool for Fault Injection and Conformance Testing of Distributed
Systems},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {282--302},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_21},
doi = {10.1007/978-3-540-45214-0\_21},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MartinsM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MelloFSS03,
author = {Emerson Ribeiro de Mello and
Joni da Silva Fraga and
Altair Olivo Santin and
Frank Siqueira},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Building Trust Chains between {CORBA} Objects},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {102--116},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_10},
doi = {10.1007/978-3-540-45214-0\_10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/MelloFSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MoraesM03,
author = {Regina L{\'{u}}cia de Oliveira Moraes and
Eliane Martins},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {A Strategy for Validating an {ODBMS} Component Using a High-Level
Software Fault Injection Tool},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {56--68},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_7},
doi = {10.1007/978-3-540-45214-0\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/MoraesM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MouraE03,
author = {Marcos A. M. de Moura and
Markus Endler},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Managing Adaptive Fault Tolerant {CORBA} Applications},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {160--180},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_14},
doi = {10.1007/978-3-540-45214-0\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/MouraE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/MouraLA03,
author = {Carlos A. T. Moura and
Carlos Henrique Netto Lahoz and
Martha A. D. Abdala},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {A Practical Approach to Quality Assurance in Critical Systems},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {369--370},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_30},
doi = {10.1007/978-3-540-45214-0\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/MouraLA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/NunesJ03,
author = {Raul Ceretta Nunes and
Ingrid Jansch{-}P{\^{o}}rto},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {A Lightweight Interface to Predict Communication Delays Using Time
Series},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {254--263},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_19},
doi = {10.1007/978-3-540-45214-0\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/NunesJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SantosR03,
author = {Lu{\'{\i}}s Santos and
M{\'{a}}rio Zenha Rela},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Constraints on the Use of Boundary-Scan for Fault Injection},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {39--55},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_6},
doi = {10.1007/978-3-540-45214-0\_6},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SantosR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Siewerdt03,
author = {Eno Siewerdt},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Safety-Critical Systems in Air Traffic Management},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {2--3},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_2},
doi = {10.1007/978-3-540-45214-0\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Siewerdt03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/Silva03,
author = {Jo{\~{a}}o Gabriel Silva},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Dependability Benchmarks: Can We Rely on Them?},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {361},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_25},
doi = {10.1007/978-3-540-45214-0\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/Silva03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/SivencronaJPT03,
author = {H{\aa}kan Sivencrona and
Per Johannessen and
Mattias Persson and
Jan Torin},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {69--80},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_8},
doi = {10.1007/978-3-540-45214-0\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/SivencronaJPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/WannerW03,
author = {Paulo C{\'{e}}sar Herrmann Wanner and
Raul Fernando Weber},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Fault Injection Tool for Network Security Evaluation},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {127--136},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_12},
doi = {10.1007/978-3-540-45214-0\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/WannerW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/YusteRLG03,
author = {Pedro Yuste and
Juan{-}Carlos Ruiz{-}Garcia and
Lenin Lemus and
Pedro J. Gil},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Non-intrusive Software-Implemented Fault Injection in Embedded Systems},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {23--38},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_5},
doi = {10.1007/978-3-540-45214-0\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/YusteRLG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/ZorzoBJ03,
author = {Avelino F. Zorzo and
Francisco V. Brasileiro and
Ingrid Jansch{-}P{\^{o}}rto},
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Second Workshop on Theses and Dissertations in Dependable Computing},
booktitle = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
pages = {363},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45214-0\_27},
doi = {10.1007/978-3-540-45214-0\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/ZorzoBJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ladc/2003,
editor = {Rog{\'{e}}rio de Lemos and
Taisy Silva Weber and
Jo{\~{a}}o Batista Camargo Jr.},
title = {Dependable Computing, First Latin-American Symposium, {LADC} 2003,
Sao Paulo, Brazil, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2847},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b13952},
doi = {10.1007/B13952},
isbn = {3-540-20224-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/2003.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.
retrieved on 2024-04-25 07:17 CEST from data curated 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:
