Daniel Lentzsch

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 3

Top Topics

Program Slicing

Regression Algorithm

Reactive Systems

Description Languages

Top Venues

Publications

Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch
Modular Regression Verification for Reactive Systems. ISoLA (2) (2020)
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
Using Relational Verification for Program Slicing. SEFM (2019)
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
SemSlice: Exploiting Relational Verification for Automatic Program Slicing. IFM (2017)