Alwyn Goodloe

	2009
4		Alwyn Goodloe, César A. Muñoz: Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. FMICS 2009: 86-101
	2007
3		Alwyn Goodloe, Carl A. Gunter: Reasoning about Concurrency for Security Tunnels. CSF 2007: 64-78
	2005
2		Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr: Formal prototyping in early stages of protocol design. WITS 2005: 67-80
	2002
1		Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur: Predictable programs in barcodes. CASES 2002: 298-303

Coauthor Index

1	Rajeev Alur	[1]
2	Carl A. Gunter	[1] [2] [3]
3	Michael McDougall	[1]
4	César A. Muñoz	[4]
5	Mark-Oliver Stehr	[2]

Colors in the list of coauthors