( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Finding Non-terminating Executions in Distributed Asynchronous Programs

, и . Static Analysis, стр. 439--455. Berlin, Heidelberg, Springer, (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.

Eberhard Emminger

Christoph Emminghaus

Karl Emminger

Karl Heinrich Emmig

Jobst Emminghaus

 

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

Lock allocation., , , и . POPL, стр. 291-296. ACM, (2007)Analysis of recursively parallel programs., и . POPL, стр. 203-214. ACM, (2012)SMACK software verification toolchain., , , , и . ICSE (Companion Volume), стр. 589-592. ACM, (2016)Weak-consistency specification via visibility relaxation., и . Proc. ACM Program. Lang., 3 (POPL): 60:1-60:28 (2019)Decision Problems for the Verification of Real-Time Software., и . HSCC, том 3927 из Lecture Notes in Computer Science, стр. 200-211. Springer, (2006)Verifying Visibility-Based Weak Consistency., , , и . ESOP, том 12075 из Lecture Notes in Computer Science, стр. 280-307. Springer, (2020)Type-preserving compilation for large-scale optimizing object-oriented compilers., , , , , , и . PLDI, стр. 183-192. ACM, (2008)Systematic Asynchrony Bug Exploration for Android Apps., , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 455-461. Springer, (2015)Dynamic test input generation for database applications., , и . ISSTA, стр. 151-162. ACM, (2007)ct-fuzz: Fuzzing for Timing Leaks., , и . CoRR, (2019)