default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th LADC 2021: Florianópolis, Brazil
- 10th Latin-American Symposium on Dependable Computing, LADC 2021, Florianópolis, Brazil, November 22-26, 2021. IEEE 2021, ISBN 978-1-6654-7831-1
- László Kovács, Oszkár Semeráth:
Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles. 1-4 - Antonio Vinicius Diniz Merladet, Rodrigo De Melo Silveira, Sergio Fugivara, Carlos Henrique Netto Lahoz:
Safety analysis of Brazilian suborbital launch operations based on system-theoretic approach. 1-9 - Fábio Engel De Camargo, Elias P. Duarte:
A Down-to-Earth Scheduling Strategy for Dense SINR Wireless Networks. 1-6 - Gustavo de Carvalho Bertoli
, Lourenço Alves Pereira Júnior, Osamu Saotome:
Classification of Denial of Service Attacks on Wi-Fi-based Unmanned Aerial Vehicle. 1-6 - Carina Carla Silva, Claudio Medrado Filho, Alexandre Magno Pinto:
A Systemic Approach to Aircraft System Supportability. 1-6 - Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Rivière:
Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes. 1-6 - Frederico O. Sales, Edelberto Franco Silva, Alex Borges Vieira, Marcos A. M. Vieira, Luiz Filipe M. Vieira:
A Proposal of a Dynamic Routing Multicast Protocol for Visible Light Communication Networks. 1-6 - Evandro R. Bortoloto, Talitha C. De Oliveira, Carlos Henrique Netto Lahoz, Fernando Teixeira Mendes Abrahão:
CAST Applied to Covid-19 Pandemic in Brazil. 1-8 - Simon József Nagy, Richárd Szabó, Máté Levente Vajda, András Vörös:
Demonstrator for dependable edge-based cyber-physical systems. 1-8 - Márton Elekes, Zoltán Micskei:
Towards Testing the UML PSSM Test Suite. 1-4 - Bruno A. Jesus, Glauber Rodrigues Leite, Nuno Antunes:
Towards a Robustness Assessment Methodology for IoT Systems. 1-4 - Leonardo Vanzin, Márcio Seiji Oyamada:
Calibration of BLE beacons and its impact on distance estimation using the log-distance path loss model. 1-4 - Fernando Richter Vidal, Naghmeh Ramezani Ivaki, Nuno Laranjeiro:
Revocation Mechanisms for Blockchain Applications: A Review. 1-10 - Mayara Lopes Salgado, Marcelo Santiago de Sousa:
Cybersecurity in Aviation: the STPA-Sec Method Applied to the TCAS Security. 1-10 - Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher:
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. 1-10 - András Földvári, Gergely Biczók, Imre Kocsis, László Gönczy, András Pataricza:
Impact Assessment of IT Security Breaches in Cyber-Physical Systems: Short paper. 1-4 - David Paiva, Jose Marcelo Lima Duarte, Raffael S. C. G. de Lima, Manoel J. M. Carvalho, Fátima Mattiello-Francisco, Henrique Madeira:
Fault injection platform for affordable verification and validation of CubeSats software. 1-11 - Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Feature Rankers to Predict Classification Performance of Unsupervised Intrusion Detectors. 1-9 - Bráulio Marques Horta, Juliana de Melo Bezerra, Celso Massaki Hirata:
Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns. 1-10 - Aldenio Burgos, Eduardo Alchieri, Fernando Luís Dotti:
On the Performance of Using Parallel State Machine Replication to Implement Blockchains. 1-6 - José D'Abruzzo Pereira, João Henggeler Antunes, Marco Vieira:
On Building a Vulnerability Dataset with Static Information from the Source Code. 1-2 - Edson Tavares de Camargo, Elias P. Duarte:
An Algorithm-Based Fault Tolerance Strategy for the Bitonic Sort Parallel Algorithm. 1-10 - Horacio L. França, César Teixeira, Nuno Laranjeiro:
Techniques for Evaluating the Robustness of Deep Learning Systems: A Preliminary Review. 1-5 - Regina Moraes, Tânia Basso, Eliane Martins:
V-Model Adaptation for Space Systems in Light of the ECSS Standard. 1-4 - Danilo Pallamin de Almeida, Bence Graics, Ronan Arraes Jardim Chagas, Fabiano Luis de Sousa, Fátima Mattiello-Francisco:
Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View. 1-4 - Mihály Dobos-Kovács, Ákos Hajdu, András Vörös:
Bitvector Support in the Theta Formal Verification Framework. 1-8 - Guilherme W. Lopes, Leonardo Montecchi:
Characterizing and Injecting Faults in Executable Models Specified with fUML. 1-10
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-12-19 01:17 CET 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:
