Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lecture Notes in Computer Science, 2804)

Compositional Verification of Middleware-Based Software Architecture Descriptions

Proceedings of the 26th International Conference on Software Engineering

On relating functional specifications to architectural specifications: a case study

Science of Computer Programming

Towards an architectural approach for the dynamic and automatic composition of software components

Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis

Towards a Graphical Tool for Refining User to System Requirements

Electronic Notes in Theoretical Computer Science (ENTCS)

A classification and comparison of model checking software architecture techniques

Journal of Systems and Software

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation

Journal of Systems and Software

Component-oriented verification of noninterference

Journal of Systems Architecture: the EUROMICRO Journal

An architecture-centric approach for producing quality systems

QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality

A practical architecture-centric analysis process

QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures

Reducing software architecture models complexity: a slicing and abstraction approach

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems