Alloy Community

User login

anonymous

Home » User account

info

Name
Anonymous
Role
student

History

Member for
4 years 2 weeks

Recent Activities
StoryWelcome! anonymous1 year 30 weeks ago
PageAbout anonymous2 years 26 weeks ago
Forum topicPerformance anonymous2 years 33 weeks ago
Forum topictesters using alloy anonymous3 years 15 weeks ago
Forum topicUsing Alloy for Compliance Analysis anonymous3 years 27 weeks ago
PublicationUsing Alloy to Automatically Verify the Soundness of the Simulation Rules for Reasoning about State-Based and Event-Based Models anonymous3 years 28 weeks ago
PublicationAutomated Extraction of Abstract Object Models anonymous3 years 28 weeks ago
PublicationProposal for a formal foundation of RM-ODP concepts anonymous3 years 28 weeks ago
PublicationA Formal Foundation of the RM-ODP Conceptual Framework anonymous3 years 28 weeks ago
PublicationRM-ODP part 2: Foundations in Alloy. anonymous3 years 28 weeks ago
PublicationA Policy Framework for Management of Distributed Systems anonymous3 years 28 weeks ago
PublicationTriune Continuum Paradigm: a paradigm for General System Modeling and its applications for UML and RM-ODP anonymous3 years 28 weeks ago
PublicationDelegation of Obligations anonymous3 years 28 weeks ago
PublicationA Lightweight Approach to Specification and Analysis of Role-based Access Control Extensions anonymous3 years 28 weeks ago
PublicationExploring Filesystem Synchronization with Lightweight Modeling and Analysis anonymous3 years 28 weeks ago
PublicationA Framework for Organisational Control Principles anonymous3 years 28 weeks ago
PublicationLightweight Modelling and Automatic Analysis of Multicast Key Management Schemes anonymous3 years 28 weeks ago
PublicationUsing Alloy in Process Modelling anonymous3 years 28 weeks ago
PublicationThe Design and Implementation of FIG: A Record/Playback Mechanism for ETMS Feeds anonymous3 years 28 weeks ago
PublicationChecking and Reasoning about Semantic Web through Alloy anonymous3 years 28 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