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

Liew, Daniel; Schemmel, Daniel; Cadar, Cristian; Donaldson, Alastair; Zähl, Rafael; Wehrle, Klaus; Panchenko, Andriy; Mitseva, Asya; Henze, Martin; Lanze, Fabian; Wehrle, Klaus; Engel, Thomas; Stoffers, Mirko; Bettermann, Ralf; Wehrle, Klaus; Rath, Felix; Krude, Johannes; Rüth, Jan; Schemmel, Daniel; Hohlfeld, Oliver; Bitsch Link, Jó Agila; Wehrle, Klaus; Henze, Martin; Wolters, Benedikt; Matzutt, Roman; Zimmermann, Torsten; Wehrle, Klaus; Ziegeldorf, Jan Henrik; Pennekamp, Jan; Hellmanns, David; Schwinger, Felix; Kunze, Ike; Henze, Martin; Hiller, Jens; Matzutt, Roman; Wehrle, Klaus; Zimmermann, Torsten; Wirtz, Hanno; Ziegeldorf, Jan Henrik; Steinhaus, Christian; Wehrle, Klaus; Serror, Martin; Kirchhof, Jörg Christian; Stoffers, Mirko; Wehrle, Klaus; Gross, James; Henze, Martin; Matzutt, Roman; Hiller, Jens; Mühmer, Erik; Ziegeldorf, Jan Henrik; van der Giet, Johannes; Wehrle, Klaus; Ziegeldorf, Jan Henrik; Metzke, Jan; Rüth, Jan; Henze, Martin; Wehrle, Klaus; Ansari, Junaid; Aktas, Ismet; Brecher, Christian; Pallasch, Christoph; Hoffmann, Nicolai; Obdenbusch, Markus; Serror, Martin; Wehrle, Klaus; Gross, James; Wirtz, Hanno; Zimmermann, Torsten; Ceriotti, Matteo; Wehrle, Klaus; Ziegeldorf, Jan Henrik; Henze, Martin; Bavendiek, Jens; Wehrle, Klaus; Rüth, Jan; Schmidt, Florian; Serror, Martin; Wehrle, Klaus; Zimmermann, Torsten; Matzutt, Roman; Müllmann, Dirk; Zeissig, Eva-Maria; Horst, Christiane; Kasugai, Kai; Lidynia, Sean; Wieninger, Simon; Ziegeldorf, Jan Henrik; Gudergan, Gerhard; Spiecker gen. Döhmann, Indra; Wehrle, Klaus; Ziefle, Martina; Henze, Martin; Kerpen, Daniel; Hiller, Jens; Eggert, Michael; Hellmanns, David; Mühmer, Erik; Renuli, Oussama; Maier, Henning; Stüble, Christian; Häußling, Roger; Wehrle, Klaus; Henze, Martin; Hiller, Jens; Schmerling, Sascha; Ziegeldorf, Jan Henrik; Wehrle, Klaus; Mitseva, Asya; Panchenko, Andriy; Lanze, Fabian; Henze, Martin; Wehrle, Klaus; Engel, Thomas; Matzutt, Roman; Hohlfeld, Oliver; Henze, Martin; Rawiel, Robin; Ziegeldorf, Jan Henrik; Wehrle, Klaus; Ackermann, Pascal; Kohlschein, Christian; Bitsch Link, Jó Agila; Wehrle, Klaus; Jeschke, Sabina

doi:10.1145/3139550.3139564

Klaus Wehrle (Professor)

Klaus Wehrle, Dr.-Ing., Professor

RWTH Aachen University
Chair of Communication and Distributed Systems (COMSYS, Informatik 4)
Ahornstraße 55, building E3, office 9011
D-52074 Aachen / Germany

Phone: (+49) 241/80-21402, Fax: (+49) 241/80-22222
Email: wehrle <at> comsys.rwth-aachen.de

Email / Exam Policy

Exam Dates and Procedure:

Dates for oral exams are offered biweekly, every second Wednesday from 3pm till 6pm.

If you plan to do an oral exam, please follow this procedure:

reserve a slot in advance at the COMSYS office (office(at)comsys.rwth-aachen.de) with mentioning your study program and the planned lectures to be examined. We will confirm the combination subsequently. Please download our examination sheet, fill it in, and keep it till you exam date.
confirm the exam slot latest four weeks ahead of your exam at the COMSYS office (office(at)comsys.rwth-aachen.de). but be sure, that you are well prepared for the exam at that time.
if you plan to have an oral exam with two professors, please check first the availability of slots with the ComSys office and then find a joint date with the other examiner. Then book the final date at the ComSys office.
after reserving a slot please register at ZPA (Central Exam Registry, Zentrales Prüfungsamt) for the oral exam! As for all other exams, a registration with ZPA is mandatory before the exam date. Note that on our examination sheet you have to sign that you are registered with ZPA.
bring the examination sheet with you on the exam day, and hand it over to us at the beginning of the exam.

For teaching related emails, please use the following mail address: teaching (at) comsys.rwth-aachen.de If you are looking for a second advisor (Zweitgutachter) for your Bachelor's / Master's thesis, please consult the following website.

