Author:Lei Bu

Publications
ARCH-COMP25 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Atanu Kundu, Rajarshi Ray and Yuhui Shi In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP24 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Atanu Kundu, Rajarshi Ray and Yuhui Shi In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi and Enea Zaffanella In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Locality Based Cache Side-channel Attack Detection Limin Wang, Lei Bu and Fu Song In:Proceedings of 10th International Workshop on Security Proofs for Embedded Systems
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'Ul Mufid, Rajarshi Ray, Yuming Wu and Enea Zaffanella In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics Lei Bu, Rajarshi Ray and Stefan Schupp In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta and Enea Zaffanella In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics Lei Bu, Rajarshi Ray and Stefan Schupp In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'Ul Mufid and Enea Zaffanella In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics Lei Bu, Rajarshi Ray and Stefan Schupp In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu and Mirco Giacobbe In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems

Keyphrases

ARCH-COMP², Bounded Model Checking², Detection based defenses, high-level information, hybrid system², Hybrid System Model Checker, Hybrid Systems with Piecewise Constant Dynamics, locality, model checker, model checking, PCDB Category, Piecewise Constant Dynamics², side-channel attacks.