Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Computer system reliability and nuclear war
Communications of the ACM
Inside risks: some reflections on a telephone switching problem
Communications of the ACM
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Verification of Algorithms for Critical Systems
IEEE Transactions on Software Engineering
Error free code: is it attainable?
ACM SIGPLAN Notices
ACM SIGSOFT Software Engineering Notes
Multi-perspective evaluation of self-healing systems using simple probabilistic models
ICAC '09 Proceedings of the 6th international conference on Autonomic computing
| Hi-index | 0.03 |