Rachel Cardell-Oliver

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 27

Top Venues

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Maira Alvi, Tim French, Rachel Cardell-Oliver, Damien Batstone, Naveed Akhtar
Enhanced Deep Predictive Modeling of Wastewater Plants With Limited Data. IEEE Trans. Ind. Informatics 20 (2) (2024)
Omar Anwar, Adrian Keating, Rachel Cardell-Oliver, Amitava Datta, Gino Putrino
Apis-Prime: A deep learning model to optimize beehive monitoring system for the task of daily weight estimation. Appl. Soft Comput. 144 (2023)
Weiyan Xu, Yinghao Zhang, Rachel Cardell-Oliver, Ajmal Mian, Jin B. Hong
Entropy-based Selective Homomorphic Encryption for Smart Metering Systems. PRDC (2023)
Weiyan Xu, Jack Sun, Rachel Cardell-Oliver, Ajmal Mian, Jin B. Hong
A Privacy-Preserving Framework Using Homomorphic Encryption for Smart Metering Systems. Sensors 23 (10) (2023)
Maira Alvi, Tim French, Rachel Cardell-Oliver, Philip Keymer, Andrew Ward
Cost Effective Soft Sensing for Wastewater Treatment Facilities. IEEE Access 10 (2022)
Omar Anwar, Adrian Keating, Rachel Cardell-Oliver, Amitava Datta, Gino Putrino
Design and development of low-power, long-range data acquisition system for beehives - BeeDAS. Comput. Electron. Agric. 201 (2022)
Maira Alvi, Rachel Cardell-Oliver, Tim French
Utilizing autoencoders to improve transfer learning when sensor data is sparse. BuildSys@SenSys (2022)
Rachel Cardell-Oliver, Harrison Carter-Turner
Activity-aware privacy protection for smart water meters. BuildSys@SenSys (2021)
Rachel Cardell-Oliver, Chayan Sarkar
BuildSense: Accurate, Cost-aware, Fault-tolerant Monitoring with Minimal Sensor Infrastructure. ACM Trans. Sens. Networks 15 (3) (2019)
Rachel Cardell-Oliver, Prathyusha Sangam
Tracking the Evolution of Public Transport Demand using Spatial-Social-Temporal Contexts. BuildSys@SenSys (2019)
Michael Stewart, Wei Liu, Rachel Cardell-Oliver
Redcoat: A Collaborative Annotation Tool for Hierarchical Entity Typing. EMNLP/IJCNLP (3) (2019)
Rachel Cardell-Oliver, Christof Hübner, Matthias Leopold, Jason Beringer
Dataset: LoRa Underground Farm Sensor Network. DATA@SenSys (2019)
Michael Stewart, Wei Liu, Rachel Cardell-Oliver
Word-level Lexical Normalisation using Context-Dependent Embeddings. CoRR (2019)
Michael Stewart, Wei Liu, Rachel Cardell-Oliver, Rui Wang
Short-Text Lexical Normalisation on Industrial Log Data. ICBK (2018)
Benjamin Dix-Matthews, Rachel Cardell-Oliver, Christof Hübner
LoRa Parameter Choice for Minimal Energy Usage. RealWSN@SenSys (2018)
Rachel Cardell-Oliver, Travis Povey
Profiling urban activity hubs using transit smart card data. BuildSys@SenSys (2018)
Samitha Patabendige, Rachel Cardell-Oliver, Rui Wang, Wei Liu
Detection and interpretation of anomalous water use for non-residential customers. Environ. Model. Softw. 100 (2018)
Michael Stewart, Wei Liu, Rachel Cardell-Oliver, Mark Griffin
An Interactive Web-Based Toolset for Knowledge Discovery from Short Text Log Data. ADMA (2017)
Liam Walmsley-Eyre, Rachel Cardell-Oliver
Hierarchical Classification of Low Resolution Thermal Images for Occupancy Estimation. LCN Workshops (2017)
Rachel Cardell-Oliver, Chayan Sarkar
Buildsense: long-term, fine-grained building monitoring with minimal sensor infrastructure. BuildSys@SenSys (2017)
Ary Mazharuddin Shiddiqi, Rachel Cardell-Oliver, Amitava Datta
Sensor placement strategy for locating leaks using lean graphs. CySWATER@CPSWeek (2017)
Jin Wang, Rachel Cardell-Oliver, Wei Liu
An incremental algorithm for discovering routine behaviours from smart meter data. Knowl. Based Syst. 113 (2016)
Arran Stewart, Rachel Cardell-Oliver, Rowan Davies
Fine-grained classification of side-effect free methods in real-world Java code and applications to software security. ACSW (2016)
Ben Caldwell, Rachel Cardell-Oliver, Tim French
Learning Time Delay Mealy Machines From Programmable Logic Controllers. IEEE Trans Autom. Sci. Eng. 13 (2) (2016)
Jin Wang, Rachel Cardell-Oliver, Wei Liu
Discovering routine behaviours in smart water meter data. ISSNIP (2015)
Jin Wang, Rachel Cardell-Oliver, Wei Liu
Efficient Discovery of Recurrent Routine Behaviours in Smart Meter Time Series by Growing Subsequences. PAKDD (2) (2015)
Rachel Cardell-Oliver, Verity Scott, Tom Chapman, Jon Morgan, Angus Simpson
Designing sensor networks for leak detection in water pipeline systems. ISSNIP (2015)
Rachel Cardell-Oliver
A Habit Detection Algorithm (HDA) for Discovering Recurrent Patterns in Smart Meter Time Series. MSM/MUSE/SenseML (2014)
Christof Huebner, Rachel Cardell-Oliver, Stefan Hanelt, Tino Wagenknecht, Alvaro Monsalve
Long-range wireless sensor networks with transmit-only nodes and software-defined receivers. Wirel. Commun. Mob. Comput. 13 (17) (2013)
Rachel Cardell-Oliver
Evaluating the Application and Understanding of Elementary Programming Patterns. Australian Software Engineering Conference (2013)
Rachel Cardell-Oliver, Stefan Böttcher, Christof Hübner
Data-Aware, Resource-Aware, Lossless Compression for Sensor Networks. EWSN (2013)
Rachel Cardell-Oliver
Discovering water use activities for smart metering. ISSNIP (2013)
Rachel Cardell-Oliver, Andreas Willig, Christof Huebner, Thomas Buehring, Alvaro Monsalve
Error control strategies for transmit-only sensor networks: A case study. ICON (2012)
Alvaro Monsalve, Rachel Cardell-Oliver, Amitava Datta, Christof Huebner
Empirical evaluation of adapting IEEE 802.15.4 contention windows for maximum performance. PIMRC (2012)
Janet Carter, Dennis J. Bouvier, Rachel Cardell-Oliver, Margaret Hamilton, Stanislav Kurkovsky, Stefanie Markham, O. William McClung, Roger McDermott, Charles Riedesel, Jian Shi, Su White
Motivating all our students? ITiCSE-WGR (2011)
Rachel Cardell-Oliver, Patrick Doran Wu
UWA Java tools: harnessing software metrics to support novice programmers. ITiCSE (2011)
Rachel Cardell-Oliver, Wei Liu
Representation and recognition of situations in sensor networks. IEEE Commun. Mag. 48 (3) (2010)
Babak Pazand, Amitava Datta, Rachel Cardell-Oliver
A Review of Redundancy Elimination Protocols for Wireless Sensor Networks. ICCSA (3) (2010)
Rachel Cardell-Oliver, Lu Zhang, Rieky Barady, You Hai Lim, Asad Naveed, Terry Woodings
Automated Feedback for Quality Assurance in Software Engineering Education. Australian Software Engineering Conference (2010)
Lanny Sitanayah, Amitava Datta, Rachel Cardell-Oliver
Heuristic algorithm for finding boundary cycles in location-free low density wireless sensor networks. Comput. Networks 54 (10) (2010)
Christof Huebner, Stefan Hanelt, Tino Wagenknecht, Rachel Cardell-Oliver, Alvaro Monsalve
Long range wireless sensor networks using transmit-only nodes. SenSys (2010)
Winnie Louis Lee, Amitava Datta, Rachel Cardell-Oliver
FlexiTP: A Flexible-Schedule-Based TDMA Protocol for Fault-Tolerant and Energy-Efficient Wireless Sensor Networks. IEEE Trans. Parallel Distributed Syst. 19 (6) (2008)
Jingbo Sun, Rachel Cardell-Oliver
ACF: An Autonomic Communication Framework for Wireless Sensor Networks. Med-Hoc-Net (2008)
Babak Pazand, Amitava Datta, Rachel Cardell-Oliver
A fault-tolerant node scheduling scheme to extend the lifetime of wireless sensor networks. SenSys (2007)
Jingbo Sun, Rachel Cardell-Oliver
An autonomic communication framework for sensor networks. SenSys (2007)
Winnie Louis Lee, Amitava Datta, Rachel Cardell-Oliver
A Novel Systematic Resource Transfer Method for Wireless Sensor Networks. GLOBECOM (2006)
Valance Phua, Amitava Datta, Rachel Cardell-Oliver
A TDMA-Based MAC Protocol for Industrial Wireless Sensor Network Applications using Link State Dependent Scheduling. GLOBECOM (2006)
Winnie Louis Lee, Amitava Datta, Rachel Cardell-Oliver
FlexiMAC: A flexible TDMA-based MAC protocol for fault-tolerant and energy-efficient wireless sensor networks. ICON (2006)
Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz
A Space and Time Requirements Logic for Sensor Networks. ISoLA (2006)
Rachel Cardell-Oliver, Mark Kranz, Keith Smettem, Kevin Mayer
A Reactive Soil Moisture Sensor Network: Design and Field Evaluation. Int. J. Distributed Sens. Networks 1 (2) (2005)
Patrick Downey, Rachel Cardell-Oliver
Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks. DSN (2004)
Sule Nair, Rachel Cardell-Oliver
Formal specification and analysis of performance variation in sensor network diffusion protocols. MSWiM (2004)
Rachel Cardell-Oliver
Conformance test experiments for distributed real-time systems. ISSTA (2002)
Thorsten Gerdsmeier, Rachel Cardell-Oliver
Analysis of Scheduling Behaviour using Generic Timed Automata. Electron. Notes Theor. Comput. Sci. 42 (2001)
Thorsten Gerdsmeier, Rachel Cardell-Oliver
A Method for Verifying Real-Time Properties of Ada Programs. ICECCS (2001)
Rachel Cardell-Oliver
Conformance Tests for Real-Time Systems with Timed Automata Specifications. Formal Aspects Comput. 12 (5) (2000)
Rachel Cardell-Oliver, Tim Glover
A Practical and Complete Algorithm for Testing Real-Time Systems. FTRTFT (1998)
Rachel Cardell-Oliver
An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs. J. Log. Comput. 8 (4) (1998)
Roger Hale, Rachel Cardell-Oliver, John Herbert
An Embedding of Timed Transition Systems in HOL. Formal Methods Syst. Des. 3 (1/2) (1993)
Rachel Cardell-Oliver
A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic. FTRTFT (1992)
Rachel Cardell-Oliver, Roger Hale, John Herbert
An Embedding of Timed Transition Systems in HOL. TPHOLs (1992)
Rachel Cardell-Oliver
Using Higher Order Logic for Modelling Real-Time Protocols. TAPSOFT, Vol.2 (1991)
Rachel Cardell-Oliver
On the use of the HOL system for Protocol Verification. TPHOLs (1991)

Rachel Cardell-Oliver.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rachel Cardell-Oliver