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
2019
DOI [bibtex]
@article{I2019,
title = {IC3 software model checking},
author = {Tim Felix Lange and Martin R. Neuhäußer and Thomas Noll and Joost-Pieter Katoen},
publisher = {Springer},
journal = {International journal on software tools for technology transfer},
volume = {22(2)},
pages = {pages 135–161},
type = {Journal Article},
year = {2019},
doi = {10.1007/s10009-019-00547-x},
url = { https://publications.rwth-aachen.de/record/772976},
}×
[issue]
Tim Felix Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. IC3 software model checking, International journal on software tools for technology transfer 22 (2), pages 135–161, Springer, 2019.
2018
DOI fulltext PDF [bibtex]
@phdthesis{I2018,
title = {IC3 software model checking},
author = {Tim Felix Lange},
booktitle = {Aachener Informatik-Berichte},
volume = {2019-02},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource (viii, 187 Seiten) : Illustrationen},
type = {PhD Thesis},
year = {2018},
doi = {10.18154/RWTH-2019-01994},
url = { https://publications.rwth-aachen.de/record/755729},
}×
[issue]
Tim Felix Lange. IC3 software model checking, PhD Thesis, RWTH Aachen University, Volume 2019-02 of Aachener Informatik-Berichte, 1 Online-Ressource (viii, 187 Seiten) : Illustrationen, 2018.