yusuke1997/dblp-id-title huggingface dataset:
Fast Discovery of VM-Sensitive Divergence Points with Basic Block Comparison
Testing Effort Dependent Software FDP and FCP Models with Consideration of Imperfect Debugging
An Experimental Evaluation of the Reliability of Adaptive Random Testing Methods
Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP
Cost Reduction through Combining Test Sequences with Input Data
Security Variability Design and Analysis in an Aspect Oriented Software Architecture
Mapping of Security Concerns in Design to Security Aspects in Code
Behavioral Analysis of Android Applications Using Automated Instrumentation
A Study on Airborne Software Safety Requirements Patterns
Evaluating Software Safety Standards: A Systematic Review and Comparison
Two-Dimensional Software Reliability Assessment with Testing-Coverage
Automatic Simplification of Obfuscated JavaScript Code: A Semantics-Based Approach
Handling Periodic Properties: Deductive Verification for Quantified Temporal Logic Specifications
Classification of Partially Labeled Malicious Web Traffic in the Presence of Concept Drift
A Modal Model of Stuxnet Attacks on Cyber-physical Systems: A Matter of Trust
An Ant Colony Optimization Approach to Multi-Objective Supply Chain Model
A Fast and Flexible Platform for Fault Injection and Evaluation in Verilog-Based Simulations
Directed Acyclic Graph Modeling of Security Policies for Firewall Testing
hGuard: A Framework to Measure Hypervisor Critical Files
Forced-Path Execution for Android Applications on x86 Platforms
µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization
Towards Denotational Semantics for Verilog in PVS
A Study of Visibility Evaluation for the Combination of Character Color and Background Color on a Web Page
SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models
MAFSE: A Model-Based Framework for Software Verification
Second International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, July 14-17, 2008, Yokohama, Japan
Protection against Code Obfuscation Attacks Based on Control Dependencies in Android Systems
Improvement of QoS in Process Centric Software Development Using ANP
Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment
A New Method to Generate Attack Graphs
Dynamic Service Replacement to Improve Composite Service Reliability
Research and Evaluation on Modularity Modeling in Community Detecting of Complex Network Based on Information Entropy
Software Testing of Business Applications
Policykeeper: Recommending Proper Security Mechanisms Based on the Severity of Vulnerability Considering User Experience
Of Massive Static Analysis Data
Flexible Data-Driven Security for Android
A Method of Analysis and Verification for Safety-Critical Software Based on Modelling and Testing
Conception for Integrated Availability in Design for the Nuclear Systems
Case Study on Installing a Porting Process for Embedded Operating System in a Small Team
Software Fault Localization Using DStar (D*)
A Reliability Model for Complex Systems
Communication Sequence Graphs for Mutation-Oriented Integration Testing
Complexity - Interoperability - Deployment of Software
Model Checking C# Code: A Translation Approach
An Autonomic Framework for Integrating Security and Quality of Service Support in Databases
A Secure Fine-Grained Access Control Mechanism for Networked Storage Systems
Improving Software Integration from Requirement Process with a Model-Based Object-Oriented Approach
A Proof System in Process Algebra for Demand and Supply
FPGA-Based Fault Injection into Synthesizable Verilog HDL Models
A Game Theoretic Approach to Decision and Analysis in Strategies of Attack and Defense
Automatic Test Data Generation : Who, When and Where ?
GUI Test Script Organization with Component Abstraction
Testing is an Event-Centric Activity
Virtual Machine Replay Update: Improved Implementation for Modern Hardware Architecture
Analysing Requirements to Detect Latent Security Vulnerabilities
Semantic ACP2P Information Retrieval Method
Specification-guided Golden Run for Analysis of Robustness Testing Results
A Framework for Automated Security Testing of Android Applications on the Cloud
An Anomaly Detection Module for Firefox OS
Software Stability Model (SSM) for Building Reliable Real Time Computing Systems
Study of Safety Analysis and Assessment Methodology for AADL Model
Detection of Multiple-Duty-Related Security Leakage in Access Control Policies
A Comparative Study of Access Control Languages
Security Requirements Analysis, Specification, Prioritization and Policy Development in Cyber-Physical Systems
JPEG 2000 and Digital Watermarking Technique Using in Medical Image
An Instrumentation Tool for Program Dynamic Analysis in Java
VULCAN: Vulnerability Assessment Framework for Cloud Computing
An Accurate Fake Access Point Detection Method Based on Deviation of Beacon Time Interval
Classification of Static Analysis-Based Buffer Overflow Detectors
An Approach to Improving Reliability for Distributed Video-Based Monitoring Systems
HyperVerify: A VM-assisted Architecture for Monitoring Hypervisor Non-control Data
Modelling and Implementing Complex Systems with Timebands
A Precise Information Flow Measure from Imprecise Probabilities
MJBlocker: A Lightweight and Run-Time Malicious JavaScript Extensions Blocker
Detecting Emotions and Dangerous Actions for Better Human-System Team Working
Challenges in Automatic Testing
Divergence Detector: A Fine-Grained Approach to Detecting VM-Awareness Malware
Provable Secure AKA Scheme with Reliable Key Delegation in UMTS
Post-condition-Directed Invariant Inference for Loops over Data Structures
Viewpoint-based Test Architecture Design
Text Extraction in Video Images
Are Longer Test Sequences Always Better? - A Reliability Theoretical Analysis
Enforcement of Role Based Access Control in Social Network Environments
Confeagle: Automated Analysis of Configuration Vulnerabilities in Web Applications
Generating Test Cases for Timed Systems from Controlled Natural Language Specifications
Reliability Improvement of Real-Time Embedded System Using Checkpointing
Adaptive Car Plate Recognition in QoS-Aware Security Network
Effect of Creep Properties on Pressure Induced Tin Whisker Formation
Dynamic Performance Analysis for Software System Considering Real-Time Property in Case of NHPP Task Arrival
A Performance Mapping Model for Physical-to-Virtual Migration
A High Reliable Communication Technology in Electric Vehicle Charging Station
A Turing Machine-Based Model for Computer Forensic Reconstruction
Shortening Test Case Execution Time for Embedded Software
Aligning Security Requirements and Security Assurance Using the Common Criteria
Stability of Software Trustworthiness Measurements Models
Multidimensional Approach to Quality Analysis of IPSec and HTTPS Applications
Improving Test Quality by a Test Type Analysis Based Method
Thinking Towards a Pattern Language for Predicate Based Encryption Crypto-Systems
Extending Model Driven Architecture with Software Security Assessment
A Classification of Aspect Composition Problems
Designing System Security with UML Misuse Deployment Diagrams
Towards Scalable Robustness Testing
Recursive Decomposition of Progress Graphs
A Light-Weight Software Environment for Confining Android Malware
PHP+MySQL Based Online Examination System with Power Failure Handling and Dropbox Capability
Automated Fault Diagnosis in Embedded Systems
DESERVE: A Framework for Detecting Program Security Vulnerability Exploitations
An Efficient and Secure Multi-secret Image Sharing Scheme with General Access Structure
Systematic Cooperation between Industry and Universities
An Enhanced Model for Early Software Reliability Prediction Using Software Engineering Metrics
Software Reliability Modeling and Evaluation under Incomplete Knowledge on Fault Distribution
Integrating Network Cryptography into the Operating System
Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types
Countering Network-Centric Insider Threats through Self-Protective Autonomic Rule Generation
Vulnerability-Based Backdoors: Threats from Two-step Trojans
Parallel Lexical Analyzer on the Cell Processor
The Impact of Static and Dynamic Pairs on Pair Programming
State Space Reduction for Verifying Noninterference
A New Security Metric for SOA Implementations
On Coverage-Based Attack Profiles
Model-Based Argument Analysis for Evolving Security Requirements
Probabilistic Cycle Detection for Schneier's Solitaire Keystream Algorithm
Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 20-22 June 2012
Preserving User Privacy in Pervasive Environments with a Collaborative Model
Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol
A Study of Using Two-Parameter Generalized Pareto Model to Analyze the Fault Distribution of Open Source Software
On the Verification of Strong Atomicity in Programs Using STM
Execution Constraint Verification of Exception Handling on UML Sequence Diagrams
A Qualitative Safety Analysis Method for AADL Model
A Predictive Runtime Verification Framework for Cyber-Physical Systems
Simplified Prophet Inequalities for Combinatorial Auctions
A Multilinear Johnson-Lindenstrauss Transform
An Economics-Based Analysis of RANKING for Online Bipartite Matching
Tight Bounds for Differentially Private Anonymized Histograms
Frequency-Domain Representation of First-Order Methods: A Simple and Robust Framework of Analysis
Approximation Algorithms for Matroidal and Cardinal Generalizations of Stable Matching
Revisiting Garg's 2-Approximation Algorithm for the k -MST Problem in Graphs
Simpler and Stronger Approaches for Non-Uniform Hypergraph Matching and the Füredi, Kahn, and Seymour Conjecture
Modern Hashing Made Simple
Multi-dimensional Approximate Counting
Simple Sublinear Algorithms for (Δ + 1) Vertex Coloring via Asymmetric Palette Sparsification
Simple Analysis of Priority Sampling
2024 Symposium on Simplicity in Algorithms, SOSA 2024, Alexandria, VA, USA, January 8-10, 2024
Connectivity Certificate against Bounded-Degree Faults: Simpler, Better and Supporting Vertex Faults
5th Symposium on Simplicity in Algorithms, SOSA@SODA 2022, Virtual Conference, January 10-11, 2022
4th Symposium on Simplicity in Algorithms, SOSA 2021, Virtual Conference, January 11-12, 2021
A Simple Approximation Algorithm for Vector Scheduling and Applications to Stochastic Min-Norm Load Balancing
On Optimal Testing of Linearity
Adversarially Robust Streaming via Dense-Sparse Trade-offs
Bidirectional Dijkstra's Algorithm is Instance-Optimal
Simple Length-Constrained Minimum Spanning Trees
Derandomization of Cell Sampling
Recognizing (Unit) Interval Graphs by Zigzag Graph Searches
Fully Dynamic k -Center in Low Dimensions via Approximate Furthest Neighbors
A General Technique for Searching in Implicit Sets via Function Inversion
A Simple Algorithm for Multiple-Source Shortest Paths in Planar Digraphs
Simpler and faster algorithms for detours in planar digraphs
A Note on a Recent Algorithm for Minimum Cut
Sorting Signed Permutations by Reversals in Nearly-Linear Time
Faster Exponential Algorithm for Permutation Pattern Matching
A Simple Deterministic Algorithm for Edge Connectivity
Simple and Faster Algorithms for Knapsack
A Simple Algorithm for Submodular Minimum Linear Ordering
Contention Resolution for the ℓ -fold union of a matroid via the correlation gap
Tight Bounds for Vertex Connectivity in Dynamic Streams
Sinkless Orientation Made Simple
Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof
An Optimal Algorithm for Certifying Monotone Functions
Fast and Simple Modular Subset Sum
New Bounds for the Vertices of the Integer Hull
Towards Non-Uniform k -Center with Constant Types of Radii
Linear-Sized Spectral Sparsifiers and the Kadison-Singer Problem
Quantum Logspace Computations are Verifiable
An explicit vector algorithm for high-girth MaxCut
2025 Symposium on Simplicity in Algorithms, SOSA 2025, New Orleans, LA, USA, January 13-15, 2025
Capacitated Vehicle Routing in Graphic Metrics
2023 Symposium on Simplicity in Algorithms, SOSA 2023, Florence, Italy, January 23-25, 2023
Revisiting Random Points: Combinatorial Complexity and Algorithms
A Simple and Fast Algorithm for Computing the N -th Term of a Linearly Recurrent Sequence
A Simple Semi-Streaming Algorithm for Global Minimum Cuts
Simple Approximation Algorithms for Minimizing the Total Weighted Completion Time of Precedence-Constrained Jobs
Finding the saddlepoint faster than sorting
Simpler Optimal Sorting from a Directed Acyclic Graph
Quasi-polynomial-time algorithm for Independent Set in P t -free graphs via shrinking the space of induced paths
Insertion-Only Dynamic Connectivity in General Disk Graphs
An Auction Algorithm for Bipartite Matching in Streaming and Massively Parallel Computation Models
An Optimal Lower Bound for Simplex Range Reporting
A Simple Partially Embedded Planarity Test Based on Vertex-Addition
Voting algorithms for unique games on complete graphs
The Short-Side Advantage in Random Matching Markets
A Simplified Parameterized Algorithm for Directed Feedback Vertex Set
A Simple Framework for Finding Balanced Sparse Cuts via APSP
Dimension-Accuracy Tradeoffs in Contrastive Embeddings for Triplets, Terminals & Top-k Nearest Neighbors
When Stochastic Rewards Reduce to Deterministic Rewards in Online Bipartite Matching
Sublinear-Time Algorithm for MST-Weight Revisited
A Simple Lower Bound for Set Agreement in Dynamic Networks
A Simple (1 - ε )-Approximation Semi-Streaming Algorithm for Maximum (Weighted) Matching
Spectral Sparsification by Deterministic Discrepancy Walk
Finding Relevant Points for Nearest-Neighbor Classification
Estimating the Effective Support Size in Constant Query Complexity
Sampling an Edge in Sublinear Time Exactly and Optimally
Oblivious Online Contention Resolution Schemes
On Beating 2 n for the Closest Vector Problem
Optimal prefix-suffix queries with applications
The Quantum Union Bound made easy
Unifying Matrix Data Structures: Simplifying and Speeding up Iterative Algorithms
Finding longer cycles via shortest colourful cycle
An Enumerative Perspective on Connectivity
A Simple Parallel Algorithm with Near-Linear Work for Negative-Weight Single-Source Shortest Path
Simple dynamic algorithms for Maximal Independent Set, Maximum Flow and Maximum Matching
An Alternate Proof of Near-Optimal Light Spanners
Proximity Search in the Greedy Tree
Revisiting Tree canonization using polynomials
USSR is in P/poly
Hutch++: Optimal Stochastic Trace Estimation
Topological Art in Simple Galleries
Further Unifying the Landscape of Cell Probe Lower Bounds
A Simple Algorithm for Computing the Zone of a Line in an Arrangement of Lines
An Improved Online Reduction from PAC Learning to Mistake-Bounded Learning
Deterministic Approximation of Random Walks via Queries in Graphs of Unbounded Size
Simpler Adjacency Labeling for Planar Graphs with B-Trees
A simple polynomial-time approximation algorithm for the total variation distance between two product distributions
Simple Set Sketching
A Simple Deterministic Algorithm for Systems of Quadratic Polynomials over F 2
A Breezing Proof of the KMW Bound
Recursive lattice reduction - A framework for finding short lattice vectors
A Simple Algorithm for Dynamic Carpooling with Recourse
Simple approximation algorithms for Polyamorous Scheduling
Pure Binary Finger Search Trees
Nearly Tight Bounds for Discrete Search under Outlier Noise
Convex Approximation and the Hilbert Geometry
Fully-dynamic-to-incremental reductions with known deletion order (e.g. sliding window)
Growing a Random Maximal Independent Set Produces a 2-approximate Vertex Cover
The connectivity carcass of a vertex subset in a graph: both odd and even case
Ellipsoid fitting up to constant via empirical covariance estimation
Validating a PTAS for Triangle-Free 2-Matching via a Simple Decomposition Theorem
Dispersion for Intervals: A Geometric Approach
Simpler constant factor approximation algorithms for weighted flow time - now for any p -norm
The greedy algorithm for the Shortest Common Superstring problem is a ½-approximation in terms of compression: a simple proof
Optimal resizable arrays
Improved Algorithms for Edge Colouring in the W-Streaming Model
Gaussian Mean Testing Made Simple
Minimum Cost Adaptive Submodular Cover
Recursive Random Contraction Revisited
Splay Top Trees
Improved Algorithms for Integer Complexity
A Simple and Combinatorial Approach to Proving Chernoff Bounds and Their Generalizations
An EPTAS for Budgeted Matroid Independent Set
3SUM in Preprocessed Universes: Faster and Simpler
A Simple Deterministic Distributed Low-Diameter Clustering
The Quasi-probability Method and Applications for Trace Reconstruction
Parameterized Convexity Testing
Simple Linear-Size Additive Emulators
Simple Random Order Contention Resolution for Graphic Matroids with Almost no Prior Information
How to Design a Quantum Streaming Algorithm Without Knowing Anything About Quantum Computing
A Simple Combinatorial Algorithm for Robust Matroid Center
Simpler Distribution Testing with Little Memory
Approximate minimum cuts and their enumeration
A Local Search-Based Approach for Set Covering
Maintaining an EDCS in General Graphs: Simpler, Density-Sensitive and with Worst-Case Time Bounds
Understanding Nesterov's Acceleration via Proximal Point Method
A parametric version of the Hilbert Nullstellensatz
Simple Combinatorial Construction of the k o (1) -Lower Bound for Approximating the Parameterized k -Clique
Generalized Sorting with Predictions
Experimental Design Using Interlacing Polynomials
A Tighter Relation Between Hereditary Discrepancy and Determinant Lower Bound
A CS guide to the quantum singular value transformation
If Edge Coloring is Hard under SETH, then SETH is False
Faster Walsh-Hadamard Transform and Matrix Multiplication over Finite Fields using Lookup Tables
Floors and Ceilings in Divide-and-Conquer Recurrences
Min-Max Optimization Made Simple: Approximating the Proximal Point Method via Contraction Maps
Testing Identity of Distributions under Kolmogorov Distance in Polylogarithmic Space
A Simple Optimal Algorithm for the 2-Arm Bandit Problem
Faster Algorithms for Average-Case Orthogonal Vectors and Closes Pair Problems
On the Fine-Grained Complexity of Approximating k -Center in Sparse Graphs
An Optimal Algorithm for Half-plane Hitting Set
Modular Subset Sum, Dynamic Strings, and Zero-Sum Sets
Listing 6-Cycles
Uniformity Testing in the Shuffle Model: Simpler, Better, Faster
On Hardness of Approximation of Parameterized Set Cover and Label Cover: Threshold Graphs from Error Correcting Codes
The Public University Secretary Problem
Only Two Shuffles Perform Card-Based Zero-Knowledge Proof for Sudoku of Any Size
Simple Reductions from Formula-SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism
Simple and tight complexity lower bounds for solving Rabin games
SSD Wear Leveling with Optimal Guarantees
A Tight Analysis of Hutchinson's Diagonal Estimator
Better Gaussian Mechanism using Correlated Noise
Parameterizing the Permanent: Hardness for fixed excluded minors
The Parameterized Complexity of the Survivable Network Design Problem
Communication Efficient Coresets for Maximum Matching
Soft Sequence Heaps
Efficient Matroid Intersection via a Batch-Update Auction Algorithm
Detecting Points in Integer Cones of Polytopes is Double-Exponentially Hard
Minimum-cost paths for electric cars
Simpler Reductions from Exact Triangle
Simple and Asymptotically Optimal Online Bipartite Edge Coloring
Dynamic Independent Set of Disks (and Hypercubes) Made Easier
Trading Prophets: How to Trade Multiple Stocks Optimally
Computational Logico-Semantic Induction
Graphs in Logic Programming for Natural Language Analysis (Conceptual Graphs in Prolog)
A Parallel Parser Generator for Context-free Languages
P-PATR: A Compiler for Unification-Based Grammars
Techniques for Deductive Parsing
Natural Language Understanding and Logic Programming, II, Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987
Sylog: A DRT System in Prolog
Handling Coordination in a Logic-based Concuurent Parser
Puzzle Grammars
Lazy Evaluation of Reference on a Packed Shared Forest without Unpacking
Definite Feature Grammars for Natural and Formal Languages: An Introduction to the Formalism
About the Role of Control Information in Natural Language Question Answering Systems
Specification and Implementation of a GB Parser
Handling Quantifier Scoping Ambiguities in a Semantic Representation of Natural Language Sentences
Building a Temporal Logic for Natural Language Understanding with the HOL-system
Epistemic Reasoning, Logic Programming and the Interpretation of Questions
Informative and Cooperative Answers in Databases Using Integrity Constraints
A Logic-Based Implementation of Head-Driven Phrase Structure Grammar
Mutual Belief Logic for Processing Definite Reference
Unification in Grammar
A Meta Grammar for Handling Coordination in Logic Grammars
Noun Phrases in Lexical Functional Grammar
Towards Functional Logic Grammars
Architecture for Intentional Participation of Natural Language Interfaces in Conversations
Comparison of Logic Programming Based Natural Language Parsing Systems
Comparatives in Logic Grammars - Two Viewpoints
A Framework for Restricted Dependency Grammar
A Semantic Interface for Logic Grammars and its Application to DRT
On the Semantics of Natural Language Sentences in Logic Programming (Panel Session)
Classified Advertisement Analysis in the Context of an Expert System in Ad Matching
Logic Grammar and Linguistic Theories (Panel Session)
A Rule Based System for the Morphologic and Morphosyntactic Analysis of the Italian Language
Natural Language Interface for a Polish Railway Expert System
Towards a Theory of Natural Language Generation: The Connection between Syntax and Semantics
An Integrated Parser for Text Understanding: Viewing Parsing as Passing Messages among Actors
Programming in a Natural Language? At What Cost?
Medieval Logic and Natural Language Understanding
Multiple Meta-Interpreters in a Logical Model of Sentence Processing
Facilities of the BUP Parsing System
Logic Based Natural Language Processing
Object-Oriented Parser in the Logic Programming Language ESP
Contextual Discontinuous Grammars
Generating Sentences from Semantic Networks
Parsing with Explicit Representations of Syntactic Constraints
Using Commonsense Knowledge to Disambiguate Word Sense
A Dynamic Translator for Rule Pruning in Restriction Grammar
Discourse, Defaults, and Intuitiomism
Integrating Conceptual Graphs and Logic in a Natural Language Understanding System
Principle-Based Parsing and Type Inference
Data Semantics in Logic Programming Framework
Parallel Parsing System Based on Dependency Grammar
Natural Language Understanding and Logic Programming, Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
Constraint Analysis on Japanese Modification
LMT for Danish-English Machine Translation
Hiding Complexity from the casual Writer of Parsers
Formal Representation of Textual Structures for an Intelligent Text-Editing System
Logic Programming Foundations for Processing Language with Logical Types and Active Constraints
Natural Language Understanding and Logic Programming, III, Proceedings of the Third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 January, 1991
Linguistic Data Flow Structures
Density-Based Shape Descriptors for 3D Object Retrieval
A Robust Blind Audio Watermarking Using Distribution of Sub-band Signals
Paper Retrieval Based on Specific Paper Features: Chain and Laid Lines
The Quality of Fingerprint Scanners and Its Impact on the Accuracy of Fingerprint Recognition Algorithms
High-Level Description Tools for Humanoids
Secure Data-Hiding in Multimedia Using NMF
Motion-Based Segmentation of Transparent Layers in Video Sequences
A Framework for Dialogue Detection in Movies
Secure Transmission of Video on an End System Multicast Using Public Key Cryptography