Tim Lange

Affiliations:

RWTH Aachen University

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2020

IC3 software model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

2018

IC3 software model checking.

[BibT_eX]

[DOI]

Tim Felix Lange

PhD thesis, 2018

Improving Generalization in Software IC3.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2015

IC3 Software Model Checking on Control Flow Automata.

[BibT_eX]

[DOI]

Tim Lange

Martin R. Neuhäußer

Thomas Noll

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2013

Speeding Up the Safety Verification of Programmable Logic Controller Code.

[BibT_eX]

[DOI]

Tim Lange

Martin R. Neuhäußer

Thomas Noll

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Load Balancing for Cross Layer Communication.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Tim Lange

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...