1. A Formal Language For Specifying Visual Interface Signifiers. (September 2016) Authors: Abbate, Andrew J.; Bass, Ellen J. Journal: Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting Issue: Volume 60:Part 1(2016) Page Start: 1098 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A Formal Language For Specifying Visual Interface Signifiers. (September 2016) Authors: Abbate, Andrew J.; Bass, Ellen J. Journal: Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting Issue: Volume 60:Part 1(2016) Page Start: 1098 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. CURATe Measures for Human-Integrated Systems: A Model Checking Approach. (September 2018) Authors: Abbate, Andrew J.; Bass, Ellen J. Journal: Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting Issue: Volume 62:Part 1(2018) Page Start: 646 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Modeling Affordance Using Formal Methods. (September 2017) Authors: Abbate, Andrew J.; Bass, Ellen J. Journal: Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting Issue: Volume 61:Part 1(2017) Page Start: 723 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. User-centered Requirements for Patient Fluid Intake Monitoring Support. (December 2020) Authors: Bass, Ellen J.; Abbate, Andrew J.; Noaiseh, Yaman; Ann DiMaria-Ghalili, Rose Journal: Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting Issue: Volume 64:Part 1(2020) Page Start: 736 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Using Computational Tree Logic Methods to Analyze Reachability in User Documentation. (September 2015) Authors: Abbate, Andrew J.; Bass, Ellen J. Journal: Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting Issue: Volume 59:Part 1(2015) Page Start: 1481 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Using Formal Task Analytic Models to Support User Manual Development: An LVAD Case Study. Issue 1 (June 2015) Authors: Abbate, Andrew J.; Throckmorton, Amy L.; Bass, Ellen J. Journal: Proceedings of the International Symposium of Human Factors and Ergonomics in Healthcare Issue: Volume 4:Issue 1(2015) Page Start: 114 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