Alloy Community

Navigation

User login

anonymous

Home » User account

info

Name
Anonymous
Role
student

History

Member for
29 weeks 4 days

Recent Activities
Forum topicUsing Alloy for Compliance Analysis anonymous1 week 4 days ago
PublicationUsing Alloy to Automatically Verify the Soundness of the Simulation Rules for Reasoning about State-Based and Event-Based Models anonymous3 weeks 2 days ago
PublicationAutomated Extraction of Abstract Object Models anonymous3 weeks 2 days ago
PublicationProposal for a formal foundation of RM-ODP concepts anonymous3 weeks 2 days ago
PublicationA Formal Foundation of the RM-ODP Conceptual Framework anonymous3 weeks 2 days ago
PublicationRM-ODP part 2: Foundations in Alloy. anonymous3 weeks 2 days ago
PublicationA Policy Framework for Management of Distributed Systems anonymous3 weeks 2 days ago
PublicationTriune Continuum Paradigm: a paradigm for General System Modeling and its applications for UML and RM-ODP anonymous3 weeks 2 days ago
PublicationDelegation of Obligations anonymous3 weeks 2 days ago
PublicationA Lightweight Approach to Specification and Analysis of Role-based Access Control Extensions anonymous3 weeks 2 days ago
PublicationExploring Filesystem Synchronization with Lightweight Modeling and Analysis anonymous3 weeks 2 days ago
PublicationA Framework for Organisational Control Principles anonymous3 weeks 2 days ago
PublicationLightweight Modelling and Automatic Analysis of Multicast Key Management Schemes anonymous3 weeks 2 days ago
PublicationUsing Alloy in Process Modelling anonymous3 weeks 2 days ago
PublicationThe Design and Implementation of FIG: A Record/Playback Mechanism for ETMS Feeds anonymous3 weeks 2 days ago
PublicationChecking and Reasoning about Semantic Web through Alloy anonymous3 weeks 2 days ago
PublicationA Framework for Organisational Control Principles anonymous3 weeks 2 days ago
BookLogic in Computer Science: Modelling and Reasoning about Systems anonymous3 weeks 2 days ago
PublicationBasic Laws of Object Modeling anonymous3 weeks 2 days ago
PublicationFinding Bugs in Software with a Constraint Solver anonymous3 weeks 2 days ago
123456789next ›last »
 

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte