Rachel Cardell-Oliver
Orcid: 0000-0003-0590-1003Affiliations:
- University of Western Australia, Perth, Australia
According to our database1,
Rachel Cardell-Oliver
authored at least 67 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Internet Things, April, 2024
IEEE Trans. Ind. Informatics, February, 2024
Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Apis-Prime: A deep learning model to optimize beehive monitoring system for the task of daily weight estimation.
Appl. Soft Comput., September, 2023
A Privacy-Preserving Framework Using Homomorphic Encryption for Smart Metering Systems.
Sensors, 2023
Towards an Activity-aware Pufferfish Framework for Local Privacy of Household Smart Water Meter Data.
Proceedings of the 10th ACM International Conference on Systems for Energy-Efficient Buildings, 2023
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023
2022
Design and development of low-power, long-range data acquisition system for beehives - BeeDAS.
Comput. Electron. Agric., 2022
Proceedings of the 9th ACM International Conference on Systems for Energy-Efficient Buildings, 2022
2021
Proceedings of the BuildSys '21: The 8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Coimbra, Portugal, November 17, 2021
2019
BuildSense: Accurate, Cost-aware, Fault-tolerant Monitoring with Minimal Sensor Infrastructure.
ACM Trans. Sens. Networks, 2019
Tracking the Evolution of Public Transport Demand using Spatial-Social-Temporal Contexts.
Proceedings of the 6th ACM International Conference on Systems for Energy-Efficient Buildings, 2019
Proceedings of the 2nd Workshop on Data Acquisition To Analysis, 2019
Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019
2018
Environ. Model. Softw., 2018
Proceedings of the 7th International Workshop on Real-World Embedded Wireless Systems and Networks, 2018
Proceedings of the 5th Conference on Systems for Built Environments, 2018
Proceedings of the 2018 IEEE International Conference on Big Knowledge, 2018
2017
Buildsense: long-term, fine-grained building monitoring with minimal sensor infrastructure.
Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017
Hierarchical Classification of Low Resolution Thermal Images for Occupancy Estimation.
Proceedings of the 42nd IEEE Conference on Local Computer Networks Workshops, 2017
Proceedings of the 3rd International Workshop on Cyber-Physical Systems for Smart Water Networks, 2017
Proceedings of the Advanced Data Mining and Applications - 13th International Conference, 2017
2016
IEEE Trans Autom. Sci. Eng., 2016
Knowl. Based Syst., 2016
Fine-grained classification of side-effect free methods in real-world Java code and applications to software security.
Proceedings of the Australasian Computer Science Week Multiconference, 2016
2015
Efficient Discovery of Recurrent Routine Behaviours in Smart Meter Time Series by Growing Subsequences.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2015
Proceedings of the Tenth IEEE International Conference on Intelligent Sensors, 2015
Proceedings of the Tenth IEEE International Conference on Intelligent Sensors, 2015
2014
A Habit Detection Algorithm (HDA) for Discovering Recurrent Patterns in Smart Meter Time Series.
Proceedings of the Big Data Analytics in the Social and Ubiquitous Context, 2014
2013
Long-range wireless sensor networks with transmit-only nodes and software-defined receivers.
Wirel. Commun. Mob. Comput., 2013
Proceedings of the 2013 IEEE Eighth International Conference on Intelligent Sensors, 2013
Proceedings of the Wireless Sensor Networks - 10th European Conference, 2013
Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013
2012
Empirical evaluation of adapting IEEE 802.15.4 contention windows for maximum performance.
Proceedings of the 23rd IEEE International Symposium on Personal, 2012
Proceedings of the 18th IEEE International Conference on Networks, 2012
2011
Proceedings of the 16th annual conference reports on Innovation and technology in computer science education, 2011
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011
2010
Heuristic algorithm for finding boundary cycles in location-free low density wireless sensor networks.
Comput. Networks, 2010
IEEE Commun. Mag., 2010
Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010
Proceedings of the Computational Science and Its Applications, 2010
Proceedings of the 21st Australian Software Engineering Conference (ASWEC 2010), 2010
2008
FlexiTP: A Flexible-Schedule-Based TDMA Protocol for Fault-Tolerant and Energy-Efficient Wireless Sensor Networks.
IEEE Trans. Parallel Distributed Syst., 2008
Proceedings of the Advances in Ad Hoc Networking, 2008
2007
Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007
A fault-tolerant node scheduling scheme to extend the lifetime of wireless sensor networks.
Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007
2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
FlexiMAC: A flexible TDMA-based MAC protocol for fault-tolerant and energy-efficient wireless sensor networks.
Proceedings of the 14th IEEE International Conference on Networks, 2006
A TDMA-Based MAC Protocol for Industrial Wireless Sensor Network Applications using Link State Dependent Scheduling.
Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006
Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006
2005
Int. J. Distributed Sens. Networks, 2005
2004
Formal specification and analysis of performance variation in sensor network diffusion protocols.
Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2004
Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
2002
Proceedings of the International Symposium on Software Testing and Analysis, 2002
2001
Proceedings of the Computing: The Australasian Theory Symposium, 2001
Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001
2000
Formal Aspects Comput., 2000
1998
An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs.
J. Log. Comput., 1998
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
1995
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995
1993
1992
A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992
1991
On the use of the HOL system for Protocol Verification.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991