Publications

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is I  [Clear All Filters]
2017
Improving Invariant Mining via Static Analysis, Schulze, Christoph, and Cleaveland Rance , ACM Trans. Embed. Comput. Syst., Volume 16, p.167:1–167:20, (2017)  (566.5 KB)
2016
In-silico pre-clinical trials for implantable cardioverter defibrillators, Jiang, Zhihao, Abbas Houssam, Jang Kuk Jin, Beccani Marco, Liang Jackson, Dixit Sanjay, and Mangharam Rahul , Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the, (2016)  (4.99 MB)