City Research Online

Items where City Author is "Brain, Martin"

Up a level
Group by: Type | No Grouping
Number of items: 5.

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

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

Schrammel, P., Kroening, D., Brain, M. ORCID: 0000-0003-4216-7151 , Martins, R., Teige, T. & Bienmüller, T. (2017). Incremental bounded model checking for embedded software. Formal Aspects of Computing, 29(5), pp. 911-931. doi: 10.1007/s00165-017-0419-1

Conference or Workshop Item

Gàmez Montolio, A., Florit, E., Brain, M. ORCID: 0000-0003-4216-7151 & Howe, J. ORCID: 0000-0001-8013-6941 (2024). Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials. Paper presented at the Workshop on Binary Analysis Research, 1 Mar 2024, San Diego, USA. doi: 10.14722/bar.2024.23014

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.

This list was generated on Wed May 22 03:13:12 2024 UTC.