Follow
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
2992005
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
1682004
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
1352008
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
1332006
Conformance tests for real-time systems with timed automata specifications
R Cardell-Oliver
Formal Aspects of Computing 12, 350-371, 2000
1142000
Network management in wireless sensor networks
WL Lee, A Datta, R Cardell-Oliver
Handbook of Mobile Ad Hoc and Pervasive Communications, 1-20, 2006
1102006
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
1052019
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
971998
Occupancy estimation using a low-pixel count thermal imager
A Tyndall, R Cardell-Oliver, A Keating
IEEE Sensors Journal 16 (10), 3784-3791, 2016
942016
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
712006
Water use signature patterns for analyzing household consumption using medium resolution meter data
R Cardell‐Oliver
Water Resources Research 49 (12), 8589-8599, 2013
672013
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
642016
How can software metrics help novice programmers?
R Cardell-Oliver
Proceedings of the Thirteenth Australasian Computing Education Conference …, 2011
572011
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
492010
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
382004
Conformance test experiments for distributed real-time systems
R Cardell-Oliver
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
352002
Discovering water use activities for smart metering
R Cardell-Oliver
2013 ieee eighth international conference on intelligent sensors, sensor …, 2013
312013
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
312011
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
302018
An embedding of timed transition systems in HOL
R Hale, R Cardell-Oliver, J Herbert
Formal Methods in System Design 3, 151-174, 1993
301993
The system can't perform the operation now. Try again later.
Articles 1–20