yusuke1997/dblp-id-title huggingface dataset:
Validation of Exception Handling in the Development of Dependable Component-Based Software Systems
Testing Web Applications Using Poor Quality Data
Architecture-Centric Fault Tolerance with Exception Handling
Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, LADC 2024, Recife, Brazil, November 26-29, 2024
Evaluating the Applicability of Robustness Testing in Virtualized Environments
A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical Things
An Architectural-Level Exception-Handling System for Component-Based Applications
DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services
NFV-RBCast: Enabling the Network to Offer Reliable and Ordered Broadcast Services
Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, 2022
10th Latin-American Symposium on Dependable Computing, LADC 2021, Florianópolis, Brazil, November 22-26, 2021 - Companion Volume
10th Latin-American Symposium on Dependable Computing, LADC 2021, Florianópolis, Brazil, November 22-26, 2021
WLAN in Automation - More Than an Academic Exercise?
MonTh: A Tool for Automated Monitoring of Threats
Reconfigurable Scalable State Machine Replication
Techniques for Evaluating the Robustness of Deep Learning Systems: A Preliminary Review
A case study on the development of an ontology for maintenance services of heavy machinery electronic components
Detection of Attacks in Wireless Mesh Networks
Fault-Tolerant Techniques for Concurrent Objects
Detecting DoS Attacks in Microservice Applications: Approach and Case Study
Allocating ECC parity bits into BF16-encoded CNN parameters: A practical experience report
Agreement Protocols in Environments with Temporal Uncertainties
Analyzing the Impact of Failures in the Electric Power Distribution Grid
Capturing the security expert knowledge in feature selection for web application attack detection
Semi-Automatic Checklist Quality Assessment of Natural Language Requirements for Space Applications
Using Failure Prediction to Improve FPGA Scrubbing
Selecting Blockchain Consensus Algorithms Integrations for IoT-based Enviroments
Post-Quantum Algorithms on ARM Trusted Execution Environment (TEE): findings of this industrial challenge
Scaling Dependability and Security in Ad Hoc Networks
Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation
Timed Asynchronous Distributed Systems
Risk Aggregation Using the Poisson Shot Noise Model: What is the Impact of the Window Size?
Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability
Component-Based Software Certification Based on Experimental Risk Assessment
Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract)
Second Workshop on Theses and Dissertations in Dependable Computing
ALR-LoRaWAN: An Application-Level Retransmission Management Algorithm for LoRaWAN Networks
Squad: A Secure, Simple Storage Service for SGX-Based Microservices
A Static Analysis of Dynamic Fault Trees with Priority-AND Gates
Characterizing and Injecting Faults in Executable Models Specified with fUML
A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems
Parametric Uncertainty Propagation through Dependability Models
On the Behavior of Broadcasting Protocols for MANETs Under Omission Faults Scenarios
A Software Fault Injector to Validate Implementations of a Safety Communication Protocol
On Selecting Representative Faultloads to Guide the Evaluation of Ad Hoc Networks
Reincarnation Daemon: improving dependability on Linux
Energy-Aware Test Connection Assignment for the Diagnosis of a Wireless Sensor Network
Benchmarking the Security of Web Serving Systems Based on Known Vulnerabilities
A New Diagnosis Algorithm for Regular Interconnected Structures
Dealing with Driver Failures in the Storage Stack
Discovering attacker profiles using process mining and the MITRE ATT&CK taxonomy
Emulation of Software Faults: Representativeness and Usefulness
Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles
Adversary-Augmented Simulation to evaluate order-fairness on HyperLedger Fabric
Software defined wireless networks with real-time constraints
Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol
Detecting SQL Injection Vulnerabilities in Web Services
A Proof-Carrying-Code Infrastructure for Resources
Comparative Analysis on the Impact of Defensive Programming Techniques for Safety-Critical Systems
Sixth Latin-American Symposium on Dependable Computing, LADC 2013, Rio de Janeiro, Brazil, April 1-5, 2013
Slicing as a Distributed Systems Primitive
Benchmarking Untrustworthiness in DBMS Configurations
Security Rationale for a Cooperative Backup Service for Mobile Devices
A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults
Comparision of Machine Learning Algorithms for Detecting Software Aging in SQL Server
Mapping Web-Based Applications Failures to Faults
Improving Data Availability in HDFS through Replica Balancing
From Object Replication to Database Replication
Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns
Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites
Fault injection platform for affordable verification and validation of CubeSats software
Implementing a Flexible Failure Detector That Expresses the Confidence in the System
Using Stratified Sampling for Fault Injection
Probabilistic Modeling of Failure Domino Effects in Chemical Plants
A Combined Structure for Security in Distributed Simulation
Fault Injection Tool for Network Security Evaluation
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software
Inviolable Presence Registration of Mobile Entities in the ContextNet Middleware (Short Paper)
A Genetic Algorithm for Fault-Tolerant System Design
A Simple Snapshot Algorithm for Multicore Systems
Optimizing Resource Availability in Composable Data Center Infrastructures
Design of a Federated Learning System for IT Security: Towards Secure Human Resource Management
An Approach for Verification of a Satellite Simulator - An Evolving System
A Flexible Framework for Evaluating Cyber Security Maturity and Risks in Electric Power Generation Organizations
Mining Vulnerability and Code Repositories to Study Software Security
12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, 2023
Modeling attacker behavior in Cyber-Physical-Systems
Gossiping: Adaptive and Reliable Broadcasting in MANETs
Automated Severity Driven Patch Management
Implementing Retry - Featuring AOP
Loom: A Closed-Box Disaggregated Database System
Generating Realistic Attack Data for Microservices: Framework and Case Study
A Systemic Approach to Aircraft System Supportability
Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study
Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores
Enhancing Fault Tolerance of Distributed R-Tree
Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation
Deploying Privacy as a Service within a Cloud-Based Framework
Collecting, Analyzing and Archiving Results from Fault Injection Experiments
On Design Autonomic Behavior for Blockchain platforms
Demonstrator for dependable edge-based cyber-physical systems
nMatrix: A New Decoding Algorithm for the Matrix ECC
Generating Fast Atomic Commit from Hyperfast Consensus
Simplifying Operational Scenario Simulation for CubeSat Mission Analysis Purposes
Software Architectures for Dependable Systems
Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication
Experimental Methods for Computer Science Research
Optimization of Heterogeneous Data in Sensor Networks to Industrial Internet
Towards a Robustness Assessment Methodology for IoT Systems
Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks
Speeding-Up Simulation-Based Fault Injection of Complex HDL Models
On the use of ontology-based integration architecture in Cemaden's Natural Disaster Observational Network
Appraisals Based on Security Best Practices for Software Configurations
Speeding-Up Robustness Assessment of HDL Models through Profiling and Multi-Level Fault Injection
Non-intrusive Software-Implemented Fault Injection in Embedded Systems
Disaster-FD: A Failure Detector for Disaster-Prone Environments
Efficient Synchronization of CRDTs using VCube-PS
Impact Assessment of IT Security Breaches in Cyber-Physical Systems: Short paper
Exploring the Impact of Homomorphic Encryption on the Performance of Machine Learning Algorithms
Soundness Proof of EventB2Java
Integrated Intrusion Detection in Databases
Battling Bad Bits with Checksums in the Loris Page Cache
Reliability Analysis of Software Architecture Evolution
Evaluation of SMT solvers in abstraction-based software model checking
Resource Optimization and Energy Saving in Clusters Using Virtualization
A Self-Manageable Group Communication Protocol for Partially Synchronous Distributed Systems
A Lightweight Interface to Predict Communication Delays Using Time Series
Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction
The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems
Exception Handling for Service Component Architectures
Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets
IaaS Cloud Availability Planning using Models and Genetic Algorithms
How Context Impacts Vulnerability Severity: An Analysis of Product-Specific CVSS Scores
Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme
Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution
Constraints on the Use of Boundary-Scan for Fault Injection
Survivability in Optical Networks: A Solution for the Wavelength Continuity Constraint Case
Improving Raft When There Are Failures
Availability and Performance Analysis of Cloud Services
Safety analysis of Brazilian suborbital launch operations based on system-theoretic approach
Diagnosis of Content Pollution in P2P Live Streaming Networks
Revocation Mechanisms for Blockchain Applications: A Review
2016 Seventh Latin-American Symposium on Dependable Computing, LADC 2016, Cali, Colombia, October 19-21, 2016
Third Workshop on Theses and Dissertations on Dependable Computing
On the Implementation of Communication-Optimal Failure Detectors
Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study
Dependability Benchmarking: How Far Are We?
QMapper: Dynamic Power and Performance Management in Virtualized Web Servers Clusters
Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models
The Role of TCP Congestion Control in the Throughput Forecasting
Error Propagation Monitoring on Windows Mobile-Based Devices
8th Latin-American Symposium on Dependable Computing, LADC 2018, Foz do Iguaçu, Brazil, October 8-10, 2018
Assessing the Impact of Virtualization on the Generation of Failure Prediction Data
Towards Testing the UML PSSM Test Suite
CAST Applied to Covid-19 Pandemic in Brazil
Searchable Symmetric Encryption for Private Data Protection in Cloud Environments
Plug and Play Fault Injector for Dependability Benchmarking
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
MQTT-VET: Exploring MQTT Protocol Vulnerabilities
A Methodology for Proactive Maintenance of Uninterruptible Power Supplies
Using Formal Methods for On-The-Fly Time Series Verification
Consent validation for personal data access control using ABAC
Static Analysis Tools Applied to Smart Contracts
Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing?
A Comprehensive Evaluation of Webpage Content Features for Detecting Malicious Websites
Calibration of BLE beacons and its impact on distance estimation using the log-distance path loss model
Advanced Machine Learning for Runtime Data Generation
GENESYS - A Cross-Domain Architecture for Dependable Embedded Systems
A distributed software architecture based on reactive microservices for the Smart Building context
Evaluation of Machine Learning for Intrusion Detection in Microservice Applications
5th Latin-American Symposium on Dependable Computing, LADC 2011, São José dos Campos, Brazil, 25-29 April 2011
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation
Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
On the use of the TMA Framework to promote self-adaptation capabilities in TalkConnect
Risk Assessment of Blockchain Technology
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars
Low Cost Synchronization for Actively Replicated Data Streams
NHAM: An NFV High Availability Architecture for Building Fault-Tolerant Stateful Virtual Functions and Services
Security Patterns and Secure Systems Design
Deep-TEMPEST: Using Deep Learning to Eavesdrop on HDMI from its Unintended Electromagnetic Emanations
Towards Model-Driven Virtual Patching for Web Applications
9th Latin-American Symposium on Dependable Computing, LADC 2019, Natal, Brazil, November 19-21, 2019
Adaptable Objects for Dependability
A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot Overhead
Avoiding Spurious Paths in Centralities Based on Shortest Paths in High Order Networks
Impact of Data Anonymization in Machine Learning Models
RACME: A Framework to Support V&V and Certification
A Model-Based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems
Load Balancing for Internet Distributed Services Using Limited Redirection Rates
Architectural-Based Validation of Fault-Tolerant Software
A Methodology for Prevention of Biometric Presentation Attacks
Stochastic Petri Net Models for Availability and Performance Evaluation of Nextcloud Service hosted in Apache Cloudstack
Bundling Messages to Reduce the Cost of Tree-Based Broadcast Algorithms
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings
A Proposal of a Dynamic Routing Multicast Protocol for Visible Light Communication Networks
Probabilistic Estimation of Network Size and Diameter
A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool
Accelerating Online Model Checking
Data Center Fault-Tolerant Routing and Forwarding: An Approach Based on Encoded Paths
A Tool for Fault Injection and Conformance Testing of Distributed Systems
Timing Analysis of Leader-Based and Decentralized Byzantine Consensus Algorithms
On the Reliability and Availability of Systems Tolerant to Stealth Intrusion
BAR - Where Distributed Computing Meets Game Theory
An Automated Approach to Generate Web Applications Attack Scenarios
Group-Based Replication of On-Line Transaction Processing Servers
Empirical Data-Driven Modeling for Dependability Enhancement
BlockHouse: Blockchain-Based Distributed Storehouse System
Dependable IoT Using Blockchain-Based Technology
Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles
On the Use of Deep Graph CNN to Detect Vulnerable C Functions
On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial
Cybersecurity in Aviation: the STPA-Sec Method Applied to the TCAS Security
Joining Parallel and Partitioned State Machine Replication Models for Enhanced Shared Logging Performance
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems
Correction of Adjacent Errors with Low Redundant Matrix Error Correction Codes
Towards a Novel Model for Availability as a Service
Connectivity in Eventually Quiescent Dynamic Distributed Systems
On the Performance of Using Parallel State Machine Replication to Implement Blockchains
Automation of Security Controls for Continuous Compliance in Vulnerability Management
Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009
An Architecture for On-the-Fly File Integrity Checking
Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict Analysis
A Hierarchical Adaptive Leader Election Algorithm for Crash-Recovery Distributed Systems
A Timer-Free Fault Tolerant K-Mutual Exclusion Algorithm
Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
A Method for Modeling and Testing Exceptions in Component-Based Software Development
Combination of Models for Denial-Of-Service Classification over Different Networks
Multi-hop Byzantine Reliable Broadcast Made Practical
Extending State Machine Replication through Composition
Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments?
A Dependability Evaluation for OBD-II Edge Devices: An Internet of Intelligent Vehicles Perspective
Performability Analysis of a Tramway System with Virtual Tags and Local Positioning
Byzantine Fault-Tolerant Deferred Update Replication
Building Trust Chains between CORBA Objects
Boosting State Machine Replication with Concurrent Execution
An Empirical Study of Docker Vulnerabilities and of Static Code Analysis Applicability
Context-aware monitoring for IoT: an approach based on Agents, and Federated Learning
Managing Adaptive Fault Tolerant CORBA Applications
Reliable Traffic Sign Recognition System
An Autonomic Hierarchical Reliable Broadcast Protocol for Asynchronous Distributed Systems with Failure Detector
Compliance Evaluation of Cryptographic Security Requirements on IoT Gateways
Structuring Specifications with Modes
On Building a Vulnerability Dataset with Static Information from the Source Code
Assessing, Measuring, and Benchmarking Dependability and Resilience
An Algorithm-Based Fault Tolerance Strategy for the Bitonic Sort Parallel Algorithm
Enhancing Malware Family Classification in the Microsoft Challenge Dataset via Transfer Learning
Identification of High Delay Links in Internet Service Providers
Sk-Greedy: A Heuristic Scheduling Algorithm for Wireless Networks under the SINR Model
Defining a Representative and Low Cost Fault Model Set for Intermittent Faults in Microprocessor Buses
Using Dependability, Performance, Area and Energy Consumption Experimental Measures to Benchmark IP Cores
Architecture-Based Criticality Assessment of Software Systems
An Artificial Intelligence Framework for the Representation and Reuse of Cybersecurity Incident Resolution Knowledge
Do dependable systems need good user interfaces?
A Practical Approach to Quality Assurance in Critical Systems
An Exploratory Study on Machine Learning to Combine Security Vulnerability Alerts from Static Analysis Tools
ATMOSPHERE: Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-Assuring, Hybrid Ecosystem for Resilient Cloud Computing
Scalable Detection of SQL Injection in Cyber Physical Systems
Efficient CRDT Synchronization at Scale using a Causal Multicast over a Virtual Hypercube Overlay
IT-SPIRE: Improving the Resilience of the SPIFFE/SPIRE Architecture with an Intrusion-Tolerant Server
J-SWFIT: A Java Software Fault Injection Tool
Evaluation of Security Techniques in Heterogeneous IoT Devices
Impact of failures in a MPSoC with shared coprocessors to extend the RISC-V ISA
Assessment of Availability and Reliability of a Textile Manufacturing 4.0 Using Stochastic Models
Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures
Dependability Verification of Nanosatellite Embedded Software Supported by a Reusable Test System
Safety-Critical Systems in Air Traffic Management
BitTorrent Needs Psychiatric Guarantees: Quantifying How Vulnerable BitTorrent Swarms are to Sybil Attacks
Towards Understanding the Value of False Positives in Static Code Analysis
Airborne Software Concerns in Civil Aviation Certification
Robustness Evaluation of Controllers in Self-Adaptive Software Systems
Automatically Tolerating Arbitrary Faults in Non-malicious Settings
Practical Experience Report: Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain
A Model-Driven Approach for Runtime Reliability Analysis
V-Model Adaptation for Space Systems in Light of the ECSS Standard
Offloading Cryptographic Services to the SIM Card
Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities
Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
Two Convergence Problems for Robots on Graphs
A taxonomy on privacy and confidentiality
An Approach Toward Enhancing OT and IoT Security
Adaptive Sabotage-Tolerant Scheduling for Peer-to-Peer Grids
Supporting continuous vulnerability compliance through automated identity provisioning
A Weight-Based Symptom Correlation Approach to SQL Injection Attacks
Probabilistic Validation of Computer System Survivability
Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View
VCBP: A Reliable and Real-Time Group Communication Protocol for Vehicular Ad Hoc Networks
Using IoT Mesh Networks to Extend Wireless Coverage in Industrial Environments
Multi-Platform and Vault-Free Attestation of Confidential VMs
On the Effects of Errors During Boot
Combining State and Interface - Based Robustness Testing for OpenStack Components
STAMP-Based Approach to Analyze Safety, Security and Data Privacy
Challenges on Anonymity, Privacy, and Big Data
An Ontology for Context-aware Middleware for Dependable Medical Systems
WSN Data Confidence Attribution Using Predictors
A Handover Algorithm for Video Sharing over Vehicular Networks
Experimenting Machine Learning Techniques to Predict Vulnerabilities
Managed Utility Computing: The Grid as Management Backplane
Modeling Availability in Softwarized MEC: Integrating a Fault Injection Tool for Effective Validation
Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation
Implementation of a Dependable Smart Device in IoT Era
End-to-End Security in the IoT Computing Continuum: Perspectives in the SWAMP Project
An Anonymization Service for Privacy in Data Mining
The Time Dimension in Predicting Failures: A Case Study
Workshop on Safety: Computer Systems in Critical Applications
Intrusion Detection and Tolerance for Microservice Applications
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension
Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes
Diamond-P-vCube: An Eventually Perfect Hierarchical Failure Detector for Asynchronous Distributed Systems
Running Resilient MPI Applications on a Dynamic Group of Recommended Processes
Bitvector Support in the Theta Formal Verification Framework
Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage
A Leaderless Hierarchical Atomic Broadcast Algorithm
Empirical observation of Execution Throttling as MQTT Broker defense against Memory Denial of Service Attacks
SM4VO: A Security Management Mechanism for Virtual Organizations
Classification of Denial of Service Attacks on Wi-Fi-based Unmanned Aerial Vehicle
Survivable Systems Analysis for Real Time Control Systems in Critical Infrastructures
Matrix Cipher and Its Application in Computer Security
On The Improvement of XML Web Services Security
KILL Features of RFID Tags in a Medical Environment: Boon or Burden?
A Proposal for an Automated Approach to Real Time Profiling of IT Security Compromises
Using Generated Digital Images to Modify the PGP Cryptography Protocol
Conditional Access Systems for Internet Content Protection
Design and Implementation of a Data Sharing Scheme with Security and Flexibility Applicable to Extended P2P Systems
Cyber Defense Architecture for Campus Intranet