PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sewell, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
A Framework for the Automatic Formal Verification of Refinement from Cogent to C.

, , , , , , , , and . ITP, volume 9807 of Lecture Notes in Computer Science, page 323-340. Springer, (2016)

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.

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)

Univ. -Prof. Dr. Thomas Schleid University of Stuttgart

Die Serie caesiumhaltiger Thioarsenate(V) der Lanthanoide vom Formeltyp Cs3LnAsS42 mit Ln = La–Nd und Sm, and . Zeitschrift für Naturforschung. B, Chemical sciences, 79 (1): 29-38 (2024)

Thomas Maier

Thomas Maier

Thomas Maier

 

Other publications of authors with the same name

Comprehensive formal verification of an OS microkernel., , , , , , and . ACM Trans. Comput. Syst., 32 (1): 2:1-2:70 (2014)Mind the Gap., , , , , and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 500-515. Springer, (2009)Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis., , and . RTAS, page 185-195. IEEE Computer Society, (2016)Refinement in the Formal Verification of the seL4 Microkernel., , and . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)A Framework for the Automatic Formal Verification of Refinement from Cogent to C., , , , , , , , and . ITP, volume 9807 of Lecture Notes in Computer Science, page 323-340. Springer, (2016)COGENT: Certified Compilation for a Functional Systems Language., , , , , , , , , and 1 other author(s). CoRR, (2016)seL4: formal verification of an operating-system kernel., , , , , , , , , and 3 other author(s). Commun. ACM, 53 (6): 107-115 (2010)Translation validation for verified, efficient and timely operating systems.. University of New South Wales, Sydney, Australia, (2017)base-search.net (ftunswworks:oai:unsworks.unsw.edu.au:1959.4/58861).Secure Microkernels, State Monads and Scalable Refinement., , and . TPHOLs, volume 5170 of Lecture Notes in Computer Science, page 167-182. Springer, (2008)seL4: formal verification of an OS kernel., , , , , , , , , and 3 other author(s). SOSP, page 207-220. ACM, (2009)