Spitznagel, B., Garlan, D.  "Architecture-Based Performance Analysis."
Accepted for publication in Proceedings of the 10th International
Conference on Software Engineering and Knowledge Engineering
(SEKE'98), June, 1998.

Allen, R., Douence, R., Garlan, D.  "Specifying and Analyzing Dynamic
Software Architectures."  Proceedings of the 1998 Conference on
Fundamental Approaches to Software Engineering (FASE'98), March, 1998.

Leavens, G., Wing, J.  "Protective Interface Specifications."  Formal
Aspects of Computing, March, 1998.

Jackson, D., Ng, Y., Wing, J.  "A Nitpick Analysis of Mobile IPv6."
CMU Technical Report CMU-CS-98-113, March, 1998.

Garlan, D.  "Higher-Order Connectors."  Proceedings of Workshop on
Compositional Software Architectures, January, 1998.

Wang, Z.  "Separating Application Logic from Architectural Concerns -
Beyond Object Services and Frameworks."  Proceedings of Workshop on
Compositional Software Architectures, January, 1998.

Vaziri-Farahani, M., Lynch, N., Wing, J.  "Proving the Correctness of
a Controller Algorithm for the RAID Level 5 System."  Accepted for
publication in Fault-Tolerant CS, 1998.

DeLine, R.  "Understanding Changes to Software Component Packaging."
Submitted to the 5th International Conference on Software Reuse,
December, 1997.

Garlan, D., Monroe, R., Wile, D.  "ACME: An Architecture Description
Interchange Language."  Proceedings of CASCON'97, November, 1997.

Melton, R., Garlan, D.  "Architectural Unification."  Proceedings of
CASCON'97, November 1997.

Garlan, D., Tomayko, J., Gluch, D.  "Agents of Change: Educating
Future Leaders in Software Engineering."  IEEE Computer, November,
1997.

Zaremski, A., Wing, J.  "Specification Matching of Software
Components."  ACM Transactions on Software Engineering and
Methodology, October, 1997.

Jackson, D., Ng, Y., Wing, J.  "A Nitpick Analysis of Mobile IPv6."
Submitted to Formal Aspects of Computing, September, 1997.

Allen, R., Garlan, D., Ivers, J.  "Formal Modeling and Analysis of
Architectural Standards."  Submitted for publication, September, 1997.

Kindred, D., Wing, J.  "Closing the Idealization Gap with Theory
Generation."  Proceedings of the DIMACS Workshop on Cryptogaphic
Protocol Design and Verification, Rutgers, NJ, September, 1997.
(extended abstract)

Allen, R., Garlan, D., Douence, R.  "Specifying Dynamism in Software
Architectures." Proceedings of the Workshop on Foundations of
Component-Based Software Engineering (FASE), Zurich, Switzerland,
September, 1997.

Shaw, M., Clements, P.  "A Field Guide to Boxology: Preliminary
Classification of Architectural Styles for Software Systems."  COMPSAC
`97, August, 1997.

Wing, J.  " Subtyping for Distributed Object Stores."  Proceedings of
the Second IFIP International Workshop onFormal Methods for Open
Object-based Distributed Systems (FMOODS), University of Kent at
Canterbury, July, 1997, pp. 305-318.  (invited paper)

Allen, R., Garlan, D.  "A Formal Basis for Architectural Connection."
ACM Transactions on Software Engineering and Methodology, July, 1997.

DeLine, R., Zelesnik, G., Shaw, M.  "Lessons on Converting Batch
Systems to Support Interaction."  Proceedings of the 19th
International Conference on Software Engineering, May, 1997,
pp.195-204.

Allen, R.  "A Formal Approach to Software Architecture."
Ph.D. Thesis, Carnegie Mellon University, May, 1997. CMU Technical
Report CMU-CS-97-144.

Ng, Y.  "A Nitpick Specification of IPv6." B.S. in Computer Science,
May 1997.

O'Callahan, R., Jackson, D.  "Lackwit: A Program Understanding Tool
Based on Type Inference."  Proceedings of the 19th International
Conference on Software Engineering, May, 1997, pp. 338-348.

Jackson, D., Jha, S., Damon, C.  "Isomorph-free Model Enumeration: A
New Method for Checking Relational Specifications."  ACM Transactions
on Programming Languages and Systems, accepted, to appear.

Garlan, D., Wang, Z.  "A Case Study in Software Architecture
Interchange."  Submitted for publication, February, 1998.

Dingel, J., Garlan, D., Jha, S., Notkin, D.  "Towards a Formal
Treatment of Implicit Invocation."  Accepted for publication in Formal
Aspects of Computing.

Wing, J., Vaziri-Farahani, M.  "A Case Study in Model Checking
Software Systems."  Science of Computer Programming, Vol. 28, 1997,
pp. 273-299.