( en | de | ru )

 

Disambiguation of "Rümmer, Philipp"

Author of the publication

copydeleteadd this publication to your clipboard
Software Verification Using k-Induction.

, , , and . SAS, volume 6887 of Lecture Notes in Computer Science, page 351-368. Springer, (2011)

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.

Wolfgang Rümmer

Heinrich Rümmer

Caroline Rummer

Ralf Rummer

Katrin Rummer

 

Other publications of authors with the same name

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report), , , and . CoRR, (2010)Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors., , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 280-295. Springer, (2010)Construction of Proofs.. The KeY Approach, volume 4334 of Lecture Notes in Computer Science, Springer, (2007)A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type., , , , , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 325-342. Springer, (2020)Ranking function synthesis for bit-vector relations., , , and . Formal Methods Syst. Des., 43 (1): 93-120 (2013)Automatic analysis of DMA races using model checking and k-induction., , and . Formal Methods Syst. Des., 39 (1): 83-113 (2011)Competition Report: CHC-COMP-20.. VPT/HCVS@ETAPS, volume 320 of EPTCS, page 197-219. (2020)Automatic Program Instrumentation for Automatic Verification., , , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 281-304. Springer, (2023)Characterization of Simulation by Probabilistic Testing., and . Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 360-372. Springer, (2016)Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic., , and . LFM@IJCAR, volume 199 of Electronic Notes in Theoretical Computer Science, page 107-128. Elsevier, (2004)