Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Learning the Language of Error.

M. Chapman, H. Chockler, P. Kesseli, D. Kroening, O. Strichman, and M. Tautschnig. ATVA, volume 9364 of Lecture Notes in Computer Science, page 114-130. Springer, (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.

Dr. -Ing. Daniel Holder University of Stuttgart

Hybrid Project Management in Design-Technology Convergence: Addressing the ever-changing world in the Automotive IndustryF. "Reichelt, D. "Holder, and T. "Maier. (June 2024)

Daniel Marino

Daniel Roth

Daniel Roth

Daniel Roth

Other publications of authors with the same name

Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352).P. Cousot, D. Kroening, and C. Sinz. Dagstuhl Reports, 4 (8): 107-125 (2014)Over-Approximating Boolean Programs with Unbounded Thread Creation.B. Cook, D. Kroening, and N. Sharygina. FMCAD, page 53-59. IEEE Computer Society, (2006)Software Verification.D. Kroening. Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2009)Specifying and Verifying Systems with Multiple Clocks.E. Clarke, D. Kroening, and K. Yorav. ICCD, page 48-. IEEE Computer Society, (2003)Periodic orbits and equilibria in glass models for gene regulatory networks.I. Zinovik, Y. Chebiryak, and D. Kroening. IEEE Trans. Information Theory, 56 (2): 805-820 (2010)Fixed points for multi-cycle path detection.V. D'Silva, and D. Kroening. DATE, page 1710-1715. IEEE, (2009)Effective verification of low-level software with nested interrupts.D. Kroening, L. Liang, T. Melham, P. Schrammel, and M. Tautschnig. DATE, page 229-234. ACM, (2015)Computing Mutation Coverage in Interpolation-Based Model Checking.H. Chockler, D. Kroening, and M. Purandare. IEEE Trans. on CAD of Integrated Circuits and Systems, 31 (5): 765-778 (2012)Formal verification of SystemC by automatic hardware/software partitioning.D. Kroening, and N. Sharygina. MEMOCODE, page 101-110. IEEE Computer Society, (2005)Incremental bounded model checking for embedded software.P. Schrammel, D. Kroening, M. Brain, R. Martins, T. Teige, and T. Bienmüller. Formal Asp. Comput., 29 (5): 911-931 (2017)