Actors: A Model of Concurrent Computation, 1986. ,
Formalizing architectural connection, Proceedings of 16th International Conference on Software Engineering, pp.71-80, 1994. ,
DOI : 10.1109/ICSE.1994.296767
Customization and Composition of Distributed Objects: Policy Management in Distributed Software Architectures, 1999. ,
Customization and Composition of Distributed Objects: Middleware Abstractions for Policy Management, Proceedings of the 6th International Symposium on the Foundations of Software Engineering, pp.1-9, 1998. ,
Durra: a structure description language for developing distributed applications, Software Engineering Journal, vol.8, issue.2, pp.83-94, 1993. ,
DOI : 10.1049/sej.1993.0012
The SURE approach to reliability analysis, IEEE Transactions on Reliability, vol.41, issue.2, pp.210-218, 1992. ,
DOI : 10.1109/24.257783
A survey of architecture description languages, Proceedings of the 8th International Workshop on Software Specification and Design, 1996. ,
DOI : 10.1109/IWSSD.1996.501143
Difficulties in simulating the Internet, IEEE/ACM Transactions on Networking, vol.9, issue.4, 2001. ,
DOI : 10.1109/90.944338
Reconciling the Needs of Architectural Description with Object-Modeling Notations, Proceedings of the 3rd International Conference on the Unified Modeling Language, 2000. ,
Reliability estimation of fault-tolerant systems: tools and techniques, Computer, vol.23, issue.7, pp.52-61, 1990. ,
DOI : 10.1109/2.56852
Software Reliability Guidebook, 1979. ,
An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-583, 1969. ,
DOI : 10.1145/363235.363259
Communicating Sequential Processes, 1985. ,
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997. ,
DOI : 10.1109/32.588521
Configuration-based programming systems, Proceedings of SOF- SEM'97: Theory and Practice of Informatics, pp.183-200, 1997. ,
DOI : 10.1007/3-540-63774-5_106
Architecture-based exception handling, Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001. ,
DOI : 10.1109/HICSS.2001.927253
Achieving middleware customization in a configuration-based development environment: experience with the Aster prototype, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), pp.207-214, 1998. ,
DOI : 10.1109/CDS.1998.675775
Systematic aid for developing middleware architectures, Communications of the ACM, vol.45, issue.6, pp.53-58, 2002. ,
DOI : 10.1145/508448.508474
URL : https://hal.archives-ouvertes.fr/inria-00415131
Reliability analysis of large, complex systems using ASSIST, Digital Avionics Systems Conference, pp.227-234 ,
DOI : 10.2514/6.1988-3898
Toward a Discipline of Scenario- Based Architectural Engineering, Annals of Software Engineering, vol.9, issue.1/4, pp.5-33, 2000. ,
DOI : 10.1023/A:1018964405965
The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994. ,
DOI : 10.1145/177492.177726
DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'., pp.2-11, 1985. ,
DOI : 10.1109/FTCSH.1995.532603
Definition and analysis of hardware- and software-fault-tolerant architectures, Computer, vol.23, issue.7, pp.39-51, 1990. ,
DOI : 10.1109/2.56851
An event-based architecture definition language, IEEE Transactions on Software Engineering, vol.21, issue.9, pp.717-734, 1995. ,
DOI : 10.1109/32.464548
Attribute-based architectural styles, Proceedings of the 1st IFIP Working Conference on Software Architecture (WICSA-1), pp.225-243, 1999. ,
Structuring parallel and distributed programs, Proceedings of the 1st International Conference on Configurable Distributed Systems, 1992. ,
DOI : 10.1049/sej.1993.0011
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.330
Behavior Analysis of Software Architectures, Proceedings of the 1st IFIP Working Conference on Software Architectures (WICSA-1), pp.35-49, 1999. ,
Constructing distributed systems in Conic, IEEE Transactions on Software Engineering, vol.15, issue.6, pp.663-675, 1989. ,
DOI : 10.1109/32.24720
Modeling software architectures in the Unified Modeling Language, ACM Transactions on Software Engineering and Methodology, vol.11, issue.1 ,
DOI : 10.1145/504087.504088
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000. ,
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077
A Calculus of Communicating Systems, 1980. ,
DOI : 10.1007/3-540-10235-3
Communicating and Mobile Systems: the pi-calculus, 1999. ,
Correct architecture refinement, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.356-372, 1995. ,
DOI : 10.1109/32.385972
Software Reliability -Principles and Practices [35] NASA. Reliability Block Diagrams and Reliability Modeling, 1976. ,
Demonstration of Support for Architectural Design for Dependable SoS ,
Abstractions for software architecture and tools to support them, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.314-335, 1995. ,
DOI : 10.1109/32.385970
Architecting Dependable Systems, the Web Services Architecture, 2003. ,
A Component and Message Based Architectural Style for GUI Software, IEEE Transactions on Software Engineering, issue.6, pp.22390-406, 1996. ,
Automating the performance and reliability analysis of enterprise information systems, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2000. ,
DOI : 10.1109/ASE.2001.989827
Architecting Dependable Systems, volume 2677 of LNCS, chapter Quality Analysis of Dependable Systems: A Developer Oriented Approach, 2003. ,
Initial Results on Architectures and Dependable Mechanisms for Dependable SoSs, IC2 report An Architecture-based Environment for the Development of DSoS. Available at URL: http ,