( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SCRATCH: a tool for automatic analysis of dma races.

, , и . PPoPP, стр. 311-312. ACM, (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.

Wolfgang Rümmer

Heinrich Rümmer

Caroline Rummer

Ralf Rummer

Ralf Rummer

 

Другие публикации лиц с тем же именем

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report), , , и . CoRR, (2010)Automatic analysis of DMA races using model checking and k-induction., , и . Formal Methods Syst. Des., 39 (1): 83-113 (2011)Ranking function synthesis for bit-vector relations., , , и . Formal Methods Syst. Des., 43 (1): 93-120 (2013)A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type., , , , , , и . ATVA, том 12302 из Lecture Notes in Computer Science, стр. 325-342. Springer, (2020)Construction of Proofs.. The KeY Approach, том 4334 из Lecture Notes in Computer Science, Springer, (2007)Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors., , и . TACAS, том 6015 из Lecture Notes in Computer Science, стр. 280-295. Springer, (2010)Characterization of Simulation by Probabilistic Testing., и . Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 360-372. Springer, (2016)JayHorn: a Java model checker.. FTfJP@ECOOP, стр. 1:1. ACM, (2019)Competition Report: CHC-COMP-20.. VPT/HCVS@ETAPS, том 320 из EPTCS, стр. 197-219. (2020)Automatic Program Instrumentation for Automatic Verification., , , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 281-304. Springer, (2023)