Floating-Point Symbolic Execution: A Case Study in N-Version Programming

Publications

Year:

All :: 2005, ... , 2016, 2017, 2018, ... , 2023

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

36.	Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, and Klaus Wehrle Floating-Point Symbolic Execution: A Case Study in N-Version Programming Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering October 2017 ISBN: 978-1-5386-2684-9/17
35.	Hanno Wirtz, Torsten Zimmermann, Matteo Ceriotti, and Klaus Wehrle Encrypting Data to Pervasive Contexts Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications (PerCom), Kona, Big Island, HI, USA Publisher: IEEE, March 2017 DOI: 10.1109/PERCOM.2017.7917877 ISBN: 978-1-5090-4328-6

Export as: