Personal
Before coming to NU, Dr. Tyler worked in the private sector in the U.S. as a software engineer and researcher. During this time, he was the principal investigator on several projects, some of which included the development of:
- Specification-based techniques for runtime protection of integrated circuits against failure or attack
- Models and algorithms for forecasting behaviors of different social and cultural groups within the context of varied scenarios
- Specification and implementation of a generic System Level Design Language (www.rosetta-lang.org)
- AI-based algorithms for real-time resource allocation for large-scale defense systems which are robust in the face of uncertain or incomplete data
Research Interests
Dr. Tyler’s research interests include the use of formal methods and artificial intelligence techniques for system validation and protection. The use of such hybrid approaches may allow us to overcome complexity and heterogeneity issues that are common in real-world systems, but render standard verification approaches infeasible. He has a continued interest in AI-based algorithms for real-time optimal control, as they are applied to a variety of areas such as the collection and allocation of energy resources, and tasking of autonomous agents in fighting wildland fires. Recently, he has been investigating the use of instructional technologies and methodologies such as the “flipped classroom” approach in Computer Science education.
Flipping the CS1 and CS2 classrooms in Central AsiaTyler, 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 firesHanlon, N., Kumar, M., Cohen, K., Tyler, B.,
2011 AIAA Infotech at Aerospace Conference and Exhibit 2011.
Formal verification of layered sensing architecturesTyler, 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 hierarchiesTyler, B., Soundarajan, N.,
2006 18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006. p. 355-358
Automated generation of monitors for pattern contractsTyler, 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 implementationHallstrom, 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 behaviorTyler, 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 componentsTyler, B., Soundarajan, N.,
2005 Testing Commercial-off-the-Shelf Components and Systems. Springer Berlin Heidelberg, p. 33-54
Testing framework componentsTyler, 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 behaviorTyler, 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 behaviorSoundarajan, N., Tyler, B.,
2002 In : Journal of Object Technology. 1, 3, p. 173-188
Specification-based incremental testing of object oriented systemsSoundarajan, N., Tyler, B.,
2001 "Technology of Object-Oriented Languages and Systems. IEEE Computer Society, p. 35-45
