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

2018
DOITim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. Improving Generalization in Software IC3. SPIN 2018, Volume 10869 of LNCS, pages 85–102, Springer, 2018.
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.
Show all