BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tullsen:Mark

Contributed to:

PADL 20002000
PEPM 19991999
BX 20192019
CAV (2) 20182018

Wrote 4 papers:

First Class Patterns (MT), pp. 1–15.
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.

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.