yusuke1997/dblp-id-title huggingface dataset:
Towards Automated Boundary Value Testing with Program Derivatives and Search
SBSelector: Search Based Component Selection for Budget Hardware
Problem-Specific Search Operators for Metaheuristic Software Architecture Design
Search-Based Software Engineering - 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Applying Search Based Optimization to Software Product Line Architectures: Lessons Learned
On the Effectiveness of SBSE Techniques - Through Instance Space Analysis
Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software
A Method Dependence Relations Guided Genetic Algorithm
Mapping Class Dependencies for Fun and Profit
Subgroup Discovery for Defect Prediction
A Hyper-heuristic for Multi-objective Integration and Test Ordering in Google Guava
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study
Cloud Computing and SBSE
Exploring the Use of Genetic Algorithm Clustering for Mobile App Categorisation
Optimizing Software Product Line Architectures with OPLA-Tool
Injecting Social Diversity in Multi-objective Genetic Programming: The Case of Model Well-Formedness Rule Learning
Multi-objective Black-Box Test Case Prioritization Based on Wordnet Distances
Multi-objective Regression Test Suite Minimisation for Mockito
A Multi-objective Genetic Algorithm to Rank State-Based Test Cases
Feature Model Synthesis with Genetic Programming
Transformed Search Based Software Engineering: A New Paradigm of SBSE
A Novel Mutation Operator for Search-Based Test Case Selection
Tutorial: High Performance SBSE Using Commodity Graphics Cards
Impact of Test Suite Coverage on Overfitting in Genetic Improvement of Software
Evaluating the Importance of Randomness in Search-Based Software Engineering
Competitive Coevolutionary Code-Smells Detection
How Can Metaheuristics Help Software Engineers?
Search-Based Testing of Procedural Programs: Iterative Single-Target or Multi-target Approach?
Many Independent Objective (MIO) Algorithm for Test Suite Generation
Generating Diverse Test Suites for Gson Through Adaptive Fitness Function Selection
Search-Based Bug Report Prioritization for Kate Editor Bugs Repository
Search Based Software Engineering - 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
Enhancing Genetic Improvement Mutations Using Large Language Models
Software Improvement with Gin: A Case Study
The Role of the Region in Knowledge Transfer for Economic Development
Digital Ecosystems - Third International Conference, OPAALS 2010, Aracuju, Sergipe, Brazil, March 22-23, 2010, Revised Selected Papers
Towards the Complex Interface
Exploring the Role of Value Networks for Software Innovation
SPAM Detection Server Model Inspired by the Dionaea Muscipula Closure Mechanism: An Alternative Approach for Natural Computing Challenges
A Research Framework for Interaction Computing
Collaboration Networks for Innovation and Socio-economic Development: European and Latin American Perspectives on Digital Ecosystems Research, Local Readiness, Deployment Strategies and Their Policy Implications
Digital Ecosystems Adoption at Local Level: A Preliminary Comparative Analysis
Analysing Collaboration in OPAALS' Wiki: A Comparative Study among Collaboration Networks
Fostering Social Technologies Sharing through Open Knowledge Space: A Brazilian Case Study of Knowledge Network
Implementing a Trust Overlay Framework for Digital Ecosystems
The Diffusion of Social Media and Knowledge Management - Towards an Integrative Typology
Numerical and Experimental Analysis of the p53-mdm2 Regulatory Pathway
A Practical Approach to Identity on Digital Ecosystems Using Claim Verification and Trust
Lie Group Analysis of a p53-mdm2 ODE Model
Towards Autopoietic Computing
Knowledge Resources - A Knowledge Management Approach for Digital Ecosystems
Digital Ecosystem for Knowledge, Learning and Exchange: Exploring Socio-technical Concepts and Adoption
Social Network Analysis of the Irish Biotech Industry: Implications for Digital Ecosystems
Launching Context-Aware Visualisations
Flypeer: A JXTA Implementation of DE Transactions
Transformation Semigroups as Constructive Dynamical Spaces
Proceedings of the sixth NEC research symposium on Multimedia computing, Tokyo, Japan, 1995
Multimedia database and image understanding
Hypermedia-based CSCW systems and virtual meeting room environments for ubiquitous collaboration
Operating system support for continuous media applications - real-time Mach experience
Developments in networked multimedia
Hypermedia navigation and content-based retrieval for distributed multimedia databases
Integrated network management and services control in ATM video/multimedia delivery networks
Learning and intelligent multimedia: from mental life to video life
The use of image content to control image retrieval and image processing
The Berkeley distributed video-on-demand system
Interactive video from desktops to settops
Reliability Considerations for Advanced Microelectronics
Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems
A Packet-Based Caching Proxy with Loss Recovery for Video Streaming
SeReCP: A Secure and Reliable Communication Platform for the Smart Grid
Fetching Primary and Redundant Instructions in Turn for a Fault-Tolerant Embedded Microprocessor
Cooperative Exceptions for Concurrent Objects
Consistency Verification of UML Diagrams Based on Process Bisimulation
Resource Availability Optimization for Priority Classes in a Website
Evaluating the Risk of Data Disclosure Using Noise Estimation for Differential Privacy
FPGA Cluster Based System with Adaptive TMR/DMR for Soft Error Mitigation
EA-EO: Endurance Aware Erasure Code for SSD-Based Storage Systems
A Framework for Inheritance Testing from VDM++ Specifications
Design of Defect Tolerant Wallace Multiplier
Model Based Development of Safety-Critical Systems Using Template Based Code Generation
16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo, Japan, December 13-15, 2010
Robust and Low-degree Overlay for Secure Flooding Against Resource-bounded Adversaries
dOSEK: A Dependable RTOS for Automotive Applications
Attempt to Apply Machine Learning to a Failure Database - A Case Study on Communications Networks
Dragonfruit: Cloud Provider-Agnostic Trustworthy Cloud Data Storage and Remote Processing
Parity Sensitive Comparators
On Statistically Estimated Optimistic Delivery in Wide-Area Total Order Protocols
On-line Monitoring of Real Time Applications for Early Error Detection
Empirical-Bayesian Availability Indices of Safety & Time Critical Software Systems with Corrective Maintenance
Officiating Cricket Bowling Using An Event-Based Computer Vision System
10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti
AnoDe: A Log-based Self-Supervised Framework to Detect Scrubber Failures in SRAM-FPGA
On the Error Resiliency of Combinational Logic Cells - Implications for Nano-based Digital Design
Selecting Nodes to Protect in Interdependent Networks Using Shapley Value Analysis
Safety Trigger Conditions for Critical Autonomous Systems
Zero-Maintenance Disk Arrays
Attack Induced Common-Mode Failures on PLC-Based Safety System in a Nuclear Power Plant: Practical Experience Report
Characterizing Attackers and Attacks: An Empirical Study
Analysis of Periodic Preventive Maintenance with General System Failure Distribution
Availability Analysis of Robotic Swarm Systems
Resilient Intrusion Tolerance through Proactive and Reactive Recovery
Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits
A Dynamic Checkpointing Scheme Based on Reinforcement Learning
The Performance Analysis and Hardware Acceleration of Crypto-computations for Enhanced Security
The Eventual Leadership in Dynamic Mobile Networking Environments
Development of the System Assurance Reference Model for Generating Modular Assurance Cases
A Framework for Systematic Testing of Multi-threaded Applications
Reasoning about Group-Based Mobility in MANETs
Multi-chip NoCs for Automotive Applications
On the Computational Complexity of Parameter Estimation in Adaptive Testing Strategies
Integrating Information Flow Analysis in Unifying Theories of Programming
An On-Line Control Flow Checking Method for VLIW Processor
Asynchronous Active Replication in Three-Tier Distributed Systems
Two-Phase Majority Decision Scheme Using Time-Stamps
Reliability Prediction of Smartphone Applications through Failure Data Analysis
Detecting Intrusions by Voting Diverse Machine Learners: Is It Really Worth?
Eventual Leader Election Despite Crash-Recovery and Omission Failures
Towards Formal Approaches to System Resilience
Fault-Tolerant Leader Election in Mobile Dynamic Distributed Systems
Efficient Adversarial Input Generation via Neural Net Patching
Optimizing Service Strategy for Systems with Deferred Repair
Utilizing Similarity for Improved Intrusion Detection: Autonomous Community Formation for Practical Heterogeneity Management
An Improved Data Error Detection Technique for Dependable Embedded Software
Compression/Scan Co-Design for Reducing Test Data Volume, Scan-in Power Dissipation and Test Application Time
Using Metamodels to Improve Model-Based Testing of Service Orchestrations
Unifying Dependability of Critical Infrastructures: Electric Power System and ICT: Concepts, Figures of Merit and Taxonomy
Quantifying Criticality of Dependability-Related IT Organization Processes in CobiT
A Randomized Distributed Algorithm for Peer-to-Peer Data Replication in Wireless Ad Hoc Networks
Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains
PAI: A Lightweight Mechanism for Single-Node Memory Recovery in DSM Servers
Optimal Reliability Design for Real-Time Systems with Dynamic Voltage and Frequency Scaling
Light-Weight Techniques for Improving the Controllability and Efficiency of ISA-Level Fault Injection Tools
Learning-Based Falsification for Model Families of Cyber-Physical Systems
Representing User Workarounds as a Component of System Dependability
ARMOR: Adaptive Reliability Management by On-the-Fly Redundancy in Multicore Embedded Processors
Electromagnetic Noise Tolerant Hybrid Communication Protocol for CANs
Optimal Choice of Checkpointing Interval for High Availability
Availability Modeling of SIP Protocol on IBM(c) WebSphere(c)
Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring
Combining Methods for the Analysis of a Fault-Tolerant System
User-Perceived Instantaneous Service Availability Evaluation
A Reliable Non-volatile Memory System: Exploiting File-System Characteristics
Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype
Detection and Recovery for Disconnection Failures in a Web-based Medical Teleconsultation System
Moment-Based Approximation for Uncertainty Propagation in Fault Trees
Diagnosis for Bridging Faults on Clock Lines
Benchmarking Safety Monitors for Image Classifiers with Machine Learning
Random Bad State Estimator to Address False Data Injection in Critical Infrastructures
Passive Replication Schemes in Aqua
Speeding Up the Development for the Computing Continuum with WebAssembly
One Optimization Method on the Navigation Performance Reliability of Planing Craft
RL-Based Approach to Enhance Reliability and Efficiency in Autoscaling for Heterogeneous Edge Serverless Computing Environments
Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains
Resilient Distributed Causal Memory in Client-Server Model
Mobile Software Security with Dynamic Analysis
Dynamic Reconfiguration Policies for Reconfigurable Coded-WDM PONs
Are you for Real? Authentication in Dynamic IoT Systems
Enforcing Enterprise Mobile Application Security Policy with Plugin Framework
Training Security Assurance Teams Using Vulnerability Injection
Fault-tolerant FFT data compression
Construction of VDM++ Specifications from Extended Screen Transition Diagrams for Validation of Microservice-based Web Applications
An Improved Knowledge Connectivity Condition for Fault-Tolerant Consensus with Unknown Participants
Analysis of the Effects of Real and Injected Software Faults:
RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks
PrompTCC: Transactional Causally Consistent Reads Can Be Fast and Fresh
Introducing Novel Crossover and Mutation Operators into Data Replication Strategies for Distributed Systems
Overlay Network Topology Reconfiguration in Byzantine Settings
Specification-Based Intrusion Detection for Advanced Metering Infrastructures
A New Approach to Improving the Test Effectiveness in Software Testing Using Fault Collapsing
Integrate Dragonfly Key Exchange (IETF - RFC 7664) into Arithmetic Circuit Homomorphic Encryption
Recognizing a Sequence of Events from Tennis Video Clips: Addressing Timestep Identification and Subtle Class Differences
A Novel NMR Structure with Concurrent Error Location Capabilities
Reliability assessment of multi-sensor perception system in automated driving functions
Fast Controller Switching for Fault-Tolerant Cyber-Physical Systems on Software-Defined Networks
A Simple and Efficient Deadlock Recovery Scheme for Wormhole Routed 2-Dimensional Meshes
Partitioned Cache Shadowing for Deep Sub-Micron (DSM) Regime
Perspectives on Dependable Computing for Solar System Exploration
A Heterogeneous Redundant Architecture for Industrial Control System Security
29th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2024, Osaka, Japan, November 13-15, 2024
Comparative Studies of Security Assessment Methods for Railway Control Systems
A Built-in Circuit for Self-Repairing Mesh-Connected Processor Arrays by Direct Spare Replacement
A Safe Measurement-Based Worst-Case Execution Time Estimation Using Automatic Test-Data Generation
Generic Design and Automatic Deployment of NMR Strategies on HW Cores
Extending AUTOSAR's Counter-Based Solution for Freshness of Authenticated Messages in Vehicles
Failure Recovery Cost Reduction of Disk Arrays Using Adaptive Erasure Correction Coding and Data Compression
Implications of Dependable Computing in Banking Industry
Applying Metamorphic Testing to e-Commerce Product Search Engines
Enhanced Token Delivery Scheme for Reliable Multicasting in Wireless Networks
Multi-site Synchronous VM Replication for Persistent Systems with Asymmetric Read/Write Latencies
Transient errors and rollback recovery in LZ compression
27th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2022, Beijing, China, November 28 - Dec. 1, 2022
Applying metamorphic testing to reliability calculating programs
Core-Local Memory Assisted Protection
A Generic Availability Model for Clustered Computing System
26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021
On the Combination of Silent Error Detection and Checkpointing
An Asynchronous Checkpoint-Based Redundant Multithreading Architecture
Dependability analysis of transmission techniques for MPEG-2 streams
Improving Fast Paxos: being optimistic with no overhead
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation
Transient Fault Tolerance on Chip Multiprocessor Based on Dual and Triple Core Redundancy
An Introduction to the Renaming Problem
Exploiting Total Order Multicast in Weakly Consistent Transactional Caches
A Minimal Roll-Back Based Recovery Scheme for Fault Toleration in Pipeline Processors
Customizing Virtual Machine with Fault Injector by Integrating with SpecC Device Model for a Software Testing Environment D-Cloud
A testable design for asynchronous fine-grain pipeline circuits
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
An Industrial Approach for Model-Based Reliability-Oriented System Design
Learning Process Behavioral Baselines for Anomaly Detection
Anomaly Detection with High Deviations for System Security
FastFI: Accelerating Software Fault Injections
Lightweight Bare-Metal Stateful Firewall
A survivability framework for connection-oriented group communications
FLARE: Availability Awareness for Resource-Efficient Federated Learning
An Architecture-Based Software Reliability Model
Efficient Fault-Tolerant Backbone Construction in Tmote Sky Sensor Networks
Task Mapping and Partition Allocation for Mixed-Criticality Real-Time Systems
A Secure System-Wide Process Scheduler across Virtual Machines
Detecting Feature Interactions in Telecommunication Services with a SAT Solver
SIROCCO: A Dry Wind to Warn you from Bluetooth Attacks
Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method
Safety Testing of Safety Critical Software Based on Critical Mission Duration
Expected-Reliability Analysis for Wireless CORBA with Imperfect Components
A Certificateless One-Way Group Key Agreement Protocol for End-to-End Email Encryption
A Low-Power and SEU-Tolerant Switch Architecture for Network on Chips
Using Modulo Rulers for Optimal Recovery Schemes in Distributed Computing
Bayesian Inference Approach for Probabilistic Analogy Based Software Maintenance Effort Estimation
Application of Flexible and Efficient Campus Curriculum Systems
Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults
Tool Supported Model-Based Safety Analysis and Optimization
A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights
Fault diagnosis based on parameters of output responses
Evaluating the Use of Reference Run Models in Fault Injection Analysis
Smart Building Control System Emulation Platform for Security Testing
How Data Diversification Benefits the Reliability of Three-version Image Classification Systems
Measurement and Modeling of Burst Packet Losses in Internet End-to-End Communications
Reliability Estimation of Approximate Circuits Based on Probabilistic Gate Model
A Method for Stable Block Generation Time in Proof of Work
Flip-Flop Selection for Transition Test Pattern Reduction Using Partial Enhanced Scan
From Safety Analyses to Experimental Validation of Automotive Embedded Systems
Toward Dependability Simulation for Intelligent Transportation Systems in Connected Vehicle Environments
Augmenting Functional Broadside Tests for Transition Fault Coverage with Bounded Switching Activity
Evaluating the Security of IoT Networks with Mobile Devices
Reliable Probabilistic Checkpointing
Auditability: An Approach to Ease Debugging of Reliable Distributed Systems
Server Protection through Dynamic Patching
GALAXY: Generalized Attention-Based LSTM Architecture with External Query for Intrusion Detection in UAV Communication
Ticket-Based Secure Delegation Service Supporting Multiple Domain Models
An Algorithmic Approach to Identifying Link Failures
SAGA: Secure Auto-Configurable Gateway Architecture for Smart Home
A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks
Orthros: A High-Reliability Operating System with Transmigration of Processes
Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication
A Fault-Tolerant Bloom Filter for Deep Packet Inspection
A Measurement Tool of End-User Computing Capability in Competency Perspective
SOQ: A Service-Oriented Quorum-Based Protocol for Resilient Real-Time Communication in Partitionable Networks
Information Security Fortification by Ontological Mapping of the ISO/IEC 27001 Standard
Cache Scrubbing in Microprocessors: Myth or Necessity?
Small Delay Fault Simulation for Sequential Circuits
Generation of Mixed Broadside and Skewed-Load Diagnostic Test Sets for Transition Faults
Applying a Threshold Scheme to the Pseudonymization of Health Data
A Hierarchical Model for Reliability Analysis of Sensor Networks
Online Computing and Predicting Architectural Vulnerability Factor of Microprocessor Structures
A BDD-Based Approach to Reliability Optimal Module Allocation in Networks
Optimal Deployment of High-Level Access Control Policies in Heterogeneous Enforcement Infrastructures
Poster: Faster Quorums with FlashConsensus
Predicting Defective Software Components from Code Complexity Measures
A Fault Tolerant Architecture for Data Fusion Targeting Hardware and Software Faults
Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion
A Consensus Algorithm for Synchronous Distributed Systems using Mobile Agent
OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms
The Implementation and Analysis of OCI-Based Group Communication Support in CORBA
A Lightweight Network Intrusion Detection Model Based on Feature Selection
A New Placement Algorithm Dedicated to Parallel Computers: Bases and Application
A Hardware Trojan Circuit Detection Method Using Activation Sequence Generations
Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants
CLGuard: A Context-Aware Suppression Framework for Resilient Driving Control
Reliability Evaluation of Flip-Flops Based on Probabilistic Transfer Matrices
Uniform Consensus Prone to Omission Failures with Fault Knowledge
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems
Exploring the Relationship Between Dimensionality Reduction and Private Data Release
Ontology based IT-security planning
Tracing Processing of Service Requests in Cloud Environments
Experimental Resilience Assessment of an Open-Source Driving Agent
Power of One Bit: Increasing Error Correction Capability with Data Inversion
A Strategy for Verification of Decomposable SCR Models
On-Chip Delay Measurement for In-Field Test of FPGAs
Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)
A Generic Trust Overlay Simulator for P2P Networks
Proxy Cryptography for Secure Inter-domain Information Exchanges
FoxyFeed: Forging Device-Level Asynchronous Events for Kernel Development
On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system
Mobility-Enabled Publish/Subscribe: A Case Study
A Fault-Tolerant Consensus Protocol for Software-Defined Networks
Extracting Network Knowledge and Monitoring Network Status on Cloud Container Platforms
Performance and Reliability of a Revocation Method Utilizing Encrypted Backup Data
A Hardware Approach to Concurrent Error Detection Capability Enhancement in COTS Processors
Benchmarking the Robustness of Web Services
Automated Vulnerability Repair of Obfuscated and Non-Obfuscated Smart Contracts Using Large Language Models
A Middleware for Exactly-Once Semantics in Request-Response Interactions
Empirical Study on Request Timeout and Retry for Microservices Communication
Safety Analysis Using Temporal Database
Deriving Hierarchical Safety Contracts
HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators
Progressive Evolution Scheme with Socialization Swarm for Privacy Blockchain
Holography: A Hardware Virtualization Tool for Malware Analysis
Using the NuSMV Model Checker for Test Generation from Statecharts
Bio-inspired Error Detection for Complex Systems
Code Design and Decoding Methods for Burst Error Locating Codes
A Self-Synchronizing Cyber Deception Framework via Infrastructure as Code Reflection
A Class of Random Multiple Bits in a Byte Error Correcting (S t/b EC)Codes for Semiconductor Memory Systems
Modeling Perfect and Minimal Rejuvenation for Client Server Systems with Heterogeneous Load
Deriving Fault Locating Test Cases from Constrained Covering Arrays
MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems
Cache Management of Dynamic Source Routing for Fault Tolerance in Mobile Ad Hoc Networks
String-Wise Information Flow Tracking against Script Injection Attacks
A Novel R 2 -FLC Dynamic Buffer Size Tuner to Support Time-Critical Applications over the Internet by Improving Logical Channel Fault Tolerance to Shorten Roundtrip Time
A Clustering Approach for Web Vulnerabilities Detection
Risk-Aware Leak Detection at Binary Level
Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System