default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th LADC 2022: Fortaleza, CE, Brazil
- Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, 2022. ACM 2022, ISBN 978-1-4503-9737-7
- José Bernardi S. Nunes
, Andrey Brito:
A taxonomy on privacy and confidentiality. 1-10 - Jeferson L. R. Souza, Frank Siqueira:
Analysing and Modelling Inaccessibility in Dependable Real-Time Networks✱. 11-20 - Andreia R. Casare, Celmar Guimarães da Silva, Regina Moraes:
Do dependable systems need good user interfaces? 21-28 - Jorge Reis, Jarbas Silveira, César A. M. Marcon:
Impact of failures in a MPSoC with shared coprocessors to extend the RISC-V ISA. 29-34 - Giovanni Venâncio, Elias P. Duarte Jr.:
NHAM: An NFV High Availability Architecture for Building Fault-Tolerant Stateful Virtual Functions and Services. 35-44 - José D'Abruzzo Pereira, Nuno Lourenço, Marco Vieira:
On the Use of Deep Graph CNN to Detect Vulnerable C Functions. 45-50 - Leandro Pacheco, Fernando Luís Dotti, Fernando Pedone:
Strengthening Atomic Multicast for Partitioned State Machine Replication. 51-60 - Lucas V. Ruchel, Luiz Antonio Rodrigues, Rogério C. Turchetti, Luciana Arantes, Elias P. Duarte Jr., Edson Tavares de Camargo:
A Leaderless Hierarchical Atomic Broadcast Algorithm. 61-66 - Eduardo F. Felix, Fernando Antônio Aires Lins, Obionor O. Nóbrega, Diego R. Gomes, Bruno A. Jesus, Marco Vieira:
Compliance Evaluation of Cryptographic Security Requirements on IoT Gateways. 67-72 - Jessica Castro, Nuno Laranjeiro, Marco Vieira:
Detecting DoS Attacks in Microservice Applications: Approach and Case Study. 73-78 - Jorsiele Cerqueira:
An Ontology for Context-aware Middleware for Dependable Medical Systems. 79-83 - Leonardo de Freitas Galesky, Luiz Antonio Rodrigues:
Efficient CRDT Synchronization at Scale using a Causal Multicast over a Virtual Hypercube Overlay. 84-88 - José D'Abruzzo Pereira, João David Ribeiro, João Pires, Pedro Moita, Nuno Laranjeiro, Marco Vieira:
On the use of the TMA Framework to promote self-adaptation capabilities in TalkConnect. 89-90 - Eduardo E. P. Mosca, Silvio E. S. B. Ribeiro, Arthur Urbano, Danielle S. Silva, Rafael L. R. Gomes:
Evaluation of Security Techniques in Heterogeneous IoT Devices. 91-94 - Matheus Monteiro Silveira, Danielle S. Silva, Sandra J. R. Rodriguez, Rafael L. R. Gomes:
Searchable Symmetric Encryption for Private Data Protection in Cloud Environments. 95-98 - Moisés Cirilo de Brito Souto, Lucas Rafael Leandro Silva, Andréa Zotovici, Larissa Martins, Maria de Fátima Mattiello-Francisco, Geilson Loureiro:
Application of Concurrent Engineering for G.O.L.D.S Constellation as a Cyber-Physical System-of-Systems. 99-108 - Mihály Dobos-Kovács, András Vörös:
Evaluation of SMT solvers in abstraction-based software model checking. 109-116 - Samuel Rodriguez Gonzalez, Juan Betancourt Osorio, Germán Pardo González, Daniel Cuellar, Camilo Gomez, Francesco Mariotti, Leonardo Montecchi, Paolo Lollini:
Modeling attacker behavior in Cyber-Physical-Systems. 117-124 - Pedro Ângelo Vaz De Carvalho, André A. S. Ivo, Guilherme Venticinque, Gustavo Vicari Duarte, Matheus Miranda, Fátima Mattiello-Francisco:
Simplifying Operational Scenario Simulation for CubeSat Mission Analysis Purposes. 125-130 - Lisa Verlande, Ulrike Lechner, Steffi Rudel:
Design of a Federated Learning System for IT Security: Towards Secure Human Resource Management. 131-136 - Leonardo H. de Melo, Gustavo de Carvalho Bertoli, Osamu Saotome, Marcelo F. Domingues, Lourenço Alves Pereira Jr.:
Combination of Models for Denial-Of-Service Classification over Different Networks. 137-142 - Vinicius Fulber-Garcia, Fábio Engel De Camargo, Elias P. Duarte Jr.:
Sk-Greedy: A Heuristic Scheduling Algorithm for Wireless Networks under the SINR Model. 143-148 - Marcela Alves Pereira, Alirio Santos de Sá:
VCBP: A Reliable and Real-Time Group Communication Protocol for Vehicular Ad Hoc Networks. 149-154
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 2025-06-02 01: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:
