Rachel Cardell-Oliver
Title
Cited by
Cited by
Year
A reactive soil moisture sensor network: Design and field evaluation
R Cardell-Oliver, M Kranz, K Smettem, K Mayer
International journal of distributed sensor networks 1 (2), 149-162, 2005
2502005
Field testing a wireless sensor network for reactive environmental monitoring [soil moisture measurement]
R Cardell-Oliver, K Smettem, M Kranz, K Mayer
Proceedings of the 2004 Intelligent Sensors, Sensor Networks and Information …, 2004
1502004
FlexiTP: a flexible-schedule-based TDMA protocol for fault-tolerant and energy-efficient wireless sensor networks
WL Lee, A Datta, R Cardell-Oliver
IEEE transactions on parallel and distributed systems 19 (6), 851-864, 2008
1172008
Winms: Wireless sensor network-management system, an adaptive policy-based management for wireless sensor networks
WL Lee, A Datta, R Cardell-Oliver
1092006
Conformance tests for real-time systems with timed automata specifications
R Cardell-Oliver
Formal Aspects of Computing 12 (5), 350-371, 2000
1082000
Network management in wireless sensor networks
WL Lee, A Datta, R Cardell-Oliver
Handbook of Mobile Ad Hoc and Pervasive Communications, 1-20, 2006
962006
A practical and complete algorithm for testing real-time systems
R Cardell-Oliver, T Glover
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
901998
FlexiMAC: A flexible TDMA-based MAC protocol for fault-tolerant and energy-efficient wireless sensor networks
WL Lee, A Datta, R Cardell-Oliver
2006 14th IEEE International Conference on Networks 2, 1-6, 2006
602006
Water use signature patterns for analyzing household consumption using medium resolution meter data
R Cardell‐Oliver
Water Resources Research 49 (12), 8589-8599, 2013
442013
Harnessing wireless sensor technologies to advance forest ecology and agricultural research
SSO Burgess, ML Kranz, NE Turner, R Cardell-Oliver, TE Dawson
Agricultural and Forest Meteorology 150 (1), 30-37, 2010
392010
Occupancy estimation using a low-pixel count thermal imager
A Tyndall, R Cardell-Oliver, A Keating
IEEE Sensors Journal 16 (10), 3784-3791, 2016
352016
Smart meter analytics to pinpoint opportunities for reducing household water use
R Cardell-Oliver, J Wang, H Gigney
Journal of Water Resources Planning and Management 142 (6), 04016007, 2016
332016
Conformance test experiments for distributed real-time systems
R Cardell-Oliver
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
332002
How can software metrics help novice programmers?
R Cardell-Oliver
Proceedings of the Thirteenth Australasian Computing Education Conference …, 2011
322011
Formal specification and analysis of performance variation in sensor network diffusion protocols
S Nair, R Cardell-Oliver
Proceedings of the 7th ACM international symposium on Modeling, analysis and …, 2004
322004
Motivating all our students?
J Carter, D Bouvier, R Cardell-Oliver, M Hamilton, S Kurkovsky, ...
Proceedings of the 16th annual conference reports on Innovation and …, 2011
272011
ROPE: a reactive, opportunistic protocol for environment monitoring sensor networks
R Cardell-Oliver
The Second IEEE Workshop on Embedded Networked Sensors, 2005. EmNetS-II., 63-70, 2005
272005
An embedding of timed transition systems in HOL
R Hale, R Cardell-Oliver, J Herbert
Formal Methods in System Design 3 (1-2), 151-174, 1993
271993
A rule-based language for programming wireless sensor actuator networks using frequency and communication
S Sen, R Cardell-Oliver
Proceedings of Third Workshop on Embedded Networked Sensors (EMNETS) 1, 33, 2006
252006
Using higher order logic for modelling real-time protocols
R Cardell-Oliver
International Joint Conference on Theory and Practice of Software …, 1991
231991
The system can't perform the operation now. Try again later.
Articles 1–20