( en | de | ru )

 

Disambiguierung von "Kroening, Daniel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Ranking Function Synthesis for Bit-Vector Relations.

, , , und . TACAS, Volume 6015 von Lecture Notes in Computer Science, Seite 236-250. Springer, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Helga Kroening

Elisabeth Erika Kroening

Daniel

Daniel

Daniel Stanze

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

Weitere Publikationen von Autoren mit dem selben Namen

Verifying C++ with STL containers via predicate abstraction., , und . ASE, Seite 521-524. ACM, (2007)Race analysis for systemc using model checking., und . ACM Trans. Design Autom. Electr. Syst., 15 (3): 21:1-21:32 (2010)Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic., , , und . VMCAI, Volume 6538 von Lecture Notes in Computer Science, Seite 88-102. Springer, (2011)A Tool for Checking ANSI-C Programs., , und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 168-176. Springer, (2004)CBMC - C Bounded Model Checker - (Competition Contribution)., und . TACAS, Volume 8413 von Lecture Notes in Computer Science, Seite 389-391. Springer, (2014)On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency., und . FORTE, Volume 9039 von Lecture Notes in Computer Science, Seite 19-34. Springer, (2015)Accurate Theorem Proving for Program Verification., , und . ISoLA, Volume 4313 von Lecture Notes in Computer Science, Seite 96-114. Springer, (2004)Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs., , , und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 263-278. Springer, (2014)Towards a Classification of Hamiltonian Cycles in the 6-Cube., und . J. Satisf. Boolean Model. Comput., 4 (1): 57-74 (2008)Partial Orders for Efficient Bounded Model Checking of Concurrent Software., , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 141-157. Springer, (2013)