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

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?

J. Kirschenbaum, B. Adcock, D. Bronish, H. Smith, H. Harton, M. Sitaraman, and B. Weide. ICSR, volume 5791 of Lecture Notes in Computer Science, page 31-40. Springer, (2009)

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.

K. Stahl

K. Gaiser

K. Lindow

Grzegorz K. Karch

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?J. Taron, P. Martirosian, T. Küstner, M. Notohamiprodjo, J. Weiß, A. Othman, K. Nikolaou, and C. Schraml. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?J. Taron, P. Martirosian, T. Küstner, M. Notohamiprodjo, J. Weiß, A. Othman, K. Nikolaou, and C. Schraml. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)The use of a generalized reconstruction by inversion of coupled systems (GRICS) approach for generic respiratory motion correction in PET/MR imagingH. Fayad, F. Odille, H. Schmidt, C. Würslin, T. Küstner, J. Felblinger, and D. Visvikis. Physics in medicine and biology, 60 (6): 2529-46 (March 2015)In-vivo MR-derived non-rigid motion correction of simultaneously acquired PETT. Küstner, C. Würslin, S. Gatidis, P. Martirosian, N. Schwenzer, B. Yang, and H. Schmidt. Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Toronto, Canada, (June 2015)

Other publications of authors with the same name

Formal Program Verification.H. Harton, M. Sitaraman, and J. Krone. Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?J. Kirschenbaum, B. Adcock, D. Bronish, H. Smith, H. Harton, M. Sitaraman, and B. Weide. ICSR, volume 5791 of Lecture Notes in Computer Science, page 31-40. Springer, (2009)Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.M. Sitaraman, J. Hallstrom, J. White, S. Drachova-Strang, H. Harton, D. Leonard, J. Krone, and R. Pak. ITiCSE, page 50-54. ACM, (2009)Generating Verified Java Components through RESOLVE.H. Smith, H. Harton, D. Frazier, R. Mohan, and M. Sitaraman. ICSR, volume 5791 of Lecture Notes in Computer Science, page 11-20. Springer, (2009)Incremental Benchmarks for Software Verification Tools and Techniques.B. Weide, M. Sitaraman, H. Harton, B. Adcock, P. Bucci, D. Bronish, W. Heym, J. Kirschenbaum, and D. Frazier. VSTTE, volume 5295 of Lecture Notes in Computer Science, page 84-98. Springer, (2008)Building a push-button RESOLVE verifier: Progress and challenges.M. Sitaraman, B. Adcock, J. Avigad, D. Bronish, P. Bucci, D. Frazier, H. Friedman, H. Harton, W. Heym, J. Kirschenbaum and 3 other author(s). Formal Asp. Comput., 23 (5): 607-626 (2011)Specification engineering and modular verification using a web-integrated verifying compiler.C. Cook, H. Harton, H. Smith, and M. Sitaraman. ICSE, page 1379-1382. IEEE Computer Society, (2012)The Location Linking Concept: A Basis for Verification of Code Using Pointers.G. Kulczycki, H. Smith, H. Harton, M. Sitaraman, W. Ogden, and J. Hollingsworth. VSTTE, volume 7152 of Lecture Notes in Computer Science, page 34-49. Springer, (2012)A Language for Building Verified Software Components.G. Kulczycki, M. Sitaraman, J. Krone, J. Hollingsworth, W. Ogden, B. Weide, P. Bucci, C. Cook, S. Drachova-Strang, B. Durkee and 8 other author(s). ICSR, volume 7925 of Lecture Notes in Computer Science, page 308-314. Springer, (2013)