Conference Modular Typestate Checking of Aliased Objects 2007 • OOPSLA: 22ND INTERNATIONAL CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES, AND APPLICATIONS, PROCEEDINGS • 301-319 Bierhoff K, Aldrich J
Journal Article Modular typestate checking of aliased objects 2007 • ACM Sigplan Notices • 42(10):301-319 Bierhoff K, Aldrich J
Conference Specification and verification of component-based systems 2007 2007 609-610 Aldrich J, Leavens GT, Barnett M, Sharygina N, Giannakopoulou D
Conference Tool support for the compile-time execution structure of object-oriented programs with ownership annotations 2007 543-544 Abi-Antoun M, Aldrich J
Conference A static analysis for extracting runtime views from annotated object-oriented code 2006 734-735 Abi-Antoun M, Aldrich J
Conference Differencing and merging of architectural views 2006 • Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee... • 47-56 Abi-Antoun M, Aldrich J, Nahas N, Schmerl B, Garlan D
Journal Article DiscoTect: A System for Discovering the Architectures of Running Programs using Colored Petri Nets 2006 Schmerl B, Aldrich J, Garlan D, Kazman R, Yan H
Journal Article Discovering architectures from running systems 2006 • IEEE Transactions on Software Engineering • 32(7):454-466 Schmerl B, Aldrich J, Garlan D, Kazman R, Yan H
Conference Practical exception specifications 2006 • Lecture Notes in Computer Science • 4119:200-220 Malayeri D, Aldrich J
Conference Semi-automated incremental synchronization between conceptual and implementation level architectures 2006 • 5TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS • 265-+ Abi-Antoun M, Aldrich J, Garlan D, Schmerl B, Nahas N
Conference Young guns/object orientation 2006 940-942 Overbey J, Foote B, Adamczyk P, Aldrich J, Baniassad E, Grothoff C, Krishna A, McDirmid S, Millstein T, Potanin A, Vaziri M
Journal Article Improving system dependability by enforcing architectural intent 2005 • Software Engineering Notes • 30(4):1-7 Abi-Antoun M, Aldrich J, Garlan D, Schmerl B, Nahas N, Tseng T
Conference Improving system dependability by enforcing architectural intent 2005 1-7 Abi-Antoun M, Aldrich J, Garlan D, Schmerl B, Nahas N, Tseng T
Journal Article Lightweight object specification with typestates 2005 • Software Engineering Notes • 30(5):217-226 Bierhoff K, Aldrich J
Conference Modeling and implementing software architecture with acme and ArchJava 2005 • Proceedings - International Conference on Software Engineering • 676-677 Abi-Antoun M, Aldrich J, Garlan D, Schmerl B, Nahas N, Tseng T
Conference Open modules: Modular reasoning about advice 2005 • Lecture Notes in Computer Science • 3586:144-168 Aldrich J
Journal Article Permission-based ownership: Encapsulating state in higher-order typed languages 2005 • ACM Sigplan Notices • 40(6):96-106 Krishnaswami N, Aldrich J
