Specification-Based Incremental Testing of Object Oriented Systems. - Neelam Soundarajan; Benjamin Tyler (TOOLS (39), 2001)

Testing Polymorphic Behavior. - Neelam Soundarajan; Benjamin Tyler (J. Object Technol., 2002)

Black-Box Testing of Grey-Box Behavior. - Benjamin Tyler; Neelam Soundarajan (FATES, 2003)

Testing Framework Components. - Benjamin Tyler; Neelam Soundarajan (CBSE, 2004)

Amplifying the Benefits of Design Patterns: From Specification Through Implementation. - Jason O. Hallstrom; Neelam Soundarajan; Benjamin Tyler (FASE, 2006)

Automated generation of monitors for pattern contracts. - Benjamin Tyler; Jason O. Hallstrom; Neelam Soundarajan (SAC, 2006)

Automatic Monitoring of Control-flow Through Inheritance Hierarchies. - Benjamin Tyler; Neelam Soundarajan (SEKE, 2006)

A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. - Benjamin Tyler; Jason O. Hallstrom; Neelam Soundarajan (SEW, 2006)

Flipping the CS1 and CS2 classrooms in Central Asia. - Benjamin Tyler; Madina Abdrakhmanova (FIE, 2016)

A Comparison of Flipped Programming Classroom Models - Results by Gender and Major. - Benjamin Tyler; Aigerim Yessenbayeva (FIE, 2018)

Renewable Energy Management Using Action Dependent Heuristic Dynamic Programming. - Gulnaz Sterling; Benjamin Tyler (ISC2, 2018)

Formal Methods Adoption in Industry: An Experience Report. - Benjamin Tyler (ICTAC Summmer School, 2021)

Enhancing healthcare data privacy and interoperability with federated learning. - Adil Akhmetov; Zohaib Latif; Benjamin Tyler; Adnan Yazici (PeerJ Comput. Sci., 2025)