Follow
Yvan Vivid (Chris Shaver)
Yvan Vivid (Chris Shaver)
Graduate Student, University of California Berkeley
Verified email at eecs.berkeley.edu
Title
Cited by
Cited by
Year
FlexPRET: A processor platform for mixed-criticality systems
M Zimmer, D Broman, C Shaver, EA Lee
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014
1702014
A vision of swarmlets
E Latronico, EA Lee, M Lohstroh, C Shaver, A Wasicek, M Weber
IEEE Internet Computing 19 (2), 20-28, 2015
782015
A modular formal semantics for Ptolemy
S Tripakis, C Stergiou, C Shaver, EA Lee
Mathematical Structures in Computer Science 23 (4), 834-881, 2013
572013
Computer interface for polyphonic stringed instruments
K McMillen, C Shaver
US Patent App. 12/501,015, 2010
482010
The coroutine model of computation
C Shaver, EA Lee
International Conference on Model Driven Engineering Languages and Systems …, 2012
32012
Fret scanners and pickups for stringed instruments
KA McMillen, D Stierman
US Patent 9,626,947, 2017
22017
On the Representation of Distributed Behavior
C Shaver, Y Vivid
University of California, Berkeley, 2016
22016
Feedback in Synchronous Relational Interfaces
S Tripakis, C Shaver
From Programs to Systems. The Systems perspective in Computing: ETAPS …, 2014
22014
Fret scanners and pickups for stringed instruments
KA McMillen, C Shaver
US Patent 9,881,598, 2018
12018
An introduction to the pthales domain of ptolemy ii
R Barrere, E Lenormand, D Bui, EA Lee, C Shaver, S Tripakis
Technical Report UCB/EECS-2011-32, EECS Department, University of California …, 2011
12011
Fret scanners and pickups for stringed instruments
KA McMillen, C Shaver, M Rush, E Adams, B Wright
US Patent 10,332,498, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–11