yusuke1997/dblp-id-title huggingface dataset:
Secure Access to Personalized Web Services
Dependability Analysis of a Fault-Tolerant Processor
A New Multiple-Round DOR Routing for 2D Network-on-Chip Meshes
Bayesian Networks Modeling for Software Inspection Effectiveness
Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
RedCAN: Simulations of Two Fault Recovery Algorithms for CAN
Variation-Aware Scheduling for Chip Multiprocessors with Thread Level Redundancy
An Efficient Application Core Mapping Algorithm for Wireless Network-an-Chip
Dynamic Reconfiguration of Safety-Critical Production Systems
Analysis of Dependencies between Failures in the UNINETT IP Backbone Network
Failure Analyses of Communications Systems and Networks by Publicly Available Failure Information from the viewpoint of Dependability
On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast
Voting in the Presence of Byzantine Faults
Availability Modeling and Analysis for Software Defined Networks
A Novel Fault Tolerant Approach for SRAM-Based FPGAs
Assessing the Performance of Phantom Routing on Source Location Privacy in Wireless Sensor Networks
Synchronous Set Agreement: a Concise Guided Tour (including a new algorithm and a list of open problems)
An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools
Efficient Dynamic Indexing Methods for Communication-Induced Checkpointing Protocols
Reliability Quantification of the Tree Structure Based Distributed System
An Attack Scenario Generation Method Using the Behavior Model
Low-Overhead Architecture for Security Tag
VTV - A Voting Strategy for Real-Time Systems
Software Reliability Prediction and Assessment Using both Finite and Infinite Server Queueing Approaches
Estimating Computer Virus Propagation Based on Markovian Arrival Processes
24th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2019, Kyoto, Japan, December 1-3, 2019
Visilience: An Interactive Visualization Framework for Resilience Analysis using Control-Flow Graph
Limitations of the Linux Fault Injection Framework to Test Direct Memory Access Address Errors
Trend Analyses of Failures in Information Systems: A Case Study on Communications Networks and Financial Information Systems
Efficient Fault-Tolerant Clock Synchronization in Ring Topologies
20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014
Deadlock Detection Scheduling for Distributed Processes in the Presence of System Failures
RAS Modeling of an HPC Switch System
Refined Software Reliability Prediction: A Bagging Approacha
Durability Evaluation of Erasure Coding Applying Risk-aware Data Protection in Large-scale Disasters
A Speculative Byzantine Algorithm for P2P System
Improving Email Reliability by Sender Retransmission
Some improved encoding and decoding schemes for balanced codes
Using Physical and Simulated Fault Injection to Evaluate Error Detection Mechanisms
Accounting for the Human User in Predictive Security Models
Optimizing Sensor Nodes Placement for Fault-Tolerant Trilateration-Based Localization
Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems
COMeT: Continuous Online Memory Test
Design Trade-Offs and Deadlock Prevention in Transient Fault-Tolerant SMT Processors
Robustness Evaluation Under RGB-Camera Attacks in CARLA: A Systematic Evaluation of Color Modes and Attack Types
A Simulated Fault Injection Tool for Dependable VoD Application Design
Fault-Tolerant Event Detection Using Two Thresholds in Wireless Sensor Networks
Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems
Security and Availability Modeling of VM Migration as Moving Target Defense
Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication
A Class of q-Ary Unidirectional Error Correcting Codes for MLC Flash Memories
InfoLeak: Scheduling-Based Information Leakage
Towards a Pragmatic ORAM Implementation Using Caching and Prefetching
GTFuzz: Guard Token Directed Grey-Box Fuzzing
Parasitic Parameters Impacts Investigation on Soft Error Rate by a Circuit Level Framework
Regression Testing Based on UML Design Models
Fault Tolerance for Super-Peers of P2P Systems
Simultaneous Simulation of Alternative System Configurations
Robust ORAM: Enhancing Availability, Confidentiality and Integrity
SecCT: Secure and scalable count query models on encrypted genomic data
Stochastic Petri Nets and Inheritance for Dependability Modelling
On IoT Misbehavior Detection in Cyber Physical Systems
13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 17-19 December, 2007, Melbourne, Victoria, Australia
Parallel Training Strategy Based on Support Vector Regression Machine
8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea
Eventual Leader Election in the Crash-Recovery Failure Model
TREBIVETM: A TREe Based Integrity Verification Environment for Non-volatile Memory System
Privacy Assurance for Android Augmented Reality Apps
Towards a Language for Communication among Stakeholders
An Automatic Testing and Diagnosis for FPGAs
Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses
Application-Oriented Sensor Network Architecture for Dependable Structural Health Monitoring
Automated Timeline-Based Forensic Report Generation with Anomaly Detection and LLM-Based CTI Mapping
Safe Virtual Interrupts Leveraging Distributed Shared Resources and Core-to-Core Communication on Many-Core Platforms
Improving AI Systems? Dependability by Utilizing Historical Knowledge
Capacity-Oriented Availability Model for Resources Estimation on Private Cloud Infrastructure
A Novel Generation Algorithm of Pair-Wise Testing Cases
Synthesis of Redundant Combinatorial Logic for Selective Fault Tolerance
Availability Assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx log files: A case study
Reliability Analysis of Grid Computing Systems
FBD: A Fault-tolerant Buffering Disk System for Improving Write Performance of RAID5 Systems
An Evaluation of the Virtual Router Redundancy Protocol Extension with Load Balancing
Degradable Restructuring of Mesh-Connected Processor Arrays with Spares on Orthogonal Sides
Soft Errors Susceptibility of Virtualization Servers
On-chip Debugging-based Fault Emulation for Robustness Evaluation of Embedded Software Components
Dependability Improvement for Critical Systems
A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models
Towards Adaptive Covert Communication System
SEVA: A Soft-Error- and Variation-Aware Cache Architecture
Detection and Correction Process Modeling Considering the Time Dependency
MAPMon: A Host-Based Malware Detection Tool
A Diagnostic Fault Simulation Method for a Single Universal Logical Fault Model
Responsiveness of Service Discovery in Wireless Mesh Networks
A PSD-based fingerprinting approach to detect IoT device spoofing
Integration of asynchronous and self-checking multiple-valued current-mode circuits based on dual-rail differential logic
Detecting Malicious Web Scraping Activity: A Study with Diverse Detectors
Reliable Video Transmission Techniques for Wireless MPEG-4 Streaming Systems
LLT and LTn Schemes: Error Recovery Schemes in Mobile Environments
Triple Failure Tolerant Storage Systems Using Only Exclusive-Or Parity Calculations
Two Efficient Software Techniques to Detect and Correct Control-Flow Errors
Loris - A Dependable, Modular File-Based Storage Stack
Reliability Prediction and Assessment of Fielded Software Based on Multiple Change-Point Models
Using Attack Injection to Evaluate Intrusion Detection Effectiveness in Container-based Systems
Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System
Quantitative Analysis of Long-Latency Failures in System Software
Detecting Inconsistent Values Caused by Interaction Faults Using Automatically Located Implicit Redundancies
Rejuvenation and Failure Detection in Partitionable Systems
A New Insight into Local Coin-Based Randomized Consensus
Comparison of Meta-Heuristic Algorithms for Task Scheduling in Distributed Stream Processing
Distributed Control Framework for UAV Resilience Against Faults and Cyber Attacks with Finite-Memory Approach
Reliable Shortest Paths in Wireless Sensor Networks: Refocusing on Link Failure Scenarios from Applications
EDFI: A Dependable Fault Injection Tool for Dependability Benchmarking Experiments
Attempt to Extract Similar Cases by Applying Multilayer Perceptron to a Failure Database
Enhancing Delay Fault Testability for Iterative Logic Array
Connectivity-Based Multichip Module Repair
Finding the Optimal Configuration of a Cascading TMR System
Comparison of Corrupted Sensor Data Detection Methods in Detecting Stealthy Attacks on Cyber-Physical Systems
Hyper-Erlang Software Reliability Model
D2STM: Dependable Distributed Software Transactional Memory
Automatic Reconfiguration of an Autonomous Disk Cluster
Comparative Analysis of QoS and Memory Usage of Adaptive Failure Detectors
Combinatorial Constructions of Multi-erasure-Correcting Codes with Independent Parity Symbols for Storage Systems
Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads
End-to-End Performability Analysis for Infrastructure-as-a-Service Cloud: An Interacting Stochastic Models Approach
A Dependable Processor by Using Built-in Self Test to Tolerate Periodical Transient Faults under Highly Electromagnetic Environment
Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms
A Novel Highly Available Data Replication Strategy Exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge
Systematic Comparisons of RDT Communication-Induced Checkpointing Protocols
An Efficient Decision Unit for the Pair and Swap Methodology within Chip Multiprocessors
I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX
Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications
Estimation of Target Failure Measures for E/E/PE Safety-Related Software
Availability Modeling and Analysis of a Virtualized System
Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation
Keyspector: Secure Monitoring of IoT Devices Using RISC-V Keystone
Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications
PISRAT: Proportional Intensity-Based Software Reliability Assessment Tool
Failure Detection Mechanism for Distributed Object Computing Using CORBA
Simulation-based Evaluation of a Remotely Operated Road Vehicle under Transmission Delays and Denial-of-Service Attacks
From Design for Adaptation to Component-Based Resilient Computing
Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD
Malware Profiler Based on Innovative Behavior-Awareness Technique
Considering Fault Correction Lag in Software Reliability Modeling
Fault Detection System Activated by Failure Information
Research on Architecture and Design Principles of COTS Components Based Generic Fault-Tolerant Computer
Evaluating the Impact of Irrecoverable Read Errors on Disk Array Reliability
Secure Scan Design with Dynamically Configurable Connection
Error Recovery Method for Multiple-Dictionary Compression Method
TREG: Transactional Services Based on Incremental Messages
A reconfigurable fault-tolerant hypercube architecture with global sparing
2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2009, Shanghai, China, 16-18 November 2009
Benchmarking Operating System Dependability: Windows 2000 as a Case Study
Implementation of Highly Available OSPF Router on ATCA
Contribution of Controller Area Networks Controllers to Masquerade Failures
Incorporating Network Connectivity Analysis in Maintenance Planning
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems
A Process Group Membership Service for Active Safety Systems Using TT/ET Communication Scheduling
Secure Finite-Memory Target Tracking in Heterogeneous Sensor Networks Under Cyber Attacks
Study on Routing Protocol for Structured P2P Network Taking Account of the Nodes Which Behave Like a Byzantine Fault
Entropy-Based Detection of Incipient Faults in Software Systems
On Automating Failure Mode Analysis and Enhancing its Integrity
Quantifying the Variance in Application Reliability
The Cost of Checkpointing, Logging and Recovery for the Mobile Agent Systems
On Train Automatic Stop Control Using Balises: Attacks and a Software-Only Countermeasure
Monitoring Database Application Behavior for Intrusion Detection
Assessment Criteria for Cloud Identity Management Systems
High-Order Syndrome Testing for VLSI Circuits
Extending the Concept of Voting Structures to Support Path-Based Replication Strategies
Methods for Approximate Adders Reliability Estimation Based on PTM Model
Classification of DNS Queries for Anomaly Detection
Exploring Time and Frequency Domains for Accurate and Automated Anomaly Detection in Cloud Computing Systems
Conjoined Pipeline: Enhancing Hardware Reliability and Performance through Organized Pipeline Redundancy
Towards a Security-Enhanced Cloud Platform
Signature of Electrical System Reliability Used Inside Aircraft
Efficient BISR Techniques for Embedded Memories Considering Cluster Faults
A Peer-to-Peer Filter-Based Algorithm for Internal Clock Synchronization in Presence of Corrupted Processes
Developing a GPT-3-Based Automated Victim for Advance Fee Fraud Disruption
CloudBFT: Elastic Byzantine Fault Tolerance
Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation
A Novel Approach to Kernel Construction of China Bridge CA
A Note on Influence of DC-DC Converter Noise in CAN Networks
Fault-Tolerant Routing in Two-Dimensional Mesh Networks with Less-Restricted Fault Patterns
Juno: Aggregated Vector Consensus for Optimal Asynchronous Common Subset
Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol
Applying Reduced Precision Arithmetic to Detect Errors in Floating Point Multiplication
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques
An OS-level Framework for Providing Application-Aware Reliability
Mercury: Performance and Dependability Evaluation of Systems with Exponential, Expolynomial, and General Distributions
12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA
Efficient Task Allocation to FPGAs in the Safety Critical Domain
Performance of Message Logging Protocols for NOWs with MPI
Analysis of Using Convolutional Codes to Recover Packet Losses over Burst Erasure Channels
Delayed Processing Technique in Critical Sections for Real-Time Linux
A Pragmatic Protocol for Database Replication in Interconnected Clusters
A Survey on Data Quality: Classifying Poor Data
A Single-Chip Fail-Safe Microprocessor with Memory Data Comparison Feature
A New Approach to Automated Redundancy Reduction for Test Sequences
A Multi-Faceted Approach towards Spam-Resistible Mail
A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms
CDA: A Cloud Dependability Analysis Framework for Characterizing System Dependability in Cloud Computing Infrastructures
Detecting and Analyzing Year 2038 Problem Bugs in User-Level Applications
Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination
Optimal Allocation of Testing-Resource Considering Cost, Reliability, and Testing-Effort
A Smart Fuzzing Method for Detecting Heap-Based Buffer Overflow in Executable Codes
Generalized Cox Proportional Hazards Regression-Based Software Reliability Modeling with Metrics Data
Nonsystematic M-Ary Asymmetric Error Correcting Codes Designed by Multilevel Coding Method
Evaluating the Impact of Fault Recovery on Superscalar Processor Performance
Real-Time Fingerprints Recognition Mechanism-Based on Digital Contents Protection System for Interaction on Web
Efficient Scheduling of Smart Contract Transactions via Conflict Graph Coloring
Accelerating Integrity Verification on Secure Processors by Promissory Hash
Hardware/Software Co-Reliability of Configurable Digital Systems
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
Dependability Analysis of a Class of Probabilistic Petri Nets
14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan
Reliability and Performance Evaluation of Two-input Machine Learning Systems
High Assurance System for the Tokyo Metropolitan Area Railway Network
A Test Model for Hardware and Software
Experimental Evaluation of Stealthy Attack Detection in a Robot
Toward an Autonomous Purple Teaming Framework for Security and Safety in Large Language Models
Software-Defined Dependable Computing for Spacecraft
Lead Time Analysis for UAVs' Failure Prediction in U-space
Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems
TZmediator: Secure Cooperative Execution of Cloud Applications Using POSIX APIs on Arm TrustZone
End-to-end Resiliency Analysis Framework for Cloud Storage Services
Efficient VM Introspection in KVM and Performance Comparison with Xen
An Analytical Approach for Optimizing Data Transfer Rate in a Faulty Wireless Sensor Network
Mining Alarm Database of Telecommunication Network for Alarm Association Rules
P-Bus: Programming Interface Layer for Safe OS Kernel Extensions
An Alternative Method of Generating Tests for Path Delay Faults Using N -Detection Test Sets
A Distributed Location Service for Reducing Query Failures in Geographic Ad Hoc Routing
Fault-Tolerant Partitioning Scheduling Algorithms in Real-Time Multiprocessor Systems
Ensemble Methods for Anomaly Detection Based on System Log
Safe Online Reconfiguration of Mixed-Criticality Real-Time Systems
How to Attract and Retain Users for Native Newborn Version Control Systems?
On the Fully-Informed Communication-Induced Checkpointing Protocol
Two-Dimensional Software Reliability Models and Their Application
Integrating Threat Analysis and Formal Verification for Secure OTA Updates
22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017
A New Paradigm for Software Reliability Modeling - From NHPP to NHGP
Toward a Trustworthy Artificial Intelligence System Considering Security, Ethics, and Quality
Implementation Results of a Configurable Membership Protocol for Active Safety Systems
The Hierarchy of BGP Convergence on the Self-Organized Internet
System-Level Vulnerability Estimation for Data Caches
Making Overlay Networks more Robust to Massive Failures
A Method of Calculating Safety Integrity Level for IEC 61508 Conformity Software
Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages
Model-Based Approach Towards Correctness Checking of Neuromorphic Computing Systems
Dependability Issues in Mobile Distributed System
HERB+: Evolving an Industrial-Strength Privacy-Preserving Machine Learning Framework
Orchestrating Fail-Safe, Black-Box Models Within Federated Learning Scenarios
Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems
Tolerating Noise in MLC PCM with Multi-Bit Error Correction Code
Measuring Notification Loss in Publish/Subscribe Communication Systems
Ticket Based Authentication and Payment Protocol for Mobile Telecommunications Systems
Fault-Tolerant Routing Algorithms Based on Optimal Path Matrices
The Survivability of the Augmented Logical Ring Topology in WDM Networks
Software Rejuvenation Policies for Cluster Systems under Varying Workload
Hierarchical Dependability Modeling with Multi-State Systems
A Dependability Solution for Homogeneous MPSoCs
Towards a Certifiable Integration of SRAM-Based FPGAs in Safety-Critical Automotive Systems
Reliability Evaluation of Dependable Distributed Computing Systems Based on Recursive Merge and BDD
On the Diversity of Machine Learning Models for System Reliability
A Practical and Secure Stateless Order Preserving Encryption for Outsourced Databases
Application of Congestion Notifications in a Cyber-Physical System
Semantic Failover in Software-Defined Networking
An Attack Injection Approach to Evaluate the Robustness of Ad Hoc Networks
Gossiping with Network Coding
Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system
AuthZit: Personalized Visual-Spatial and Loci-Tagging Fallback Authentication
Model-based clock synchronization in networks with drifting clocks
Fault Injection Scheme for Embedded Systems at Machine Code Level and Verification
Hierarchical Abnormal-Node Detection Using Fuzzy Logic for ECA Rule-Based Wireless Sensor Networks
Bitcoin's Consistency Property
Formal Verification of Industrial Software with Dynamic Memory Management
Boosting Database Replication Scalability through Partial Replication and 1-Copy-Snapshot-Isolation
A Distributed Data Replication Protocol for File Versioning with Optimal Node Assignments
A Method of Gate-Level Circuit Reliability Estimation Based on Iterative PTM Model
ARQ in Optical Networks
A Transformational Approach for the Hardening of Region-Adherent Algorithms
Probabilistic Model Checking of Handball Action Sequences
Research on Convolutional Codes are Used in RAID
RAMpage: Graceful Degradation Management for Memory Errors in Commodity Linux Servers
OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies
Orderly Random Testing for Both Hardware and Software
Towards Timely ACID Transactions in DBMS
Efficient Built-In Self-Test Strategy for Neuromorphic Hardware Based On Alarm Placement
Meeting the Challenges of Critical and Extreme Dependability and Security
Attack Tree Analysis for Adversarial Evasion Attacks
Generative Deep Learning for Internet of Things Network Traffic Generation
Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach
Reliability of Disk Arrays with Double Parity
Quantifying Software Maintainability Based on a Fault-Detection/Correction Model
The Cost of Storing Checkpoints to Multiple Volatile Storage Locations Using at-least-k Semantics
Towards Outsourced Privacy-Preserving Multiparty DBSCAN
Sequential programming for distributed algorithm verification
Dependable Computing in the Context of Mobility, Nomadicity, Ubiquity, and Pervasiveness
Low cost consensus-based Atomic Broadcast
Differentiated Failure Remediation with Action Selection for Resilient Computing
Hardware Fault Compensation Using Discriminative Learning
Correcting DFT Codes with Modified Berlekamp-Massey Algorithm and Syndrome Extension
Assessing and Comparing Security of Web Servers
Dependability Evaluation for Internet-Based Remote Systems
Evaluating Variational Autoencoder as a Private Data Release Mechanism for Tabular Data
Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps
Guided Importance Sampling for Safety and Reliability: A Pragmatic Comparison of Symbolic and Simulation-Based Approaches
Numerical Defect Correction as an Algorithm-Based Fault Tolerance Technique for Iterative Solvers
Storing RSA Private Keys In Your Head
Soft Error Rate Estimation in Deep Sub-micron CMOS
Leader Election in the Timed Finite Average Response Time Model
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward
Representing X-Code Using Latin Squares
Software Rejuvenation Schemes for Time Warp-Based PDES
Formal Specification and Verification of Security Guidelines
Smart Cage Implementation with Dependable Safety Agent for Dogs
A Reliable Routing Algorithm Based on Fuzzy Applicability of F sets in MANET
Analyzing Network Reliability With Imperfect Nodes Using OBDD