3
Publications
209
Citations
3
H-Index
2013
Active since
Affiliations
University of California, Berkeley(Current)
Chris Shaver is an author at University of California, Berkeley specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringLanguageSemanticsLinguisticsData SecurityEdge ComputingFormal MethodsCloud Computing
Publications per year
2013–2015
3
3
FlexPRET: A processor platform for mixed-criticality systems
Michael Zimmer, David Broman, Chris Shaver et al. · 2014 · 114 citations · Full text
Heterogeneous Computing, Engineering, Computer Architecture +18
Elizabeth Latronico, Edward A. Lee, Marten Lohstroh et al. · IEEE Internet Computing · 2015 · 53 citations
A modular formal semantics for Ptolemy
Stavros Tripakis, Christos Stergiou, Chris Shaver et al. · Mathematical Structures in Computer Science · 2013 · 42 citations · Full text
Rows per page
1–3 of 3