yusuke1997/dblp-id-title huggingface dataset:
FaMa-OVM: a tool for the automated analysis of OVMs
Reuse without Compromising Performance: Industrial Experience from RPG Software Product Line for Mobile Devices
Combining Feature-Oriented Analysis and Aspect-Oriented Programming for Product Line Asset Development
Varflix: A Flexible Approach for Variability Mining
Consolidating community consensus in product line practice
An Effective Approach for Verifying Product Lines in Presence of Variability Models
Architecture-Centric Software Engineering
Product Line Scoping in Practice
DNA as features: organic software product lines
REVE 2021: 9th International Workshop on Reverse Variability Engineering
CIAhelper: towards change impact analysis in delta-oriented software product lines
Commonality and Variability Visualization Using Multidimensional Scaling
Name suggestions during feature identification: the variclouds approach
Combining Product Line Engineering and Service Oriented Architecture in Health Care Infrastructure Systems: Experience Report
Developing a Measurement Program for Software Product Lines
On Synthesizing Presence Conditions in Numerical Software Product Lines
Analysis Operations On The Run: Feature Model Analysis in Constraint-based Recommender Systems
Inner source product line development
Testing Variability-Intensive Systems
A meta-model for product configuration ontologies
On the Effect of Feature Reduction on Energy Consumption: An Exploratory Study
Towards variability support for security and dependability patterns: a case study
A graph-based feature location approach using set theory
Variability: from software product lines to self-adaptive systems
Product Line Architecture and the Separation of Concerns
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata
A preliminary mapping study of approaches bridging software product lines and service-oriented architectures
Product configurators for additively manufactured products: exploring their peculiar characteristics
A Toolset for Feature-Based Configuration Workflows
Dealing with fine-grained configurations in model-driven SPLs
Challenges and Solutions for Opening Small and Medium-Scale Industrial Software Platforms
Towards an Efficient Reuse of Test Cases for Software Product Lines
Strategic Scenario-Based Valuation of Product Line Roadmaps
Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes
Validation of the Reliability Analysis Method and Tool
Extraction of configurable and reusable microservices from legacy systems: an exploratory study
Introducing PLA at Bosch Gasoline Systems: Experiences and Practices
Automata Learning for Dynamic Software Product Lines: A Tutorial
A Feature-Based Approach to Product Line Production Planning
Product Line Architectures for Global Software Development
Visualization and exploration of optimal variants in product line engineering
Decision-Model-Based Code Generation for SPLE
Identifying collaborative aspects during software product lines scoping
N-dimensional tensor factorization for self-configuration of software product lines at runtime
Customizing domain analysis for assessing the reuse potential of industrial software systems: experience report
Evolutionary Introduction of Software Product Lines
Quality Assurance for Software Product Lines
Elimination of constraints for parallel analysis of feature models
Aspect-Oriented Modeling for Variability Management
Using regression testing to analyze the impact of changes to variability models on products
Dynamic Software Product Line Architectures Using Service-Based Computing for Automotive Systems
Freeing product line architectures from execution dependencies
Reducing feature models to improve runtime adaptivity on resource limited devices
Improving the Production Capability of Product Line Organizations By Architectural Design for Producibility
Threat and Risk Management Framework for eHealth IoT Applications
Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines
Cloud-based software product lines
The Implications of Variation for Testing in a Software Product Line
Characterizing Dynamic Software Product Lines - A Preliminary Mapping Study
Generative software product line development using variability-aware design patterns
Supporting usability in product line architectures
Managing Variability in Software Onboarding Roadmaps: An Industrial Case Study
Teaching projects and research objectives in SPL extraction
A method for software product platform design based on features
Modeling the Variability Space of Self-Adaptive Applications
Product-line-based requirements customization for web service compositions
FeatureCommander: colorful #ifdef world
Feature Diagrams as Package Dependencies
Heuristic and exact algorithms for product configuration in software product lines
Enabling the Smooth Integration of Core Assets: Defining and Packaging Architectural Rules for a Family of Embedded Products
Automating variability model inference for component-based language implementations
REVE 2018: 6th international workshop on reverse variability engineering
Maintaining feature traceability with embedded annotations
SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12 - 16, 2022, Volume A
Support for complex product line populations
Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 2, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018
Accuracy- and consistency-aware recommendation of configurations
Variability modeling in the wild
Towards matching of service feature models based on linear logic
Tutorial: New Methods Behind the New Generation of Software Product Line Success Stories
Impact of Architecture and Quality Investment in Software Product Line Development
What research in software product line engineering is not solving in configuration
Variability realization in model-based system engineering using software product line techniques: an industrial perspective
On the scalability of building binary decision diagrams for current feature models
A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineering
How domain-specific modeling languages address variability in product line development: investigation of 23 cases
3 rd International Workshop on Dynamic Software Product Lines: DSPL 2009
Product Line Engineering in Enterprise Applications
Comparing Products using Similarity Matching
Variability management in a software product line unaware company: towards a real evaluation
Green Configurations of Functional Quality Attributes
Model-based Test Design for Software Product Lines
An Approach to Efficient Product Configuration in Software Product Lines
LLM-based Co-Evolution of Configurable Software Systems
Energy efficient assignment and deployment of tasks in structurally variable infrastructures
Model-driven Support for Source Code Variability in Automotive Software Engineering
A study and comparison of industrial vs. academic software product line research published at SPLC
Ontology Support for Abstraction Layer Modularization
Improving the Testing and Testability of Software Product Lines
Improving the customization of software product lines through the definition of local features
REVE 2022: 10th International Workshop on REverse Variability Engineering
Adopting Software Product Lines
The interplay of compile-time and run-time options for performance prediction
Variability Management for Large Language Model Tasks: Practical Insights from an Industrial Application
Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants
Decomposing Verification Around End-User Features
Abstract Interpretation of LLVM with a Region-Based Memory Model
Quantitative Monitoring of Software
Eiffel as a Framework for Verification
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Seamless Interactive Program Verification
Symbolic Execution Enhanced System Testing
Abstraction and Refinement for Local Reasoning
Dynamic Frames Based Verification Method for Concurrent Java Programs
A Mini Challenge: Build a Verifiable Filesystem
A Certified Multi-prover Verification Condition Generator
Formalized Verification of Snapshotable Trees: Separation and Sharing
Formal Verification of Loop Bound Estimation for WCET Analysis
Separating Separation Logic - Modular Verification of Red-Black Trees
Unguessable Atoms: A Logical Foundation for Security
An Approach of Requirements Tracing in Formal Refinement
Making Proofs of Floating-Point Programs Accessible to Regular Developers
Recursive Games for Compositional Program Synthesis
Reasoning about Object Structures Using Ownership
Preserving User Proofs across Specification Changes
Extending the Theory of Arrays: memset, memcpy, and Beyond
A Formally Verified Generic Branching Algorithm for Global Optimization
A Perspective on Program Verification
Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
How to Get an Efficient yet Verified Arbitrary-Precision Integer Library
Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
A Formal Analysis of the Compact Position Reporting Algorithm
QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
Specifying and Verifying the Correctness of Dynamic Software Updates
Separation Kernel Verification: The Xtratum Case Study
Automatic Detection and Repair of Transition- Based Leakage in Software Binaries
Termination Analysis of Imperative Programs Using Bitvector Arithmetic
Trends and Challenges in Algorithmic Software Verification
The KeY Platform for Verification and Analysis of Java Programs
Performance Validation on Multicore Mobile Devices
The Role of Model-Based Testing
From the How to the What
JavaSMT: A Unified Interface for SMT Solvers in Java
A Calculus for Multi-language Operational Semantics
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs
Automatically Verified Implementation of Data Structures Based on AVL Trees
The Marriage of Exploration and Deduction
Quantifying Information Leakage Using Model Counting Constraint Solvers
Isabelle/Circus: A Process Specification and Verification Environment
Inside a Verified Flash File System: Transactions and Garbage Collection
Tool Integration for Reasoned Programming
The Importance of Non-theorems and Counterexamples in Program Verification
An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames
Using Promela in a Fully Verified Executable LTL Model Checker
Certification of Nontermination Proofs Using Strategies and Nonlooping Derivations
Specified Blocks
Toasters, Seat Belts, and Inferring Program Properties
MoXIchecker: An Extensible Model Checker for MoXI
An Overview of Separation Logic
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer
Executable Counterexamples in Software Model Checking
Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover
Incremental Minimization of Symbolic Automata
A Certifying Frontend for (Sub)polyhedral Abstract Domains
Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification
Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL
Dependent Types, Theorem Proving, and Applications for a Verifying Compiler
Verified Certificate Checking for Counting Votes
A Formal Semantics for P-Code
The Map Equality Domain
Verified Protection Model of the seL4 Microkernel
Ghost Code in Action: Automated Verification of a Symbolic Interpreter
Formal Modeling and Verification of CloudProxy
The Next 700 Separation Logics - (Invited Paper)
Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper)
Boogie Meets Regions: A Verification Experience Report
Verified Process-Context Switch for C-Programmed Kernels
A Case for Specification Validation
Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Loop Detection by Logically Constrained Term Rewriting
It Is Time to Mechanize Programming Language Metatheory
WYSINWYX: What You See Is Not What You eXecute
Verification of a Virtual Filesystem Switch
The Verification Grand Challenge and Abstract Interpretation
Lattice-Based Refinement in Bounded Model Checking
Where Is the Value in a Program Verifier?
Reliable Software Systems Design: Defect Prevention, Detection, and Containment
Verification, Least-Fixpoint Checking, Abstraction
Verifying Design with Proof Scores
On the Formal Development of Safety-Critical Software
Automated Verification of a Small Hypervisor
Relational Program Reasoning Using Compiler IR
Bounded Verification of Voting Software
solc-verify: A Modular Verifier for Solidity Smart Contracts
Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH
Memory-Efficient Tactics for Randomized LTL Model Checking
Formal Functional Verification of Device Drivers
Shellac: A Compiler Synthesizer for Concurrent Programs
Specifying Reusable Components
A Java Bytecode Formalisation
Designing and Proving Properties of the Abaco Autoscaler Using TLA+
Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity
Deductive Verification of Sparse Sets in Why3
Integrating Theories and Techniques for Program Modelling, Design and Verification
Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Producing All Ideals of a Forest, Formally (Verification Pearl)
What Gives? A Hybrid Algorithm for Error Trace Explanation
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison
Verification of an Optimized NTT Algorithm
Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications
Linking the Meaning of Programs to What the Compiler Can Verify
Model-Checking Software Using Precise Abstractions
Verifying Implementations of Security Protocols by Refinement
A Rely-Guarantee Proof System for x86-TSO
Practical Void Safety
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable
Decision Procedures for the Grand Challenge
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic
Refinement Type Contracts for Verification of Scientific Investigative Software
Verified Software: The RealGrand Challenge
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework
Programming with Proofs: Language-Based Approaches to Totally Correct Software
Automated Test Generation and Verified Software
A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars
Model Checking: Back and Forth between Hardware and Software
Towards a Worldwide Verification Technology
Testing the IPC Protocol for a Real-Time Operating System
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components
Compositional Safety LTL Synthesis
Implications of a Data Structure Consistency Checking System
Comparing Verification Condition Generation with Symbolic Execution: An Experience Report
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems
To Goto Where No Statement Has Gone Before
Towards Practical Partial Order Reduction for High-Level Formalisms
Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs
Partial Order Reduction for Timed Actors
hax: Verifying Security-Critical Rust Software Using Multiple Provers
Meta-Logical Frameworks and Formal Digital Libraries
Pierce: A Testing Tool for Neural Network Verification Solvers
Our Experience with the CodeContracts Static Checker - (Invited Tutorial)
Provable Determinism for Software in Cyber-Physical Systems
A Sequentialization Procedure for Fault-Tolerant Protocols
Lessons from the JML Project
Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers
Safety Performance of Neural Networks in the Presence of Covariate Shift
Timed Refinement for Verification of Real-Time Object Code Programs
Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges
Machine-Checked Proofs for Realizability Checking Algorithms
Towards the Integration of Symbolic and Numerical Static Analysis
TWAM: A Certifying Abstract Machine for Logic Programs
Combining Tests and Proofs
Tressa: Claiming the Future
Specifying and Verifying a Real-World Packet Error-Correction System
Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
Computational Logical Frameworks and Generic Program Analysis Technologies
A Proof-Sensitive Approach for Small Propositional Interpolants
Deciding Functional Lists with Sublist Sets
Program Verification by Using DISCOVERER
Resolution in Solving Graph Problems
Verified Calculations
Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices
Bidirectional Grammars for Machine-Code Decoding and Encoding
Towards Verifying Security Policies for Infinite-State Systems
Extending VIAP to Handle Array Programs
Some Verification Issues at NASA Goddard Space Flight Center
Scalable Software Model Checking Using Design for Verification
Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Proving JDK's Dual Pivot Quicksort Correct
SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms
Program Checking with Less Hassle
Practical Methods for Reasoning About Java 8's Functional Programming Features
How to Avoid Proving the Absence of Integer Overflows
Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Automatic Verification of Strongly Dynamic Software Systems
Towards Scalable Modular Checking of User-Defined Properties
Verifying Two Lines of C with Why3: An Exercise in Program Verification
The Verified Software Challenge: A Call for a Holistic Approach to Reliability
Effect Analysis for Programs with Callbacks
Proof-Producing Symbolic Execution for P4
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
Stupid Tool Tricks for Smart Model Based Design
JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML
Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project
Propositional Dynamic Logic for Recursive Procedures
Software Verification and Software Engineering a Practitioner's Perspective
Picky CDCL: SMT-Solving with Flexible Literal Selection
Classifying and Solving Horn Clauses for Verification
Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++
Methods and Tools for Formal Software Engineering
Parameterized Model-Checking of Timed Systems with Conjunctive Guards
Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench
The Spec# Programming System: Challenges and Directions
Static Analysis of Programs with Imprecise Probabilistic Inputs
The Verisoft Approach to Systems Verification
Parallel Bounded Verification of Alloy Models by TranScoping
A Semi-automatic Proof of Strong Connectivity
Automating the Verification of Floating-Point Programs
Store Buffer Reduction with MMUs
The Challenge of Hardware-Software Co-verification
Mapped Separation Logic
Flexible Immutability with Frozen Objects
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme
PolySAT: Word-level Bit-vector Reasoning in Z3
Statically Inferring Usage Bounds for Infrastructure as Code
Automated Verification of Functional Correctness of Race-Free GPU Programs
Dafny Meets the Verification Benchmarks Challenge
Uncertainty-Aware Signal Temporal Logic Inference
Formalizing Semantics with an Automatic Program Verifier
SideTrail: Verifying Time-Balancing of Cryptosystems
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods
Generating Programs Plus Proofs by Refinement
A Logical Analysis of Framing for Specifications with Pure Method Calls
Moving Around: Lipton's Reduction for TSO - (Regular Submission)
Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
Formal Verification of Neural Network Controllers for Collision-Free Flight
Verification of TLB Virtualization Implemented in C
AUSPICE: Automatic Safety Property Verification for Unmodified Executables
A Comparison of Intermediate Verification Languages: Boogie and Sireum/Pilar
Verifying Branch-Free Assembly Code in Why3
Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
An Abstraction Technique for Describing Concurrent Program Behaviour
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks
A Model for Capturing and Replaying Proof Strategies
Modular Reasoning in Object-Oriented Programming
SARL: OO Framework Specification for Static Analysis
A Lightweight Technique for Distributed and Incremental Program Verification
A Verification Condition Visualizer
Order Reduction for Multi-core Interruptible Operating Systems
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
Constraint Solving and Symbolic Execution
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models
Intersection and Rotation of Assumption Literals Boosts Bug-Finding
A Mechanized Program Verifier
Store Buffer Reduction in the Presence of Mixed-Size Accesses and Misalignment
Development and Evaluation of LAV: An SMT-Based Error Finding Platform - System Description
The Location Linking Concept: A Basis for Verification of Code Using Pointers
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions
Residual Runtime Verification via Reachability Analysis
Reusable Verification of a Copying Collector
Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results?
Modeling Round-Off Errors in Hydrodynamic Simulations
Integrated Semantics of Intermediate-Language C and Macro-Assembler for Pervasive Formal Verification of Operating Systems and Hypervisors from VerisoftXT
Separation Algebras for C Verification in Coq
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language
Some Interdisciplinary Observations about Getting the "Right" Specification
Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Regression Verification - A Practical Way to Verify Programs
A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets
Pseudo-Random Number Generator Verification: A Case Study
Infeasible Code Detection