Chris Shaver

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Feedback Information

Relational Queries

Owl Dl Ontology

Formal Semantics

Top Venues

IEEE Internet Comput.

Math. Struct. Comput. Sci.

Publications

Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, Matthew Weber
A Vision of Swarmlets. IEEE Internet Comput. 19 (2) (2015)
Stavros Tripakis, Chris Shaver
Feedback in Synchronous Relational Interfaces. FPS@ETAPS (2014)
Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee
FlexPRET: A processor platform for mixed-criticality systems. RTAS (2014)
Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee
A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. 23 (4) (2013)
Chris Shaver, Edward A. Lee
The Coroutine Model of Computation. MoDELS (2012)