×
Author ID: sewell.thomas-d Recent zbMATH articles by "Sewell, Thomas D."
Published as: Sewell, Thomas; Sewell, Thomas D.
Documents Indexed: 8 Publications since 2002
Co-Authors: 21 Co-Authors with 8 Joint Publications
290 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 42 times in 37 Documents Cited by Year
Secure microkernels, state monads and scalable refinement. Zbl 1165.68454
Cock, David; Klein, Gerwin; Sewell, Thomas
9
2008
Constituent properties of HMX needed for mesoscale simulations. Zbl 0999.80503
Menikoff, Ralph; Sewell, Thomas D.
8
2002
Reconstruction of Z3’s bit-vector proofs in HOL4 and Isabelle/HOL. Zbl 1350.68225
Böhme, Sascha; Fox, Anthony C. J.; Sewell, Thomas; Weber, Tjark
6
2011
Refinement through restraint: bringing down the cost of verification. Zbl 1361.68045
O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Amani, Sidney; Lim, Japheth; Murray, Toby; Nagashima, Yutaka; Sewell, Thomas; Klein, Gerwin
6
2016
Multiscale simulation of the responses of discrete nanostructures to extreme loading conditions based on the material point method. Zbl 1423.74082
Jiang, Shan; Chen, Zhen; Sewell, Thomas D.; Gan, Yong
6
2015
seL4 enforces integrity. Zbl 1342.68303
Sewell, Thomas; Winwood, Simon; Gammie, Peter; Murray, Toby; Andronick, June; Klein, Gerwin
3
2011
A framework for the automatic formal verification of refinement from Cogent to C. Zbl 1478.68048
Rizkallah, Christine; Lim, Japheth; Nagashima, Yutaka; Sewell, Thomas; Chen, Zilin; O’Connor, Liam; Murray, Toby; Keller, Gabriele; Klein, Gerwin
2
2016
Cogent: uniqueness types and certifying compilation. Zbl 1522.68128
O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Jackson, Vincent; Amani, Sidney; Klein, Gerwin; Murray, Toby; Sewell, Thomas; Keller, Gabriele
2
2021
Cogent: uniqueness types and certifying compilation. Zbl 1522.68128
O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Jackson, Vincent; Amani, Sidney; Klein, Gerwin; Murray, Toby; Sewell, Thomas; Keller, Gabriele
2
2021
Refinement through restraint: bringing down the cost of verification. Zbl 1361.68045
O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Amani, Sidney; Lim, Japheth; Murray, Toby; Nagashima, Yutaka; Sewell, Thomas; Klein, Gerwin
6
2016
A framework for the automatic formal verification of refinement from Cogent to C. Zbl 1478.68048
Rizkallah, Christine; Lim, Japheth; Nagashima, Yutaka; Sewell, Thomas; Chen, Zilin; O’Connor, Liam; Murray, Toby; Keller, Gabriele; Klein, Gerwin
2
2016
Multiscale simulation of the responses of discrete nanostructures to extreme loading conditions based on the material point method. Zbl 1423.74082
Jiang, Shan; Chen, Zhen; Sewell, Thomas D.; Gan, Yong
6
2015
Reconstruction of Z3’s bit-vector proofs in HOL4 and Isabelle/HOL. Zbl 1350.68225
Böhme, Sascha; Fox, Anthony C. J.; Sewell, Thomas; Weber, Tjark
6
2011
seL4 enforces integrity. Zbl 1342.68303
Sewell, Thomas; Winwood, Simon; Gammie, Peter; Murray, Toby; Andronick, June; Klein, Gerwin
3
2011
Secure microkernels, state monads and scalable refinement. Zbl 1165.68454
Cock, David; Klein, Gerwin; Sewell, Thomas
9
2008
Constituent properties of HMX needed for mesoscale simulations. Zbl 0999.80503
Menikoff, Ralph; Sewell, Thomas D.
8
2002
all top 5

Cited by 129 Authors

5 Klein, Gerwin
4 Murray, Toby
3 Keller, Gabriele Cornelia
3 Myreen, Magnus O.
3 Rizkallah, Christine
3 Sewell, Thomas D.
2 Barbosa, Haniel
2 Blanchette, Jasmin Christian
2 Chen, Zhen
2 Chen, Zilin
2 Daum, Matthias
2 Kumar, Ramana
2 Norrish, Michael
2 O’Connor, Liam
2 Purvis, Richard
2 Swierstra, Wouter
2 Timms, Robert
1 Amani, Sidney
1 Anderson, Michael James
1 Andronick, June
1 Baer, Melvin R.
1 Barrett, Clark W.
1 Barthe, Gilles
1 Betarte, Gustavo
1 Billing, Nelson
1 Bitterlich, Martin
1 Bodenmüller, Stefan
1 Böhme, Sascha
1 Breitner, Joachim
1 Buckmaster, John David
1 Campo, Juan Diego
1 Chakravarty, Manuel M. T.
1 Cheng, Shu
1 Cohen, Joshua M.
1 Curtis, John P.
1 Davis, Jared
1 De, Suvranu
1 Desjardin, Paul E.
1 Dong, JinSong
1 Dörrenbächer, Jan
1 D’Souza, Deepak
1 Fleury, Mathias
1 Fontaine, Pascal
1 Fox, Anthony C. J.
1 Fu, Yu-Fu
1 Gammie, Peter
1 Gartling, David K.
1 Ghasemi, Amirmahdi
1 Ghasemi, Amirreza
1 Guéneau, Armaël
1 Hedayati, Faraz
1 Hernández, Alberto M.
1 Hoa, Koh Chuen
1 Hou, Zhe
1 Jackson, Thomas Luther
1 Jackson, Vincent
1 Josyula, Kartik
1 Kapahi, Anil
1 Kremer, Gereon
1 Krijnen, Jacco O. G.
1 Lachnitt, Hanna
1 Lee, Kibaek
1 Lee, Seungjoon
1 Li, Yao
1 Lim, Japheth
1 Liu, Jiaxiang
1 Liu, Yan
1 Liu, Yang
1 Lu, Mengkai
1 Luna, Carlos
1 Ma, Jingxin
1 Ma, Ran
1 Malvandi, Amir
1 Marshall, Daniel F.
1 Matichuk, Daniel
1 Nagashima, Yutaka
1 Niemetz, Aina
1 Nikbakhti, Rasoul
1 Nötzli, Andres
1 Orchard, Dominic A.
1 Owens, Scott
1 Ozdemir, Alex
1 Paulson, Lawrence Charles
1 Picu, Catalin R.
1 Preiner, Mathias
1 Rahul
1 Reif, Wolfgang
1 Reynolds, Andrew
1 Rümmer, Philipp
1 Sambasivan, Shiv Kumar
1 Sanán, David
1 Schellhorn, Gerhard
1 Sewell, Tommy
1 Shi, Xiaomu
1 Shi, Yaqin
1 Spector-Zabusky, Antal
1 Stewart, D. Scott
1 Sun, Pengtao
1 Sun, WaiChing
1 Tan, Yong Kiam
...and 29 more Authors

Citations by Year