( en | de | ru )

 

Disambiguation of "Kroening, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Hardware Verification Using Software Analyzers.

, , and . ISVLSI, page 7-12. IEEE Computer Society, (2015)

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.

Helga Kroening

Elisabeth Erika Kroening

Daniel

Daniel

Daniel Dirkmann

In-vitro-Untersuchungen zum Effekt von Hypothermie und Azidose auf Variablen thrombelastometrischer Messungen der Blutgerinnung. Uni Duisburg-Essen, (2009)
 

Other publications of authors with the same name

Learning the Language of Software Errors., , , and . J. Artif. Intell. Res., (2020)Certified reinforcement learning with logic guidance., , and . Artif. Intell., (September 2023)Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version)., , , and . CoRR, (2017)Second-Order SAT Solving using Program Synthesis., and . CoRR, (2014)Interpolating Quantifier-Free Presburger Arithmetic., , and . LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 489-503. Springer, (2010)Understanding Counterexamples with explain., , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 453-456. Springer, (2004)Strengthening Induction-Based Race Checking with Lightweight Static Analysis., , and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 169-183. Springer, (2011)Soundness of Data Flow Analyses for Weak Memory Models., , , , and . APLAS, volume 7078 of Lecture Notes in Computer Science, page 272-288. Springer, (2011)Software Verification Using k-Induction., , , and . SAS, volume 6887 of Lecture Notes in Computer Science, page 351-368. Springer, (2011)ExpliSAT: Guiding SAT-Based Software Verification with Explicit States., , , , and . Haifa Verification Conference, volume 4383 of Lecture Notes in Computer Science, page 138-154. Springer, (2006)