Xi Wang

16 papers C 6Misc 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2022 C conf
A framework for Requirements specification of machine-learning systems.
SEKE
Xi Wang, Weikai Miao
2021 Misc conf
A Formal Engineering Approach to Product Family Modeling.
TASE
Xi Wang, Ridha Khédri, Weikai Miao
2016 J jnl
An Evolutionary Method for the Formal Specification Construction of Service-Based Software.
Int. J. Softw. Eng. Knowl. Eng.
Weikai Miao, Xi Wang
2016 — conf
Automated Safety Analysis on Scenario-Based Requirements for Train Control System.
SOFL+MSVL
Xi Wang, Huaikou Miao, Weikai Miao
2016 C conf
Automatic support for formal specification construction using pattern knowledge.
SNPD
Xi Wang, Weikai Miao
2015 Misc conf
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge.
TASE
Weikai Miao, Xi Wang, Shaoying Liu
2015 C conf
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.
ICFEM
Shaoying Liu, Xi Wang, Weikai Miao
2014 J jnl
Computer-Aided Formalization of Requirements Based on Patterns.
IEICE Trans. Inf. Syst.
Xi Wang, Shaoying Liu
2013 — conf
An Approach to Declaring Data Types for Formal Specifications.
SOFL+MSVL
Xi Wang, Shaoying Liu
2013 C conf
An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements.
ICIS
Xi Wang, Shaoying Liu
2013 C conf
Guided Requirements Clarification for Automatic Formalization.
SNPD
Xi Wang, Shaoying Liu
2012 — conf
Development of a Supporting Tool for Formalizing Software Requirements.
SOFL
Xi Wang, Shaoying Liu
2011 — conf
A Pattern-Based Approach to Formal Specification Construction.
FGIT-ASEA/DRBC/EL
Xi Wang, Shaoying Liu, Huaikou Miao
2010 C conf
A Pattern System to Support Refining Informal Ideas into Formal Expressions.
ICFEM
Xi Wang, Shaoying Liu, Huaikou Miao
2008 — conf
An Approach to Transforming UML Model to FSM Model for Automatic Testing.
CSSE (2)
Xi Wang, Liang Guo, Huaikou Miao
2008 J jnl
Towards Automatic Transformation from UML Model to FSM Model for Web Applications.
J. Softw. Eng. Appl.
Xi Wang, Huaikou Miao, Liang Guo
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski