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) 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)