Using Higher Order Logic for Modelling Real-Time Protocols. - Rachel Cardell-Oliver (TAPSOFT, Vol.2, 1991)

On the use of the HOL system for Protocol Verification. - Rachel Cardell-Oliver (TPHOLs, 1991)

A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic. - Rachel Cardell-Oliver (FTRTFT, 1992)

The formal verification of hard real-time systems. - Rachel Cardell-Oliver (1992)

An Embedding of Timed Transition Systems in HOL. - Roger Hale; Rachel Cardell-Oliver; John Herbert (Formal Methods Syst. Des., 1993)

HTTDs and HOL. - Rachel Cardell-Oliver (Formal Development of Reactive Systems, 1995)

A Practical and Complete Algorithm for Testing Real-Time Systems. - Rachel Cardell-Oliver; Tim Glover (FTRTFT, 1998)

An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs. - Rachel Cardell-Oliver (J. Log. Comput., 1998)

Conformance Tests for Real-Time Systems with Timed Automata Specifications. - Rachel Cardell-Oliver (Formal Aspects Comput., 2000)

A Method for Verifying Real-Time Properties of Ada Programs. - Thorsten Gerdsmeier; Rachel Cardell-Oliver (ICECCS, 2001)

Analysis of Scheduling Behaviour using Generic Timed Automata. - Thorsten Gerdsmeier; Rachel Cardell-Oliver (CATS, 2001)

Conformance test experiments for distributed real-time systems. - Rachel Cardell-Oliver (ISSTA, 2002)

Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks. - Patrick Downey; Rachel Cardell-Oliver (DSN, 2004)

Formal specification and analysis of performance variation in sensor network diffusion protocols. - Sule Nair; Rachel Cardell-Oliver (MSWiM, 2004)

A Reactive Soil Moisture Sensor Network: Design and Field Evaluation. - Rachel Cardell-Oliver; Mark Kranz; Keith Smettem; Kevin Mayer (Int. J. Distributed Sens. Networks, 2005)

A Novel Systematic Resource Transfer Method for Wireless Sensor Networks. - Winnie Louis Lee; Amitava Datta; Rachel Cardell-Oliver (GLOBECOM, 2006)

A TDMA-Based MAC Protocol for Industrial Wireless Sensor Network Applications using Link State Dependent Scheduling. - Valance Phua; Amitava Datta; Rachel Cardell-Oliver (GLOBECOM, 2006)

FlexiMAC: A flexible TDMA-based MAC protocol for fault-tolerant and energy-efficient wireless sensor networks. - Winnie Louis Lee; Amitava Datta; Rachel Cardell-Oliver (ICON, 2006)

A Space and Time Requirements Logic for Sensor Networks. - Rachel Cardell-Oliver; Mark Reynolds 001; Mark Kranz (ISoLA, 2006)

A fault-tolerant node scheduling scheme to extend the lifetime of wireless sensor networks. - Babak Pazand; Amitava Datta; Rachel Cardell-Oliver (SenSys, 2007)

An autonomic communication framework for sensor networks. - Jingbo Sun; Rachel Cardell-Oliver (SenSys, 2007)

ACF: An Autonomic Communication Framework for Wireless Sensor Networks. - Jingbo Sun; Rachel Cardell-Oliver (Med-Hoc-Net, 2008)

FlexiTP: A Flexible-Schedule-Based TDMA Protocol for Fault-Tolerant and Energy-Efficient Wireless Sensor Networks. - Winnie Louis Lee; Amitava Datta; Rachel Cardell-Oliver (IEEE Trans. Parallel Distributed Syst., 2008)

Automated Feedback for Quality Assurance in Software Engineering Education. - Rachel Cardell-Oliver; Lu Zhang 016; Rieky Barady; You Hai Lim; Asad Naveed; Terry Woodings (Australian Software Engineering Conference, 2010)

A Review of Redundancy Elimination Protocols for Wireless Sensor Networks. - Babak Pazand; Amitava Datta; Rachel Cardell-Oliver (ICCSA (3), 2010)

