City Research Online

Items where Schools and Departments is "Software Reliability" and Year is 2019

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Authors | Type | No Grouping
Jump to: B | M | N | S | Y
Number of items: 6.

B

Brain, M. ORCID: 0000-0003-4216-7151, Niemetz, A., Preiner, M., Reynolds, A., Barrett, C. and Tinelli, C. (2019). Invertibility Conditions for Floating-Point Formulae. In: Dillig, I. and Tasiran, S. (Eds.), Computer Aided Verification. CAV 2019. Lecture Notes in Computer Science, 11562. (pp. 116-136). Cham: Springer. ISBN 978-3-030-25542-8

Brain, M. ORCID: 0000-0003-4216-7151, Schanda, F. and 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

M

Mohavedi, Y., Cukier, M. and Gashi, I. ORCID: 0000-0002-8017-3184 (2019). Vulnerability Prediction Capability: A Comparison between Vulnerability Discovery Models and Neural Network Models. Computers and Security, doi: 10.1016/j.cose.2019.101596

N

Netkachov, O., Popov, P. T. ORCID: 0000-0002-3434-5272 and 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. ISBN 978-3-319-95597-1

S

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.

Y

Yamaguchi, T., Brain, M. ORCID: 0000-0003-4216-7151, Ryder, C., Imai, Y. and 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

This list was generated on Fri Dec 3 04:29:48 2021 UTC.