For scientific, project or other research/universiy-related purposes,
please use the following address: wehrle (at) comsys.rwth-aachen.de

CV

Klaus Wehrle is Professor of Computer Science and Head of the Communication and Distributed Systems Group (Informatik 4) at RWTH Aachen University,
He received his diploma (1999) and his doctorate (Dr.-Ing., 2002) from the University of Karlsruhe (now KIT), both with distinction. His doctoral thesis on flexible and scalable Quality of Service mechanisms for the next generation Internet was awarded the Doctoral Dissertation Prize of Südwestmetall and the FZI Doctoral Dissertation Prize (Research Center for Information Technology, FZI).

In 2002 and 2003, Klaus was a postdoctoral fellow at the International Computer Science Institute at the University of California at Berkeley (UCB).
In 2004, he received a DFG Emmy Noether (starting) grant to establish a junior research group on protocol engineering and distributed systems at the University of Tübingen.
In 2006 he joined RWTH Aachen University as an associate professor, since 2010 as a full professor. From 2019 to 2022 he will be acting head of the Department of Computer Science at RWTH Aachen University.

His research activities focus on (but are not limited to) the engineering of network protocols, (formal) methods for protocol engineering and network analysis, network simulation, reliable communication software, and all operating system issues of networking.
His research is mainly funded by the German Research Foundation (DFG), the European Research Council (through an ERC CoG and an ERC PoC grant), the EU, the German government (BMBF, BMWi), the state of North Rhine-Westphalia (NRW), and industrial partners.
From 2015 to 2023 he was coordinating the DFG Priority Program on Cyber-Physical Networking.
He is a member of IEEE, ACM, Sigcomm, GI (Gesellschaft für Informatik), VDE and GI/ITG-Fachgruppe KuVS.
He was/is a member of several evaluation boards of the Alexander-von-Humboldt Foundation and serves as an elected representative for communication systems at the German Research Foundation (DFG).

Publications

