Wuliang Sun

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 4

Top Topics

Personal Health

Mobile Applications

Top Venues

GEMOC+MPM@MoDELS

Future Gener. Comput. Syst.

MODULARITY (Companion)

Publications

Kirill Belyaev, Wuliang Sun, Indrakshi Ray, Indrajit Ray
On the design and analysis of protocols for Personal Health Record storage on Personal Data Server devices. Future Gener. Comput. Syst. 80 (2018)
Phillipa Bennett, Wuliang Sun, Ted D. Wade, Geri Georg, Indrakshi Ray, Michael G. Kahn
Analyzing Regulatory Conformance in Medical Research Systems Using Multi-Paradigm Modeling. GEMOC+MPM@MoDELS (2015)
Wuliang Sun, Benoît Combemale, Robert B. France
Towards the use of slicing techniques for an efficient invariant checking. MODULARITY (Companion) (2015)
Wuliang Sun, Benoît Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray
Using Slicing to Improve the Performance of Model Invariant Checking. J. Object Technol. 14 (4) (2015)
Mustafa Al-Lail, Wuliang Sun, Robert B. France
Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties. QSIC (2014)
Ramadan Abdunabi, Wuliang Sun, Indrakshi Ray
Enforcing spatio-temporal access control in mobile applications. Computing 96 (4) (2014)
Wuliang Sun, Robert B. France, Indrakshi Ray
Analyzing Behavioral Refactoring of Class Models. ME@MoDELS (2013)
Wuliang Sun, Robert B. France, Indrakshi Ray
Contract-Aware Slicing of UML Class Models. MoDELS (2013)
Wuliang Sun, Benoît Combemale, Steven Derrien, Robert B. France
Using Model Types to Support Contract-Aware Model Substitutability. ECMFA (2013)
Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun
Systematic Scenario-Based Analysis of UML Design Class Models. ICECCS (2012)
Wuliang Sun, Robert B. France, Indrakshi Ray
Rigorous Analysis of UML Access Control Policy Models. POLICY (2011)
Wuliang Sun, Robert B. France, Indrakshi Ray
Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models. HASE (2011)
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models. J. Univers. Comput. Sci. 16 (17) (2010)
Eunjee Song, Hanil Kim, Wuliang Sun
A property-based verification approach in aspect-oriented modeling. SAC (2009)
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds
XMI2USE: A Tool for Transforming XMI to USE Specifications. ER Workshops (2009)