Login / Signup
Bassam Hasanain
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 2
Top Topics
Disturbance Rejection
Model Checking
Timed Automata
Automated Verification
Top Venues
J. Frankl. Inst.
IEEE Trans. Hum. Mach. Syst.
</>
Publications
</>
S. Syafiie
,
Fahd Alharbi
,
Abdullah Ali Alshehri
,
Bassam Hasanain
A new approach to stabilize diabetes systems with time-varying delays and disturbance rejection.
J. Frankl. Inst.
361 (1) (2024)
Bassam Hasanain
,
Andrew D. Boyd
,
Matthew L. Bolton
Using Model Checking to Detect Simultaneous Masking in Medical Alarms.
IEEE Trans. Hum. Mach. Syst.
46 (2) (2016)