Benjamin Tyler

Publication Activity (10 Years)

Years Active: 2001-2021
Publications (10 Years): 4

Top Topics

Provably Correct

Temporal Properties

Reactive Systems

Top Venues

ICTAC Summmer School

Publications

Benjamin Tyler
Formal Methods Adoption in Industry: An Experience Report. ICTAC Summmer School (2021)
Gulnaz Sterling, Benjamin Tyler
Renewable Energy Management Using Action Dependent Heuristic Dynamic Programming. ISC2 (2018)
Benjamin Tyler, Aigerim Yessenbayeva
A Comparison of Flipped Programming Classroom Models - Results by Gender and Major. FIE (2018)
Benjamin Tyler, Madina Abdrakhmanova
Flipping the CS1 and CS2 classrooms in Central Asia. FIE (2016)
Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler
Amplifying the Benefits of Design Patterns: From Specification Through Implementation. FASE (2006)
Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan
Automated generation of monitors for pattern contracts. SAC (2006)
Benjamin Tyler, Neelam Soundarajan
Automatic Monitoring of Control-flow Through Inheritance Hierarchies. SEKE (2006)
Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan
A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. SEW (2006)
Benjamin Tyler, Neelam Soundarajan
Testing Framework Components. CBSE (2004)
Benjamin Tyler, Neelam Soundarajan
Black-Box Testing of Grey-Box Behavior. FATES (2003)
Neelam Soundarajan, Benjamin Tyler
Testing Polymorphic Behavior. J. Object Technol. 1 (3) (2002)
Neelam Soundarajan, Benjamin Tyler
Specification-Based Incremental Testing of Object Oriented Systems. TOOLS (39) (2001)