2017
•	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
•	Andriy Panchenko, Asya Mitseva, Martin Henze, Fabian Lanze, Klaus Wehrle, and Thomas Engel Analysis of Fingerprinting Techniques for Tor Hidden Services 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 DOI: 10.1145/3139550.3139564 ISBN: 978-1-4503-5175-1
•	Mirko Stoffers, Ralf Bettermann, and Klaus Wehrle Automated Memoization: Automatically Identifying Memoization Units in Simulation Parameter Studies Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017), Rome, Italy, page 33-42. Publisher: IEEE, October 2017 DOI: 10.1109/DISTRA.2017.8167664
•	Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Agila Bitsch Link, and Klaus Wehrle SymPerf: Predicting Network Function Performance ACM SIGCOMM 2017 Poster Los Angeles, USA, 21.8.2017 - 25.8.2017 Publisher: ACM, August 2017 DOI: 10.1145/3123878.3131977 ISBN: 978-1-4503-5057-0/17/08
•	Martin Henze, Benedikt Wolters, Roman Matzutt, Torsten Zimmermann, and Klaus Wehrle Distributed Configuration, Authorization and Management in the Cloud-based Internet of Things Proceedings of the 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom), Sydney, NSW, Australia, page 185-192. Publisher: IEEE, August 2017 DOI: 10.1109/Trustcom/BigDataSE/ICESS.2017.236 ISBN: 978-1-5090-4905-9
•	Jan Henrik Ziegeldorf, Jan Pennekamp, David Hellmanns, Felix Schwinger, Ike Kunze, Martin Henze, Jens Hiller, Roman Matzutt, and Klaus Wehrle BLOOM: BLoom filter based Oblivious Outsourced Matchings BMC Medical Genomics, 10(Suppl 2):29-42 July 2017 ISSN: 1755-8794 DOI: 10.1186/s12920-017-0277-y
•	Torsten Zimmermann, Hanno Wirtz, Jan Henrik Ziegeldorf, Christian Steinhaus, and Klaus Wehrle Resource and Execution Control for Mobile Offloadee Devices 14th IEEE International Conference on Sensing, Communication, and Networking (SECON 2017), San Diego, USA Publisher: IEEE, June 2017 DOI: 10.1109/SAHCN.2017.7964939 ISBN: 978-1-5090-6599-8
•	Martin Serror, Jörg Christian Kirchhof, Mirko Stoffers, Klaus Wehrle, and James Gross Code-transparent Discrete Event Simulation for Time-accurate Wireless Prototyping Proceedings of the 5th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’17), Singapore, Singapore Publisher: ACM, May 2017 DOI: 10.1145/3064911.3064913 ISBN: 978-1-4503-4489-0
•	Martin Henze, Roman Matzutt, Jens Hiller, Erik Mühmer, Jan Henrik Ziegeldorf, Johannes van der Giet, and Klaus Wehrle Practical Data Compliance for Cloud Storage Proceedings of the 2017 IEEE International Conference on Cloud Engineering (IC2E 2017), Vancouver, BC, Canada, page 252-258. Publisher: IEEE, April 2017 DOI: 10.1109/IC2E.2017.32 ISBN: 978-1-5090-5817-4
•	Jan Henrik Ziegeldorf, Jan Metzke, Jan Rüth, Martin Henze, and Klaus Wehrle Privacy-Preserving HMM Forward Computation Proceedings of the 7th ACM Conference on Data and Application Security and Privacy (CODASPY 2017), Scottsdale, AZ, USA, page 83-94. Publisher: ACM, March 2017 DOI: 10.1145/3029806.3029816 ISBN: 978-1-4503-4523-1
•	Junaid Ansari, Ismet Aktas, Christian Brecher, Christoph Pallasch, Nicolai Hoffmann, Markus Obdenbusch, Martin Serror, Klaus Wehrle, and James Gross Demo: A Realistic Use-case for Wireless Industrial Automation and Control International Conference on Networked Systems (NetSys 2017) Göttingen, Germany Publisher: IEEE, March 2017 DOI: 10.1109/NetSys.2017.7931496
•	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
•	Jan Henrik Ziegeldorf, Martin Henze, Jens Bavendiek, and Klaus Wehrle TraceMixer: Privacy-Preserving Crowd-Sensing sans Trusted Third Party Proceedings of the 2017 13th Annual Conference on Wireless On-demand Network Systems and Services (WONS), Jackson Hole, WY, USA, page 17-24. Publisher: IEEE, February 2017 DOI: 10.1109/WONS.2017.7888771 ISBN: 978-3-901882-88-3
•	Jan Rüth, Florian Schmidt, Martin Serror, Klaus Wehrle, and Torsten Zimmermann Communication and Networking for the Industrial Internet of Things Industrial Internet of Things page 317-346. Publisher: Springer, 2017 DOI: 10.1007/978-3-319-42559-7_12 ISBN: 978-3-319-42558-0
•	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 myneData: Towards a Trusted and User-controlled Ecosystem for Sharing Personal Data INFORMATIK 2017, page 1073-1084. Publisher: Gesellschaft für Informatik, Bonn, 2017 DOI: 10.18420/in2017_109 ISBN: 978-3-88579-669-5 https://www.comsys.rwth-a...mynedata-presentation.pdf
2016
•	Martin Henze, Daniel Kerpen, Jens Hiller, Michael Eggert, David Hellmanns, Erik Mühmer, Oussama Renuli, Henning Maier, Christian Stüble, Roger Häußling, and Klaus Wehrle Towards Transparent Information on Individual Cloud Service Usage Proceedings of the 2016 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Luxembourg, Luxembourg, page 366-370. Publisher: IEEE, December 2016 DOI: 10.1109/CloudCom.2016.0064 ISBN: 978-1-5090-1445-3
•	Martin Henze, Jens Hiller, Sascha Schmerling, Jan Henrik Ziegeldorf, and Klaus Wehrle CPPL: Compact Privacy Policy Language Proceedings of the 15th Workshop on Privacy in the Electronic Society (WPES), co-located with the 23rd ACM Conference on Computer and Communications Security (CCS), Vienna, Austria, page 99-110. Publisher: ACM, October 2016 DOI: 10.1145/2994620.2994627 ISBN: 978-1-4503-4569-9
•	Asya Mitseva, Andriy Panchenko, Fabian Lanze, Martin Henze, Klaus Wehrle, and Thomas Engel POSTER: Fingerprinting Tor Hidden Services Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS), Vienna, Austria, page 1766-1768. Publisher: ACM, October 2016 DOI: 10.1145/2976749.2989054 ISBN: 978-1-4503-4139-4
•	Roman Matzutt, Oliver Hohlfeld, Martin Henze, Robin Rawiel, Jan Henrik Ziegeldorf, and Klaus Wehrle POSTER: I Don't Want That Content! On the Risks of Exploiting Bitcoin's Blockchain as a Content Store Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS), Vienna, Austria, page 1769-1771. Publisher: ACM, October 2016 DOI: 10.1145/2976749.2989059 ISBN: 978-1-4503-4139-4
•	Pascal Ackermann, Christian Kohlschein, Jó Agila Bitsch Link, Klaus Wehrle, and Sabina Jeschke EEG-based Automatic Emotion Recognition: Feature Extraction, Selection and Classification Methods 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom), page 159--164. Publisher: IEEE, September 2016 ISBN: 978-1-5090-3370-6 http://ieeehealthcom2016.com/

Page:

Previous | 1, ... , 7, 8, 9, 10, 11, ... , 21 | Next

Export as:

BibTeX, XML

A small note for potential applicants

We are always looking for enthusiastic talent to join our group. As such, we also welcome unsolicited applications.
If you are considering to apply for a position as a researcher or PhD student within the COMSYS team, please submit your meaningful application as pdf to phd[[at]]comsys.rwth-aachen.de.
For PhD applications, we would at least expect a short CV, a transcript of records, and a motivation letter that describes your research interests and your motivation to pursue your PhD with us.

You can find more information on doing a PhD with us on a dedicated subpage.

Klaus Wehrle (Professor)

Email / Exam Policy

CV

Publications

2017

2016

A small note for potential applicants