yusuke1997/dblp-id-title huggingface dataset:
A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models
Proving Mutual Termination of Programs
Can Mutation Analysis Help Fix Our Broken Coverage Metrics?
A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems
Automatic Error Localization for Software Using Deductive Verification
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise
Injecting Floating-Point Testing Knowledge into Test Generators
PRuning Through Satisfaction
An Efficient and Flexible Approach to Resolution Proof Reduction
On-Line Detection and Prediction of Temporal Patterns
SeeCode - A Code Review Plug-in for Eclipse
Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study
A Case for Runtime Validation of Hardware
Online Testing of LTL Properties for Java Code
Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
HaifaSat: A New Robust SAT Solver
Generalized Reactivity(1) Synthesis without a Monolithic Strategy
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking
User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE
Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B
Verification of Data Paths Using Unbounded Integers: Automata Strike Back
Dynamic Testing Via Automata Learning
MaxSAT-Based MCS Enumeration
Linear-Time Reductions of Resolution Proofs
Pain, Possibilities, and Prescriptions Industry Trends in Advanced Functional Verification
Speeding Up the Safety Verification of Programmable Logic Controller Code
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Reasoning about Finite-State Switched Systems
Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Choosing a Test Modeling Language: A Survey
On Behavioral Programming
Reduction of Interrupt Handler Executions for Model Checking Embedded Software
SAT-Based Combinational and Sequential Dependency Computation
Dynamic Test Data Generation for Data Intensive Applications
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions
Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
A Framework for Asynchronous Circuit Modeling and Verification in ACL2
Evolutionary Testing: A Case Study
TSO to SC via Symbolic Execution
Leveraging Accelerated Simulation for Floating-Point Regression
Repair with On-The-Fly Program Analysis
Automatic Fault Localization for Property Checking
Progress in Automated Software Defect Prediction
Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
Formal Analysis of Security Data Paths in RTL Design
A New Refinement Strategy for CEGAR-Based Industrial Model Checking
Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT()
Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing
Advances in Simultaneous Multithreading Testcase Generation Methods
Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation
Automated Reencoding of Boolean Formulas
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
Exploiting Shared Structure in Software Verification Conditions
Effective Black-Box Testing with Genetic Algorithms
Model Checking PSL Using HOL and SMV
Probabilistic Model of Control-Flow Altering Based Malicious Attacks - (Poster Submission)
FoREnSiC- An Automatic Debugging Environment for C Programs
Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Increasing Confidence in Liveness Model Checking Results with Proofs
Assertion Checking Using Dynamic Inference
Evaluating Workloads Using Comparative Functional Coverage
The SBSE Approach to Automated Optimization of Verification and Testing
Deferrability Analysis for JavaScript
An Introduction to Test Specification in FQL
Generating JML Specifications from Alloy Expressions
Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors
Parallelizing a Symbolic Compositional Model-Checking Algorithm
Suraq - A Controller Synthesis Tool Using Uninterpreted Functions
Arithmetic Bit-Level Verification Using Network Flow Model
Word Equations with Length Constraints: What's Decidable?
Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques
Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art
Reflections on Spartan Programming and the No-Debugger Principle
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation
The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk)
Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed
Modeling Firmware as Service Functions and Its Application to Test Generation
Proofs, Interpolants, and Relevance Heuristics
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata
Multi-core SCC-Based LTL Model Checking
Circuit Primitives for Monitoring Information Flow and Enabling Redundancy
Partial Quantifier Elimination
Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations
A Framework to Synergize Partial Order Reduction with State Interpolation
Predictive Taint Analysis for Extended Testing of Parallel Executions
SLAM: SLice And Merge - Effective Test Generation for Large Systems
Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking
Trace-based Analysis of Memory Corruption Malware Attacks
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
Simultaneous SAT-Based Model Checking of Safety Properties
Evaluating Workloads Using Multi-comparative Functional Coverage
Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
A Symbolic Approach to Safety ltl Synthesis
Backbones for Equality
ddNF: An Efficient Data Structure for Header Spaces
Bisimulation Minimisations for Boolean Equation Systems
Verification of the Java Causality Requirements
Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study
Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming
Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
Symbolic Execution and Model Checking for Testing
Abstraction-Based Parameter Synthesis for Multiaffine Systems
Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Supervisory Control of Discrete-Event Systems via IC3
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers
Gating Aware Error Injection
Reactivity in SystemC Transaction-Level Models
Using Virtual Coverage to Hit Hard-To-Reach Events
Concurrent Small Progress Measures
Symbolic Testing of OpenCL Code
Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems
Formula Slicing: Inductive Invariants from Preconditions
Quasi-equal Clock Reduction: Eliminating Assumptions on Networks
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code
Iterative User-Driven Fault Localization
An Extensible Open-Source Compiler Infrastructure for Testing
A Supervisory Control Algorithm Based on Property-Directed Reachability
Precise Detection of Atomicity Violations
Revisiting Synthesis of GR(1) Specifications
On Switching Aware Synthesis for Combinational Circuits
Can File Level Characteristics Help Identify System Level Fault-Proneness?
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
DART: Directed Automated Random Testing
Liveness vs Safety - A Practical Viewpoint
Improving Efficiency and Accuracy of Formula-Based Debugging
The Rabin Index of Parity Games - (Extended Abstract)
SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs
Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
Assisting the Code Review Process Using Simple Pattern Recognition
Smart-Lint: Improving the Verification Flow
Formal Specification of an Erase Block Management Layer for Flash Memory
Knowledge Based Transactional Behavior
Choosing Among Alternative Futures
Variants of LTL Query Checking
More Adaptive Does not Imply Less Safe (with Formal Verification)
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution
Making Model-Based Testing More Agile: A Use Case Driven Approach
Implicative Simultaneous Satisfiability and Applications
Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project
Where Do Bugs Come from?
Attention-Based Coverage Metrics
Modbat: A Model-Based API Tester for Event-Driven Systems
Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques
An Open Source Simulation Model of Software Development and Testing
On the Characterization of Until as a Fixed Point Under Clocked Semantics
Interpolation-Based Function Summaries in Bounded Model Checking
From Fault Injection to Mutant Injection: The Next Step for Safety Analysis?
A Meta Heuristic for Effectively Detecting Concurrency Errors
Generating Modulo-2 Linear Invariants for Hardware Model Checking
Symbolic Model-Based Testing for Industrial Automation Software
Multi-Domain Verification of Power, Clock and Reset Domains
Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs
Automatic Boosting of Cross-Product Coverage Using Bayesian Networks
PANDA: Simultaneous Predicate Abstraction and Concrete Execution
Handling TSO in Mechanized Linearizability Proofs
Resource-Parameterized Timing Analysis of Real-Time Systems
Synthesis with Clairvoyance
Price decision-making models in closed-loop supply chain based on government subsidies: a new replacement policy of household appliances in China
An Access Control System Architecture for XML Data Warehouse Using XACML
Compatible process design and analysis of system-in-package
Research on dynamic model and control strategy of lead-acid battery
Intelligent Optimization and Big Data Analysis of Technological Innovation Efficiency in Chinese Lithium Battery Companies Using DEA Model
Research on data processing and interactive management mode based on Web Server technology
A content analysis of public health government WeChat official accounts: the connection between content characteristics and public engagement
Research on measurement of digital economy based on Data Mining
Handling the Dynamic Reconfiguration of Software Architectures using Intelligent Agents
Profiling Chinese Student Interpreters' Usage Intention of ChatGPT-assisted Translation by Q Methodology Based on Technology Acceptance Model
Research on Mural Inpainting Method based on MCA Image Decomposition
A Hybrid Intrusion Detection Approach Using Ant Colony System and Simulated Annealing (ACS-SA)
Distributed Energy Equilibrium Routing Algorithm Based on Hierarchical Thought and Markov Game in WSN
Improvement of Collaborative Filtering Systems through Resource Description Framework
DISSERO Mobile Application for AUTISTIC Children's
Analysis of Mobile Phone Support Fixed for Injection Molding Process Design Based on Moldflow
Analysis of friction moments of rolling bearings based on nonlinear dynamic model
Measuring the level of tourism development based on entropy weight TOPSIS method
A New Method for Computing Preferred Extensions
Analysis on the Level of Urban Internationalization Based on Spatial Dimension: A Case Study of Wuhan
Improvement of DPoS Consensus Based on Block Chain
Research on Satisfaction of A Pioneer Park's Technological Innovation Service System and Platform Construction Based on TAM Model
Research on risk management of commercial Banks under financial innovation based on fixed effects model
Stock Price Forecasting Based on Improved Particle Swarm Optimization Neural Network Algorithm
An Image Denoising Fast Algorithm for Weighted Total Variation
Load pattern analysis of key accounts based on two-step clustering
Digital Economy, Environmental Regulation, and Carbon Emissions: Based on a Dynamic Panel Threshold Model
Research on Copper Foil Winding of Transformer Surface Defect Detection Based on Machine Vision
Panel Data Based Model Analysis of Digital Inclusive Finance Development on the Urban-Rural Income Gap
A Design to Adapt Microkernel Inter-process Communication Mechanism
Finite Element Analysis of Oil-Water Two-Phase Conductance Sensor
Fuzzy Modularity Based Louvain Algorithm For Overlapping Community Detection
Population forecasting analysis based on Grey Model under Three-child Policy
An Improved TF-IDF algorithm based on word frequency distribution information and category distribution information
Algorithm Research and Design of College Student Management Platform Based on Web Technology
DGA domain name detection based on BiGRU-MCNN
Research on Data Mining Algorithms for Vocational Education Based on Student Behaviour Analysis
Cane bud recognition and positioning based on image processing
An improved Q-algorithm based on EPC Class 1 Generation 2 protocol
Analysis and Optimization of Heat Dissipation Characteristics of High-power LED
A Novel Cluster Head Selection Method based on HAC Algorithm for Energy Efficient Wireless Sensor Network
The Dynamic Hyper-ellipsoidal Micro-Clustering for Evolving Data Stream Using Only Incoming Datum
An Entity Relation Extraction Algorithm Incorporating Multi-Attention Mechanisms and Remote Supervision
Research on the revision of the nonwork orientations relative to career questionnaire based on the reliability and validity test of big data
A Visual Classification Method for Milling Surface Roughness Based on Convolutional Neural Network
Indoor real-time three-side positioning technology based on low power consumption Bluetooth
Detection of abnormal Electricity Consumption Behavior of Users Based on K-means Clustering Algorithm Fusion and Improved SVM
Utility Incremental Uplift Tree Algorithm and Its Application to Precision Marketing
The Research of Chinese Word Segmentation Disambiguation Dased on Context Information
Toward An Empirical Study to investigate the size-defect Relationship Using ISBSG Repository
A VEIS computer virus propagation model based on partly immunization
Application of three-dimensional digital virtual simulation technology in the mould assembly-disassembly teaching
Research on intelligent power communication network management system based on BP neural network
An Access-Oriented Placement Strategy with Online Erasure Coding in Memory Stores
Design and Implementation of Second-hand goods renting System Based On Ethereum Smart Contract
Data security and privacy in E-health Cloud: Comparative study
On-line Multi-step Prediction of Short Term Traffic Flow Based on GRU Neural Network
Research on Information Strategy of Social Media Short Video Marketing Co-creation Based on Data Mining
Research on High Precision Time Synchronization of Android Based on NTP
Proceedings of the 2024 9th International Conference on Intelligent Information Processing, ICIIP 2024, Bucharest, Romania, November 21-23, 2024
Spatial influencing factors of minority villages in Enshi Prefecture based on mathematical method
Research on performance evaluation of Intelligent community based on mixed weight model
A New Method for Compressed Sensing Color Images Reconstruction Based on Total Variation Model
Proceedings of the 7th International Conference on Intelligent Information Processing, ICIIP 2022, Bucharest, Romania, September 29-30, 2022
Research on the evaluation of general education courses based on neural networks
Analysis of planar mobile distribution and interference evaluation in wireless ad-hoc networks
A novel complex power battery recycling network
ICIIP 2021: 2021 6th International Conference on Intelligent Information Processing, Bucharest, Romania, July 29-31, 2021
Quality Analysis of Urban Economic Growth Based on TOPSIS Algorithm
AR Furniture: Integrating Augmented Reality Technology to Enhance Interior Design using Marker and Markerless tracking
Process Design of Injection Molding System for Umbrella Handle Based on Moldflow
International Research Visualized Analysis of Vocational Rehabilitation for Mental Disorders Based on Social Computing
Quality of Service Parameters Modeling of Voice over IP Traffic: An Overview
GSE: Graph similarity enhancement algorithm for single-cell RNA-seq data clustering
The Design of Microkernel Memory Management Mechanism Based on Heterogeneous Multi-core Processor
Analysis of important components of rubber extruder
k-HEFT: A static task scheduling algorithm in clouds
An Integrated Measurement Model for Evaluating Usability Attributes
A following behavior detecting method for drive assistance
Visual-Based Vehicle Speed Acquisition Algorithm
Study on Image Encryption Algorithm Based on Logistic Chaotic System
Research on Topology Control Algorithm in Heterogeneous wireless sensor networks Based on the Game Theory
Predicting non-suicidal self-injury behavior among adolescents with depressive disorders: a comparative study based on different machine learning methods
Research of model of airflow-coupled arcs based on MATLAB
Design of Indoor Intelligent Alarm System Based on STM32
The Establishment and Research of an Evaluation Model Based on Network Analytic Hierarchy Process
Innovation and Entrepreneurship Education Platform in Vocational Colleges Based on Large Language Models
Research on the Correlation between Extrusion Parameters and Screw Failure Based on Fluent
A Priority Based Lookup Model for VoIP Applications in Unstructured P2P Networks
Replacement of a failing node by using a two-phase method
Asynchronous Motor without Speed Sensor Vector Control Based on MRAS
Hepatic Hemangioma Segmentation from Abdominal CT Images
Feature data factorization and its application
Manual Hydraulic Forklift Fork Analysis Based on ANSYS Workbench
A proposed reasoning Algorithm using DLs in vectorial form
Subpixel edge contour extraction based on Zernike orthogonal moments
On The Use of Decision Trees for Arabic Pronunciation Assessment
Research on the Development Level and Influencing Factors of Digital Inclusive Finance in China Based on Fixed Effects Model
Exploring digital learning environments to improve employability skills of vocational college students: The mediating role of artificial intelligence applications
A review of deep learning-based crowd abnormal behavior detection
Analysis on an Improved Pseudo-Code Periodic Estimation Method for DSSS Signals
Research on sales forecasting based on ARIMA and BP neural network combined model
A Framework of Knowledge Management as a Service over Cloud Computing Platform
Research on Task Scheduling of Heterogeneous Multi-core Processor based on Replication Genetic algorithm
Construction of a Student Satisfaction Evaluation Model for Undergraduate Financial Management Courses Grounded in Digital Context
Multi Agent Object Recognition: A Preliminary Study
Reliability Analysis of Kinematics Accuracy for a Metamorphic Palletizing Robot Mechanism
Research on Structure Design of Main Reducer Based on Vertical Mill
Intelligent watering system design based on 51 microcontrollers
Financial Fraud Detection of Listed Companies Based on DNSAE Fusion and Improved Random Forest
An Improved DBSCAN Clustering Algorithm for Multi-density Datasets
Towards a Comprehensive Survey of the Requirements Elicitation Process Improvements
Collaborative Filtering Recommendation Based On CS-Kmeans Optimization Clustering
Research on Enhancing Security in Critical Control Operations of Power Systems through End-to-End Trusted Connection Algorithm
Design of a Dynamic Monitoring and Early Intervention System for Left-Behind Children's Learning Power
A Novel Saliency Detection Model based on Self Organizing Tree Algorithm
Capacity optimization configuration and scheduling model considering wind-solar complementary characteristics
Algorithmic Framework for Automated Assessment and Feedback of Artificial Intelligence (AI) Technology in English Intelligent Teaching
Simulation research on PID_MRAC control of 6-DOF platform servo system
Analysis of nonlinear vibration characteristics of floating wind turbine
An Improved Web Page Recommendation System Using Partitioning and Web Usage Mining
Research on Classification Evaluation System Based on Topsis Evaluation Model
Deterministically-Adaptive Genetic Algorithm To Solve Binary Communication Problems: Application On The Error Correcting Code Problem
Developing an Analytical Model to Assess the Impact of PM2.5 Levels in Parks on Peripheral Artery Disease and Respiratory Conditions
The wireless TV signal receiving system of high-speed rail
New energy consumption optimization algorithm and model analysisbased on demand-side response
Research on a Face Recognition Algorithm Based on Joint Supervised Learning
Battle simulation of network information system-of-systems based on multi-agent
Research on Emotional State in Online Learning by Eye Tracking Technology
The Relation between Perceived Smart Tourism Technology Experience and eWOM Intention
Exploring the Application of Big Data Technology in Smart Tourism Based on Machine Learning Algorithms
Trajectory Optimization of Two-joint Manipulator Based on Differential Evolution Algorithm
Solving for Power system economic dispatch with wind power integration based on chance-constrained programming
Design of pneumatic pipe shape detection system
Research on the Carbon Emission Reduction Effects of Climate Mitigation Aid Based on a Mediation Model
Research on Personalized Exercises and Teaching Feedback Based on Big Data
Application research of matching optimization technology in the field of traditional bearing assembly processing
The application prospects of lead-free piezoelectric ceramics in the field of transducers
Evaluation of grinding surface roughness based on color component difference of image
Modified DV-Hop Localization Algorithm Based on Intersecting Circle and Hops Revaluation
Application of Machine Learning method based Estimation of Heterogeneous Treatment Effects in Economics
Estimation of STBC-MIMO Radio Channel at 2.4 GHz in Underground Mine Gallery
Study on the influence of Taguchi melt deposition molding on tensile properties
Temporal Knowledge Graph Attention Network for Online Doctor Recommendation
Credit Default Prediction Based on Improved Smote Algorithm and GA_LightGBM Algorithm
GLI-Color: Gradual Locality Integration of Color features for image retrieval
Predicting and Analyzing Educational Data Using Neural Networks
Multi-objective optimization design of small wind turbine blade
Research on risk assessment of CTCS based on fuzzy reasoning and analytic hierarchy process
Research on Least Significant Bits (LSB) Image Information Hiding Based on Random Bit Selection Embedding Algorithm
Research on greenness evaluation system of dual-channel supply chain based on Python