According to our database1, Tim Lange authored at least 6 papers between 2012 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Model Checking Software - 25th International Symposium, 2018
IC3 Software Model Checking on Control Flow Automata.
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proceedings of the Hardware and Software: Verification and Testing, 2013
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012