Rachel Cardell-Oliver

69 papers A* 1A 3B 6C 3Misc 4Journal 19Unranked 31

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