Login / Signup
Tim Lange
Publication Activity (10 Years)
Years Active: 2012-2020
Publications (10 Years): 3
Top Topics
Cross Layer
Verification Method
Model Checking
Control Flow
Top Venues
COMPSAC Workshops
Int. J. Softw. Tools Technol. Transf.
FMCAD
SPIN
</>
Publications
</>
Tim Lange
,
Martin R. Neuhäußer
,
Thomas Noll
,
Joost-Pieter Katoen
IC3 software model checking.
Int. J. Softw. Tools Technol. Transf.
22 (2) (2020)
Tim Lange
,
Frederick Prinz
,
Martin R. Neuhäußer
,
Thomas Noll
,
Joost-Pieter Katoen
Improving Generalization in Software IC3.
SPIN
(2018)
Tim Lange
,
Martin R. Neuhäußer
,
Thomas Noll
IC3 Software Model Checking on Control Flow Automata.
FMCAD
(2015)
Tim Lange
,
Martin R. Neuhäußer
,
Thomas Noll
Speeding Up the Safety Verification of Programmable Logic Controller Code.
Haifa Verification Conference
(2013)
John F. Schommer
,
Dominik Franke
,
Tim Lange
,
Stefan Kowalewski
Load Balancing for Cross Layer Communication.
COMPSAC Workshops
(2012)