• Sign in
  • Sign up
conf.researchr.org / Lei Bu
  • APSEC 2022 profile
  • ECOOP and ISSTA 2021 profile
  • ISSTA 2019 profile
  • ISSTA 2020 profile
  • POPL 2022 profile

Registered user since Mon 17 May 2021

Name:Lei Bu

Contributions

APSEC 2022 Committee Member in Program Committee within the Technical Track-track
VMCAI 2022 Author of Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata within the VMCAI 2022-track
ISSTA 2021 Author of Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms within the Technical Papers-track
ISSTA 2020 Committee Member in Program Committee within the TAV-CPS/IoT-track
ISSTA 2019 Author of Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking within the Workshop – TAV-CPS/IoT-track

Share
xSun 22 May 22:50
using conf.researchr.org (v1.55.6)
Support page
Sign Up