Follow
Andrew J. Abbate
Andrew J. Abbate
Pacific Science & Engineering Group
Verified email at pacific-science.us - Homepage
Title
Cited by
Cited by
Year
A Formal Task-Analytic Approach to Medical Device Alarm Troubleshooting Instructions
AJ Abbate, AL Throckmorton, EJ Bass
IEEE Transactions on Human-Machine Systems 46 (1), 53-65, 2016
142016
A formal methods approach to semiotic engineering
AJ Abbate, EJ Bass
International Journal of Human-Computer Studies 115, 20-39, 2018
132018
Modeling affordance using formal methods
AJ Abbate, EJ Bass
Proceedings of the human factors and ergonomics society annual meeting 61 (1 …, 2017
92017
Using computational tree logic methods to analyze reachability in user documentation
AJ Abbate, EJ Bass
Proceedings of the Human Factors and Ergonomics Society Annual Meeting 59 (1 …, 2015
42015
A formal language for specifying visual interface signifiers
AJ Abbate, EJ Bass
Proceedings of the Human Factors and Ergonomics Society Annual Meeting 60 (1 …, 2016
32016
Using formal task analytic models to support user manual development: An LVAD case study
AJ Abbate, AL Throckmorton, EJ Bass
Proceedings of the International Symposium on Human Factors and Ergonomics …, 2015
32015
A formal approach to connectibility affordances
AJ Abbate, EJ Bass
IEEE Transactions on Human-Machine Systems 49 (6), 518-528, 2019
22019
User-centered Requirements for Patient Fluid Intake Monitoring Support
EJ Bass, AJ Abbate, Y Noaiseh, R Ann DiMaria-Ghalili
Proceedings of the Human Factors and Ergonomics Society Annual Meeting 64 (1 …, 2020
2020
2019 Index IEEE Transactions on Human-Machine Systems Vol. 49
AJ Abbate, DA Abbink, H Abdi, AMH Abrams, S Agaian, K Akash, ...
IEEE Transactions on Human-Machine Systems 49 (6), 2019
2019
CURATe Measures for Human-Integrated Systems: A Model Checking Approach
AJ Abbate, EJ Bass
Proceedings of the Human Factors and Ergonomics Society Annual Meeting 62 (1 …, 2018
2018
ote technical note technica
AJ Abbate, EJ Bass
2017
Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework
AJ Abbate
Drexel University, 2017
2017
2016 Index IEEE Transactions on Human-Machine Systems Vol. 46
AJ Abbate, DA Abbink, JJ Abbott, SK Agrawal, MF Alhamid, G AlRegib, ...
IEEE Transactions on Human-Machine Systems 46 (6), 927, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–13