Abstract
We provide the first tool for verifying the logic of context-aware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting programming errors related to incorrect adaptation to context.
| Original language | English |
|---|---|
| Title of host publication | Ambient Intelligence |
| Subtitle of host publication | European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings |
| Editors | Manfred Tscheligi, Panos Markopoulus, Reiner Wichert, Thomas Mirlacher, Alexander Meschterjakov, Wolfgang Reitberger |
| Place of Publication | Berlin, Heidelberg |
| Publisher | Springer |
| Pages | 101-105 |
| Number of pages | 5 |
| ISBN (Print) | 978-3-642-05408-2 |
| Publication status | Published - 2009 |
| Externally published | Yes |
| Event | 3rd European Conference on Ambient Intelligence, Aml 2009 - Salzburg, Austria Duration: 18 Nov 2009 → 21 Nov 2009 Conference number: 3 |
Conference
| Conference | 3rd European Conference on Ambient Intelligence, Aml 2009 |
|---|---|
| Abbreviated title | AmI |
| Country/Territory | Austria |
| City | Salzburg |
| Period | 18/11/09 → 21/11/09 |