Travelled to:1 × Italy
1 × USA
Collaborated with:G.Klein M.M.T.Chakravarty T.Elliott L.Pike P.C.Hickey J.Bielman J.Sharp E.L.Seidel J.Launchbury K.Elphinstone G.Heiser J.Andronick D.Cock P.Derrin D.Elkaduwe K.Engelhardt R.Kolanski M.Norrish T.Sewell H.Tuch
Talks about:synthesi (1) monitor (1) tempor (1) kernel (1) formal (1) verif (1) refer (1) proof (1) ivori (1) guilt (1)
Person: Simon Winwood
DBLP: Winwood:Simon
Contributed to:
2009
2006
2015Wrote 3 papers:
- SOSP-2009-KleinEHACDEEKNSTW #kernel #named #verification
- seL4: formal verification of an OS kernel (GK, KE, GH, JA, DC, PD, DE, KE, RK, MN, TS, HT, SW), pp. 207–220.
- LOPSTR-2006-WinwoodKC #automation #monitoring #on the #synthesis
- On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (SW, GK, MMTC), pp. 111–126.
- Haskell-2015-ElliottPWHBSSL
- Guilt free ivory (TE, LP, SW, PCH, JB, JS, ELS, JL), pp. 189–200.