Hongyu Sun

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Xu Kang, Jie Guo, Bin Song, Binghuang Cai, Hongyu Sun, Zhebin Zhang
Interpretability for reliable, efficient, and self-cognitive DNNs: From theories to applications. Neurocomputing 545 (2023)
Hongyu Sun, Samik Basu, Vasant G. Honavar, Robyn R. Lutz
Automata-Based Verification of Security Requirements of Composite Web Services. ISSRE (2010)
Hongyu Sun, Robyn R. Lutz, Samik Basu
Product-line-based requirements customization for web service compositions. SPLC (2009)
Jing Liu, Josh Dehlinger, Hongyu Sun, Robyn R. Lutz
State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines. ECBS (2007)
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
Integrating Product-Line Fault Tree Analysis into AADL Models. HASE (2007)