Conference Practical API Protocol Checking with Access Permissions 2009 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5653:195-219 Bierhoff K, Beckman NE, Aldrich J
Conference Reducing STM overhead with access permissions 2009 1-10 Beckman NE, Kim YP, Stork S, Aldrich J
Conference SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems: Foreword 2009 • Savcbs 09 Proceedings of the 8th International Workshop on Specification and Verification of Component Based Systems Huisman M, Aldrich J, Barnett M, Giannakopoulou D, Leavens GT, Sharygina N
Conference Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure using Annotations 2009 • ACM Sigplan Notices • 44(10):321-340 Abi-Antoun M, Aldrich J
Conference Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure using Annotations 2009 • OOPSLA 2009, CONFERENCE PROCEEDINGS • 321-340 Abi-Antoun M, Aldrich J
Conference Static extraction of sound hierarchical runtime object graphs 2009 51-64 Abi-Antoun M, Aldrich J
Conference Typestate Protocol Specification in JML 2009 • EIGHTH WORKSHOP ON SPECIFICATION AND VERIFICATION OF COMPONENT-BASED SYSTEMS-SAVCBS 2009 • 11-18 Kim T, Bierhoff K, Aldrich J, Kang S
Journal Article A Field Study in Static Extraction of Runtime Architectures 2008 Abi-Anton M, Aldrich J
Conference A field study in static extraction of runtime architectures 2008 22-28 Abi-Antoun M, Aldrich J
Journal Article Differencing and merging of architectural views 2008 • Automated Software Engineering • 15(1):35-74 Abi-Antoun M, Aldrich J, Nahas N, Schmerl B, Garlan D
Conference Integrating nominal and structural subtyping 2008 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5142:260-284 Malayeri D, Aldrich J
Conference PLURAL: Checking Protocol Compliance under Aliasing 2008 • Proceedings - International Conference on Software Engineering • 971-972 Bierhoff K, Aldrich J
Conference SASyLF: An Educational Proof Assistant for Language Theory 2008 • FDPE'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN WORKSHOP ON FUNCTIONAL AND DECLARATIVE PROGRAMMING IN EDUCATION • 31-40 Aldrich J, Simmons RJ, Shin K
Conference Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture 2008 741-742 Abi-Antoun M, Aldrich J
Conference Tool support for the static extraction of sound hierarchical representations of runtime object graphs 2008 743-744 Abi-Antoun M, Aldrich J
Conference Using types to enforce architectural structure 2008 • SEVENTH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS • 211-220 Aldrich J
Journal Article Verifying Correct Usage of Atomic Blocks and Typestate 2008 • ACM Sigplan Notices • 43(10):227-244 Beckman NE, Bierhoff K, Aldrich J
Journal Article Verifying Correct Usage of Atomic Blocks and Typestate 2008 • ACM Sigplan Notices • 227-244 Beckman NE, Bierhoff K, Aldrich J
Conference Verifying correct usage of atomic blocks and typestate 2008 227-244 Beckman NE, Bierhoff K, Aldrich J
Journal Article Verifying Correct Usage of Atomic Blocks and Typestate: Technical Companion 2008 Beckman NE, Aldrich J
