Travelled to:3 × USA
Collaborated with:∅ P.Hudak L.Pike N.Collins A.Tomb
Talks about:vehicl (2) procedur (1) pattern (1) express (1) system (1) scheme (1) revers (1) messag (1) formal (1) verif (1)
Person: Mark Tullsen
DBLP: Tullsen:Mark
Contributed to:
2000
1999
2019
2018Wrote 4 papers:
- PADL-2000-Tullsen
- First Class Patterns (MT), pp. 1–15.
- PEPM-1999-TullsenH
- Shifting Expression Procedures into Reverse (MT, PH), pp. 95–104.
- BX-2019-Tullsen #encoding #using
- ASN.1 Encoding Schemes Done Right Using CMPCT (MT), pp. 1–15.
- CAV-2018-TullsenPCT #verification
- Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System (MT, LP, NC, AT), pp. 413–429.