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: Collins:Nathan
Contributed to:
2014
2018Wrote 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.