( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel.

, , , и . CoRR, (2016)

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.

Helga Kroening

Elisabeth Erika Kroening

Daniel

Daniel

Daniel Stanze

Systematische Analyse von Rezeptoren und Effektormechanismen der pulmonalen angeborenen Immunität. Uni Marburg, (2009)
 

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

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs., , , и . FM, том 8442 из Lecture Notes in Computer Science, стр. 263-278. Springer, (2014)Towards a Classification of Hamiltonian Cycles in the 6-Cube., и . J. Satisf. Boolean Model. Comput., 4 (1): 57-74 (2008)Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters., , и . ACM Conference on Computer and Communications Security, стр. 1689-1706. ACM, (2019)Verifying C++ with STL containers via predicate abstraction., , и . ASE, стр. 521-524. ACM, (2007)Race analysis for systemc using model checking., и . ACM Trans. Design Autom. Electr. Syst., 15 (3): 21:1-21:32 (2010)Hardware verification using ANSI-C programs as a reference., и . ASP-DAC, стр. 308-311. ACM, (2003)Abstract conflict driven learning., , и . POPL, стр. 143-154. ACM, (2013)Property-Driven Fence Insertion Using Reorder Bounded Model Checking., и . FM, том 9109 из Lecture Notes in Computer Science, стр. 291-307. Springer, (2015)On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency., и . FORTE, том 9039 из Lecture Notes in Computer Science, стр. 19-34. Springer, (2015)Accurate Theorem Proving for Program Verification., , и . ISoLA, том 4313 из Lecture Notes in Computer Science, стр. 96-114. Springer, (2004)