Бенджамин Тайлер
Департамент
Школа наук и технологий, Школа инженерии и цифровых наук, Компьютерные науки, National Laboratory Astana, Computer Science Laboratory Позиция
И.о. Заведующего кафедрой, Ассоциированный профессор Офис
7.234 Электр. почта
btyler@nu.edu.kz Телефон
+7 (7172) 706538 Веб-сайт
https://cs-sst.github.io/faculty/tyler Flipping the CS1 and CS2 classrooms in Central Asia
Tyler, B., Abdrakhmanova, M., 2016 FIE 2016 - Frontiers in Education 2016: The Crossroads of Engineering and Business. Institute of Electrical and Electronics Engineers Inc., 2016-November,
Fuzzy-based approaches to decision making and resource allocation during wildland fires
Hanlon, N., Kumar, M., Cohen, K., Tyler, B., 2011 AIAA Infotech at Aerospace Conference and Exhibit 2011.
Formal verification of layered sensing architectures
Tyler, B., Langdon, A., Chawla, P., 2010 Proceedings of the IEEE 2010 National Aerospace and Electronics Conference, NAECON 2010. p. 41-44
Automatic monitoring of control-flow through inheritance hierarchies
Tyler, B., Soundarajan, N., 2006 18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006. p. 355-358
Automated generation of monitors for pattern contracts
Tyler, B., Hallstrom, J., Soundarajan, N., 2006 Proceedings of the ACM Symposium on Applied Computing. 2, p. 1779-1784
Amplifying the benefits of design patterns: From specification through implementation
Hallstrom, J., Soundarajan, N., Tyler, B., 2006 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3922 LNCS, p. 214-229
A comparative study of monitoring tools for pattern-centric behavior
Tyler, B., Hallstrom, J., Soundarajan, N., 2006 Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30. p. 37-46
Testing polymorphic behavior of framework components
Tyler, B., Soundarajan, N., 2005 Testing Commercial-off-the-Shelf Components and Systems. Springer Berlin Heidelberg, p. 33-54
Testing framework components
Tyler, B., Soundarajan, N., 2004 In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3054, p. 138-145
Black-box testing of grey-box behavior
Tyler, B., Soundarajan, N., 2004 In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2931, p. 1-14
Testing polymorphic behavior
Soundarajan, N., Tyler, B., 2002 In : Journal of Object Technology. 1, 3, p. 173-188
Specification-based incremental testing of object oriented systems
Soundarajan, N., Tyler, B., 2001 "Technology of Object-Oriented Languages and Systems. IEEE Computer Society, p. 35-45
Tyler, B., Abdrakhmanova, M., 2016 FIE 2016 - Frontiers in Education 2016: The Crossroads of Engineering and Business. Institute of Electrical and Electronics Engineers Inc., 2016-November,
Fuzzy-based approaches to decision making and resource allocation during wildland fires
Hanlon, N., Kumar, M., Cohen, K., Tyler, B., 2011 AIAA Infotech at Aerospace Conference and Exhibit 2011.
Formal verification of layered sensing architectures
Tyler, B., Langdon, A., Chawla, P., 2010 Proceedings of the IEEE 2010 National Aerospace and Electronics Conference, NAECON 2010. p. 41-44
Automatic monitoring of control-flow through inheritance hierarchies
Tyler, B., Soundarajan, N., 2006 18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006. p. 355-358
Automated generation of monitors for pattern contracts
Tyler, B., Hallstrom, J., Soundarajan, N., 2006 Proceedings of the ACM Symposium on Applied Computing. 2, p. 1779-1784
Amplifying the benefits of design patterns: From specification through implementation
Hallstrom, J., Soundarajan, N., Tyler, B., 2006 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3922 LNCS, p. 214-229
A comparative study of monitoring tools for pattern-centric behavior
Tyler, B., Hallstrom, J., Soundarajan, N., 2006 Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30. p. 37-46
Testing polymorphic behavior of framework components
Tyler, B., Soundarajan, N., 2005 Testing Commercial-off-the-Shelf Components and Systems. Springer Berlin Heidelberg, p. 33-54
Testing framework components
Tyler, B., Soundarajan, N., 2004 In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3054, p. 138-145
Black-box testing of grey-box behavior
Tyler, B., Soundarajan, N., 2004 In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2931, p. 1-14
Testing polymorphic behavior
Soundarajan, N., Tyler, B., 2002 In : Journal of Object Technology. 1, 3, p. 173-188
Specification-based incremental testing of object oriented systems
Soundarajan, N., Tyler, B., 2001 "Technology of Object-Oriented Languages and Systems. IEEE Computer Society, p. 35-45