yusuke1997/dblp-id-title huggingface dataset:
A Monte Carlo Simulation-Based Algorithm for a Repairable System in GO Methodology
Bearing Fault Diagnosis based on Fixed Threshold Wavelet Transform and ELM
A Software Defined Work Based Approach to Dependable Scenic Region Management
Coverage-Guided Testing for Automatic Speech Recognition Systems
A Categorical Modelling Framework for Multi-robot Systems in Manufacturing
Mutation Testing Based Evaluation of Formal Verification Tools
Behavior-Driven Development of Software Product Lines
Trustworthy Protection Technology for Industrial Internet
Knowledge Representation and Reasoning of Strong System Confrontation Process Based on Spatio-Temporal Event Evolution Information Flow and Software
A Double Weighted KNN Algorithm and Its Application in the Music Genre Classification
Space-time Constraint Resources Modeling and Safety Verification Method for Automated Vehicles
Improved Deep Bi-directional Transformer Keyword Extraction based on Semantic Understanding of News
MCDC-Star: A White-Box Based Automated Test Generation for High MC/DC Coverage
Multimodal Feature Fusion Recognition of Modulated Signals Based on Image and Waveform Domain
Nondeterministic Event Sequence Reduction for Android Applications
Software Quality Evaluation Model based on Multiple Linear Regression and Fuzzy Comprehensive Evaluation Method
DVTest: Deep Neural Network Visualization Testing Framework
Design of UAV Longitudinal Control law Based on Small Disturbance and Motion Characteristics
Multi-UAV Path Planning Model with Multiple Battery Recharge Points
Solving Team Making Problem for Crowdsourcing with Evolutionary Strategy
Achieving Cyber-Informed Engineering Through Bayesian Belief Network and Sensitivity Analysis
A Comparative Study of Hybrid CNN and Vision Transformer Models for Facial Emotion Recognition
Parasitic Covert Adversarial Attack on Deep Learning based Modulation Recognition
Health Trend Prediction of Rolling Bearings using Transferable Autoregressive Recurrent Adaptation Approach
7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020
Software Defect Prediction Model Based on Improved BP Neural Network
Enhancing Dependability of Industrial Robots: Security and Safety Assessments Based on Model-Driven Engineering
Blockchain-based Model for Privacy-enhanced Data Sharing
A Domain Knowledge-Guided Lightweight Approach for Security Bug Reports Prediction
An Evaluation Method for Large Language Models' Code Generation Capability
Automating App Review Classification based on Extended Semantic
A Software Security Testing Model for Autonomous Systems
Multiscale Dense Convolutional Networks for Intelligent Fault Diagnosis of Rolling Bearing
Study on Roll Oscillation Phenomenon and Controller Design of Deflection-based Flying Vehicles
A Framework for Formal Transformation and Analysis of Smart Contract Code
A Software Defect Location Method based on Static Analysis Results
Research on Industrial Software Testing Knowledge Database Based on Ontology
A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning
A Survey of Mutation Based Testing Adequacy Study on Smart Contract
FPGA Software Security Testing Excitation Random Generation Based on SFMEA and SFTA
5th International Conference on Dependable Systems and Their Applications, DSA 2018, Dalian, China, September 22-23, 2018
An Indoor Positioning System based on Intelligent Terminal
Research on the Knowledge Ontology Model of Attribute-oriented Airworthiness Review Compliance Activities
Numerical Simulation Analysis of Shot Peening Residual Stress on Aluminum Alloy Surface Based on Finite Element Method
Automatic Generation of Solidity Test for Blockchain Smart Contract using Many Objective Search and Dimensionality Reduction
LSTM Network-based SNR Estimator for DS-UWB Wireless Sensor Network
Intelligent Mineral Identification and Classification based on Vision Transformer
An Automatic Approach to Extracting Requirement Dependencies based on Semantic Web
An Interactive Computer Assisted Design System: Architecture and Design
Generating Test Scenarios using SysML Activity Diagram
Task Scheduling for Warship Formation Air Defense
Secure 3 rd party software integration
Research on Characteristics of Aircraft Traffic Flow in Airport Surface
HyperFed: Free-riding Resistant Federated Learning with Performance-based Reputation Mechanism and Adaptive Aggregation using Hypernetworks
Evaluation of Adversarial Attacks Based on DL in Communication Networks
Based on Collaborative Filtering Personalized Recommendation for Online Learning
Data-intelligence Empowering Libraries: Research on Discipline-Specific Precision Services
Modeling and Solution of Spatio-temporal Collaborative Planning in Joint Operations based on Temporal Constraint Network
A Link Flooding Attack Detection Method based on Non-Cooperative Active Measurement
A Probability Parameter Estimation Tool in C++
Constructing A Creative Service Software with Semantic Web
A Model-based Test Cases Generation Method for Spacecraft Software
Failure Diagnosis for UAV-Born Inertial Navigation Device Based on BP-Adaboost Model
Multi Feature Modulation Signal Recognition based on Deep Learning
Research on Microwave Communication Design of a Tactical Command Communication Vehicle Based on Kano Model
Aging-Related Bugs Prediction Via Convolutional Neural Network
Intelligent Software Testing based on Visual Feedback
Campus Indoor and Outdoor Positioning System based on GPS and Wi-Fi
Improvement of Path Planning Algorithm based on Small Step Artificial Potential Field Method
Automatic Bug Inference via Deep Image Understanding
Research on Key Technologies of Human Upper Limb Bone Diagnosis based on Convolutional Neural Network
A Software Failure Mode Analysis Method Based on Test Knowledge Graph
Simulation Verification Technology of Virtual-Real-Integration Avionics System
A Visualization-aware Loss for Point Cloud Comparison
Software Selection Test of Enterprise-Level Big Data Analysis Platform
Software Trustworthiness Evaluation Method based on Relationships Between Criteria
Modulation Recognition based on Complex Binarized Neural Network
Radar Signal Separation and Recognition based on Semantic Segmentation
Generative AI for Smart Contracts in Real Estate Business
Keynote Speech I The Push to Product - Strategies for Taking Your Research Into Practice
Software Reliability Modeling Based on Zero-truncated and/or Zero-inflated Compound Distributions
Anomaly Detection Method of Space Payload Using Multivariate State Estimation Technique and Self-Organizing Feature Map
The Tessi Clergy Algorithm Inspired by Potential Gaming Behavior in the Hunt for Geo-data
Towards Using Structural Abstraction for Model Checking
Adaptive Weight Structure Representation for Multi-view Subspace Clustering
Malware Detection using CNN via Word Embedding
Study on Electricity Market Price Forecasting with Large-Scale wind Power Based on LSTM
Prediction of Carbon Emissions Based on PCA and Neural Network Models under the "Dual Carbon" Background
Modelling Android applications through static analysis and systematic exploratory testing
Wi-Fi Signal Analysis for Heartbeat and Metal Detection: A Comparative Study of Reliable Contactless Systems
Chaos Driven Development for Software Robustness Enhancement
Research and Analysis of Physical Health Test for Students Based on C4.5 Algorithm in Universities with Industry Characteristics
A High Precision Annotation Method for Vision Simulation Data of Autonomous Vehicle
Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning
QA4C: An Intelligent Question and Answering System for the C Programming Language Based on Knowledge Graph
Improving Search-based Test Case Generation with Local Search using Adaptive Simulated Annealing and Dynamic Symbolic Execution
Automatic Localization of Potential Faults for Java Runtime Exceptions
Distributed Countermeasure Algorithm based on Deep Reinforcement Learning
Design of Stability Test System for Multimedia Courseware Assisted Teaching Software
6th International Conference on Dependable Systems and Their Applications, DSA 2019, Harbin, China, January 3-6, 2020
Analysis of Software Requirements Change Priorities Based on Complex Networks
Pattern-Based Knowledge Graph Embedding for Non-functional Requirements
Guan-fuzz: Argument Selection With Mean Shift Clustering for Multi-argument Fuzzing
FIG-QEMU: A Fault Inject Platform Supporting Full System Simulation
Deterministic Replay for Multi-Core VxWorks Applications
Design and Implementation of Software Test System for Aviation Communication Radio Station
Application of Software Cost Measurement in the Construction of Ship Information Management System
A Coverage-Based Effective Data Augmentation Framework
An Intrusion Detection Method for Industrial Control System against Stealthy Attack
Assessment of Real-World Incident Detection Through a Component-Based Online Log Anomaly Detection Pipeline Framework
A Reuse-oriented Clustering Method for Test Cases
An Efficient Batch Verification Scheme for SM2 Signatures
A Novel Method to Estimate Mean Lifetime with Censoring in the Context of Reliability Improvement with Design of Experiments
Anti-sea Operation Knowledge Modeling of Aircraft Carrier Formation Based on Key Knowledge and Symbiotic Relationship of Conditions
A Reliable Extrapolative Capacity Estimation Method for Complex Distributed Web Services
Test Case Reuse based on ESIM Model
Transform Domain End-to-end Learning Communication System
AI-Assisted Bug Detection in Open-Source Software
A Comparative Evaluation of AutoEncoder-Based Unsupervised Anomaly Detection Methods Applied on Space Payload
A Survey on Autonomous Driving Datasets
Testing Requirement Analysis Method Based on Signal Path for High Reliability Software
A Novel Building Worker Detection based on Cross Feature Pyramid Network
Adaptive Random Testing based on the Modified Metric-memory Tree and Information Entropy
Design of Multi-unmanned Platform Collaborative Demonstration Environment
Performance Degradation Assessment of Rolling Bearing Based on Difference of Eigenvalues in Random Matrix Theory
Understanding Rembrandt: Directed Knowledge Improves Robustness and Evolution of Facial Phenotype Modeling
Automatic Detection of Abstract-Concrete Relationships between Attack Patterns of ATT&CK and CAPEC with Fine-tuned BERT
Quality Evaluation of Image Dataset based on Label File
An Enhanced Approach for RFID Reader Deployment in Industrial IoT Systems with Collision Avoidance and Optimized Coverage
Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting
Optimal Gateway Station Placement for Transmission Delay Minimization in Broadband LEO Satellite Communication System
Generating Adversarial Examples in Limited Queries with Image Encoding and Noise Decoding
Exploring the Healing Power of Digital Technology in Promoting Health and Well-Being: A Case Study of Smart Tourism Applications
Performance Comparison of Three Parameter Estimation Methods on Heavily Censored Data
ComFormer: Code Comment Generation via Transformer and Fusion Method-based Hybrid Code Representation
A Review of Metamorphic Relation Representation Forms
Task Allocation of Multi UAV Based on Genetic Algorithm
Modeling Technology of Naval Formation Area Antiaircraft Kill Web based on Event Graph
Research on CPI Prediction Based on Space-Time Model
Interference Signal Recognition Based on Multi-Modal Deep Learning
Process Capability Evaluation of Product Development Based on Information Entropy
Move Smart Contract Vulnerability Detection based on Resource-flow Analysis
Vehicular High-definition Maps Cache based on Dew Computing
Dictionary Learning Algorithm based on Restricted Boltzmann Machine
Detection and Mitigation of Label-Flipping Attacks in Federated Learning Systems with KPCA and K-Means
Automated Pricing-based Provisioning of SDN/NFV Services in Distributed Multi-access Edge Computing using Cooperative Multi-Agent Deep Reinforcement Learning
Robust Model for Adversarial Attack Protection through Weak Features Removal
A model based program comparison test method
Performance optimisation Method of PBFT Consensus for Supply Chain Integration SVM
Decision-Making Method of UAV Maneuvering in Close-Range Confrontation based on Deep Reinforcement Learning
Multi-scale Graph Aggregation based Ship Target Recognition
Summary of Tools in FPGA Static Timing Analysis
The Impact of ChatGPT on Software Engineering Education: A Quick Peek
A Theoretical Analysis on the Impacts of Misestimated Test Cases
Task-driven Dialogue System based on Dynamic Intention Capture
Generating Permission-Based Security Policies
Improving Accuracy of Small Object Detection in Screen based on YOLOv7
Test Suite Generation for Software Reliability Testing Based on Hybrid Musa and Markov Method
Detection Method of Low Voltage Cable Fault Point Based on SSTDR Technology
Comparative Study on Online Review of Different Types of Hotel
Software Vulnerability Mining Technology of Shipbuilding Industry based on Dynamic Binary Code Analysis
Research on Decision Assistant Software for Ship Aircraft Collaborative Search and Rescue
Fault Diagnosis and Location of Quadrotor UAV Actuator based on ESO-DF
Small Sample Electromagnetic Signal Recognition based on Time Series Data Augmentation
Test Cases Generation for Multiple paths Based on Metamorphic Relation
A Three-Stage Defect Prediction Model for Cross-Project Defect Prediction
S Domain Communication System and Its Anti-Interference Performance Analysis
Lane-Changing Decision-Making Method for Autonomous Vehicles Considering Multi-Vehicle Interactions
Optimization of Greenhouse Production Process: An Investigation of Energy Efficiency Potentials
Deep-Deploying Imagination in Creative Computer for Dependent System Design
A Smart Meter-Reading Framework With Secret Key Sharing and Support Vector Machine Algorithms
Spatio-Temporal Rule Constraint Guided Safe Reinforcement Learning for CPS
A Reliable and Low-Cost Flip-Flop Hardened against Double-Node-Upsets
Sonar Cross Section Recovery Method Based on Pole Features of Underwater Target
Heart Disease Prediction Algorithm Based on Ensemble Learning
FLS-Based Collision Avoidance Cyber Physical System for Warehouse Robots using FPGA
Complex Network Analysis Based on Politics of Northern Song Dynasty
Dynamic Assignment of Multi-UAV Marine Search and Rescue Missions Under the Condition of Intelligence Support
Underwater Target Detection Method Based on Pole Distribution
Analyzing Software Supply Chain Security Risks in Industrial Control System Protocols: An OpenSSF Scorecard Approach
An Airborne Requirements Verification Method based on Requirement Elements using CRF
Software Defect Prediction based on Bayesian Optimization Random Forest
The Evaluation of Teaching Effect based on Interpretable Machine Learning
Tool Development of Daubechies Wavelet Estimation for Stochastic Counting Processes
System Vulnerability Oriented to Strategies
Impact of Mechanism and Influencing Factors of Radio Frequency Fingerprint on Wireless Devices
Face Image Recognition Algorithm based on Singular Value Decomposition
Energy Efficiency Optimization for Massive MIMO Enabled UAV Communications
Assessing ChatGPT's Comprehension of Perturbed Text through Text Linguistic Features
Three Classifications of Big Data-based Software Testing
The Intelligent Pelagic Communication System Architecture of the Fleet based on UAV Swarm Relay
Metamorphic Robustness Testing for Recommender Systems: A Case Study
Design of Individual Soldier Multimedia Command and Control System Based on Ad Hoc Wireless Mesh Network
Pruning-Based Optimization of Model Distillation Algorithm Using Explainable Machine Learning Methods
Signal Modulation Recognition based on Convolutional Autoencoder and Time-Frequency Analysis
Satellite On-2rbit Anomaly Detection and Adaptive Model Updating Method
Reliable Multiview Learning for Spectral Clustering
A Metamorphic Relation Identification Method based on GEP
Testing Neural Network Classifiers Based on Metamorphic Relations
Constrained Multilinear Multi-view Subspace Representation Learning for Clustering based on Tensor Nuclear Norm
Operational Task Decomposition Method based on Extended HTN Planning
Plum: Exploration and Prioritization of Model Repair Strategies for Fixing Deep Learning Models †
Multi-objective Evolutionary Algorithm for String SMT Solver Testing
Maintainability Assessment for SOFL Formal Specifications
An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree
A Bearing Fault Diagnosis Method based on Improved LSTM-cascade CatBoost
DSR: A Deep Learning Framework Towards Modulation Signal Retrieval
Design of a Center of Gravity Control Law with Unbalanced Fuel in Aircraft Wing Tanks
EFSM Model Construction Method for RTL Digital Circuit
A Coverage-Guided Fuzzing Framework based on Genetic Algorithm for Neural Networks
Survey on Simulation Testing of Autonomous Driving System
Image Transmission Based on Semantics Communication in Vehicle-Infrastructure Collaboration System
An Empirical Study on Spectral Clustering-based Software Defect Detection
Research on Methods for Presenting Battlefield Situation Hotspots
A Practical Method based on MSVL for Verification of Social Network
Internet-Based Researcher Interest Mining
Singing Voice Conversion Based on Non-Parallel Corpus
Design of Embedded Vacuum Packaging System Based on Single-Chip Microcomputer Touch Screen
A Review of Reliability Verification Technology for Aviation Intelligent Systems
A Quantitative Evaluation Approach for Online Review Quality Based on the AHP-Fuzzy Comprehensive Evaluation
Deep Learning Model Risk Identification and Control Technology
Automatic Test Path Generation and Prioritization using UML Activity Diagram
YOLOv8s-D2: A Novel Object Defect Detection Algorithm Based on Improved YOLOv8s
ChatGPT Integration in AVS: Opportunities and Challenges
A Research on the Factors Influencing Cyberchondria from the Perspective of Online Health Information Seeking
Spectrum Completion Based on HaLRTC
Using Complex Network Communities to Evaluate the Correctness of Object Detection
Employing Redundancy to Leverage Cybersecurity Protection of Safety-Critical Systems
UTEMS: A Unit Testing Scheme for Event-driven Microservices
An Efficient Task Scheduling for Security and Stability Control System Models on Multi-Core Systems
An Intelligent Labeling and Dataset Generating Method for Desktop Application Element Object Detection
International Conference on Dependable Systems and Their Applications, DSA 2017, Beijing, China, October 31 - November 2, 2017
A Survey ofNFC Mobile Payment: Challenges and Solutions using Blockchain and Cryptocurrencies
Stability Analysis and Parameter Design for Stabilizing One Delay Point in Two-Delay Differential Equations
Distributed Sleep Monitoring System with Mobile Terminal
Research on Intelligent Monitoring Method of Medicine Delivery Vehicle Based on Internet of Things Technology
Testing Photometric Stereo Applications
Learning Latest Private-Cluster-State to Improve the Performance of Sample-Based Cluster Scheduling
Research on Resilience of Maritime Distributed Combat Network Under Targeted Attacks
A New Attribute Selection Method Based on Maximal Information Coefficient and Automatic Clustering
A Mutation-based Approach to Repair Deep Neural Network Models
A Novel Unsupervised Malware Detection Method based on Adversarial Auto-encoder and Deep Clustering
Quantitative Analysis of Information Leakage Hardware Trojans in IP Cores
A UAV Cooperative Formation Capability Evaluation Method
Applying Animation for the Interpretation of Beijing Symbols in the Second Dimensional Space
coisTable: An Individual-and-Spatial-Aware Tabletop System for Co-located Collaboration
Improved Evidence Conflict Measurement Algorithm Based on Singular Value Decomposition
A Computational Model for Spatial Exploration in Regional Economic Collaborative Development: A Case Study
Research on Development Strategy of Test and Evaluation Assessment for Equipment Software
Evaluating the Resilience of Software Architecture Based on Minimal Path
Performance Analysis Model for Fog Services under Multiple Resource Types
An Analysis and Comparison of Mutation Testing Tools for Python
Data-Leashing: Towards a Characterization of The Problem and Its Solution
Chinese Psychological QA Database and its Research Problems
Effective GasPrice Prediction for Carrying Out Economical Ethereum Transaction
Planning Model of Air Defense Kill Webs Based on Genetic Algorithm
Capability Analysis Method for Electromagnetic Spectrum
An Energy-Efficient Strategy based on Q-Learning for Energy Harvesting-based Wireless Sensor Network
An Adaptive Large Neighborhood Search for Two-Dimensional Packing with Conflict Penalty
Research and implementation of an automatic simulation tool
An Unsupervised Deep Learning Approach for Health Assessment of Distributed Systems
Senti-EGCN: An Aspect-Based Sentiment Analysis System Using Edge-Enhanced Graph Convolutional Networks
Nautical Chart Algorithms: A Feedback Strategy to Consider Knowledge Data Production Behavior
Revisiting Hazard Analysis Requirements
Analysis and Verification of Bisimulation Relationship for Learning Time-Behavior Sequence
Fault Diagnosis of the Four-Rotor Unmanned Aerial Vehicle using the Optimized Deep Forest Algorithm based on the Wavelet Packet Translation
UGDA: Data Augmentation Methods for Uyghur Language Named Entity Recognition
Privacy Protocol Analysis based on Android Application
Formal Modeling and Verification of Convolutional Neural Networks based on MSVL
A Recommendation Method for Process Modeling based on Clustering and Graph Neural Network
An Automatic Sensing Weakness Detection Method For Autonomous Vehicle Assessment
Research on Label Distribution Dimension Reduction Algorithm Based on MLDA
Network Intrusion Detection based on RBF Neural Networks and Fuzzy Cluster
Research on the Safety Prediction Method of Long Jump in Big Data
Multi Ontology-Based System-Level Software Fuzzy FMEA Method
The Correlation between Training Set Perturbations and Robustness for CNN Models
Personalized Learning Task Assignment
Infrared Object Detection Based YOLOv8s from UAV Images
A real-time Information Exchange Strategy for Big Data Volume Systems Based on Internet of Things
An Improved Dissimilarity based Approach to Semantic Similarity Calculation
Test Case Classification via Few-Shot Learning
Reconstruction of Smart Learning Space Based on Digital Twin (DT) Technology
Synthesizing Secure Reactive Controller for Unmanned Aerial System
Cognitive Radio Spectrum Sensing Technology
Wireless Transmitter Identification Using Multicore Path Network
Software Quality Measurement Combining Autonomy Evaluation for Intelligent Early-warning Information System
Deep Reinforcement Learning based Adaptive Real-Time Path Planning for UAV
Adversarial Attacks in DNN-based Modulation Recognition: A Preliminary Study
Software Defect Prediction via GCN based on Structural and Context Information
The Airborne Information Processing System Development Research
Creativity Evaluation Method for Procedural Content Generated Game Items via Machine Learning
Underwater Unmanned Vehicle Search Path Optimization Arithmetic
Research on the Application of Big Data in Newspaper Industry
Dual-branch Attention Detection Network for Scene Text Detection
Towards High-Quality Test Suite Generation with ML-Based Boundary Value Analysis
Automated Structural Test Case Generation for Human-Computer Interaction Software Based on Large Language Model
Comparison of Image Feature Detection Algorithms
A Logic Pattern of Agents with Emotional Attitudes
YOLO-Based Component Detection System for Electrical Diagrams
Simulink Model Static Analysis Results based on Abstract Interpretation
Quantitative Evaluation Model of Network Security Situation Based on D-S Evidence Theory
Blocking Bugs Identification via Binary Relevance and Logistic Regression Analysis
MetBench: A Numerical Expression Metamorphic Relations Benchmark Data Set
Analytical Investigation of Anomaly Detection Methods based on Time-Domain Features and Autoencoders in Satellite Power Subsystem
Towards Effective Bug Reproduction for Mobile Applications