% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-04-26
% Creation time: 18-23-04
% --- Number of references
% 6
% 

@Conference { 2008-ntms-samad-RFID,
   title = {Controlling Physical Objects with Privacy using Secure RFID System},
   year = {2008},
   month = {11},
   day = {5},
   pages = {1-5},
   misc2 = {Online},
   publisher = {IEEE},
   booktitle = {2nd International Conference on New Technologies, Mobility, and Security (NTMS 2008), Tangier, Morocco},
   event_place = {Tangier, Morocco},
   event_name = {International Conference on New Technologies, Mobility and Security},
   event_date = {5-7 Nov. 2008},
   language = {en},
   ISBN = {978-2-9532443-0-4},
   author = {Samad, Fahad and Ali Makram, Sadeq}
}

@Inproceedings { 2008-sensys-sasnauskas-kleenet,
   title = {Poster Abstract: KleeNet - Automatic Bug Hunting in Sensor Network Applications},
   year = {2008},
   month = {11},
   pages = {425--426},
   abstract = {We present KleeNet, a Klee based bug hunting tool for sensor network applications before deployment. KleeNet automatically tests code for all possible inputs, ensures memory safety, and integrates well into TinyOS based application development life cycle, making it easy for developers to test their applications.},
   keywords = {bug finding, memory safety, tinyos, type safety},
   tags = {kleenet},
   url = {fileadmin/papers/2008/2008-11-Sasnauskas-SenSys08-KleeNet.pdf},
   misc2 = {Print},
   publisher = {ACM},
   address = {New York, NY, USA},
   booktitle = {Proceedings of the 6th ACM conference on Embedded network sensor systems (SenSys'08), Raleigh, NC, USA},
   language = {en},
   ISBN = {978-1-59593-990-6},
   DOI = {http://doi.acm.org/10.1145/1460412.1460485},
   reviewed = {1},
   author = {Sasnauskas, Raimondas and Bitsch Link, J{\'o} Agila and Alizai, Muhammad Hamad and Wehrle, Klaus}
}

@Techreport { 2008-fgsn-sasnauskas-kleenet,
   title = {Bug Hunting in Sensor Network Applications},
   year = {2008},
   month = {9},
   abstract = {Testing sensor network applications is an essential and a difficult task. Due to their distributed and faulty nature, severe resource constraints, unobservable interactions, and limited human interaction, sensor networks, make monitoring and debugging of applications strenuous and more challenging.

In this paper we present KleeNet - a Klee based platform independent bug hunting tool for sensor network applications before deployment - which can automatically test applications for all possible inputs, and hence, ensures memory safety for TinyOS based applications. Upon finding a bug,
KleeNet generates a concrete test case with real input values identifying a specific error path in a program. Additionally, we show that KleeNet integrates well into TinyOS application development life cycle with minimum manual effort, making it easy for developers to test their applications.},
   tags = {kleenet},
   url = {fileadmin/papers/2008/2008-09-Sasnauskas-FGSN08-BugHunting.pdf},
   web_url = {ftp://ftp.inf.fu-berlin.de/pub/reports/tr-b-08-12.pdf},
   misc2 = {Print},
   publisher = {Freie Universit{\"a}t Berlin, Institute of Computer Science},
   address = {Berlin, Germany},
   booktitle = {Proceedings of the 7th GI/ITG Fachgespraech Wireless Sensor Networks, Berlin, Germany},
   institution = {Chair of Communication and Distributed Systems (ComSys)},
   language = {en},
   reviewed = {1},
   author = {Sasnauskas, Raimondas and Bitsch Link, J{\'o} Agila and Alizai, Muhammad Hamad and Wehrle, Klaus}
}

@Techreport { 2008-fgsn-alizai-stle,
   title = {Challenges in Short-term Wireless Link Quality Estimation},
   year = {2008},
   month = {7},
   pages = {27-30},
   tags = {wld},
   url = {fileadmin/papers/2008/2008-08-alizai-fgsn-stle.pdf},
   web_url = {ftp://ftp.inf.fu-berlin.de/pub/reports/tr-b-08-12.pdf},
   misc2 = {Print},
   publisher = {Fachbereich Mathematik und Informatik},
   address = {Berlin, Germany},
   booktitle = {Proceedings of the 7th GI/ITG Workshop on Wireless Sensor Networks},
   event_name = {FGSN 08},
   event_date = {September 2010},
   language = {en},
   reviewed = {1},
   author = {Alizai, Muhammad Hamad and Landsiedel, Olaf and Wehrle, Klaus and Becher, Alexander}
}

@Inbook { 2008-thissen-LNCS-multimedia,
   title = {Multimedia and VR Support for Direct Communication of Designers},
   year = {2008},
   pages = {268-299},
   misc2 = {Print},
   editor = {M. Nagl, W. Marquardt},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science 4970},
   booktitle = {Collaborative and Distributed Chemical Engineering, From Understanding to Substantial Design Process Support},
   language = {en},
   ISBN = {978-3-540-70551-2},
   author = {Sch{\"u}ppen, Andr{\'e} and Spaniol, Otto and Thi{\ss}en, Dirk and Assenmacher, Ingo and Haberstroh, Edmund and Kuhlen, Thorsten}
}

@Inproceedings { 200804landsiedelIPSN08TimingMatters,
   title = {When Timing Matters: Enabling Time Accurate \& Scalable Simulation of Sensor Network Applications},
   year = {2008},
   pages = {344-354},
   abstract = {The rising complexity of data processing algorithms in sensor networks combined with their severely limited computing power necessitates an in-depth understanding of their temporal behavior. However, today only cycle accurate emulation and test-beds provide a detailed and accurate insight into the temporal behavior of sensor networks. In this paper we introduce fine grained, automated instrumentation of simulation models with cycle counts derived from sensor nodes and application binaries to provide detailed timing information. The presented approach bridges the gap between scalable but abstracting simulation and cycle accurate emulation for sensor network evaluation. By mapping device-specific code with simulation models, we can derive the time and duration a certain code line takes to get executed on a sensor node. Hence, eliminating the need to use expensive instruction-level emulators with limited speed and restricted scalability. Furthermore, the proposed design is not bound to a specific hardware platform, a major advantage compared to existing emulators. Our evaluation shows that the proposed technique achieves a timing accuracy of 99\% compared to emulation while adding only a small overhead. Concluding, it combines essential properties like accuracy, speed and scalability on a single simulation platform.},
   url = {fileadmin/papers/2008/2008-04-IPSN-2008-landsiedel-Timing-Matters.pdf},
   misc2 = {Print},
   publisher = {IEEE Computer Society},
   address = {Washington, DC, USA},
   booktitle = {Proceedings of the 7th ACM International Conference on Information Processing in Sensor Networks (IPSN 2008), St. Louis, MO, USA},
   language = {en},
   ISBN = {978-0-7695-3157-1},
   reviewed = {1},
   author = {Landsiedel, Olaf and Alizai, Muhammad Hamad and Wehrle, Klaus}
}