Ning Ge -

Registered user since Sat 4 Feb 2023

Name:Ning Ge

Country:China

Affiliation:School of Software, Beihang University

Contributions

2023

ICSE

Author of HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols within the DEMO - Demonstrations-track

2022

MODELS

Author of Towards the Practical Adoption of LIDL: A Toolchain for Modeling Human-Machine Interface Software Interactions within the Tools & Demonstrations-track