Tim Lange

According to our database1, Tim Lange authored at least 6 papers between 2012 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
IC3 software model checking.
Int. J. Softw. Tools Technol. Transf., 2020

2018
IC3 software model checking.
PhD thesis, 2018

Improving Generalization in Software IC3.
Proceedings of the Model Checking Software - 25th International Symposium, 2018

2015
IC3 Software Model Checking on Control Flow Automata.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

2013
Speeding Up the Safety Verification of Programmable Logic Controller Code.
Proceedings of the Hardware and Software: Verification and Testing, 2013

2012
Load Balancing for Cross Layer Communication.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012


  Loading...