Wuliang Sun

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