Login / Signup
Andrew J. Abbate
ORCID
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 3
Top Topics
Provably Correct
Model Checker
Medical Domain
Formal Methods
Top Venues
IEEE Trans. Hum. Mach. Syst.
Int. J. Hum. Comput. Stud.
</>
Publications
</>
Andrew J. Abbate
,
Ellen J. Bass
A Formal Approach to Connectibility Affordances.
IEEE Trans. Hum. Mach. Syst.
49 (6) (2019)
Andrew J. Abbate
,
Ellen J. Bass
A formal methods approach to semiotic engineering.
Int. J. Hum. Comput. Stud.
115 (2018)
Andrew J. Abbate
,
Amy L. Throckmorton
,
Ellen J. Bass
A Formal Task-Analytic Approach to Medical Device Alarm Troubleshooting Instructions.
IEEE Trans. Hum. Mach. Syst.
46 (1) (2016)