Items where City Author is "Brain, Martin"
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
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.
Lecture Notes in Computer Science, 11562.
(pp. 116-136). Cham: Springer.
ISBN 978-3-030-25542-8