| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 7 |      | Doina Bucur: Intelligible TinyOS Sensor Systems: Explanations for Embedded Software. CONTEXT 2011: 54-66 |
| 6 | | Doina Bucur, Marta Z. Kwiatkowska: On software verification for sensor nodes. Journal of Systems and Software 84(10): 1693-1707 (2011) |
| 2010 | ||
| 5 | | Doina Bucur, Marta Z. Kwiatkowska: Software verification for TinyOS. IPSN 2010: 400-401 |
| 2009 | ||
| 4 | | Doina Bucur, Marta Z. Kwiatkowska: Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. AmI 2009: 101-105 |
| 2008 | ||
| 3 | | Doina Bucur, Mogens Nielsen: Secure Data Flow in a Calculus for Context Awareness. Concurrency, Graphs and Models 2008: 439-456 |
| 2 | | Doina Bucur, Mikkel Baun Kjærgaard: GammaSense: Infrastructureless Positioning Using Background Radioactivity. EuroSSC 2008: 69-82 |
| 2007 | ||
| 1 | | Doina Bucur, Jakob E. Bardram: Resource Discovery in Activity-Based Sensor Networks. MONET 12(2-3): 129-142 (2007) |
| 1 | Jakob E. Bardram (Jakob Bardram) | [1] |
| 2 | Mikkel Baun Kjærgaard | [2] |
| 3 | Marta Z. Kwiatkowska | [4] [5] [6] |
| 4 | Mogens Nielsen | [3] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page