Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th LADC 2016: Cali, Colombia
- 2016 Seventh Latin-American Symposium on Dependable Computing, LADC 2016, Cali, Colombia, October 19-21, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-5120-5
Session: Invited Papers
- Davi da Silva Böger, Joni da Silva Fraga, Eduardo Alchieri:
Reconfigurable Scalable State Machine Replication. 1-8 - Emanuela Marasco, Mohamed Shehab
, Bojan Cukic:
A Methodology for Prevention of Biometric Presentation Attacks. 9-14
Session: Regular Papers
- Edson Tavares de Camargo, Elias P. Duarte Jr.:
Running Resilient MPI Applications on a Dynamic Group of Recommended Processes. 15-24 - Néstor Cataño, Shigeo Nishi:
Soundness Proof of EventB2Java. 25-34 - Rodrigo J. Dobler, Sérgio Luis Cechin, Taisy Silva Weber, Joao Netto:
A Software Fault Injector to Validate Implementations of a Safety Communication Protocol. 35-42 - Enrico Schiavone, Andrea Ceccarelli, Andrea Bondavalli, Ariadne M. B. R. Carvalho:
Usability Assessment in a Multi-Biometric Continuous Authentication System. 43-50 - Ilya Tuzov, Juan Carlos Ruiz, David de Andrés, Pedro J. Gil:
Speeding-Up Simulation-Based Fault Injection of Complex HDL Models. 51-60 - Anubis Graciela de Moraes Rossetto, Cláudio Fernando Resin Geyer, Luciana Arantes, Pierre Sens:
Implementing a Flexible Failure Detector That Expresses the Confidence in the System. 61-70 - Nuno Machado, Francisco Maia, Miguel Matos, Rui Oliveira:
BuzzPSS: A Dependable and Adaptive Peer Sampling Service. 71-80 - Armando Castañeda, Sergio Rajsbaum, Matthieu Roy:
Two Convergence Problems for Robots on Graphs. 81-90 - Denis Jeanneau, Luiz A. Rodrigues, Luciana Arantes, Elias P. Duarte Jr.:
An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure Detector. 91-98 - Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti:
Analyzing the Impact of Failures in the Electric Power Distribution Grid. 99-108 - Gustavo Betarte, Rodrigo De La Fuente, Rodrigo Martínez, Juan Pirez, Felipe Zipitria:
Towards Model-Driven Virtual Patching for Web Applications. 109-118
Session: Short Papers
- Carlo Dimastrogiovanni, Nuno Laranjeiro:
Towards Understanding the Value of False Positives in Static Code Analysis. 119-122 - Anderson Rossanez, Ariadne M. B. R. Carvalho:
Semi-Automatic Checklist Quality Assessment of Natural Language Requirements for Space Applications. 123-126 - Raquel Almeida, Henrique Madeira:
Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities. 127-130 - Leydi Erazo, Eliane Martins, Juliana Galvani Greghi:
Modeling Dependable Product-Families: From Use Cases to State Machine Models. 131-134 - Jose Luis Nunes, João Carlos Cunha, Mário Zenha Rela:
Using Failure Prediction to Improve FPGA Scrubbing. 135-138
Session: Practical Experience Report
- Nuno Laranjeiro, Seyma Nur Soydemir, Jorge Bernardino:
Testing Web Applications Using Poor Quality Data. 139-144 - Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche:
Bypassing IOMMU Protection against I/O Attacks. 145-150 - Henrique Alves, Baldoino Fonseca, Nuno Antunes:
Experimenting Machine Learning Techniques to Predict Vulnerabilities. 151-156
WDES 2016: Workshop on Dependability in Evolving Systems
- Carlos A. P. L. Conceicao, Fátima Mattiello-Francisco, Carlos L. G. Batista:
Dependability Verification of Nanosatellite Embedded Software Supported by a Reusable Test System. 157-163 - Tânia Basso, Roberta Mayumi Matsunaga, Regina Moraes, Nuno Antunes:
Challenges on Anonymity, Privacy, and Big Data. 164-171 - Daniel Vecchiato, Eliane Martins:
Benchmarking User-Defined Security Configuration of Mobile Devices. 172-175 - Paulo Diego Barbosa Da Silva, Ana Maria Ambrosio, Emília Villani, Denise Rotondi Azevedo:
An Approach for Verification of a Satellite Simulator - An Evolving System. 176-182 - Slobodan Lukovic, Igor Kaitovic, Gerardo Lecuona, Miroslaw Malek:
A Methodology for Proactive Maintenance of Uninterruptible Power Supplies. 183-186
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
