Ben Tyler

View Scopus Profile

Ben Tyler, PhD

Associate Professor

Accepting PhD Students

Calculated based on number of publications stored in Pure and citations from Scopus
20012025

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    Formal Methods Adoption in Industry: An Experience Report

    Tyler, B., 2023, Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Tutorial Lectures. Cerone, A. (ed.). Springer Science and Business Media Deutschland GmbH, p. 152-161 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13490 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)
  • 2022

    In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL)

    Cerone, A., Murzagaliyeva, D., Nabiyeva, N., Tyler, B. & Pluck, G., 2022, Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. Cerone, A., Autili, M., Bucaioni, A., Gomes, C., Graziani, P., Palmieri, M., Temperini, M. & Venture, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 37-52 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13230 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)
  • 2019

    Renewable Energy Management Using Action Dependent Heuristic Dynamic Programming

    Sterling, G. & Tyler, B., Feb 28 2019, 2018 IEEE International Smart Cities Conference, ISC2 2018. Institute of Electrical and Electronics Engineers Inc., 8656942. (2018 IEEE International Smart Cities Conference, ISC2 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Citations (Scopus)
  • 2016

    Flipping the CS1 and CS2 classrooms in Central Asia

    Tyler, B. & Abdrakhmanova, M., Nov 28 2016, FIE 2016 - Frontiers in Education 2016: The Crossroads of Engineering and Business. Institute of Electrical and Electronics Engineers Inc., 7757739. (Proceedings - Frontiers in Education Conference, FIE; vol. 2016-November).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Citations (Scopus)
  • 2011

    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. (AIAA Infotech at Aerospace Conference and Exhibit 2011).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2010

    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 4 p. 5712921. (Proceedings of the IEEE 2010 National Aerospace and Electronics Conference, NAECON 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)
  • 2006

    A comparative study of monitoring tools for pattern-centric behavior

    Tyler, B., Hallstrom, J. O. & Soundarajan, N., 2006, Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30. p. 37-46 10 p. 4090243. (Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)

  • Amplifying the benefits of design patterns: From specification through implementation

    Hallstrom, J. O., Soundarajan, N. & Tyler, B., 2006, Fundamental Approaches to Software Engineering - 9th International Conference, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. p. 214-229 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3922 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    8 Citations (Scopus)

  • Automated generation of monitors for pattern contracts

    Tyler, B., Hallstrom, J. O. & Soundarajan, N., 2006, Applied Computing 2006 - The 21st Annual ACM Symposium on Applied Computing - Proceedings of the 2006 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 1779-1784 6 p. (Proceedings of the ACM Symposium on Applied Computing; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Citations (Scopus)

  • 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 4 p. (18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution