Load Balancing for Cross Layer Communication. - John F. Schommer; Dominik Franke; Tim Lange 001; Stefan Kowalewski (COMPSAC Workshops, 2012)

Speeding Up the Safety Verification of Programmable Logic Controller Code. - Tim Lange 001; Martin R. Neuhäußer; Thomas Noll 001 (Haifa Verification Conference, 2013)

IC3 Software Model Checking on Control Flow Automata. - Tim Lange 001; Martin R. Neuhäußer; Thomas Noll 001 (FMCAD, 2015)

Improving Generalization in Software IC3. - Tim Lange 001; Frederick Prinz; Martin R. Neuhäußer; Thomas Noll 001; Joost-Pieter Katoen (SPIN, 2018)

IC3 software model checking. - Tim Felix Lange (2018)

IC3 software model checking. - Tim Lange 001; Martin R. Neuhäußer; Thomas Noll 001; Joost-Pieter Katoen (Int. J. Softw. Tools Technol. Transf., 2020)