86 citations · 138 across the 14 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
eess.SY2015★ 2 cited
Model Checking Implantable Cardioverter Defibrillators
Houssam Abbas, Kuk Jin Jang, Zhihao Jiang +1
Ventricular Fibrillation is a disorganized electrical excitation of the heart that results in inadequate blood flow to the body. It usually ends in death within seconds. The most c…
eess.SY2015★ 5 cited
Towards composition of conformant systems
Houssam Abbas, Georgios Fainekos
Motivated by the Model-Based Design process for Cyber-Physical Systems, we consider issues in conformance testing of systems. Conformance is a quantitative notion of similarity bet…