Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes. - Ahmed Bouajjani; Wael-Amine Boutglay; Peter Habermehl (CAV (1), 2022)

Data-Driven Verification of Procedural Programs with Integer Arrays. - Ahmed Bouajjani; Wael-Amine Boutglay; Peter Habermehl (CAV (4), 2025)