Home
Team
Teaching
Research
Contact
Openings
Available Theses
HiWi Calls
PhD and PostDoc Positions
Research @ COMSYS
Research Vision
Publications
Books
Technical Reports
Projects
Past Projects
Research Groups
Cyber-Physical Systems
Network Architectures
Security and Privacy
Systems Analysis
Research Overview
Industrial Internet of Things
Internet Measurements
Publications
Year:
All
::
2017
,
2018
,
2022
,
2023
All
2023
2022
2018
2017
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
All
::
Cadar
,
Carle
,
Carrier
,
Catrein
, ... ,
Cutting-Decelle
C*
Cadar
Carle
Carrier
Catrein
Causevic
Ceriotti
Chantaraskul
Chao
Cheng
Choffnes
Chowaw-Liebman
Christoph
Chung
Ciucu
Contreras
Corves
Cutting-Decelle
1.
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
Export as:
BibTeX
,
XML
-
Impressum
|
Datenschutz
-