Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Software (D) > Operating Systems (D.4) > Reliability (D.4.5)
  Reliability (D.4.5) See Reviews  
Subject Descriptors:
Backup Procedures (13)
Checkpoint/Restart (16)
Fault-Tolerance (107)
Verification (28)
Proper Nouns:
There are no proper nouns with reviews under D.4.5.
Reviews limited to:

Reviews about "Reliability (D.4.5)":
Date Reviewed
Formal verification of control system software
Garoche P.,  PRINCETON UNIVERSITY PRESS, Princeton, NJ, 2019. 224 pp. Type: Book (978-0-691181-30-1)
May 10 2021
Spectrum-based fault localization in model transformations
Troya J., Segura S., Parejo J., Ruiz-Cortés A.  ACM Transactions on Software Engineering and Methodology 27(3): 1-50, 2018. Type: Article
Jan 31 2019
ARMISCOM: self-healing service composition
Vizcarrondo J., Aguilar J., Exposito E., Subias A.  Service Oriented Computing and Applications 11(3): 345-365, 2017. Type: Article
Jan 4 2018
Beyond subterm-convergent equational theories in automated verification of stateful protocols
Dreier J., Duménil C., Kremer S., Sasse R.  POST 2017 (Proceedings of the 6th International Conference on Principles of Security and Trust, Uppsala, Sweden,  Apr 22-29, 2017) 117-140, 2017. Type: Proceedings
Oct 26 2017
Embedded software verification and debugging
Lettnin D., Winterholer M.,  Springer International Publishing, New York, NY, 2017.Type: Book (9781461422655)
Jul 26 2017
Fault tolerance with aspects: a feasibility study
Karol S., Rink N., Gyapjas B., Castrillon J.  MODULARITY 2016 (Proceedings of the 15th International Conference on Modularity, Málaga, Spain,  Mar 14-17, 2016) 66-69, 2016. Type: Proceedings
Nov 29 2016
Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes
Akinyele J., Green M., Hohenberger S., Pagano M.  Journal of Computer Security 22(6): 867-912, 2014. Type: Article
Aug 20 2015
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy