Fetching the paper…
Reading the bibliography…
Increasingly sophisticated mathematical modelling processes from Machine Learning are being used to analyse complex data.
S. Toulmin: The Uses of Argument. Cambridge University Press (1958)
1958
Earlier work this paper cites.
Littlewood, B., Miller, D.R.: Conceptual modeling of coincident failures in multiversion software. IEEE Tran. on Software Engineering 15
1989
Earlier work this paper cites.
Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Software 10
1993
Earlier work this paper cites.
Strigini, L.: On testing process control software for reliability assessment: the effects of correlation between successive failures. Software Testing, Verification and Reliability 6
1996
Earlier work this paper cites.
Galves, A., Gaudel, M.: Rare events in stochastic dynamical systems and failures in ultra-reliable reactive programs. In: FTCS’98. pp. 324–333. Munich, DE (1998)
1998
Earlier work this paper cites.
Kelly, T.P.: Arguing safety: A systematic approach to managing safety cases. PhD Thesis, University of York (1999)
1999
Earlier work this paper cites.
Sha, L.: Using simplicity to control complexity. IEEE Software 18
2001
Earlier work this paper cites.
O’Hagan, A., Buck, C.E., Daneshkhah, A., Eiser, J.R., Garthwaite, P.H., Jenkinson, D.J., Oakley, J.E., Rakow, T.: Uncertain judgements: Eliciting experts’ probabilities. John Wiley & Sons (2006)
2006
Earlier work this paper cites.
Bloomfield, R.E., Littlewood, B., Wright, D.: Confidence: Its role in dependability cases for risk assessment. In: DSN2007. pp. 338–346. IEEE, Edinburgh, UK (2007)
2007
Earlier work this paper cites.
Littlewood, B., Wright, D.: The use of multilegged arguments to increase confidence in safety claims for software-based systems: a study based on a BBN analysis of an idealized example. IEEE Transactions on Software Engineering 33
2007
Earlier work this paper cites.
Micouin, P.: Toward a property based requirements theory: System requirements structured as a semilattice. Systems Engineering 11
2008
Earlier work this paper cites.
Rushby, J.: Software verification and system assurance. In: 7th Int. Conf. on Software Engineering and Formal Methods. pp. 3–10. IEEE, Hanoi, Vietnam (2009)
2009
Earlier work this paper cites.
Bloomfield, R., Bishop, P.: Safety and assurance cases: past, present and possible future – an Adelard perspective. In: Dale, C., Anderson, T. (eds.) Making Systems Safer. pp. 51–67. Springer London, London (2010)
2010
Earlier work this paper cites.
Bishop, P., Bloomfield, R., Littlewood, B., Povyakalo, A., Wright, D.: Toward a formalism for conservative claims about the dependability of software-based systems. IEEE Transactions on Software Engineering 37
2011
Earlier work this paper cites.
Denney, E., Pai, G., Habli, I.: Towards measurement of confidence in safety cases. In: Int. Symp. on Empirical Software Engin. and Measurement. pp. 380–383 (2011)
2011
Earlier work this paper cites.
Littlewood, B., Strigini, L.: ’Validation of ultra-high dependability…’ - 20 years on. Safety Systems, Newsletter of the Safety-Critical Systems Club 20
2011
Earlier work this paper cites.
Ponti Jr., M.P.: Combining classifiers: From the creation of ensembles to the decision fusion. In: SIBGRAPI’11. pp. 1–10. IEEE, Alagoas, Brazil (2011)
2011
Earlier work this paper cites.
Littlewood, B., Rushby, J.: Reasoning about the reliability of diverse two-channel systems in which one channel is “possibly perfect”. TSE 38
2012
Earlier work this paper cites.
Zhao, X., Zhang, D., Lu, M., Zeng, F.: A new approach to assessment of confidence in assurance cases. In: Ortmeier, F., Daniel, P. (eds.) Computer Safety, Reliability, and Security. LNCS, vol. 7613, pp. 79–91. Springer, Berlin, Heidelberg (2012)
2012
Earlier work this paper cites.
Fukunaga, K.: Introduction to statistical pattern recognition. Elsevier (2013)
2013
Earlier work this paper cites.
Littlewood, B., Povyakalo, A.: Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of “not worse than independence”. IEEE Tran. on Soft. Eng. 39
2013
Earlier work this paper cites.
Strigini, L., Povyakalo, A.: Software fault-freeness and reliability predictions. In: SafeComp’13. LNCS, vol. 8153, pp. 106–117. Springer, Berlin, Heidelberg (2013)
2013
Earlier work this paper cites.
Bishop, P., Bloomfield, R., Littlewood, B., Popov, P., Povyakalo, A., Strigini, L.: A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train. Reliability Engineering & System Safety 130
2014
Earlier work this paper cites.
Abadi, M., Chu, A., Goodfellow, I., McMahan, H.B., Mironov, I., Talwar, K., Zhang, L.: Deep learning with differential privacy. ACM SIGSAC CCS’16 (2016)
2016
Cited alongside, same era.
Chen, L., May, J.H.R.: A diversity model based on failure distribution and its application in safety cases. IEEE Tran. on Reliability 65
2016
Cited alongside, same era.
Bishop, P., Povyakalo, A.: Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles. Reliability Engineering & System Safety 158
2017
Cited alongside, same era.
Burton, S., Gauerhof, L., Heinzemann, C.: Making the case for safety of machine learning in highly automated driving. In: SafeComp’17. LNCS, vol. 10489, pp. 5–16. Springer, Cham (2017)
2017
Cited alongside, same era.
Xiang, W., Tran, H.D., Johnson, T.T.: Output reachable set estimation and verification for multi-layer neural networks. IEEE Transactions on Neural Networks and Learning Systems 29
2018
Later among the works it cites.
Asaadi, E., Denney, E., Pai, G.: Towards quantification of assurance for learning-enabled components. In: EDCC’19. pp. 55–62. IEEE, Naples, Italy (2019)
2019
Later among the works it cites.
2019
Later among the works it cites.
Bagnall, A., Stewart, G.: Certifying the true error: Machine learning in Coq with verified generalization guarantees. In: AAAI2019. vol. 33, pp. 2662–2669 (2019)
2019
Later among the works it cites.
Barocas, S., Hardt, M., Narayanan, A.: Fairness and Machine Learning. fairmlbook.org (2019), http://www.fairmlbook.org
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2017
Cited alongside, same era.
Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: An efficient SMT solver for verifying deep neural networks. In: CAV’17. LNCS, vol. 10426, pp. 97–117. Springer, Cham (2017)
2017
Cited alongside, same era.
2017
Cited alongside, same era.
Pei, K., Cao, Y., Yang, J., Jana, S.: DeepXplore: Automated whitebox testing of deep learning systems. In: SOSP’17. pp. 1–18. ACM, New York, NY, USA (2017)
2017
Cited alongside, same era.
Wang, R., Guiochet, J., Motet, G.: Confidence assessment framework for safety arguments. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SafeComp’17. LNCS, vol. 10488, pp. 55–68. Springer International Publishing, Cham (2017)
2017
Cited alongside, same era.
Zhao, X., Littlewood, B., Povyakalo, A., Strigini, L., Wright, D.: Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is “quasi-perfect”. Reliability Engineering & System Safety 158
2017
Cited alongside, same era.
Alves, E., Bhatt, D., Hall, B., Driscoll, K., Murugesan, A., Rushby, J.: Considerations in assuring safety of increasingly autonomous systems. Technical Report NASA/CR-2018-220080, NASA (Jul 2018)
2018
Cited alongside, same era.
2018
Cited alongside, same era.
2019
Later among the works it cites.
Bloomfield, R., Khlaaf, H., Ryan Conmy, P., Fletcher, G.: Disruptive innovations and disruptive assurance: Assuring machine learning and autonomy. Computer 52
2019
Later among the works it cites.
Burton, S., Gauerhof, L., Sethy, B.B., Habli, I., Hawkins, R.: Confidence arguments for evidence of performance in machine learning for highly automated driving Functions. In: SafeComp’19. LNCS, vol. 11699, pp. 365–377. Springer, Cham (2019)
2019
Later among the works it cites.
He, F., Liu, T., Tao, D.: Control batch size and learning rate to generalize well: Theoretical and empirical evidence. In: NIPS’19, pp. 1141–1150 (2019)
2019
Later among the works it cites.
Koopman, P., Kane, A., Black, J.: Credible autonomy safety argumentation. In: 27th Safety-Critical Sys. Symp. Safety-Critical Systems Club, Bristol, UK (2019)
2019
Later among the works it cites.
Li, J., Liu, J., Yang, P., Chen, L., Huang, X., Zhang, L.: Analyzing deep neural networks with symbolic propagation: Towards higher precision and faster verification. In: Chang, B.Y.E. (ed.) Static Analysis. LNCS, vol. 11822, pp. 296–319. Springer International Publishing, Cham (2019)
2019
Later among the works it cites.
Matsuno, Y., Ishikawa, F., Tokumoto, S.: Tackling uncertainty in safety assurance for machine learning: Continuous argument engineering with attributed tests. In: SafeComp’19. LNCS, vol. 11699, pp. 398–404. Springer, Cham (2019)
2019
Later among the works it cites.
Osborne, M., Lantair, J., Shafiq, Z., Zhao, X., Robu, V., Flynn, D., Perry, J.: UAS operators safety and reliability survey: Emerging technologies towards the certification of autonomous UAS. In: ICSRS’19. pp. 203–212. IEEE, Rome (2019)
2019
Later among the works it cites.
Picardi, C., Habli, I.: Perspectives on assurance case development for retinal disease diagnosis using deep learning. In: Riaño, D., Wilk, S., ten Teije, A. (eds.) AIME’19. LNCS, vol. 11526, pp. 365–370. Springer, Cham (2019)
2019
Later among the works it cites.
Picardi, C., Hawkins, R., Paterson, C., Habli, I.: A pattern for arguing the assurance of machine learning in medical diagnosis systems. In: SafeComp’19. LNCS, vol. 11698, pp. 165–179. Springer, Cham (2019)
2019
Later among the works it cites.
Ruan, W., Wu, M., Sun, Y., Huang, X., Kroening, D., Kwiatkowska, M.: Global robustness evaluation of deep neural networks with provable guarantees for the hamming distance. In: IJCAI2019. pp. 5944–5952 (2019)
2019
Later among the works it cites.
Sun, Y., Huang, X., Kroening, D., Sharp, J., Hill, M., Ashmore, R.: Structural test coverage criteria for deep neural networks. ACM Transactions on Embedded Computing Systems 18
2019
Later among the works it cites.
Sun, Y., Huang, X., Kroening, D., Sharp, J., Hill, M., Ashmore, R.: Structural test coverage criteria for deep neural networks. In: ICSE’19–Companion. pp. 320–321. IEEE Press, Piscataway, NJ, USA (2019)
2019
Later among the works it cites.
Sun, Y., Wu, M., Ruan, W., Huang, X., Kwiatkowska, M., Kroening, D.: Deepconcolic: Testing and debugging deep neural networks. In: ICSE’19–companion. pp. 111–114. Montreal, QC, Canada (2019)
2019
Later among the works it cites.
Zhao, X., Robu, V., Flynn, D., Salako, K., Strigini, L.: Assessing the safety and reliability of autonomous vehicles from road testing. In: the 30th Int. Symp. on Software Reliability Engineering. pp. 13–23. IEEE, Berlin, Germany (2019)
2019
Later among the works it cites.
Littlewood, B., Salako, K., Strigini, L., Zhao, X.: On reliability assessment when a software-based system is replaced by a thought-to-be-better one. Reliability Engineering & System Safety 197
2020
Closest in time.
Schwalbe, G., Schels, M.: Concept enforcement and modularization as methods for the ISO 26262 safety argumentation of neural networks. In: ERTS’20 (2020)
2020
Closest in time.
Schwalbe, G., Schels, M.: A survey on methods for the safety assurance of machine learning based systems. In: ERTS’20 (2020)
2020
Closest in time.
Wu, M., Wicker, M., Ruan, W., Huang, X., Kwiatkowska, M.: A game-based approximate verification of deep neural networks with provable guarantees. Theoretical Computer Science 807
2020
Closest in time.