Tim Lange

Email
tim.lange at cs.rwth-aachen.de
Address
Room 4203
Ahornstra├če 55
D-52074 Aachen
Phone
+49 241 80 21206

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:

  • IC3/Property-Directed Reachability
  • Safety Verification
  • SAT/SMT Solving
  • Static Program Analysis

Publications

2015
DownloadTim Lange, Martin R. Neuhäußer, Thomas Noll. IC3 Software Model Checking on Control Flow Automata. Formal Methods in Computer-Aided Design (FMCAD 2015), pages 97–104, IEEE, 2015.
2013
LinkTim Lange, Martin R. Neuhäußer, Thomas Noll. Speeding Up the Safety Verification of Programmable Logic Controller Code. Proc. 9th Haifa Verification Conf. (HVC 2013), Volume 8244 of LNCS, pages 44–60, Springer, 2013.

Talks

2017
Tim Lange. Generalisation in IC3CFA, Talk at Winter colloquium Kleinwalsertal, 2017.
2016
DownloadTim Lange. Introduction to IC3 and IC3CFA, Talk at RWTH Aachen University, 2016.
DownloadTim Lange. Introduction to IC3, Talk at Winter colloquium Kleinwalsertal, 2016.
DownloadTim Lange. Introduction to IC3 and IC3CFA, Talk at Winter colloquium Kleinwalsertal, 2016.
Show all