PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Santen, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
VCC: A Practical System for Verifying Concurrent C.

, , , , , , , and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 23-42. 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.

Victor Van Santen University of Stuttgart

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?, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Thomas Maier

Thomas Maier

Thomas Maier

 

Other publications of authors with the same name

Searching for a Global Search Algorithm., and . Autom. Softw. Eng., 4 (1): 7-31 (1997)Isomorphisms - A Link Between the Shallow and the Deep.. TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 37-54. Springer, (1999)A Formal Framework for Confidentiality-Preserving Refinement.. ESORICS, volume 4189 of Lecture Notes in Computer Science, page 225-242. Springer, (2006)VCC: Contract-based modular verification of concurrent C., , , , and . ICSE Companion, page 429-430. IEEE, (2009)Preservation of probabilistic information flow under refinement.. Inf. Comput., 206 (2-4): 213-249 (2008)Test Case Generation for UML Statecharts., , and . Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 462-468. Springer, (2003)Toward a Formal Model of Software Components., , and . ICFEM, volume 2495 of Lecture Notes in Computer Science, page 57-68. Springer, (2002)Automating Test Case Generation from Z Specifications with Isabelle., , and . ZUM, volume 1212 of Lecture Notes in Computer Science, page 52-71. Springer, (1997)Behavioral Conformance Verification in an Integrated Approach Using UML and B., and . IFM, volume 1945 of Lecture Notes in Computer Science, page 358-379. Springer, (2000)Testing Against Requirements Using UML Environment Models., , , and . Softwaretechnik-Trends, (2008)