BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
A.Tomb M.Tullsen L.Pike A.A.d.Amorim A.DeHon D.Demange C.Hritcu D.Pichardie B.C.Pierce R.Pollack A.Tolmach A.Chudnov B.Cook J.Dodds B.Huffman C.MacCárthaigh S.Magill E.Mertens E.Mullen S.Tasiran E.Westbrook
Talks about:
vehicl (2) formal (2) verif (2) architectur (1) continu (1) verifi (1) system (1) messag (1) inform (1) amazon (1)

Person: Nathan Collins

DBLP DBLP: Collins:Nathan

Contributed to:

POPL 20142014
CAV (2) 20182018

Wrote 3 papers:

POPL-2014-AmorimCDDHPPPT #architecture #data flow
A verified information-flow architecture (AAdA, NC, AD, DD, CH, DP, BCP, RP, AT), pp. 165–178.
CAV-2018-ChudnovCCDHMMMM #verification
Continuous Formal Verification of Amazon s2n (AC, NC, BC, JD, BH, CM, SM, EM, EM, ST, AT, EW), pp. 430–446.
CAV-2018-TullsenPCT #verification
Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System (MT, LP, NC, AT), pp. 413–429.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.