Multiple mass-market applications as components
Proceedings of the 22nd international conference on Software engineering
Galileo: a tool built from mass-market applications
Proceedings of the 22nd international conference on Software engineering
Sound methods and effective tools for engineering modeling and analysis
Proceedings of the 25th International Conference on Software Engineering
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
Modeling Dependability of Dynamic Computing Systems
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Dynamic aspects and behaviors of complex systems in performance and reliability assessment
ACM SIGMETRICS Performance Evaluation Review
| Hi-index | 0.01 |