Alloy Community

User login

anonymous

Home » User account

info

Name
Anonymous
Role
student

History

Member for
1 year 43 weeks

Recent Activities
StoryWelcome! anonymous9 weeks 5 days ago
PageAbout anonymous15 weeks 16 hours ago
Forum topicPerformance anonymous21 weeks 6 days ago
Forum topictesters using alloy anonymous1 year 3 weeks ago
Forum topicUsing Alloy for Compliance Analysis anonymous1 year 15 weeks ago
PublicationUsing Alloy to Automatically Verify the Soundness of the Simulation Rules for Reasoning about State-Based and Event-Based Models anonymous1 year 17 weeks ago
PublicationAutomated Extraction of Abstract Object Models anonymous1 year 17 weeks ago
PublicationProposal for a formal foundation of RM-ODP concepts anonymous1 year 17 weeks ago
PublicationA Formal Foundation of the RM-ODP Conceptual Framework anonymous1 year 17 weeks ago
PublicationRM-ODP part 2: Foundations in Alloy. anonymous1 year 17 weeks ago
PublicationA Policy Framework for Management of Distributed Systems anonymous1 year 17 weeks ago
PublicationTriune Continuum Paradigm: a paradigm for General System Modeling and its applications for UML and RM-ODP anonymous1 year 17 weeks ago
PublicationDelegation of Obligations anonymous1 year 17 weeks ago
PublicationA Lightweight Approach to Specification and Analysis of Role-based Access Control Extensions anonymous1 year 17 weeks ago
PublicationExploring Filesystem Synchronization with Lightweight Modeling and Analysis anonymous1 year 17 weeks ago
PublicationA Framework for Organisational Control Principles anonymous1 year 17 weeks ago
PublicationLightweight Modelling and Automatic Analysis of Multicast Key Management Schemes anonymous1 year 17 weeks ago
PublicationUsing Alloy in Process Modelling anonymous1 year 17 weeks ago
PublicationThe Design and Implementation of FIG: A Record/Playback Mechanism for ETMS Feeds anonymous1 year 17 weeks ago
PublicationChecking and Reasoning about Semantic Web through Alloy anonymous1 year 17 weeks ago
123456789next ›last »

Syndicate content  

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