Huaixi Lu

Orcid: 0000-0002-3875-1761

According to our database¹, Huaixi Lu authored at least 4 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Atomicity and Abstraction for Cross-Blockchain Interactions.

[BibT_eX]

[DOI]

Huaixi Lu

Akshay Jajoo

Kedar S. Namjoshi

CoRR, 2024

2023

SoC Protocol Implementation Verification Using Instruction-Level Abstraction Specifications.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., November, 2023

2022

Compositional Verification Using a Formal Component and Interface Specification.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2021

Leveraging Processor Modeling and Verification for General Hardware Modules.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Huaixi Lu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...