PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Falke, Stephan"

Author of the publication

copydeleteadd this publication to your clipboard
Challenges in Comparing Software Verification Tools for C.

, , and . COMPARE, volume 873 of CEUR Workshop Proceedings, page 60-65. CEUR-WS.org, (2012)

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.

Simon Falkenberger University of Stuttgart

Prof. Dr. -Ing. Karl Stephan University of Stuttgart

Dr. -Ing. Stephan Heimerl University of Stuttgart

Silke Stephan University of Stuttgart

Stephan Renninger University of Stuttgart

 

Other publications of authors with the same name

Analyzing Runtime and Size Complexity of Integer Programs., , , , and . ACM Trans. Program. Lang. Syst., 38 (4): 13 (2016)Improving Dependency Pairs., , , and . LPAR, volume 2850 of Lecture Notes in Computer Science, page 167-182. Springer, (2003)Inductive Decidability Using Implicit Induction., and . LPAR, volume 4246 of Lecture Notes in Computer Science, page 45-59. Springer, (2006)LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution)., , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 542-544. Springer, (2012)Termination Analysis of Imperative Programs Using Bitvector Arithmetic., , and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 261-277. Springer, (2012)LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution)., , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 623-626. Springer, (2013)Termination Analysis of C Programs Using Compiler Intermediate Languages., , and . RTA, volume 10 of LIPIcs, page 41-50. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)When Is a Formula a Loop Invariant?, and . Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 264-286. Springer, (2015)Tackling the Blackbody Shift in a Strontium Optical Lattice Clock., , , , , and . IEEE Trans. Instrumentation and Measurement, 60 (7): 2550-2557 (2011)Providing 10-16 Short-Term Stability of a 1.5-µm Laser to Optical Clocks., , , , , , , , and . IEEE Trans. Instrumentation and Measurement, 62 (6): 1556-1562 (2013)