Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Improving Generalization in Software IC3.

T. Lange, F. Prinz, M. Neuhäußer, T. Noll, and J. Katoen. SPIN, volume 10869 of Lecture Notes in Computer Science, page 85-102. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter Lange University of Stuttgart

Dr. rer. nat. Tim Langen University of Stuttgart

Konrad Langenbeck

Jeremias Lange University of Stuttgart

Tim Hornung University of Stuttgart

Other publications of authors with the same name

IC3 Software Model Checking on Control Flow Automata.T. Lange, M. Neuhäußer, and T. Noll. FMCAD, page 97-104. IEEE, (2015)Speeding Up the Safety Verification of Programmable Logic Controller Code.T. Lange, M. Neuhäußer, and T. Noll. Haifa Verification Conference, volume 8244 of Lecture Notes in Computer Science, page 44-60. Springer, (2013)Load Balancing for Cross Layer Communication.J. Schommer, D. Franke, T. Lange, and S. Kowalewski. COMPSAC Workshops, page 476-481. IEEE Computer Society, (2012)ProSAR: A New Methodology for Combinatorial Library Design.H. Chen, U. Borjesson, O. Engkvist, T. Kogej, M. Svensson, N. Blomberg, D. Weigelt, J. Burrows, and T. Lange. Journal of Chemical Information and Modeling, 49 (3): 603-614 (2009)Improving Generalization in Software IC3.T. Lange, F. Prinz, M. Neuhäußer, T. Noll, and J. Katoen. SPIN, volume 10869 of Lecture Notes in Computer Science, page 85-102. Springer, (2018)IC3 software model checking.T. Lange. RWTH Aachen University, Germany, (2018)