default search action
Rachel Cardell-Oliver
Person information
- affiliation: University of Western Australia, Perth, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1992
- [b1]Rachel Cardell-Oliver:
The formal verification of hard real-time systems. University of Cambridge, UK, 1992
Journal Articles
- 2024
- [j18]Rachel Cardell-Oliver, Andrea Cominola, Jin B. Hong:
Activity and resolution aware privacy protection for smart water meter databases. Internet Things 25: 101130 (2024) - [j17]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): 1920-1930 (2024) - 2023
- [j16]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: 110546 (2023) - [j15]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): 4746 (2023) - 2022
- [j14]Maira Alvi, Tim French, Rachel Cardell-Oliver, Philip Keymer, Andrew Ward:
Cost Effective Soft Sensing for Wastewater Treatment Facilities. IEEE Access 10: 55694-55708 (2022) - [j13]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: 107281 (2022) - 2019
- [j12]Rachel Cardell-Oliver, Chayan Sarkar:
BuildSense: Accurate, Cost-aware, Fault-tolerant Monitoring with Minimal Sensor Infrastructure. ACM Trans. Sens. Networks 15(3): 36:1-36:23 (2019) - 2018
- [j11]Samitha Patabendige, Rachel Cardell-Oliver, Rui Wang, Wei Liu:
Detection and interpretation of anomalous water use for non-residential customers. Environ. Model. Softw. 100: 291-301 (2018) - 2016
- [j10]Jin Wang, Rachel Cardell-Oliver, Wei Liu:
An incremental algorithm for discovering routine behaviours from smart meter data. Knowl. Based Syst. 113: 61-74 (2016) - [j9]Ben Caldwell, Rachel Cardell-Oliver, Tim French:
Learning Time Delay Mealy Machines From Programmable Logic Controllers. IEEE Trans Autom. Sci. Eng. 13(2): 1155-1164 (2016) - 2013
- [j8]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): 1499-1510 (2013) - 2010
- [j7]Rachel Cardell-Oliver, Wei Liu:
Representation and recognition of situations in sensor networks. IEEE Commun. Mag. 48(3): 112-117 (2010) - [j6]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): 1630-1645 (2010) - 2008
- [j5]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): 851-864 (2008) - 2005
- [j4]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): 149-162 (2005) - 2000
- [j3]Rachel Cardell-Oliver:
Conformance Tests for Real-Time Systems with Timed Automata Specifications. Formal Aspects Comput. 12(5): 350-371 (2000) - 1998
- [j2]Rachel Cardell-Oliver:
An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs. J. Log. Comput. 8(4): 545-567 (1998) - 1993
- [j1]Roger Hale, Rachel Cardell-Oliver, John Herbert:
An Embedding of Timed Transition Systems in HOL. Formal Methods Syst. Des. 3(1/2): 151-174 (1993)
Conference and Workshop Papers
- 2024
- [c47]Maira Alvi, Tim French, Philip Keymer, Rachel Cardell-Oliver:
Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning. AAAI 2024: 23020-23026 - 2023
- [c46]Weiyan Xu, Yinghao Zhang, Rachel Cardell-Oliver, Ajmal Mian, Jin B. Hong:
Entropy-based Selective Homomorphic Encryption for Smart Metering Systems. PRDC 2023: 228-235 - [c45]Rachel Cardell-Oliver, Brandon Ke:
Towards an Activity-aware Pufferfish Framework for Local Privacy of Household Smart Water Meter Data. BuildSys 2023: 328-332 - 2022
- [c44]Maira Alvi, Rachel Cardell-Oliver, Tim French:
Utilizing autoencoders to improve transfer learning when sensor data is sparse. BuildSys 2022: 500-503 - 2021
- [c43]Rachel Cardell-Oliver, Harrison Carter-Turner:
Activity-aware privacy protection for smart water meters. BuildSys 2021: 31-40 - 2019
- [c42]Michael Stewart, Wei Liu, Rachel Cardell-Oliver:
Redcoat: A Collaborative Annotation Tool for Hierarchical Entity Typing. EMNLP/IJCNLP (3) 2019: 193-198 - [c41]Rachel Cardell-Oliver, Christof Hübner, Matthias Leopold, Jason Beringer:
Dataset: LoRa Underground Farm Sensor Network. DATA@SenSys 2019: 26-28 - [c40]Rachel Cardell-Oliver, Prathyusha Sangam:
Tracking the Evolution of Public Transport Demand using Spatial-Social-Temporal Contexts. BuildSys 2019: 179-182 - 2018
- [c39]Michael Stewart, Wei Liu, Rachel Cardell-Oliver, Rui Wang:
Short-Text Lexical Normalisation on Industrial Log Data. ICBK 2018: 113-122 - [c38]Benjamin Dix-Matthews, Rachel Cardell-Oliver, Christof Hübner:
LoRa Parameter Choice for Minimal Energy Usage. RealWSN@SenSys 2018: 37-42 - [c37]Rachel Cardell-Oliver, Travis Povey:
Profiling urban activity hubs using transit smart card data. BuildSys 2018: 116-125 - 2017
- [c36]Michael Stewart, Wei Liu, Rachel Cardell-Oliver, Mark Griffin:
An Interactive Web-Based Toolset for Knowledge Discovery from Short Text Log Data. ADMA 2017: 853-858 - [c35]Ary Mazharuddin Shiddiqi, Rachel Cardell-Oliver, Amitava Datta:
Sensor placement strategy for locating leaks using lean graphs. CySWATER@CPSWeek 2017: 11-14 - [c34]Liam Walmsley-Eyre, Rachel Cardell-Oliver:
Hierarchical Classification of Low Resolution Thermal Images for Occupancy Estimation. LCN Workshops 2017: 9-17 - [c33]Rachel Cardell-Oliver, Chayan Sarkar:
Buildsense: long-term, fine-grained building monitoring with minimal sensor infrastructure. BuildSys 2017: 9:1-9:10 - 2016
- [c32]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: 37 - 2015
- [c31]Rachel Cardell-Oliver, Verity Scott, Tom Chapman, Jon Morgan, Angus Simpson:
Designing sensor networks for leak detection in water pipeline systems. ISSNIP 2015: 1-6 - [c30]Jin Wang, Rachel Cardell-Oliver, Wei Liu:
Discovering routine behaviours in smart water meter data. ISSNIP 2015: 1-6 - [c29]Jin Wang, Rachel Cardell-Oliver, Wei Liu:
Efficient Discovery of Recurrent Routine Behaviours in Smart Meter Time Series by Growing Subsequences. PAKDD (2) 2015: 522-533 - 2014
- [c28]Rachel Cardell-Oliver:
A Habit Detection Algorithm (HDA) for Discovering Recurrent Patterns in Smart Meter Time Series. MSM/MUSE/SenseML 2014: 109-127 - 2013
- [c27]Rachel Cardell-Oliver:
Evaluating the Application and Understanding of Elementary Programming Patterns. Australian Software Engineering Conference 2013: 60-67 - [c26]Rachel Cardell-Oliver, Stefan Böttcher, Christof Hübner:
Data-Aware, Resource-Aware, Lossless Compression for Sensor Networks. EWSN 2013: 83-98 - [c25]Rachel Cardell-Oliver:
Discovering water use activities for smart metering. ISSNIP 2013: 171-176 - 2012
- [c24]Rachel Cardell-Oliver, Andreas Willig, Christof Huebner, Thomas Buehring, Alvaro Monsalve:
Error control strategies for transmit-only sensor networks: A case study. ICON 2012: 453-458 - [c23]Alvaro Monsalve, Rachel Cardell-Oliver, Amitava Datta, Christof Huebner:
Empirical evaluation of adapting IEEE 802.15.4 contention windows for maximum performance. PIMRC 2012: 260-265 - 2011
- [c22]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: 1-18 - [c21]Rachel Cardell-Oliver, Patrick Doran Wu:
UWA Java tools: harnessing software metrics to support novice programmers. ITiCSE 2011: 341 - 2010
- [c20]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: 157-164 - [c19]Babak Pazand, Amitava Datta, Rachel Cardell-Oliver:
A Review of Redundancy Elimination Protocols for Wireless Sensor Networks. ICCSA (3) 2010: 336-351 - [c18]Christof Huebner, Stefan Hanelt, Tino Wagenknecht, Rachel Cardell-Oliver, Alvaro Monsalve:
Long range wireless sensor networks using transmit-only nodes. SenSys 2010: 417-418 - 2008
- [c17]Jingbo Sun, Rachel Cardell-Oliver:
ACF: An Autonomic Communication Framework for Wireless Sensor Networks. Med-Hoc-Net 2008: 37-48 - 2007
- [c16]Babak Pazand, Amitava Datta, Rachel Cardell-Oliver:
A fault-tolerant node scheduling scheme to extend the lifetime of wireless sensor networks. SenSys 2007: 423-424 - [c15]Jingbo Sun, Rachel Cardell-Oliver:
An autonomic communication framework for sensor networks. SenSys 2007: 439-440 - 2006
- [c14]Winnie Louis Lee, Amitava Datta, Rachel Cardell-Oliver:
A Novel Systematic Resource Transfer Method for Wireless Sensor Networks. GLOBECOM 2006 - [c13]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 - [c12]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: 1-6 - [c11]Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz:
A Space and Time Requirements Logic for Sensor Networks. ISoLA 2006: 283-289 - 2004
- [c10]Patrick Downey, Rachel Cardell-Oliver:
Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks. DSN 2004: 785-794 - [c9]Sule Nair, Rachel Cardell-Oliver:
Formal specification and analysis of performance variation in sensor network diffusion protocols. MSWiM 2004: 170-173 - 2002
- [c8]Rachel Cardell-Oliver:
Conformance test experiments for distributed real-time systems. ISSTA 2002: 159-163 - 2001
- [c7]Thorsten Gerdsmeier, Rachel Cardell-Oliver:
A Method for Verifying Real-Time Properties of Ada Programs. ICECCS 2001: 35- - [c6]Thorsten Gerdsmeier, Rachel Cardell-Oliver:
Analysis of Scheduling Behaviour using Generic Timed Automata. CATS 2001: 143-157 - 1998
- [c5]Rachel Cardell-Oliver, Tim Glover:
A Practical and Complete Algorithm for Testing Real-Time Systems. FTRTFT 1998: 251-261 - 1992
- [c4]Rachel Cardell-Oliver:
A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic. FTRTFT 1992: 375-392 - [c3]Rachel Cardell-Oliver, Roger Hale, John Herbert:
An Embedding of Timed Transition Systems in HOL. TPHOLs 1992: 263-278 - 1991
- [c2]Rachel Cardell-Oliver:
Using Higher Order Logic for Modelling Real-Time Protocols. TAPSOFT, Vol.2 1991: 259-282 - [c1]Rachel Cardell-Oliver:
On the use of the HOL system for Protocol Verification. TPHOLs 1991: 59-62
Parts in Books or Collections
- 1995
- [p1]Rachel Cardell-Oliver:
HTTDs and HOL. Formal Development of Reactive Systems 1995: 261-276
Informal and Other Publications
- 2019
- [i1]Michael Stewart, Wei Liu, Rachel Cardell-Oliver:
Word-level Lexical Normalisation using Context-Dependent Embeddings. CoRR abs/1911.06172 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 21:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint