Jeff C. Jensen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2014
Best venue rank
Journal Published
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | EMSOFT | CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. | Garvit Juniwal, Alexandre Donz, Jeff C. Jensen, Sanjit A. Seshia |
| 2011 | ISCAS | An introductory capstone design course on embedded systems. | Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia |
| 2011 | IWCMC | A model-based design methodology for cyber-physical systems. | Jeff C. Jensen, Danica H. Chang, Edward A. Lee |