Items where Schools and Departments is "Software Reliability" and Year is 2019
Article
Brain, M. 
ORCID: 0000-0003-4216-7151, Schanda, F. & Sun, Y. (2019).
Building Better Bit-Blasting for Floating-Point Problems.
Tools and Algorithms for the Construction and Analysis of Systems, 11427,
pp. 79-98.
doi: 10.1007/978-3-030-17462-0_5
Mohavedi, Y., Cukier, M. & Gashi, I. ORCID: 0000-0002-8017-3184 (2019).
Vulnerability Prediction Capability: A Comparison between Vulnerability Discovery Models and Neural Network Models.
Computers and Security, 87,
article number 101596.
doi: 10.1016/j.cose.2019.101596
Yamaguchi, T., Brain, M. ORCID: 0000-0003-4216-7151, Ryder, C. , Imai, Y. & Kawamura, Y. (2019).
Application of Abstract Interpretation to the Automotive Electronic Control System.
Lecture Notes in Computer Science (VMCAI 2019: Verification, Model Checking, and Abstract Interpretation), 11388,
pp. 425-445.
doi: 10.1007/978-3-030-11245-5_20
Book Section
Netkachov, O., Popov, P. T. ORCID: 0000-0002-3434-5272 & Salako, K. ORCID: 0000-0003-0394-7833 (2019).
Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures.
In:
Resilience of Cyber-Physical Systems.
(pp. 89-121). Berlin, Germany: Springer International Publishing.
doi: 10.1007/978-3-319-95597-1_5
Conference or Workshop Item
Brain, M. ORCID: 0000-0003-4216-7151, Niemetz, A., Preiner, M. , Reynolds, A., Barrett, C. & Tinelli, C. (2019).
Invertibility Conditions for Floating-Point Formulae.
In: Dillig, I. & Tasiran, S. (Eds.),
Computer Aided Verification. CAV 2019.
Strigini, L. ORCID: 0000-0002-4246-2866 (2019).
Ensuring and demonstrating diverse quality attributes of complex systems: problems of models and cultures.
Keynote Paper presented at the GAUSS 2019, 28-31 Oct 2019, Berlin, Germany.