Automatic Synthesis of Linear Process Models from Temporal Constraints: An Incremental Approach, Proceedings of the ACM-SIGPLAN International Workshop on Automated Analysis of Software (AAS'97), pp.127-141, 1997. ,
Reliability analysis of large, complex systems using ASSIST, Digital Avionics Systems Conference, pp.227-234, 1988. ,
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
Attribute-Based Architectural Styles, Proceedings of the 1st IFIP Working Conference on Software Architecture (WICSA-1), pp.225-243, 1999. ,
Automating the composition of middleware configurations, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.241-244, 2000. ,
DOI : 10.1109/ASE.2000.873668
SPIN-ing Software Architectures: A Method for Exploring Complex Systems, Proceedings of the 2nd IEEE/IFIP Working Conference on Software Architecture (WICSA- 2), pp.67-76, 2001. ,
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
Correct Architecture Refinement, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.356-372, 1995. ,
Failure Modes Analysis of CORBA-Based Middleware -Preliminary Results, Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN'2001), 2001. ,
A compositional approach for constructing connectors, Proceedings Working IEEE/IFIP Conference on Software Architecture, pp.148-157, 2001. ,
DOI : 10.1109/WICSA.2001.948424
Automating the performance and reliability analysis of enterprise information systems, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), p.page to appear, 2001. ,
DOI : 10.1109/ASE.2001.989827
Towards a base UML Profile for Architecture Description, Proceedings of the 1st ICSE Workshop on Describing Software Architecture with UML, pp.22-26, 2001. ,