yusuke1997/dblp-id-title huggingface dataset:
On the Two-Stage Stochastic Graph Partitioning Problem
The MaxIS-Shapley Value in Perfect Graphs
Relaxation and Matrix Randomized Rounding for the Maximum Spectral Subgraph Problem
Complexity and Approximation Results on the Shared Transportation Problem
Improved Primal-Dual Approximation Algorithm for the Connected Facility Location Problem
Combinatorial Optimization and Applications - 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings
Single Image Dehazing Based on Dynamic Convolution and Transformer
Cost-Sharing Mechanisms for Selfish Bin Packing
Reinforcement Learning for Airline Continuous Dynamic Pricing
Selfish Jobs with Favorite Machines: Price of Anarchy vs. Strong Price of Anarchy
Integration of an LP Solver into Interval Constraint Propagation
A Transformation from PPTL to S1S
Dynamic Programming for a Biobjective Search Problem in a Line
An Exact Algorithm for the Line-Constrained Bottleneck k-Steiner Tree Problem
Constrained Surface-Level Gateway Placement for Underwater Acoustic Wireless Sensor Networks
Edge-Disjoint Packing of Stars and Cycles
Mechanism Design by Creditability
The Balanced Connected Subgraph Problem: Complexity Results in Bounded-Degree and Bounded-Diameter Graphs
Guarding Precise and Imprecise Polyhedral Terrains with Segments
Randomized Mechanisms for Improved Approximation Ratios in Heterogeneous Two-Facility Location
A Note on Online Scheduling for Jobs with Arbitrary Release Times
Load-Balanced Virtual Backbone Construction for Wireless Sensor Networks
Bipartizing with a Matching
Broadcasting and Three List Subtraction
Listing Acyclic Subgraphs and Subgraphs of Bounded Girth in Directed Graphs
Complexity and Online Algorithms for Minimum Skyline Coloring of Intervals
Optimal Semi-online Algorithm for Scheduling on a Batch Processing Machine
Bipartite Permutation Graphs Are Reconstructible
A New Exact Algorithm for the Two-Sided Crossing Minimization Problem
Inductive Graph Invariants and Algorithmic Applications
On the Parameterized Parallel Complexity and the Vertex Cover Problem
Exact Algorithms for Generalized Combinatorial Optimization Problems
Enumerating Isolated Cliques in Synthetic and Financial Networks
On the Clustered Steiner Tree Problem
Optimizing Static and Adaptive Probing Schedules for Rapid Event Detection
Transmitting Particles in a Polygonal Domain by Repulsion
Exponential and Polynomial Time Algorithms for the Minimum Common String Partition Problem
Approximability of the Distance Independent Set Problem on Regular Graphs and Planar Graphs
The Price of Anarchy in Two-Stage Scheduling Games
Extended Dynamic Subgraph Statistics Using h -Index Parameterized Data Structures
Coverage with k -Transmitters in the Presence of Obstacles
Metric and Distributed On-Line Algorithm for Minimizing Routing Interference in Wireless Sensor Networks
Improved Scheduling with a Shared Resource
The Line-Constrained Maximum Coverage Facility Location Problem
Circular Convex Bipartite Graphs: Feedback Vertex Set
Novel Algorithms for Maximum DS Decomposition
Prompt Mechanism for Online Auctions with Multi-unit Demands
A Quadratic Time Exact Algorithm for Continuous Connected 2-Facility Location Problem in Trees (Extended Abstract)
Complexity of the Stamp Folding Problem
TNT: An Effective Method for Finding Correlations Between Two Continuous Variables
Optimal Movement of Mobile Sensors for Barrier Coverage of a Planar Region
Sequence Submodular Maximization Meets Streaming
Minimum Eccentricity Shortest Path Problem: An Approximation Algorithm and Relation with the k-Laminarity Problem
Improving Contraction Hierarchies by Combining with All-Pairs Shortest Paths Problem Algorithms
A Fast Exact Algorithm for Airplane Refueling Problem
Asteroidal Sets and Dominating Paths
An Improved Approximation Algorithm for Squared Metric k-Facility Location
Relaxations of Discrete Sets with Semicontinuous Variables
An Approximation Algorithm for the (Metric) Clustered Path Traveling Salesman Problem
Algorithms for Forest Local Similarity
Dynamic Single-Source Shortest Paths in Erdös-Rényi Random Graphs
On the Complexity of Robust Stable Marriage
A Comparison Between the Zero Forcing Number and the Strong Metric Dimension of Graphs
Generative Flow Networks with Symmetry Enhancement to Solve Vehicle Routing Problems
Approximation and Hardness Results for the Max k-Uncut Problem
A 2log2(n)-Approximation Algorithm for Directed Tour Cover
Star-Critical Ramsey Number of Large Cycle and Book
Characterizations for Special Directed Co-graphs
Algorithms for Cut Problems on Trees
Parameterized Complexity of Shortest Path with Positive Disjunctive Constraints
Bounded Degree Graphs Computed for Traveling Salesman Problem Based on Frequency Quadrilaterals
On the Complexity of Some Facet-Defining Inequalities of the QAP-Polytope
Algorithms for Minimum m -Connected k -Dominating Set Problem
Sublinear-Time Reductions for Big Data Computing
Fast Order-Preserving Pattern Matching
Parameterized Algorithms for Generalized Domination
Practical Attribute-Based Multi-keyword Search Scheme with Sensitive Information Hiding for Cloud Storage Systems
Restricted Holant Dichotomy on Domains 3 and 4
A Search-Based Approach to the Railway Rolling Stock Allocation Problem
Using Unified Model Checking to Verify Heaps
On the Min-max Heterogeneous Weighted Delivery Problem
Scaling, Renormalization, and Universality in Combinatorial Games: The Geometry of Chomp
An Equally-Split Bin Packing Problem
Dynamic Algorithms for Non-monotone Submodular Maximization
Safe Sets in Graphs: Graph Classes and Structural Parameters
Sampling-Based Approximate Skyline Calculation on Big Data
On the 2-Center Problem Under Convex Polyhedral Distance Function
Algorithms for the Ridesharing with Profit Constraint Problem
Arc Searching Digraphs Without Jumping
Efficient Group Testing Algorithms with a Constrained Number of Positive Responses
Towards Minimum Delay Broadcasting and Multicasting in Multihop Wireless Networks
The Incentive Ratio in Exchange Economies
Combinatorial Optimization and Applications - 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
Reading Articles Online
An Asymptotic Competitive Scheme for Online Bin Packing
Reachability Games for Optimal Multi-agent Scheduling of Tasks with Variable Durations
On Some Proximity Problems of Colored Sets
Variable-Size Rectangle Covering
Information Theory of Blockchain Systems
Filtering Undesirable Flows in Networks
On the Parameterized Complexity of Dynamic Problems with Connectivity Constraints
Open Shop Scheduling Problem with a Non-resumable Flexible Maintenance Period
Online Scheduling for Electricity Cost in Smart Grid
Polynomial Approximation Schemes for the Max-Min Allocation Problem under a Grade of Service Provision
Minimum Wireless Charger Placement with Individual Energy Requirement
Comparison of Quadratic Convex Reformulations to Solve the Quadratic Assignment Problem
Combinatorial Optimization and Applications - 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I
The Fractional k-truncated Metric Dimension of Graphs
Online Dominating Set and Coloring
On the (Parameterized) Complexity of Recognizing Well-Covered (r, l)-graphs
Minimum-Width Drawings of Phylogenetic Trees
UAV Target Tracking with Bandit-Based Data Fusion
Extreme Witnesses and Their Applications
An Extended Strange Planet Protocol
A Refined Characteristic of Minimum Contingency Set for Conjunctive Query
Parameterized Algorithms for Linear Layouts of Graphs with Respect to the Vertex Cover Number
Searching Cycle-Disjoint Graphs
Better Approximation Ratios for the Single-Vehicle Scheduling Problems on Tree/Cycle Networks
Cooperative Multi-Agent Deep Reinforcement Learning In Content Ranking Optimization
Proceedings of the ACM SIGIR Workshop on eCommerce 2024 co-located with the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2024), Washington D.C., USA, July 18, 2024
Ontology Guided Supervised Contrastive Learning For Fine-grained Attribute Extraction From Fashion Images
Real-time Integration of Social Media Background in Dynamic Recommendation Systems
X4SR: Post-Hoc Explanations for Session-based Recommendations
Dynamic Filter Discovery and Ranking Framework for Search and Browse Experiences in E-Commerce
Semantic In-Domain Product Identification for Search Queries
Exploring the Viability of Synthetic Query Generation for Relevance Prediction
Multimodal Learning with Online Text Cleaning for E-commerce Product Search
Long or Short or Both? An Exploration on Lookback Time Windows of Behavioral Features in Product Search Ranking
Product Reviews as Source for Extracting Product Information - Lessons Learned
Aggregation-Based Answering for Broad Product Questions
(Vector) Space is Not the Final Frontier: Product Search as Program Synthesis
GPT4Rec: A Generative Framework for Personalized Recommendation and User Interests Interpretation
Proceedings of the 2023 SIGIR Workshop on eCommerce co-located with the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2023), Taipei, Taiwan, July 27, 2023
Doc2Token: Bridging Vocabulary Gap by Predicting Missing Tokens for E-commerce Search
These Deals Won't Last! Longevity, Uniformity, and Bias in Product Badge Assignment in eCommerce Platforms
Aligning Ranking Objectives with E-commerce Search Intent
Counterfactual Learning to Rank via Knowledge Distillation
Next-Gen Sponsored Search: Crafting the Perfect Query with Inventory-Aware RAG (InvAwr-RAG) - Based GenAI
Cross-Domain User Similarity without Overlapping Attributes via Optimal Transport Theory
Contextual Font Recommendations Based on User Intent
SERGI: Similar Entity Retrieval using Grouped Images
Knowledge Distillation for Efficient and Effective Relevance Search on E-commerce
Improve Machine Translation in E-commerce Multilingual Search with Contextual Signal from Search Sessions
Measuring Feature Quality for Improved Ranking Performance
Enhancement of E-commerce Sponsored Search Relevancy with LLM
Offline Multi-Objective Optimization (OMOO) in Search Page Layout Optimization Using Off-policy Evaluation
Shopping Queries Image Dataset (SQID): An Image-Enriched ESCI Dataset for Exploring Multimodal Learning in Product Search
XWalk: Random Walk Based Candidate Retrieval for Product Search
Extreme Multi-label Query Classification for E-commerce
Pricing the Nearly Known - When Semantic Similarity is Just not Enough
A Bespoke Question Intent Taxonomy for E-commerce
Behavior-driven Query Similarity Prediction based on Pre-trained Language Models for E-Commerce Search
CDR-Adapter: Learning Adapters to Dig Out More Transferring Ability for Cross-Domain Recommendation Models
Don't Lose Your Head(s): Model Pre-Training and Exploitation for Personalization
A Layered Argument Strategy for Software Security Case Development
Testing Proportional-Integral-Derivative (PID) Controller with Metamorphic Testing
Resource-constrained non-operational testing of software
Using Transformer Models and Textual Analysis for Log Parsing
Empirical Study of Abnormalities in Local Variables of Change-Prone Java Methods
Validating the BIECO Security Evaluation Methodology within a Smart Grid Monitoring SW
E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products
Test suites for benchmarks of static analysis tools
Refactoring ≠ Bug-Inducing: Improving Defect Prediction with Code Change Tactics Analysis
Software reliability in weapon systems
The mechanics of memory-related software aging
Sixth International Symposium on Software Reliability Engineering, ISSRE 1995, Toulouse, France, October 24-27, 1995
Failure data analytics to build failure prediction mechanisms
On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications
Robotics Software Engineering and Certification: Issues and Challenges
Program Debugging: Research and Practice
GUI-Profiling for Performance and Coverage Analysis
SAPPX: Securing COTS Binaries with Automatic Program Partitioning for Intel SGX
Software rejuvenation and runtime reliability monitoring
Memory Degradation Analysis in Private and Public Cloud Environments
Combinatorial Coverage for Assured Autonomy
Requirements by Contracts allow Automated System Testing
You Are Where You App: An Assessment on Location Privacy of Social Applications
Augmenting Simulated Annealing to Build Interaction Test Suites
Maximizing Interval Reliability in Operational Software System with Rejuvenation
Diagnosing Development Turbulence in Agile Processes
IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010
AFALog: A General Augmentation Framework for Log-based Anomaly Detection with Active Learning
A Hybrid Framework for Web Services Reliability and Performance Assessment
Multivariate Time Series Anomaly Detection based on Pre-trained Models with Dual-Attention Mechanism
A MARTE Extension for Global Scheduling Analysis of Multiprocessor Systems
Discrete Equations and Software Reliability Growth Models
Automating software validation of a GPON network
Quantitative Evaluation of Static Analysis Tools
Solving maximum likelihood equations for two-parameter software reliability models using grouped data
Second IEEE International Workshop on Software Aging and Rejuvenation, WoSAR@ISSRE 2010, San Jose, CA, USA, November 2, 2010
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks
Putting It All Together: Using Socio-technical Networks to Predict Failures
Experience Report: How to Design Web-Based Competitions for Legal Proceedings: Lessons from a Court Case
A Characteristic Study of Deadlocks in Database-Backed Web Applications
Keynote 1: How Safe Is Safe Enough for Autonomous Vehicles?
Managing Service Dependency for Cloud Reliability: The Industrial Practice
Simulation-Based Testing to Improve Safety of Autonomous Robots
Validation of a Methodology for Assessing Software Reliability
Norming to Performing: Failure Analysis and Deployment Automation of Big Data Software Developed by Highly Iterative Models
Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization
A heuristic approach for software reliability prediction: the equally-weighted linear combination model
Medical device software risk assessment requires cross functional personnel
Software reliability model selection: a cast study
Enhancing Traceability Link Recovery with Unlabeled Data
15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France
Building a system failure rate estimator by identifying component failure rates
The Impact of Recovery Mechanisms on the Likelihood of Saving Corrupted State
Exploiting Behavior Models for Availability Analysis of Interactive Systems
Identifying risk using ODC based growth models
Enhanced Fine-Tuning of Lightweight Domain-Specific Q&A Model Based on Large Language Models
Advances in the Characterization of Cognitive Support for Unit Testing: The Bug-Hunting Game and the Visualization Arsenal
Boundary Coverage Criteria for Test Generation from Formal Models
Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks
Dynamic Testing for Mobile Privacy Compliance
Message from the Program Co-Chairs: ISSRE 2022
Trace Reduction and Pattern Analysis to Assist Debugging in Model-Based Testing
Optimal Resource Allocation in a Virtualized Software Aging Platform with Software Rejuvenation
Scenario-based reliability analysis of component-based software
Formal methods for informal developpers: A case-study driven by the French defense agency (DGA)
On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification
DRLFailureMonitor: A Dynamic Failure Monitoring Approach for Deep Reinforcement Learning System
Pinpoint Data Races via Testing and Classification
Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware
A statistical approach for software resource leak detection and prediction
ConvMHSA-SCVD: Enhancing Smart Contract Vulnerability Detection through a Knowledge-Driven and Data-Driven Framework
Enhancing privacy protection in fault replication systems
An additive reliability model for the analysis of modular software failure data
Pushing the limits on automation in GUI regression testing
Mutation testing applied to validate specifications based on statecharts
Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems
Methodology of independent software nuclear safety analysis
Structuring Compliance Risk Identification Using the CORAS Approach: Compliance as an Asset
ORPLocator: Identifying Read Points of Configuration Options via Static Analysis
Study of the Impact of Hardware Fault on Software Reliability
Proving Model Equivalence in Model Based Design
Error Abstraction Accuracy and Fixation during Error-Based Requirements Inspections
Reliability Assessment of Translated VMF/Link-16 Messages
Bypass Testing of Web Applications
An experience report for software quality evaluation in highly iterative development methodology using traditional metrics
Message from the ISSRE 2022 Fast Abstract Co-Chairs
Using Complexity Metrics with Hotspot Analysis to Support Software Sustainability
Safety Analysis of Software Product Lines Using State-Based Modeling
Software development and testing methodology used for subscriber digital concentrator ACK-2000
Help, help, i'm being suppressed! The significance of suppressors in software testing
Using statistics of the extremes for software reliability analysis of safety critical systems
ORCAS: Efficient Resilience Benchmarking of Microservice Architectures
A top-down approach to high-consequence fault analysis for software systems (Abstract)
Studying the Advancement in Debugging Practice of Professional Software Developers
Integration testing using interface mutation
Prediction of performance anomalies in web-applications based-on software aging scenarios
Reliability analysis of clustered computing systems
World Models: The Safety Perspective
Automating System Tests Using Declarative Virtual Machines
C Source Code Generation from IR towards Making Bug Samples to Fluctuate for Machine Learning
Building Blocks for Assurance Cases
Toward Deterministic Wireless Communication: Latency Prediction Using Network Measurement Data
A Reconfiguration Approach for Open Adaptive Systems-of-Systems
Arguing Software Compliance with ISO 26262
Automatic Data Repair without Format Specifications
Criteria to Systematically Evaluate (Safety) Assurance Cases
Analysis of the VAX/VMS error logs in multicomputer environments-a case study of software dependability
Failure Analysis of Jobs in Compute Clouds: A Google Cluster Case Study
How Robust is the Optimal Software Rejuvenation Timing?
Defect Prediction between Software Versions with Active Learning and Dimensionality Reduction
Can Code Representation Boost IR-Based Test Case Prioritization?
Interactive Runtime Verification - A Ph.D to Improve Bug Detection and Understanding
Adversarial Input Detection Based on Critical Transformation Robustness
34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023 - Workshops, Florence, Italy, October 9-12, 2023
A Method for Component Evaluation for Live Testing of Cloud Systems
Enhancing Reliability Assurance for DNN against Numerical Defect with Large Language Models
Optimal Allocation of Testing Resources for Modular Software Systems
Measurements-Based Analysis of Workload-Error Relationship in a Production SaaS Cloud
Unleashing the Efficiency of Rust: An Empirical Study of Performance Bugs in Rust Projects
Automated Identification of LTL Patterns in Natural Language Requirements
Automatic Testing Framework for Virtualization Environment
Fuzzing C++ class interfaces for generating and running tests with libFuzzer
Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification
Challenges Faced with Application Performance Monitoring (APM) when Migrating to the Cloud
Contextual-Semantic-Aware Linkable Knowledge Prediction in Stack Overflow via Self-Attention
Benchmarking the Security of Virtualization Infrastructures: Motivation and Approach
Towards Embedded System Agile Development Challenging Verification, Validation and Accreditation: Application in a Healthcare Company
An Empirical Study of Common Challenges in Developing Deep Learning Applications
Performability Comparison of Lustre and HDFS for MR Applications
Safety Analysis for Highly Automated Driving
More Debugging in Parallel
Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing
Parameter-Efficient Log Anomaly Detection based on Pre-training model and LORA
Detecting and Debugging Insecure Information Flows
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19
Design-Model-Based Test Data Generation for Database Applications
Input requirements needed to produce an operational profile for a new telecommunications system (Abstract)
Towards Rust for Critical Systems
A Study of Redundant Metrics in Defect Prediction Datasets
Analysis of a software reliability growth model with logistic testing-effort function
Classifying faulty modules with an extension of the H-index
Experience Report: Practical Software Availability Prediction in Telecommunication Industry
A practical method for the estimation of software reliability growth in the early stage of testing
Test generation for Boolean expressions
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely
Lessons Learned: Using a Static Analysis Tool within a Continuous Integration System
Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker
Constraint-Based Test Input Generation for Java Bytecode
CLAIRE: an event-driven simulation tool for testing software
Experience Report: Orthogonal Classification of Safety Critical Issues
On the impact of software product dissimilarity on software quality models
Composing hierarchical stochastic model from SysML for system availability analysis
Estimating the number of undetected errors: Bayesian model selection
SRC Ratio Method: Benchmarking Software Reliability
Arguing safety of an improved autonomous vehicle from safe operation before the change: new results
Towards comprehensive software reliability evaluation in open source software
Unit Lemmas for Detecting Requirement and Specification Flaws
Agile Practices in Regulated Railway Software Development
Teaching an Active-Participation University Course in Software Reliability and Testing
Using Metamorphic Testing to Evaluate DNN Coverage Criteria
Enhancing the Analysis of Error Propagation and Failure Modes in Cloud Systems
From Monolithic Architecture to Microservices Architecture
Prepared for the Unknown: Adapting AIOps Capacity Forecasting Models to Data Changes
AV-FUZZER: Finding Safety Violations in Autonomous Driving Systems
A Novel SOAP Attachment-Oriented Security Model
Reducing Field Failures in System Configurable Software: Cost-Based Prioritization
A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis
Reliability Prediction and Sensitivity Analysis Based on Software Architecture
Software Reliability Modeling with Logistic Test Coverage Function
Peeking into the Gray Area of Mobile World: An Empirical Study of Unlabeled Android Apps
RedDroid: Android Application Redundancy Customization Based on Static Analysis
Industrial application of criticality predictions in software development
Adequacy, Accuracy, Scalability, and Uncertainty of Architecture-based Software Reliability: Lessons Learned from Large Empirical Case Studies
Feedback Control of the Software Test Process Through Measurements of Software Reliability
TamperNN: Efficient Tampering Detection of Deployed Neural Nets
Automatically Repairing Web Application Firewalls Based on Successful SQL Injection Attacks
Experience Report: Verifying MPI Java Programs Using Software Model Checking
Automated Support for Propagating Bug Fixes