|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski |
Scalable Symbolic Execution of Distributed Systems.  |
ICDCS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimondas Sasnauskas, Elias Weingaertner |
Modeling Transport Layer Protocols. |
Modeling and Tools for Network Simulation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Österlind, Adam Dunkels, Raimondas Sasnauskas, Oscar Soria Dustmann, Klaus Wehrle |
Integrating symbolic execution with sensornet simulation for efficient bug finding. |
SenSys |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Hamad Alizai, Tobias Vaegs, Olaf Landsiedel, Raimondas Sasnauskas, Klaus Wehrle |
Statistical vector based point-to-point routing in wireless networks. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
bursty links, wireless link dynamics, virtual coordinates |
| 1 | Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle |
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
automated protocol testing, wireless sensor networks, experimentation, failure detection |
| 1 | Raimondas Sasnauskas, Jó Ágila Bitsch Link, Muhammad Hamad Alizai, Klaus Wehrle |
KleeNet: automatic bug hunting in sensor network applications. |
SenSys |
2008 |
DBLP DOI BibTeX RDF |
tinyos, type safety, memory safety, bug finding |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")