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 | 14 | 2016 |
A formal methods approach to semiotic engineering AJ Abbate, EJ Bass International Journal of Human-Computer Studies 115, 20-39, 2018 | 13 | 2018 |
Modeling affordance using formal methods AJ Abbate, EJ Bass Proceedings of the human factors and ergonomics society annual meeting 61 (1 …, 2017 | 9 | 2017 |
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 | 4 | 2015 |
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 | 3 | 2016 |
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 | 3 | 2015 |
A formal approach to connectibility affordances AJ Abbate, EJ Bass IEEE Transactions on Human-Machine Systems 49 (6), 518-528, 2019 | 2 | 2019 |
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 |