Showing 1–11 of 11 results
/ Date/ Name
Dec 10, 2020A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)Mar 16, 2015Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)Feb 14, 2018Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version)Dec 21, 2021Model Sketching by Abstraction Refinement for Lifted Model Checking (Extended Version)Nov 26, 2019Prediction of Horizontal Data Partitioning Through Query Execution Cost EstimationFeb 14, 2019Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version)Sep 17, 2018Verification of High-Level Transformations with Inductive Refinement TypesJan 27, 2017Effective Analysis of C Programs by Rewriting VariabilityOct 9, 2012Symbolic Representation of Algorithmic Game SemanticsSep 7, 2017Probabilistic Analysis Based On Symbolic Game Semantics and Model CountingJul 17, 2013Slot Games for Detecting Timing Leaks of Programs