The Coroutine Model of Computation. - Chris Shaver; Edward A. Lee (MoDELS, 2012)

A modular formal semantics for Ptolemy. - Stavros Tripakis; Christos Stergiou 001; Chris Shaver; Edward A. Lee (Math. Struct. Comput. Sci., 2013)

Feedback in Synchronous Relational Interfaces. - Stavros Tripakis; Chris Shaver (FPS@ETAPS, 2014)

FlexPRET: A processor platform for mixed-criticality systems. - Michael Zimmer 001; David Broman; Chris Shaver; Edward A. Lee (RTAS, 2014)

A Vision of Swarmlets. - Elizabeth Latronico; Edward A. Lee; Marten Lohstroh; Chris Shaver; Armin Wasicek; Matthew Weber (IEEE Internet Comput., 2015)

On the Representation of Distributed Behavior. - Christopher Daniel Shaver (2016)