Semantic Foundations for Heterogeneous Systems

  title={Semantic Foundations for Heterogeneous Systems},
  author={Roberto Passerone},
Semantic Foundations for Heterogeneous Systems by Roberto Passerone Doctor of Philosophy in Engineering Electrical Engineering and Computer Sciences University of California, Berkeley Professor Alberto L. Sangiovanni-Vincentelli, Chair The ability to incorporate increasingly sophisticated functionality makes the design of electronic embedded systems complex. Many factors, beside the traditional considerations of cost and performance, contribute to making the design and the implementation of… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 89 references

Cut-off in engine control: a hybrid system approach

  • A. Balluchi, M. Di Benedetto, C. Pinello, C. Rossi, A. Sangiovanni-Vincentelli
  • IEEE Conf. on Decision and Control
  • 1997
Highly Influential
4 Excerpts

Hierarchical Models of Synchronous Circuits for Formal Verification and Substitution

  • Elizabeth S. Wolf
  • PhD thesis,
  • 1995
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…