Daniel Lentzsch

According to our database, Daniel Lentzsch authored at least 3 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Modular Regression Verification for Reactive Systems.

Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

Using Relational Verification for Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2017

SemSlice: Exploiting Relational Verification for Automatic Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017