Long range wireless sensor networks using transmit-only nodes. - Christof Huebner; Stefan Hanelt; Tino Wagenknecht; Rachel Cardell-Oliver; Alvaro Monsalve (SenSys, 2010)

Representation and recognition of situations in sensor networks. - Rachel Cardell-Oliver; Wei Liu 006 (IEEE Commun. Mag., 2010)

Heuristic algorithm for finding boundary cycles in location-free low density wireless sensor networks. - Lanny Sitanayah; Amitava Datta; Rachel Cardell-Oliver (Comput. Networks, 2010)

UWA Java tools: harnessing software metrics to support novice programmers. - Rachel Cardell-Oliver; Patrick Doran Wu (ITiCSE, 2011)

Motivating all our students? - Janet Carter; Dennis J. Bouvier; Rachel Cardell-Oliver; Margaret Hamilton 001; Stanislav Kurkovsky; Stefanie Markham; O. William McClung; Roger McDermott; Charles Riedesel; Jian Shi; Su White (ITiCSE-WGR, 2011)

Error control strategies for transmit-only sensor networks: A case study. - Rachel Cardell-Oliver; Andreas Willig; Christof Huebner; Thomas Buehring; Alvaro Monsalve (ICON, 2012)

Empirical evaluation of adapting IEEE 802.15.4 contention windows for maximum performance. - Alvaro Monsalve; Rachel Cardell-Oliver; Amitava Datta; Christof Huebner (PIMRC, 2012)

Evaluating the Application and Understanding of Elementary Programming Patterns. - Rachel Cardell-Oliver (Australian Software Engineering Conference, 2013)

Data-Aware, Resource-Aware, Lossless Compression for Sensor Networks. - Rachel Cardell-Oliver; Stefan Böttcher; Christof Hübner (EWSN, 2013)

Discovering water use activities for smart metering. - Rachel Cardell-Oliver (ISSNIP, 2013)

Long-range wireless sensor networks with transmit-only nodes and software-defined receivers. - Christof Huebner; Rachel Cardell-Oliver; Stefan Hanelt; Tino Wagenknecht; Alvaro Monsalve (Wirel. Commun. Mob. Comput., 2013)

A Habit Detection Algorithm (HDA) for Discovering Recurrent Patterns in Smart Meter Time Series. - Rachel Cardell-Oliver (MSM/MUSE/SenseML, 2014)

Designing sensor networks for leak detection in water pipeline systems. - Rachel Cardell-Oliver; Verity Scott; Tom Chapman; Jon Morgan; Angus Simpson (ISSNIP, 2015)

Discovering routine behaviours in smart water meter data. - Jin Wang 002; Rachel Cardell-Oliver; Wei Liu 006 (ISSNIP, 2015)

Efficient Discovery of Recurrent Routine Behaviours in Smart Meter Time Series by Growing Subsequences. - Jin Wang 002; Rachel Cardell-Oliver; Wei Liu 006 (PAKDD (2), 2015)

Fine-grained classification of side-effect free methods in real-world Java code and applications to software security. - Arran Stewart; Rachel Cardell-Oliver; Rowan Davies (ACSW, 2016)

An incremental algorithm for discovering routine behaviours from smart meter data. - Jin Wang 002; Rachel Cardell-Oliver; Wei Liu 006 (Knowl. Based Syst., 2016)

Learning Time Delay Mealy Machines From Programmable Logic Controllers. - Ben Caldwell; Rachel Cardell-Oliver; Tim French 002 (IEEE Trans Autom. Sci. Eng., 2016)

An Interactive Web-Based Toolset for Knowledge Discovery from Short Text Log Data. - Michael Stewart; Wei Liu 006; Rachel Cardell-Oliver; Mark Griffin (ADMA, 2017)

Sensor placement strategy for locating leaks using lean graphs. - Ary Mazharuddin Shiddiqi; Rachel Cardell-Oliver; Amitava Datta (CySWATER@CPSWeek, 2017)

Hierarchical Classification of Low Resolution Thermal Images for Occupancy Estimation. - Liam Walmsley-Eyre; Rachel Cardell-Oliver (LCN Workshops, 2017)

