Follow
Phillipa Bennett
Title
Cited by
Cited by
Year
Fine-grained semi-automated runtime evolution
W Cazzola, NA Rossini, P Bennett, SP Mandalaparty, R France
Models@ run. time: Foundations, Applications, and Roadmaps, 237-258, 2014
172014
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.
M Balaban, P Bennett, KH Doan, G Georg, M Gogolla, I Khitron, M Kifer
OCL@ MoDELS, 57-72, 2016
132016
Analysis of a relationship based access control model
P Bennett, I Ray, R France
Proceedings of the Eighth International C* Conference on Computer Science …, 2015
122015
Modeling of online social network policies using an attribute-based access control framework
P Bennett, I Ray, R France
Information Systems Security: 11th International Conference, ICISS 2015 …, 2015
82015
Analyzing Regulatory Conformance in Medical Research Systems Using Multi-Paradigm Modeling.
P Bennett, W Sun, TD Wade, G Georg, I Ray, MG Kahn
GEMOC+ MPM@ MoDELS, 22-31, 2015
12015
A hybrid model checking approach to analysing rule conformance applied to HIPAA privacy rules
P Bennett, J Bieman, G Georg, D Turk, S Ghosh
Colorado State University. Libraries, 2017
2017
Towards a Formal Model for Software Component Composition using Whole-Part Theory.
PL Bennett, EK Mugisa
Software Engineering Research and Practice, 639-644, 2008
2008
Landslide Hazard Assessment: An Expert System for the Assessment of the Potential for Urban Landslide Hazard
P Bennett
University of the West Indies, Mona Campus, 2002
2002
The system can't perform the operation now. Try again later.
Articles 1–8