Jeff C. Jensen

According to our database, Jeff C. Jensen authored at least 4 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory.

Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, Sanjit A. Seshia

Proceedings of the 2014 International Conference on Embedded Software, 2014

2012

Teaching embedded systems the Berkeley way.

Edward A. Lee, Sanjit A. Seshia, Jeff C. Jensen

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2012

2011

A model-based design methodology for cyber-physical systems.

Jeff C. Jensen, Danica H. Chang, Edward A. Lee

Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

An introductory capstone design course on embedded systems.

Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011