Black-box testing of grey-box behavior B Tyler, N Soundarajan Formal Approaches to Software Testing: Third International Workshop on …, 2004 | 27 | 2004 |
Flipping the CS1 and CS2 classrooms in Central Asia B Tyler, M Abdrakhmanova 2016 IEEE Frontiers in Education Conference (FIE), 1-5, 2016 | 18 | 2016 |
Monitoring design pattern contracts JO Hallstrom, N Soundarajan, B Tyler Proc. of the FSE-12 Workshop on Specification and Verification of Component …, 2004 | 15 | 2004 |
Amplifying the benefits of design patterns: From specification through implementation JO Hallstrom, N Soundarajan, B Tyler Fundamental Approaches to Software Engineering: 9th International Conference …, 2006 | 13 | 2006 |
Testing components N Soundarajan, B Tyler SAVCBS 2001 Proceedings, 2001 | 11 | 2001 |
A Comparison of Flipped Programming Classroom Models–Results by Gender and Major B Tyler, A Yessenbayeva 2018 IEEE Frontiers in Education Conference (FIE), 1-5, 2018 | 8 | 2018 |
Automated generation of monitors for pattern contracts B Tyler, JO Hallstrom, N Soundarajan Proceedings of the 2006 ACM symposium on Applied computing, 1779-1784, 2006 | 8 | 2006 |
A comparative study of monitoring tools for pattern-centric behavior B Tyler, JO Hallstrom, N Soundarajan 2006 30th Annual IEEE/NASA Software Engineering Workshop, 37-46, 2006 | 7 | 2006 |
Renewable energy management using action dependent heuristic dynamic programming G Sterling, B Tyler 2018 IEEE International Smart Cities Conference (ISC2), 1-5, 2018 | 6 | 2018 |
Testing framework components B Tyler, N Soundarajan International Symposium on Component-Based Software Engineering, 138-145, 2004 | 6 | 2004 |
Specification-based incremental testing of object oriented systems N Soundarajan, B Tyler Proceedings 39th International Conference and Exhibition on Technology of …, 2001 | 6 | 2001 |
Specifying and monitoring design pattern contracts N Soundarajan, JO Hallstrom, B Tyler Proc. SAVCBS (ICSE) Workshop, 87-94, 2004 | 5 | 2004 |
Testing polymorphic behavior N Soundarajan, B Tyler Journal of Object Technology 1 (3), 173-188, 2002 | 5 | 2002 |
Fuzzy-based approaches to decision making and resource allocation during wildland fires N Hanlon, B Tyler, M Kumar, K Cohen Infotech@ Aerospace 2011, 1450, 2011 | 2 | 2011 |
Formal verification of layered sensing architectures B Tyler, A Langdon, P Chawla Proceedings of the IEEE 2010 National Aerospace & Electronics Conference, 41-44, 2010 | 2 | 2010 |
Testing Polymorphic Behavior of Framework Components B Tyler, N Soundarajan Testing Commercial-off-the-Shelf Components and Systems, 33-54, 2005 | 1 | 2005 |
Formal Methods Adoption in Industry: An Experience Report B Tyler International Colloquium on Theoretical Aspects of Computing, 152-161, 2021 | | 2021 |
TRANSITIONING FROM FLIPPED TO FULLY ONLINE IN THE PANDEMIC ERA B Tyler, G Oteniyaz ICERI2021 Proceedings, 4513-4520, 2021 | | 2021 |
Survey of Adaptive Algorithms for Intelligent Agents N Sakenov, BJ Tyler Nazarbayev University School of Engineering and Digital Sciences, 2019 | | 2019 |
Development of a systems-level design language BJ Tyler Nazarbayev University, 2014 | | 2014 |