17th Innovations in Software Engineering Conference (ISEC 2024)
Thu 22 - Sat 24 February 2024 Bangalore, India
  • Attending
    • Venue: International Institute of Information Technology, Bangalore
    • Registration
    • Travel Grants
    • Student Accommodation
    • Accommodation
  • Program
    • 17th Innovations in Software Engineering Conference (ISEC) Program
    • Your Program
    • Thu 22 Feb
    • Fri 23 Feb
    • Sat 24 Feb
  • Tracks
      • 17th Innovations in Software Engineering Conference (ISEC 2024)
      • Invited Talk
      • Research Papers
      • Tutorials and Workshops
      • Doctoral Symposium
      • Software Engineering in Practice
      • Student Posters Session
  • Organization
      • 17th Innovations in Software Engineering Conference (ISEC 2024) Committees
      • Organizing Committee
      • Steering Committee
      • Track Committees
      • Research Papers
      • Tutorials and Workshops
      • Doctoral Symposium
      • Software Engineering in Practice
      • Student Posters Session
      • Contributors
      • People Index
  • Sponsorship
  • Search
  • Series
    • Series
    • ISEC 2025
    • 17th Innovations in Software Engineering Conference (ISEC 2024)
    • ISEC 2023
    • ISEC 2022
    • ISEC 2021
    • ISEC 2019
    • ISEC 2018
    • ISEC 2017
    • ISEC 2016
    • ISEC 2015
    • ISEC 2014
    • ISEC 2013
    • ISEC 2012
    • ISEC 2011
    • ISEC 2010
    • ISEC 2009
    • ISEC 2008
  • Sign in
  • Sign up
17th Innovations in Software Engineering Conference (ISEC 2024) (series) / Guangdong Bai
  • conf.research.org general profile
  • ASE 2022 profile
  • ASE 2023 profile
  • ASE 2024 profile
  • ASE 2025 profile
  • ECOOP and ISSTA 2021 profile
  • ECOOP and ISSTA 2023 profile
  • FSE 2024 profile
  • FSE 2025 profile
  • ICSE 2023 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • ICSE 2026 profile
  • ISSTA 2025 profile
  • ISSTA/ECOOP 2024 profile
  • POPL 2024 profile
  • SANER 2024 profile
Guangdong Bai

Registered user since Sun 30 May 2021

Name:Guangdong Bai
Country:Australia
Affiliation:The University of Queensland
Personal website: https://baigd.github.io/

Contributions

2024

ISEC

  • Symbolic Verification of Mesh Commissioning Protocol of Thread

Show activities from other conferences

Share
17th Innovations in Software Engineering Conference (ISEC 2024)-profile
View general profile
xSat 7 Jun 03:04

17th Innovations in Software Engineering Conference (ISEC 2024)


using conf.researchr.org (v1.69.0)
Support page

Tracks

Invited Talk
Research Papers
Tutorials and Workshops
Doctoral Symposium
Software Engineering in Practice
Student Posters Session

Attending

Venue: International Institute of Information Technology, Bangalore
Registration
Travel Grants
Student Accommodation
Accommodation
Sign Up