Publications

• Toward a More Complete Alloy
  Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
  Proceedings of the 3rd International Conference on Abstract State Machines, Alloy, B, and Z (ABZ 2012)
  To Appear: June 2012.
  

• The Margrave Tool for Firewall Analysis
  Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
  Proceedings of the 24th USENIX Large Installation System Administration Conference (LISA 2010)
  

Position Papers

• On the Finite Model Property in Order-Sorted Logic
  Timothy Nelson, Dougherty Daniel, Kathi Fisler and Shriram Krishnamurthi
  Synthesis, Verification, and Analysis of Rich Models (SVARM 2010)
  

Technical Reports

• On the Finite Model Property in Order-Sorted Logic
  Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi