SemSlice: Exploiting Relational Verification for Automatic Program Slicing. - Bernhard Beckert; Thorsten Bormer; Stephan Gocht; Mihai Herda; Daniel Lentzsch; Mattias Ulbrich (IFM, 2017)

Using Relational Verification for Program Slicing. - Bernhard Beckert; Thorsten Bormer; Stephan Gocht; Mihai Herda; Daniel Lentzsch; Mattias Ulbrich (SEFM, 2019)

Modular Regression Verification for Reactive Systems. - Alexander Weigl; Mattias Ulbrich; Daniel Lentzsch (ISoLA (2), 2020)