yusuke1997/dblp-id-title huggingface dataset:
Safecharts for Specifying and Designing Safety Critical Systems
An O(1) Quorum Consensus Protocol Tailored for the Client/Server Architecture
Application of Commercial-Grade Digital Equipment in Nuclear Power Plant Safety Systems
Fast Repair for Single Failure in Erasure Coding-Based Distributed Storage Systems
Byzantine Agreement with Interval Validity
On the Impact of log Compaction on Incrementally Checkpointing Stateful Stream-Processing Operators
An In-Depth Correlative Study Between DRAM Errors and Server Failures in Production Data Centers
On-line Testing for Application Software of Widely Distributed System
MOve: Design of An Application-Malleable Overlay
35th IEEE Symposium on Reliable Distributed Systems Workshops, SRDS 2016 Workshop, Budapest, Hungary, September 26, 2016
Emusphere: Evaluating Planetary-Scale Distributed Systems in Automated Emulation Environments
Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow?
Protecting BitTorrent: Design and Evaluation of Effective Countermeasures against DoS Attacks
Adversarially-Resistant On-Demand Topic Channels for Wireless Sensor Networks
The Seventeenth Symposium on Reliable Distributed Systems, SRDS 1998, West Lafayette, Indiana, USA, October 20-22, 1998, Proceedings
Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit
Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models
Autonomous Replication for High Availability in Unstructured P2P Systems
A Distributed Version of the SequenceL Language
A Low Overhead Checkpointing and Rollback Recovery Scheme for Distributed Systems
A Token-Based Protocol for Reliable, Ordered Multicast Communications
Distributed Construction of a Fault-Tolerant Network from a Tree
Service Continuations: An Operating System Mechanism for Dynamic Migration of Internet Service Sessions
An Experimental Evaluation of Correlated Network Partitions in the Coda Distributed File System
MhRep: Multi-hop Replication Scheme for Data Survival in Unattended Wireless Sensor Networks
On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast
Crash-Resilient Time-Free Eventual Leadership
Cryptree: A Folder Tree Structure for Cryptographic File Systems
Analysis and Comparison of Security Protocols in Wireless Sensor Networks
Flexible Schemes for Application-Level Fault Tolerance
Scheduling of Dynamic Participants in Real-Time Distributed Systems
Being Accurate Is Not Enough: New Metrics for Disk Failure Prediction
Babel: A Framework for Developing Performant and Dependable Distributed Protocols
Information Dissemination in Partitionable Mobile Ad Hoc Networks
Implementing Fault-Tolerant Distributed Objects
DragonFly: Drone-Assisted High-Rise Monitoring for Fire Safety
Sharding Techniques in the Era of Blockchain
A Fault-Tolerant CORBA Name Server
Low-Rate Overuse Flow Tracer (LOFT): An Efficient and Scalable Algorithm for Detecting Overuse Flows
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems
A Computing System to Support Development of Reliable Software
Parallel State Machine Replication from Generalized Consensus
Message from the RCDS Co-Chairs
Demo: A Proof-of-Concept Implementation of Guard Secure Routing Protocol
Performance Modeling of Database Recovery Protocols
A Suite of Robust Algorithms For Maintaining Replicated Data Using Weak Consistency Conditions
Fail-Aware Failure Detectors
Fantastyc: Blockchain-Based Federated Learning Made Secure and Practical
Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures
On Consistent Neighborhood Views in Wireless Sensor Networks
Broadcast Authentication for Resource Constrained Devices: A Major Pitfall and Some Solutions
Scrooge Attack: Undervolting ARM Processors for Profit: Practical experience report
Exploiting Program Semantics for Efficient Instrumentation of Distributed Event Recognitions
Blockchain-Based Metadata Protection for Archival Systems
Continuous Clock Synchronization in Wireless Real-Time Applications
Mitigating the Spread of a Virus in the Internet
Polynomial Time Synthesis of Byzantine Agreement
A Taxonomy for Describing Matching and Scheduling Heuristics for Mixed-Machine Heterogeneous Computing Systems
Practical Continuous Aggregation in Wireless Edge Environments
CosNamingFT - A Fault-Tolerant CORBA Naming Service
d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds
Make the Leader Work: Executive Deferred Update Replication
Workload Analysis for Performance Study of Distributed Deadlock Detection Algorithms
The Performance of Consistent Checkpointing in Distributed Shared Memory Systems
Kernel Paxos
Scalable Topology Discovery and Link State Detection Using Routing Events
Recursively Structured Distributed Computing Systems
Why Progress in (Composite) Fault Tolerant Real-Time Systems has been Slow (-er than Expected.. & What Can We Do About It?)
Failure Detection Algorithms for a Reliable Execution of Parallel Programs
Silent Anonymous Snap-Stabilizing Termination Detection
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems
A Framework for Research in Performance-Availability of Automated Information Systems
Using File-Grain Connectivity to Implement a Peer-to-Peer File System
Error Attenuation in Distributed Systems
A Generic Specification Framework for Weakly Consistent Replicated Data Types
Toward an in-Kernel High Performance Key-Value Store Implementation
Self Checking Network Protocols: A Monitor Based Approach
A New Deadlock Detection Algorithm for Distributed Real-Time Database Systems
APRICOTS - A Prototype Implementation of a ConTract System: Management of the Control Flow and the Communication System
Optimistic Total Order in Wide Area Networks
An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems
Efficient Exploration on Worst-Case Delay Performance of Networked Industrial Control Systems via Network Calculus and Deep Learning
Efficient Communication of Commitment-Dependency Information in the Programmer-Transparent Coordination (PTC) Scheme for Cooperative Recovery
GlobalFS: A Strongly Consistent Multi-site File System
Overnesia: A Resilient Overlay Network for Virtual Super-Peers
Transparent Fault-Tolerant Java Virtual Machine
Dynamic Fault Tolerance in DCMA - A Dynamically Configurable Multicomputer Architecture
Storekeeper: A Security-Enhanced Cloud Storage Aggregation Service
Reliably Networking a Multicast Repository
Using Multicast Communication to Reduce Deadlock in Replicated Databases
Communication-Based Prevention of Non-P-Pattern
Modeling and Assessing the Dependability ofWireless Sensor Networks
Exploring Latent Features for Memory-Based QoS Prediction in Cloud Computing
Probabilistic Validation using Worst Event Driven amd Importance Sampling Simulation
Gemini: An Emergency Line of Defense against Phishing Attacks
DTM - A Method for Testing Distributed Systems
Compiler-Assisted Heterogeneous Checkpointing
The Rowhammer Attack Injection Methodology
Support for Distributed Transactions in the TABS Prototype
28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), Niagara Falls, New York, USA, September 27-30, 2009
Architecture for Group Communication in Mobile Systems
Declared Causality in Wide-Area Replicated Storage
TASK: Template-Based Key Assignment for Confidential Communication in Wireless Networks
Optimizing Join Index Based Join Processing: A Graph Partitioning Approach
Adding Fairness to Order: Preventing Front-Running Attacks in BFT Protocols using TEEs
Threat Adaptive Byzantine Fault Tolerant State-Machine Replication
SigGuard: Hardening Vulnerable Signal Handling in Commodity Operating Systems
Demo: Skip Graph Middleware Implementation
Minimizing Timestamp Size for Completely Asynchronous Optimistic Recovery with Minimal Rollback
Why Is It So Hard to Predict Software System Trustworthiness from Software Component Trustworthiness?
Fault Tolerant Distributed Data Base System via Data Inference
State Maintenance and its Impact on the Performability of Multi-tiered Internet Services
Checkpoints-on-Demand with Active Replication
Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed Protocols
An Approach to Fault-Tolerance in Massive Parallelism Systems
Replacement: Decentralized Failure Handling for Replicated State Machines
Towards Tag-based Cooperation for Mobile Ad Hoc Networks
An Analysis of the Performance Impacts of Lookahead Execution in the Conversation Scheme
A Convex Hull Query Processing Method in MANETs
Detecting Heap Smashing Attacks through Fault Containment Wrappers
The Mutable Consensus Protocol
Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters
Consistent Detection of Global Predicates under a Weak Fault Assumption
On Improving the Availability of Replicated Files
ABEONA: An Architecture for Energy-Aware Task Migrations from the Edge to the Cloud
Dangers and Joys of Stock Trading on the Web: Failure Characterization of a Three-Tier Web Service
Characterizing the Impact of Network Delay on Bitcoin Mining
Consensus with Written Messages Under Link Faults
Probabilistic Byzantine Tolerance for Cloud Computing
Constructing Secure Distributed Systems Using Components
THUNDERSTORM: A Tool to Evaluate Dynamic Network Topologies on Distributed Systems
Identifying Compromised Users in Shared Computing Infrastructures: A Data-Driven Bayesian Network Approach
Reliable Password Hardening Service with Opt-Out
On the Robustness of a Neural Network
Introspective Failure Analysis: Avoiding Correlated Failures in Peer-to-Peer Systems
Database Processing with Triple Modular Redundancy
A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems
Performance Evaluation of the Impact of NUMA on One-sided RDMA Interactions
Accountable Anonymous Access to Services in Mobile Communication Systems
Requirements for a True Enterprise-Wide Security Infrastructure: The Play's the Thing
Enhanced Malware Detection in Distributed IoT Environment Using Optimized Cascaded LSTM-GRU Framework
Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis
Bumper: Sheltering Transactions from Conflicts
Distributed Problem Solving In SPite Of Processor Failures
Making Intrusion Tolerance Accessible: A Cloud-Based Hybrid Management Approach to Deploying Resilient Systems
Byzantine Auditable Atomic Register with Optimal Resilience
Convergence Verification of Asynchronous Iterations
Strong and Weak Virtual Synchrony in Horus
Masking Failures of Multidimensional Sensors
Probabilistic Failure Detection for Efficient Distributed Storage Maintenance
Fourth Symposium on Reliability in Distributed Software and Database Systems, SRDS 1984, Silver Spring, Maryland, USA, October 15-17, 1984, Proceedings
Diagnosing Crosstalk-Faulty Switches in Photonic Networks
A Method for the Construction and Interpretation of High-Level Models for Distributed Fault-Tolerant Systems
A Stability-Oriented Approach to Improving BGP Convergence
Analyzing Performance of Lease-Based Schemes under Failures
A Resilient Auction Framework for Deadline-Aware Jobs in Cloud Spot Market
On the Design of Systems of Cooperating Functional Processes
GSFord: Towards a Reliable Geo-social Notification System
Self Diagnosis of Processor Arrays Using a Comparison Model
Performance Evaluation of the Circulating Multisequencer and the Consensus Algorithms in a Real-Time Distributed Transactional System
On the Detection of Shilling Attacks in Federated Collaborative Filtering
Speed for the Elite, Consistency for the Masses: Differentiating Eventual Consistency in Large-Scale Distributed Systems
Enforcing Enterprise-wide Policies Over Standard Client-Server Interactions
Architecture and Prototype Implementation for Process-Aware Intrusion Detection in Electrical Grids
25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006),2-4 October 2006, Leeds, UK
An Efficient Kernel-level Dependable Multicast Protocol for Distributed Systems
Cells: An Approach to Design of a Fault-Tolerant Network Operating System
Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit of Handling Input-Triggered and Output-Triggered Suspicions Differently
Managing Replicated Data in Heterogeneous Database Systems
Enhancing Edge Computing with Database Replication
Semias: Self-Healing Active Replication on Top of a Structured Peer-to-Peer Overlay
Continuous Authentication and Non-repudiation for the Security of Critical Systems
netCSI: A Generic Fault Diagnosis Algorithm for Large-Scale Failures in Computer Networks
Mitigating Distributed Denial of Service Attacks in Multiparty Applications in the Presence of Clock Drifts
Attack Injection to Support the Evaluation of Ad Hoc Networks
Performance Modeling of PBFT Consensus Process for Permissioned Blockchain Network (Hyperledger Fabric)
Reliability Issues in Distributed Operating Systems
PhD Forum: Efficient Privacy-Preserving Processing via Memory-Centric Computing
Distributed Programming for Dummies: A Shifting Transformation Technique
Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector
AMSD: A Dependability Roadmap for the Information Society in Europe
Representation and Execution Support for Reliable Robot Applications
Research in High-Confidence Distributed Information Systems
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution
Reducing the Availability Management Overheads of Federated Content Sharing Systems
Chained Signatures for Secure Program Execution
File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm
Reliable Estimation of Influence Fields for Classification and Tracking in Unreliable Sensor Networks
RelaX - An Extensible Architecture Supporting Reliable Distributed Applications
HAMFS File System
A General Framework to Solve Agreement Problems
Issues in the Design of a Reflective Library for Checkpointing C++ Objects
Preventing State Divergence in Replicated Distributed Programs
Consensus in Asynchronous Systems Where Processes Can Crash and Recover
27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), Napoli, Italy, October 6-8, 2008
PGV: A Storage Enforcing Remote Verification Scheme
Exploiting Data-Flow for Fault-Tolerance in a Wide-Area Parallel System
PolyVaccine: Protecting Web Servers against Zero-Day, Polymorphic and Metamorphic Exploits
A Stack-Based Single Disk Failure Recovery Scheme for Erasure Coded Storage Systems
US-AID: Unattended Scalable Attestation of IoT Devices
On the Testability of Distributed Real-Time Systems
FTDE: Distributed Fault Tolerance for WSN Data Collection and Compression Schemes
Checkpointing Multicomputer Applications
Validity-Based Failure Algebra for Distributed Sensor Systems
Randomized Asynchronous Consensus with Imperfect Communications
The Sixteenth Symposium on Reliable Distributed Systems, SRDS 1997, Durham, North Carolina, USA, October 22-24, 1997, Proceedings
Fault Localization for Firewall Policies
On the Use of Mobile GPU for Accelerating Malware Detection Using Trace Analysis
High-Quality Customizable Embedded Software from COTS Components
Chasing the Tail of Atomic Broadcast Protocols
DTC: A Dynamic Transaction Chopping Technique for Geo-replicated Storage Systems
PRISPARK: Differential Privacy Enforcement for Big Data Computing in Apache Spark
Towards Real-Time-Aware Intrusion Tolerance
Improving DBMS Performance through Diverse Redundancy
On the Verification and Validation of Protocols with High Fault Coverage Using UIO Sequences
Security Problems of Platform-as-a-Service (PaaS) Clouds and Practical Solutions to the Problems
Wide-Area Virtual Machine Migration as Resilience Mechanism
Improving Reliability of Deduplication-Based Storage Systems with Per-File Parity
A Framework for Managing an Elastic Redis Cache
36th IEEE Symposium on Reliable Distributed Systems, SRDS 2017, Hong Kong, Hong Kong, September 26-29, 2017
SilenTower: A Robust, Scalable and Secure Watchtower with Silent Executors
Self-Stabilizing Construction of a Minimal Weakly ST-Reachable Directed Acyclic Graph
Transaction Management Using Causal Snapshot Isolation in Partially Replicated Databases
Ordering Actions for Visibility
G-SINC: Global Synchronization Infrastructure for Network Clocks
High Throughput Networks for Petaflops Computing
RADAR: Adaptive Rate Allocation in Distributed Stream Processing Systems under Bursty Workloads
DecentEdge: A Trusted Edge-Cloud Transaction Processing Protocol for NFT-Based DApps
Soter: Deep Learning Enhanced In-Network Attack Detection Based on Programmable Switches
Progress in Real-Time Fault Tolerance
DTC: Real-Time and Accurate Distributed Triangle Counting in Fully Dynamic Graph Streams
Solving Consensus Using Structural Failure Models
The Eventual Clusterer Oracle and Its Application to Consensus in MANETs
A Characterisation of Faults in Systems
Reliable On-Chip Memory Design for CMPs
Fault Injection based on a Partial View of the Global State of a Distributed System
Pairwise Key Generation Scheme for Cellular Mobile Communication
The Performance of Checkpointing and Replication Schemes for Fault Tolerant Mobile Agent Systems
A Self-Stabilizing O(n)-Round k-Clustering Algorithm
Reliability of Future Telephone Networks
A Microkernel Middleware Architecture for Distributed Embedded Real-Time Systems
Simulating Fail-Stop in Asynchronous Distributed Systems
Dependability Analysis of a Cache-Based RAID System via Fast Distributed Simulation
The Design and Implementation of a JCA-Compliant Capture Protection Infrastructure
Time-Driven Orphan Elimination
An End-to-End Security Auditing Approach for Service Oriented Architectures
Omniscience, Consensus, Autonomy: Three Tempting Roads to Responsiveness
A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems
Temporality a NVRAM-based Virtualization Platform
Enabling the Efficient, Dependable Cloud-Based Storage of Human Genomes
Transaction Models for Massively Multiplayer Online Games
An Architecture for Reliable Encapsulation Endpoints Using Commodity Hardware
Building a Strongly Consistent Multi-site File System
Improvement of Pk-Anonymization
SMS Botnet Detection for Android Devices through Intent Capture and Modeling
On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds
On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults
Topology Sensitive Replica Selection
Assuring Resilient Time Synchronization
Programming the Grid: Component Systems for Distributed Applications
An Integer Programming Approach for Assigning Votes in a Distributed System
Early Stopping Algorithms for Distributed Agreement under Fail-Stop, Omission, and Timing Fault-Types
Real-Time Fault-Tolerant Atomic Broadcast
Synchronization of Redundant Computation in a Distributed System
AcTinG: Accurate Freerider Tracking in Gossip
A Generic Construction for All Parameters in Minimum Storage Regenerating Codes
Linking Resource Usage Anomalies with System Failures from Cluster Log Data
Asynchronous Veri.able Information Dispersal
Ordered Broadcasts for Large Applications
Recovery in the Clouds Kernel
Availability Analysis of the Primary Site Approach for Fault Tolerance
Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores
A Configurable Multibiometric System for Authentication at Different Security Levels Using Mobile Devices
The Mainframe as a High-Available, Highly Scalable CORBA Platform
An Index-Based Checkpointing Algorithm for Autonomous Distributed Systems
Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction
Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary
Response Time Reliability in Cloud Environments: An Empirical Study of n-Tier Applications at High Resource Utilization
Active replication for latency-sensitive stream processing in Apache Flink
Seventh Symposium on Reliable Distributed Systems, SRDS 1988, Columbus, Ohio, USA, October 10-12, 1988, Proceedings
Nested Dynamic Actions - How to Solve the Fault Containment Problem in a Cooperative Action Model
Anomaly Detection via Mining Numerical Workflow Relations from Logs
Pronto: A Fast Failover Protocol for Off-the-shelf Commercial Databases
Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture
Looking Ahead in Atomic Actions with Exception Handling
Non-Blocking Atomic Commitment with an Unreliable Failure Detector
Auditable Restoration of Distributed Programs
SeRAVi: A Spatio-Temporal Data Distribution Visualization System for Mobile Sensor Data Retrieval
Low Latency Probabilistic Broadcast in Wide Area Networks
Secure Embedding of Rooted Spanning Trees for Scalable Routing in Topology-Restricted Networks
Failure Detectors for Large-Scale Distributed Systems
Seek-Efficient I/O Optimization in Single Failure Recovery for XOR-coded Storage Systems
Assessing Inter-Modular Error Propagation in Distributed Software
Service-Controlled Networking: Dynamic In-Network Data Fusion for Heterogeneous Sensor Networks
The Design and Implementation of a Reliable Distributed Operating System - ROSE
Fault-Tolerant Coverage Planning in Wireless Networks
Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores
Failure Data Analysis of a LAN of Windows NT based Computers
Initializing Replicated Name Servers in a Wide Area Network
Weakly-Persistent Causal Objects in Dynamic Distributed Systems
Geo-Replicated Storage with Scalable Deferred Update Replication
Poster: No More Slow Messages: Programmable Packet Handling in Hard IRQ
The Design and Evaluation of a Defense System for Internet Worms
Extending Paxos/LastVoting with an Adequate Communication Layer for Wireless Ad Hoc Networks
Developing reliable applications on cluster systems
Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML
Runtime Measurement Architecture for Bytecode Integrity in JVM-Based Cloud
Performance Evaluation of Two-Phase Locking Algorithms in a System for Distributed Databases
CORBA Evaluation of Video Streaming wrt QoS Provisioning
A Probabilistic Analysis of Snapshot Isolation with Partial Replication
Gumshoe: Diagnosing Performance Problems in Replicated File-Systems
Distributed Reconfiguration of Multiprocessor Systems
Efficient Asynchronous Low Power Listening for Wireless Sensor Networks
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure
Failure Handling in an Optimized Two-Safe Approach to Maintaining Primary-Backup Systems
"Open and challenging research issues in dependable distributed computing" A personal view from the Defence Industry
CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes
Reliability Analysis of a Hardware and Software Fault Tolerant Parallel Processor
Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols
Multi-round Master-Worker Computing: A Repeated Game Approach
The Case for Fast and Invariant-Preserving Geo-Replication
Reducing Interprocessor Dependence in Recoverable Distributed Shared Memory
PhD Forum: Challenges of Availability and Cost Assessments for Network-Attack-Resilient Byzantine Systems
Genuine versus Non-Genuine Atomic Multicast Protocols for Wide Area Networks: An Empirical Study
Non-monotonic Snapshot Isolation: Scalable and Strong Consistency for Geo-replicated Transactional Systems
Reliable Real-Time Cooperation of Mobile Autonomous Systems
Automatic Problem Localization via Multi-dimensional Metric Profiling
ESCAPe: Elastic Caching For Big Data Systems
Availability of Globally Distributed Nodes: An Empirical Evaluation
kNN Search Utilizing Index of the Minimum Road Travel Time in Time-Dependent Road Networks
Message from the Program Committee Co-Chairs
Relaxed Atomic Broadcast: State-Machine Replication Using Bounded Memory
PEACE-VO: A Secure Policy-Enabled Collaboration Framework for Virtual Organizations
Reliabilty of Distributed Applications with COTS Components (Position Statement)