XMI2USE: A Tool for Transforming XMI to USE Specifications. - Wuliang Sun; Eunjee Song; Paul C. Grabow; Devon M. Simmonds (ER Workshops, 2009)

A property-based verification approach in aspect-oriented modeling. - Eunjee Song; Hanil Kim; Wuliang Sun (SAC, 2009)

Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models. - Wuliang Sun; Eunjee Song; Paul C. Grabow; Devon M. Simmonds (J. Univers. Comput. Sci., 2010)

Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models. - Wuliang Sun; Robert B. France; Indrakshi Ray (HASE, 2011)

Rigorous Analysis of UML Access Control Policy Models. - Wuliang Sun; Robert B. France; Indrakshi Ray (POLICY, 2011)

Systematic Scenario-Based Analysis of UML Design Class Models. - Lijun Yu; Robert B. France; Indrakshi Ray; Wuliang Sun (ICECCS, 2012)

Using Model Types to Support Contract-Aware Model Substitutability. - Wuliang Sun; Benoît Combemale; Steven Derrien; Robert B. France (ECMFA, 2013)

Contract-Aware Slicing of UML Class Models. - Wuliang Sun; Robert B. France; Indrakshi Ray (MoDELS, 2013)

Analyzing Behavioral Refactoring of Class Models. - Wuliang Sun; Robert B. France; Indrakshi Ray (ME@MoDELS, 2013)

Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties. - Mustafa Al-Lail; Wuliang Sun; Robert B. France (QSIC, 2014)

Enforcing spatio-temporal access control in mobile applications. - Ramadan Abdunabi; Wuliang Sun; Indrakshi Ray (Computing, 2014)

Towards the use of slicing techniques for an efficient invariant checking. - Wuliang Sun; Benoît Combemale; Robert B. France (MODULARITY (Companion), 2015)

Analyzing Regulatory Conformance in Medical Research Systems Using Multi-Paradigm Modeling. - Phillipa Bennett; Wuliang Sun; Ted D. Wade; Geri Georg; Indrakshi Ray; Michael G. Kahn (GEMOC+MPM@MoDELS, 2015)

Using Slicing to Improve the Performance of Model Invariant Checking. - Wuliang Sun; Benoît Combemale; Robert B. France; Arnaud Blouin; Benoit Baudry; Indrakshi Ray (J. Object Technol., 2015)

On the design and analysis of protocols for Personal Health Record storage on Personal Data Server devices. - Kirill Belyaev; Wuliang Sun; Indrakshi Ray; Indrajit Ray (Future Gener. Comput. Syst., 2018)