Two CEGAR-based approaches for the safety verification of PLC-controlled plants. - Johanna Nellen; Kai Driessen; Martin R. Neuhäußer; Erika Ábrahám; Benedikt Wolters (Inf. Syst. Frontiers, 2016)

Fast Similarity Search with the Earth Mover's Distance via Feasible Initialization and Pruning. - Merih Seran Uysal; Kai Driessen; Tobias Brockhoff; Thomas Seidl 001 (SISAP, 2017)