Rachel Cardell-Oliver
Cited by
Cited by
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
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
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
Winms: Wireless sensor network-management system, an adaptive policy-based management for wireless sensor networks
WL Lee, A Datta, R Cardell-Oliver
School of Computer Science & Software Engineering, The University of Western …, 2006
Conformance tests for real-time systems with timed automata specifications
R Cardell-Oliver
Formal Aspects of Computing 12, 350-371, 2000
Network management in wireless sensor networks
WL Lee, A Datta, R Cardell-Oliver
Handbook of Mobile Ad Hoc and Pervasive Communications, 1-20, 2006
Sweating the assets–the role of instrumentation, control and automation in urban water systems
Z Yuan, G Olsson, R Cardell-Oliver, K van Schagen, A Marchi, A Deletic, ...
Water research 155, 381-402, 2019
A practical and complete algorithm for testing real-time systems
R Cardell-Oliver, T Glover
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998
Occupancy estimation using a low-pixel count thermal imager
A Tyndall, R Cardell-Oliver, A Keating
IEEE Sensors Journal 16 (10), 3784-3791, 2016
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
Water use signature patterns for analyzing household consumption using medium resolution meter data
R Cardell‐Oliver
Water Resources Research 49 (12), 8589-8599, 2013
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
How can software metrics help novice programmers?
R Cardell-Oliver
Proceedings of the Thirteenth Australasian Computing Education Conference …, 2011
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
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
Conformance test experiments for distributed real-time systems
R Cardell-Oliver
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
Measured and simulated thermal behaviour in rammed earth houses in a hot-arid climate. Part A: Structural behaviour
CTS Beckett, R Cardell-Oliver, D Ciancio, C Huebner
Journal of Building Engineering 15, 243-251, 2018
Discovering water use activities for smart metering
R Cardell-Oliver
2013 ieee eighth international conference on intelligent sensors, sensor …, 2013
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
An embedding of timed transition systems in HOL
R Hale, R Cardell-Oliver, J Herbert
Formal Methods in System Design 3, 151-174, 1993
The system can't perform the operation now. Try again later.
Articles 1–20