Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lei Bu
conf.researchr.org general profile
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
x
Sun 22 May 22:50