5
Publications
320
Citations
5
H-Index
2010
Active since
Jeff C. Jensen is an author at University of California, Berkeley specializing in engineering, systems engineering, and computer engineering.
Top concepts
EngineeringSystems EngineeringDesignSoftware DesignComputer ScienceFormal VerificationComputer EngineeringCyber Physical SystemsRoboticsAutomation
Publications per year
2010–2014
5
5
Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen et al. · 2014 · 32 citations
Engineering, Constrained Parameterized Tests, Verification +17
Teaching embedded systems the Berkeley way
Edward A. Lee, Sanjit A. Seshia, Jeff C. Jensen · 2012 · 24 citations
Elements of Model-Based Design
Jeff C. Jensen · UC Berkeley · 2010 · 11 citations
Rows per page
1–5 of 5