Buildsense: long-term, fine-grained building monitoring with minimal sensor infrastructure. - Rachel Cardell-Oliver; Chayan Sarkar (BuildSys, 2017)

Short-Text Lexical Normalisation on Industrial Log Data. - Michael Stewart; Wei Liu 006; Rachel Cardell-Oliver; Rui Wang 116 (ICBK, 2018)

Profiling urban activity hubs using transit smart card data. - Rachel Cardell-Oliver; Travis Povey (BuildSys, 2018)

LoRa Parameter Choice for Minimal Energy Usage. - Benjamin Dix-Matthews; Rachel Cardell-Oliver; Christof Hübner (RealWSN@SenSys, 2018)

Detection and interpretation of anomalous water use for non-residential customers. - Samitha Patabendige; Rachel Cardell-Oliver; Rui Wang 116; Wei Liu 006 (Environ. Model. Softw., 2018)

Redcoat: A Collaborative Annotation Tool for Hierarchical Entity Typing. - Michael Stewart; Wei Liu 006; Rachel Cardell-Oliver (EMNLP/IJCNLP (3), 2019)

Dataset: LoRa Underground Farm Sensor Network. - Rachel Cardell-Oliver; Christof Hübner; Matthias Leopold; Jason Beringer (DATA@SenSys, 2019)

Tracking the Evolution of Public Transport Demand using Spatial-Social-Temporal Contexts. - Rachel Cardell-Oliver; Prathyusha Sangam (BuildSys, 2019)

Word-level Lexical Normalisation using Context-Dependent Embeddings. - Michael Stewart; Wei Liu 006; Rachel Cardell-Oliver (CoRR, 2019)

BuildSense: Accurate, Cost-aware, Fault-tolerant Monitoring with Minimal Sensor Infrastructure. - Rachel Cardell-Oliver; Chayan Sarkar (ACM Trans. Sens. Networks, 2019)

Activity-aware privacy protection for smart water meters. - Rachel Cardell-Oliver; Harrison Carter-Turner (BuildSys, 2021)

Utilizing autoencoders to improve transfer learning when sensor data is sparse. - Maira Alvi; Rachel Cardell-Oliver; Tim French 002 (BuildSys, 2022)

Cost Effective Soft Sensing for Wastewater Treatment Facilities. - Maira Alvi; Tim French 002; Rachel Cardell-Oliver; Philip Keymer; Andrew Ward (IEEE Access, 2022)

Design and development of low-power, long-range data acquisition system for beehives - BeeDAS. - Omar Anwar; Adrian Keating; Rachel Cardell-Oliver; Amitava Datta; Gino Putrino (Comput. Electron. Agric., 2022)

Entropy-based Selective Homomorphic Encryption for Smart Metering Systems. - Weiyan Xu; Yinghao Zhang; Rachel Cardell-Oliver; Ajmal Mian; Jin B. Hong (PRDC, 2023)

Towards an Activity-aware Pufferfish Framework for Local Privacy of Household Smart Water Meter Data. - Rachel Cardell-Oliver; Brandon Ke (BuildSys, 2023)

A Privacy-Preserving Framework Using Homomorphic Encryption for Smart Metering Systems. - Weiyan Xu; Jack Sun; Rachel Cardell-Oliver; Ajmal Mian; Jin B. Hong (Sensors, 2023)

Apis-Prime: A deep learning model to optimize beehive monitoring system for the task of daily weight estimation. - Omar Anwar; Adrian Keating; Rachel Cardell-Oliver; Amitava Datta; Gino Putrino (Appl. Soft Comput., 2023)

Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning. - Maira Alvi; Tim French 002; Philip Keymer; Rachel Cardell-Oliver (AAAI, 2024)

Enhanced Deep Predictive Modeling of Wastewater Plants With Limited Data. - Maira Alvi; Tim French 002; Rachel Cardell-Oliver; Damien J. Batstone; Naveed Akhtar (IEEE Trans. Ind. Informatics, 2024)

Activity and resolution aware privacy protection for smart water meter databases. - Rachel Cardell-Oliver; Andrea Cominola; Jin B. Hong (Internet Things, 2024)