Alloy Community

User login

anonymous

Home » User account

info

Name
Anonymous
Role
student

History

Member for
1 year 43 weeks

Recent Activities
PublicationA Framework for Organisational Control Principles anonymous1 year 17 weeks ago
BookLogic in Computer Science: Modelling and Reasoning about Systems anonymous1 year 17 weeks ago
PublicationBasic Laws of Object Modeling anonymous1 year 17 weeks ago
PublicationFinding Bugs in Software with a Constraint Solver anonymous1 year 17 weeks ago
PublicationTowards a Small Model Theorem for Data Independent Systems in Alloy anonymous1 year 17 weeks ago
PublicationInferring Specifications to Detect Errors in Code anonymous1 year 17 weeks ago
PublicationBasic Laws of Object Modeling anonymous1 year 17 weeks ago
PublicationDeclarative Symbolic Pure Logic Model Checking anonymous1 year 17 weeks ago
PublicationUML2ALLOY: A tool for light-weight modelling of discrete event systems anonymous1 year 17 weeks ago
PublicationAutomated Analysis of Security APIs anonymous1 year 17 weeks ago
PublicationGovernance Policies for Privacy Access Control and their Interactions anonymous1 year 17 weeks ago
PublicationNetwork Configuration Management via Model Finding anonymous1 year 17 weeks ago
PublicationMAMBO Metamodeling Environment anonymous1 year 17 weeks ago
PublicationAnalyzing the Uses of a Software Modeling Tool anonymous1 year 17 weeks ago
PublicationDeclarative Configuration Applied to Course Scheduling anonymous1 year 17 weeks ago
PublicationSymbolic Model Checking of Declarative Relational Models anonymous1 year 17 weeks ago
PublicationAn Automated Formal Approach to Managing Dynamic Reconfiguration anonymous1 year 17 weeks ago
PublicationLightweight Extraction of Syntactic Specifications anonymous1 year 17 weeks ago
PublicationModeling Partial Attacks With Alloy anonymous1 year 17 weeks ago
PublicationModeling by Example anonymous1 year 17 weeks ago
« first‹ previous123456789next ›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