Papers authored by Doina Bucur
Refreshing results…
Tuan Anh Nguyen,
Viktoriya Degeler,
Rosario Contarino,
Alexander Lazovik,
Doina Bucur 
,
Marco Aiello
,
Marco Aiello
Towards Context Consistency in a Rule-Based Activity Recognition Architecture
Download from www.researchgate.net
2011
Doina Bucur ,
Marta Kwiatkowska
,
Marta Kwiatkowska
On software verification for sensor nodes
Download from qav.comlab.ox.ac.uk
Doina Bucur
Intelligible TinyOS Sensor Systems: Explanations for Embedded Software
Download from citeseerx.ist.psu.edu
2010
Doina Bucur ,
Marta Z. Kwiatkowska
,
Marta Z. Kwiatkowska
Software verification for TinyOS
Download from www.researchgate.net
2009
Doina Bucur ,
Marta Kwiatkowska
,
Marta Kwiatkowska
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications
Download from www.researchgate.net
2008
Doina Bucur ,
Mogens Nielsen
,
Mogens Nielsen
Secure Data Flow in a Calculus for Context Awareness
Download from www.researchgate.net
Doina Bucur ,
Mikkel Baun Kjærgaard
,
Mikkel Baun Kjærgaard
GammaSense: Infrastructureless Positioning Using Background Radioactivity.
Download from www.researchgate.net
2006
Doina Bucur ,
Jakob E. Bardram
,
Jakob E. Bardram
Resource Discovery in Activity-Based Sensor Networks
Download from www.researchgate.net
Missing publications? Search for publications with a matching author name.