Publications

Year:  
All :: 2005, ... , 2014, 2015, 2016, 2017
Author:  
All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, R, S, T, V, W, X, Y, Z, Ö 
References
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
accepted
35.
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
ISBN: 978-1-5090-4328-6
Export as:
BibTeX, XML