Publications

Year:  
All :: 1996, ... , 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, Ö 
All :: Lakshminarayanan, ... , Lemstra, Leupers, Li, ... , Lueders 
References
78.
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
77.
Andriy Panchenko, Asya Mitseva, Martin Henze, Fabian Lanze, Klaus Wehrle and Thomas Engel
Proceedings of the 16th Workshop on Privacy in the Electronic Society (WPES), co-located with the 24th ACM Conference on Computer and Communications Security (CCS), Dallas, TX, USA
Publisher: ACM,
October 2017
ISBN: 978-1-4503-5175-1
to be published
76.
Roman Matzutt, Dirk Müllmann, Eva-Maria Zeissig, Christiane Horst, Kai Kasugai, Sean Lidynia, Simon Wieninger, Jan Henrik Ziegeldorf, Gerhard Gudergan, Indra Spiecker gen. Döhmann, Klaus Wehrle and Martina Ziefle
In Eibl, Maximilian and Gaedke, Martin, editor, INFORMATIK 2017 , page 1073-1084.
Publisher: Gesellschaft für Informatik, Bonn,
2017
ISBN: 978-3-88579-669-5
Export as:
BibTeX, XML