yusuke1997/dblp-id-title huggingface dataset:
Support System for Creating Medical Incident and Accident Reports Utilizing Two Types of Medical Accident Databases
Comparing the Effectiveness of Penetration Testing and Static Code Analysis on the Detection of SQL Injection Vulnerabilities in Web Services
Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude
Entropy Based Method for Network Anomaly Detection
Perceived Usability of Computer-Aided Engineering Software
BSGAT: A Graph Attention Network for Binary Code Similarity Detection
Honeypots: Practical Means to Validate Malicious Fault Assumptions
Built-In Self-Repair Techniques for Heterogeneous Memory Cores
Sequential Frequency Vector Based System Call Anomaly Detection
A SAT-Based Approach for SDN Rule Table Distribution
SNudge: A Slidebar Nudge for Users to Practice Better Habits For Mobile Fingerprint Authentication
A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs: A Self-Stabilizing Distributed Clock Synchronization Protocol For Arbitrary Digraphs
Zapmem: A Framework for Testing the Effect of Memory Corruption Errors on Operating System Kernel Reliability
Analysis of SER Improvement by Radiation Hardened Latches
An Approach for Formal Analysis of the Security of a Water Treatment Testbed
Low-Overhead Run-Time Memory Leak Detection and Recovery
AMVG: Adaptive Malware Variant Generation Framework Using Machine Learning
IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013
On Algorithms Selection for Unsupervised Anomaly Detection
A Dynamic Online Dashboard for Tracking the Performance of Division 1 Basketball Athletic Performance
Examining the Utility of Differentially Private Synthetic Data Generated using Variational Autoencoder with TensorFlow Privacy
A Trust-Based Benchmark for DBMS Configurations
A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes
Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks
Fault-Tolerant Properties of Generalized Hierarchical Completely-Connected Networks
Evaluation on Configurable Approximate Circuit for Aging-Induced Timing Violation Tolerance
Energy Saving Based on CPU Voltage Scaling and Hardware Software Partitioning
Highly Fault-Tolerant FPGA Processor by Degrading Strategy
Interconnecting Lock-Step Synchronous Fault-Tolerant Systems Based on Voting and Error-Correcting Codes
Enhancing Dependability via Parameterized Refinement
Economic Analysis of Blockchain Technology on Digital Platform Market
Spare-Tile-Based Dependable Logic Design for Sea-of-Tiles Architecture with Ambipolar Devices
A Scenario of Tolerating Interaction Faults Between Otherwise Correct Systems
Algorithm Selection for Error Resilience in Scientific Computing
Using VHDL-Based Fault Injection to exercise Error Detection Mechanisms in the Time-Triggered Architecture
Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes
Protecting RAID Arrays against Unexpectedly High Disk Failure Rates
Evaluation of Memory Built-in Self Repair Techniques for High Defect Density Technologie
Automating Safety Argument Change Impact Analysis for Machine Learning Components
A Generic Consensus Algorithm for Shared Memory
FloTracker: Log-Free and Instantaneous Host-Based Intrusion Root-Cause Analysis
Middleware of Real-Time Object Based Fault-Tolerant Distributed Computing Systems: Issues and Some Approaches
An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks
A Failure-Aware Model for Estimating and Analyzing the Efficiency of Web Services Compositions
An Approach to Creating the Optimal Attack Path Based on Reinforcement Learning
A Greedy Technique for Finding the Most Reliable Edge-Disjoint-Path-Set in a Network
Towards a Dependable Energy Market: Proof of Authority in a Blockchain-based Peer-to-Peer Microgrid
Key considerations in the week-to-week forecasting of individual match actions in football
Event Log based Dependability Analysis of Windows NT and 2K Systems
Measuring lead times for failure prediction
CheckIn: Efficiently Checkpointing Intermittent Sensor-Based Internet of Things (IoT) Networks
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
A Measurement System to Improve E-Business Capability of Human Resources in an Organizational Computing Environment
SSD: An Affordable Fault Tolerant Architecture for Superscalar Processors
Applied Self-Healing: Self-Aware Service Request Optimization for Gateway Stability in Ubiquitous Zone-Based Networks
Sechduler: A Security-Aware Kernel Scheduler
Optimal Checkpoint Interval Analysis Using Stochastic Petri Net
30th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2025, Seoul, Republic of Korea, November 3-5, 2025
The Schemes to Develop Dependable System Using COTS
Privacy-Preserving Bayesian Network Structure Learning on Distributed Heterogeneous Data
Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms
Scalable Performance Evaluation of Byzantine Fault-Tolerant Systems Using Network Simulation
Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking
Availabilities and Costs of Reliable Fat-Btrees
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule
9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan
An Attack-Tolerant Agreement Algorithm for Block Chain
Evaluation of Fault-Tolerant Designs Implemented on SRAM-Based FPGAs
Utilizing Hidden Markov Models for Formal Reliability Analysis of Real-Time Communication Systems with Errors
Runtime Security Adaptation Using Adaptive SSL
Towards Secure and Dependable Authentication and Authorization Infrastructures
An Efficient Approach to Tolerating Route Errors in Mobile Ad Hoc Networks
An Empirical Investigation of Fault Triggers in Android Operating System
Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems
Program-Structure-Guided Approximation of Large Fault Spaces
Impact of Hazards on Pattern Selection for Small Delay Defects
Entropy-based Selective Homomorphic Encryption for Smart Metering Systems
A VAE Conversion Method for Private Data Linkage
Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices
Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols
Automatic Static Fault Tree Analysis from System Models
A New BIST Solution for System-on-Chip
Are UAVs' Flight Controller Software Reliable?
28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
A Method of Diagnostic Test Generation for Transition Faults
Power-Performance Trade-Off of a Dependable Multicore Processor
Checkpointing Strategies with Prediction Windows
Safety Verification of Asynchronous Consensus Algorithms with Model Checking
Formalizing Google File System
A Study on the System Call for the Protection of Intellectual Property Rights on Linux Base
The Effect of Interconnect Schemes on the Dependability of a Modular Multi-Processor System with Shared Resources
SSCMSD - Single-Symbol Correction Multi-symbol Detection for DRAM Subsystem
ANTSdroid: Using RasMMA Algorithm to Generate Malware Behavior Characteristics of Android Malware Family
Heterogeneous Functional Units for High Speed Fault-Tolerant Execution Stage
Fault-Tolerant Topology Control with Adjustable Transmission Ranges in Wireless Sensor Networks
Recovery from Failures Due to Mandelbugs in IT Systems
Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms
Shifting the Weight: Applications of AI in Olympic Weightlifting
An Efficient Client-to-Client Password-Authenticated Key Exchange Resilient to Server Compromise
Prioritized Test Generation Strategy for Pair-Wise Testing
Liveness Checking of the HotStuff Protocol Family
Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events
DynPolAC: Dynamic Policy-Based Access Control for IoT Systems
Address Remapping for Static NUCA in NoC-Based Degradable Chip-Multiprocessors
Increasing Reliability for IEEE 802.16j Mobile Multi-hop Relay Networks Planning
Testing-Resource Allocation for Redundant Software Systems
Evaluation of multicast error recovery using convolutional codes
Dependable Overlay Networks
BBB: Make Benchmarking Blockchains Configurable and Extensible
Static Analysis of File Manipulation Scripts
2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 18-20 December 2000, Los Angeles, CA, USA
Intrusion Detection for Scalable and Elastic Microservice Applications
Julep: an environment for the evaluation of distributed process recovery protocols
Perspectives of Pakistani Cricketers and Coaches Regarding Coaching Competence in Relation to Performance Efficacy
AdapTV+: Enhancing Model-Based Test Adaptation for Smart TVs through Icon Recognition
The Instruction Scheduling for Soft Errors Based on Data Flow Analysis
Test Case Reuse Based on Ontology
Effects of GPS Spoofing on Unmanned Aerial Vehicles
Analysis of Read and Write Availability for Generalized Hybrid Data Replication Protocol
1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 16-17 December 1999, Hong Kong
Extension of STPA to Analyze Decisions and Behaviors of Human as Controlled Process in Human-Machine Coexistence Environment
Effects of failure correlation on software in operation
Protecting Wavelet Lifting Transforms
Centralized Surveillance of Unused Address Space by using Virtual Networks
A performance comparison between the DR-net and a hierarchical RAID system
Panel Summary Statements
Security Modeling and Analysis of Moving Target Defense in Software Defined Networks
Enforcing synchronous system properties on top of timed systems
PALM: A framework to identify novel attacks in an e-commerce system
Evaluating Low-Cost Fault-Tolerance Mechanism for Microprocessors on Multimedia Applications
Locating a Faulty Interaction in Pair-wise Testing
Neural Network based on Dynamic Tunneling Technique for Weather Forecast
FIRED - Fault Injector for Reconfigurable Embedded Devices
Designing Networks-on-Chip for High Assurance Real-Time Systems
Early Childhood Action Monitoring and Analytics System (ECAMS)
Physics-Guided and Explainable Anomaly Detection for IEC 61850 Sampled Values
Searching Representative and Low Cost Fault Models for Intermittent Faults in Microcontrollers: A Case Study
Assessment of Message Missing Failures in FlexRay-Based Networks
Validating Real-Time Constraints in Embedded Systems
Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time
Mining Large Network Reconnaissance Data
Quantitative Intrusion Intensity Assessment Using Important Feature Selection and Proximity Metrics
Comparison with Defect Compensation Methods for Feed-forward Neural Networks
On the Reliability of Cascaded TMR Systems
Experimental Assessment of COTS DBMS Robustness under Transient Faults
Effect of Intrusion Detection on Failure Time of Mission-Oriented Mobile Group Systems in Mobile Ad Hoc Networks
An Alternative Boosting-based Software Reliability Prediction Method
Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures
A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance
Detection of Recovery Patterns in Cluster Systems Using Resource Usage Data
On the Effects of Finite Memory on Intrusion-Tolerant Systems
A Delay-Awareness Routing Protocol in Intermittently Connected Underwater Acoustic Sensor Networks
Dependability Evaluation of AFDX Real-Time Avionic Communication Networks
Connecting Network Partitions with Location-Assisted Forwarding Nodes in Mobile Ad Hoc Environments
ECC: Extended Condition Coverage for Design Verification Using Excitation and Observation
Design and Implementation of a Fault Tolerant Single IP Address Cluster
PLEXUS: A Pattern-Oriented Runtime System Architecture for Resilient Extreme-Scale High-Performance Computing Systems
Testing Graph Searching Based Path Planning Algorithms by Metamorphic Testing
Understanding the Resiliency of Cloud Storage Services
Component Importance Measures for Real-Time Computing Systems in the Presence of Common-Cause Failures
Base Address Recognition with Data Flow Tracking for Injection Attack Detection
An Empirical Analysis of Rebalancing Methods for Security Issue Report Identification
A Software Accelerated Life Testing Model
High-Accuracy Software Fault Injection in Source Code with Clang
Code Reuse Prevention through Control Flow Lazily Check
Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module
Distributed Maintenance of a Spanning Tree of k-Connected Graphs
A Hybrid Redundancy Approach for Data Availability in Structured P2P Network Systems
RaceLens: A Machine Intelligence-Based Application for Racing Photo Analysis
cTIMS: Correlated Textual and Image based Metrics Suites for Assessing GAN-Synthesized Android Malware Images
Electrical phenomena during Hot Swap events
Performance Modeling and Analysis of On-chip Networks for Real-Time Applications
A Process Health Status Service for Safety Related Systems Using TT/ET Communication Scheduling
Testing and Comparing Web Vulnerability Scanning Tools for SQL Injection and XSS Attacks
Transaction-Based Process Crash Recovery of File System Namespace Modules
Trend Analyses of Accidents and Dependability Improvement in Financial Information Systems
Building Fast, Dense, Low-Power Caches Using Erasure-Based Inline Multi-bit ECC
A Rejuvenation Strategy of Two-Granularity Software Based on Adaptive Control
On Dependability, Cost and Security Trade-Off in Cloud Data Centers
A Virtual Modeling and a Fast Algorithm for Grid Service Reliability
Resilient Virtual Clusters
Fault Tolerance in Autonomic Computing Environment
PRASE: An Approach for Program Reliability Analysis with Soft Errors
Fail-Controlled Classifiers: Do they Know when they don't Know?
Enhancing the Success Rate of Primary Version While Guaranteeing Fault-Tolerant Capability for Real-Time Systems
The Usage of Fault Tolerant Computers in the Real World
Resilient State Machine Replication
Access Control of Web and Java Based Applications
Machine Learning Techniques for the Prediction of NoC Core Mapping Performance
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion
Acceleration of Random Testing for Software
Optimal Software Rejuvenation Policy with Discounting
Dynamic Controllability Analysis for Preventing Injection Attacks
Development of Dependable Real-Time Systems with Zerberus
Reliability of Geo-replicated Cloud Storage Systems
Cyber-Physical Security of an Electric Microgrid
Intelligent Fault-Tolerant CORBA Service on Real-Time CORBA
A Best Practice Guide to Resources Forecasting for the Apache Webserver
A Fault-Tolerant Data Communication Setup to Improve Reliability and Performance for Internet Based Distributed Applications
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities
Extended BLP Security Model Based on Process Reliability for Secure Linux Kernel
Minimal System Conditions to Implement Unreliable Failure Detectors
Targeted Partial-Shift For Mitigating Shift Switching Activity Hot-Spots During Scan Test
An Improved Scheme of Index-Based Checkpointing
Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality
Deploying a Generic Threat Model for Detecting Anomalies in a Power Grid Digital Twin
Path Delay Fault Test Set for Two-Rail Logic Circuits
Towards Byzantine Fault Tolerance in Many-Core Computing Platforms
Energy Efficient and Robust Multicast Protocol for Mobile Ad Hoc Networks
Three-Level Error Control Coding for Dependable Solid-State Drives
Implementation and evaluation for dependable bus control using CPLD
Reconfiguration of Two-Dimensional Meshes Embedded in Hypercubes
Instantaneous Availability and Interval Availability for Systems with Time-Varying Failure Rate: Stair-Step Approximation
Estimating Software Intensity Function via Multiscale Analysis and Its Application to Reliability Assessment
A Visualization Analytical Framework for Software Fault Localization Metrics
A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network
Restoration Strategies In Mesh Optical Networks: Cost Vs. Service Availability
On the Evaluation of Three Pre-Injection Analysis Techniques for Model-Implemented Fault- and Attack Injection
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems
Stuck-at Fault Tolerance in DNN Using Statistical data
A Test Vector Compression/Decompression Scheme Based on Logic Operation between Adjacent Bits (LOBAB) Coding
Dynamic Multilayer Routing to Achieve Location-Hiding
Automatic Generation of Security Argument Graphs
An Adaptive Failure Detection Protocol
Error Detection Enhancement in COTS Superscalar Processors with Event Monitoring Features
Satisfiability-Based Analysis of Cascading Failures in Systems of Interdependent Networks
Bi-Objective Model for Test-Suite Reduction Based on Modified Condition/Decision Coverage
Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs
Expolynomial Modelling for Supporting VANET Infrastructure Planning
A Blockchain-Based Interoperable Architecture for IoT with Selective Disclosure of Information
Reliability Analysis of Multi-State System Based on Irrelevance Coverage Model
Dynamic Window-based Adaptive Fault Monitoring for Ubiquitous Computing Systems
Neural-Network Based Test Cases Generation Using Genetic Algorithm
Deep Learning-Based Intrusion Detection for IoT Networks
Analyzing the Effectiveness of Privacy Related Add-Ons Employed to Thwart Web Based Tracking
Topology Aware Leader Election Algorithm for Dynamic Networks
A Fuzzy Based Approach for the Design and Evaluation of Dependable Systems Using the Markov Model
Early Software Reliability Prediction with ANN Models
25th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2020, Perth, Australia, December 1-4, 2020
Area-Per-Yield and Defect Level of Cascaded TMR for Pipelined Processors
Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios
A Secure Framework for Monitoring Operating Systems Using SPEs in Cell/B.E
Fault-Tolerant Message Switching Based on Wormhole Switching and Backtracking
Periodic Partial Validation: Cost-Effective Source Code Validation Process in Cross-Platform Software Development Environment
Reducing Communication Delay by Finding Sink Location in Low-Duty-Cycle Wireless Sensor Networks
An Online Control Flow Check for VLIW Processor
Workload Adaptive Checkpoint Scheduling of Virtual Machine Replication
FiRot: An Efficient Crosstalk Mitigation Method for Network-on-Chips
Model Compression on Faulty Array-based Neural Network Accelerator
Reliability Analysis of Single Bus Communication with Real-Time Requirements
Versatile and Efficient Techniques for Speeding-Up Circuit Level Simulated Fault-Injection Campaigns
Court Detection Using Masked Perspective Fields Network
Key Management in Internet of Things via Kronecker Product
Fault Diagnosis for Time Synchronization in Sensor Networks
Principles of Multi-Level Reflection for Fault Tolerant Architectures
Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems
Evaluating of Football Player 1v1 Abilities based on the Glicko-2 with Modifications
Cyber-Physical Topology Language: Definition, Operations, and Application
On Characteristics of DEF Communication-Induced Checkpointing Protocols
A Regular Expression Matching Algorithm Using Transition Merging
Application-Level Fault Tolerance in the Orbital Thermal Imaging Spectrometer
23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018
Cost of Ensuring Safety in Distributed Database Management Systems
Chip-Level Redundancy in Distributed Shared-Memory Multiprocessors
An Efficient Commit Protocol Exploiting Primary-Backup Placement in a Distributed Storage System
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems
Fault-Tolerant Rate-Monotonic Scheduling Algorithm in Uniprocessor Embedded Systems
Detecting and Exploiting Symmetry in Discrete-state Markov Models
A Dependable Outbound Bandwidth Based Approach for Peer to Peer Media Streaming
Safe Rust Code Recommendation Based on Siamese Graph Neural Network
Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks
On the Effectiveness of Code Normalization for Function Identification
Towards Building Secure and Reconfigurable Virtual Networks on Multi-Tenant Data Centers
A Proposal of New Dependable Database Middleware with Consistency and Concurrency Control
A Study on Checkpointing for Distributed Applications Using Blockchain-Based Data Storage
Aspects for Improvement of Performance in Fault-Tolerant Software
An Accurate Model of Software Reliability
Using Software Implemented Fault Inserter in Dependability Analysis
Survivability Quantification of Wireless Ad Hoc Network Taking Account of Border Effects
SABER-GPU: A Response-Based Cryptography Algorithm for SABER on the GPU
Constructing Liberation Codes Using Latin Squares
Efficient Built-in Self-Test Techniques for Memory-Based FFT Processors
Novel Fault-Tolerant Techniques for High Capacity RAMs
Table Driven Proportional Access Based Real-Time Ethernet for Safety-Critical Real-Time Systems
Research on Control Flags-based Weighted Authentication Trustworthiness Model
Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT
A Low Overhead heckpointing Protocol for Mobile Computing Systems
Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud Computing
Availability Modeling for Drone Image Processing Systems with Adaptive Offloading
A Software Vulnerability Dataset of Large Open Source C/C++ Projects
Trust-Enhanced Alteration Scenario for Universal Computer
Data Poisoning Attacks on Regression Learning and Corresponding Defenses
Node-to-Node Internally Disjoint Paths Problem in Bubble-Sort Graphs
17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011, Pasadena, CA, USA, December 12-14, 2011
Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise
Egalitarian Byzantine Fault Tolerance
A New Concurrent Detection of Control Flow Errors Based on DCT Technique
An Abstraction Model and a Comparative Analysis of Intel and ARM Hardware Isolation Mechanisms
Performance and Security Evaluation of a Moving Target Defense Based on a Software-Defined Networking Environment
Local Repair Mechanisms for On-Demand Routing in Mobile Ad hoc Networks
Prediction of Performance Failures in Video-Streaming Servers
Dependable Multithreaded Processing Using Runtime Validation
Fully Homomorphic Key Update and Key Exchange Over Exterior Product Spaces For Cloud Computing Applications
11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China
Improving Data Transmission with Helping Nodes for Geographical Ad Hoc Routing
An Analysis of Sui's Transactions and Conflicts
A Replication Model for Trading Data Integrity against Availability
A Fine-Grained SDN Rule Table Partitioning and Distribution
State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing
Providing Persistence or Sensor Streams with Light Neighbor WAL
Robustness of Redundancy-Hardened Convolutional Neural Networks Against Adversarial Attacks
An Automatic Real-Time Analysis of the Time to Reach Consensus
Optimal Checkpointing and Rollback Strategies with Media Failures: Statistical Estimation Algorithms
Database Transaction Management for High-Availability Cluster System
Revisiting Fault-Injection Experiment-Platform Architectures
Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains
Caveat Emptor: Making Grid Services Dependable from the Client Side
An Approach for Trustworthiness Benchmarking Using Software Metrics
Self-Validating Diagnosis of Hypercube Systems