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
Medical Data (Privacy)
Publications
Year:
All
::
2010
All
2010
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
::
Dahlmanns
, ... ,
Drüner
,
Duan
,
Dugosija
,
Dunkels
D*
Dahlmanns
Dahms
Dalibor
Dax
De Din
de Foy
De la Cadena
Decker
Dekorsy
Denkinger
Dietzel
Dombrowski
Donaldson
Doubrava
Drichel
Drüner
Duan
Dugosija
Dunkels
1.
Fredrik Österlind
,
Raimondas Sasnauskas
,
Adam Dunkels
,
Oscar Soria Dustmann
, and
Klaus Wehrle
Demo Abstract: Integrating Symbolic Execution with Sensornet Simulation for Efficient Bug Finding
Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems (SenSys 2010), Zurich, Switzerland, page 383--384.
Publisher: ACM, New York, NY, USA
November 2010
DOI:
http://doi.acm.org/10.1145/1869983.1870034
ISBN: 978-1-4503-0344-6
Export as:
BibTeX
,
XML
-
Impressum
|
Datenschutz
-