6
Publications
86
Citations
6
H-Index
2019
Active since
Affiliations
Baoluo Meng is an author at GE Global Research (United States) specializing in systems engineering, engineering, and computer science.
Top concepts
EngineeringSystems EngineeringSoftware DesignComputer ScienceComputer EngineeringSoftware EngineeringSoftware SystemsFormal VerificationInformation SecuritySecurity Architecture
Publications per year
2019–2022
6
6
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System
Baoluo Meng, Daniel Larraz, Kit Siu et al. · Systems · 2021 · 25 citations · Full text
Architectural and Behavioral Analysis for Cyber Security
Kit Siu, Abha Moitra, Meng Li et al. · 2019 · 19 citations
Security Modelling, Security Architecture, Threat (Computer) +15
Requirements-based Automated Test Generation for Safety Critical Software
Meng Li, Baoluo Meng, Han Yu et al. · 2019 · 11 citations
A Semantic Reference Model for Capturing System Development and Evaluation
Abha Moitra, Paul Cuddihy, Kit Siu et al. · 2022 · 11 citations
Rows per page
1–5 of 6