Phillipa Bennett

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Unified Modeling Language

Mathematical Analysis

Top Venues

GEMOC+MPM@MoDELS

Publications

Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. OCL@MoDELS (2016)
Phillipa Bennett, Indrakshi Ray, Robert B. France
Analysis of a Relationship Based Access Control Model. C3S2E (2015)
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)
Phillipa Bennett, Indrakshi Ray, Robert B. France
Modeling of Online Social Network Policies Using an Attribute-Based Access Control Framework. ICISS (2015)
Walter Cazzola, Nicole Alicia Rossini, Phillipa Bennett, Sai Pradeep Mandalaparty, Robert B. France
Fine-Grained Semi-automated Runtime Evolution. Models@run.time@Dagstuhl (2011)