Benjamin Tyler

According to our database, Benjamin Tyler authored at least 12 papers between 2001 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Formal Methods Adoption in Industry: An Experience Report.

Benjamin Tyler

Proceedings of the Formal Methods for an Informal World, 2021

2018

Renewable Energy Management Using Action Dependent Heuristic Dynamic Programming.

Gulnaz Sterling, Benjamin Tyler

Proceedings of the IEEE International Smart Cities Conference, 2018

A Comparison of Flipped Programming Classroom Models - Results by Gender and Major.

Benjamin Tyler, Aigerim Yessenbayeva

Proceedings of the IEEE Frontiers in Education Conference, 2018

2016

Flipping the CS1 and CS2 classrooms in Central Asia.

Benjamin Tyler, Madina Abdrakhmanova

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

2006

A Comparative Study of Monitoring Tools for Pattern-Centric Behavior.

Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Automatic Monitoring of Control-flow Through Inheritance Hierarchies.

Benjamin Tyler, Neelam Soundarajan

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Automated generation of monitors for pattern contracts.

Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Amplifying the Benefits of Design Patterns: From Specification Through Implementation.

Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2004

Testing Framework Components.

Benjamin Tyler, Neelam Soundarajan

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003

Black-Box Testing of Grey-Box Behavior.

Benjamin Tyler, Neelam Soundarajan

Proceedings of the Formal Approaches to Software Testing, 2003

2002

Testing Polymorphic Behavior.

Neelam Soundarajan, Benjamin Tyler

J. Object Technol., 2002

2001

Specification-Based Incremental Testing of Object Oriented Systems.

Neelam Soundarajan, Benjamin Tyler

Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001