( en | de | ru )

 

Disambiguation of "Kroening, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Dynamic Cutoff Detection in Parameterized Concurrent Programs.

, , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 645-659. Springer, (2010)

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 Stanze

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

Other publications of authors with the same name

Termination Analysis with Compositional Transition Invariants., , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 89-103. Springer, (2010)Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs., , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 661-684. Springer, (2015)Measuring Change Impact on Program Behaviour., and . Validation of Evolving Software, Springer, (2015)Strengthening Induction-Based Race Checking with Lightweight Static Analysis., , and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 169-183. Springer, (2011)Understanding Counterexamples with explain., , and . CAV, volume 3114 of Lecture Notes in Computer Science, page 453-456. Springer, (2004)Software Verification Using k-Induction., , , and . SAS, volume 6887 of Lecture Notes in Computer Science, page 351-368. 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)Interpolating Quantifier-Free Presburger Arithmetic., , and . LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 489-503. Springer, (2010)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)An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors., , and . AB, volume 4545 of Lecture Notes in Computer Science, page 140-154. Springer, (2007)