Wuliang Sun

According to our database, Wuliang Sun authored at least 15 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

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

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

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

Towards the use of slicing techniques for an efficient invariant checking.

Wuliang Sun, Benoît Combemale, Robert B. France

Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

2014

Enforcing spatio-temporal access control in mobile applications.

Ramadan Abdunabi, Wuliang Sun, Indrakshi Ray

Computing, 2014

Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties.

Mustafa Al-Lail, Wuliang Sun, Robert B. France

Proceedings of the 2014 14th International Conference on Quality Software, 2014

2013

Analyzing Behavioral Refactoring of Class Models.

Wuliang Sun, Robert B. France, Indrakshi Ray

Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Contract-Aware Slicing of UML Class Models.

Wuliang Sun, Robert B. France, Indrakshi Ray

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Using Model Types to Support Contract-Aware Model Substitutability.

Wuliang Sun, Benoît Combemale, Steven Derrien, Robert B. France

Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

2012

Systematic Scenario-Based Analysis of UML Design Class Models.

Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Rigorous Analysis of UML Access Control Policy Models.

Wuliang Sun, Robert B. France, Indrakshi Ray

Proceedings of the POLICY 2011, 2011

Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models.

Wuliang Sun, Robert B. France, Indrakshi Ray

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

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

2009

A property-based verification approach in aspect-oriented modeling.

Eunjee Song, Hanil Kim, Wuliang Sun

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

XMI2USE: A Tool for Transforming XMI to USE Specifications.

Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds

Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009