More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Rachel Cardell-Oliver

> Home > Persons

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

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iot/CardellOliverCH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iot/CardellOliverCH24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/AlviFCBA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/AlviFCBA24
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)
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Alvi0KC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Alvi0KC24
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
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/asc/AnwarKCDP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/AnwarKCDP23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/XuSCMH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/XuSCMH23
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)
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/XuZCMH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/XuZCMH23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/Cardell-OliverK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/Cardell-OliverK23
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
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/AlviFCKW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/AlviFCKW22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cea/AnwarKCDP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cea/AnwarKCDP22
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)
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/AlviC022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/AlviC022
Maira Alvi, Rachel Cardell-Oliver, Tim French:
Utilizing autoencoders to improve transfer learning when sensor data is sparse. BuildSys 2022: 500-503
2021
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/Cardell-OliverC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/Cardell-OliverC21
Rachel Cardell-Oliver, Harrison Carter-Turner:
Activity-aware privacy protection for smart water meters. BuildSys 2021: 31-40

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tosn/Cardell-OliverS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosn/Cardell-OliverS19
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)
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/emnlp/StewartLC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emnlp/StewartLC19
Michael Stewart, Wei Liu, Rachel Cardell-Oliver:
Redcoat: A Collaborative Annotation Tool for Hierarchical Entity Typing. EMNLP/IJCNLP (3) 2019: 193-198
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/Cardell-OliverH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/Cardell-OliverH19
Rachel Cardell-Oliver, Christof Hübner, Matthias Leopold, Jason Beringer:
Dataset: LoRa Underground Farm Sensor Network. DATA@SenSys 2019: 26-28
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/Cardell-OliverS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/Cardell-OliverS19
Rachel Cardell-Oliver, Prathyusha Sangam:
Tracking the Evolution of Public Transport Demand using Spatial-Social-Temporal Contexts. BuildSys 2019: 179-182
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-06172
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-06172
Michael Stewart, Wei Liu, Rachel Cardell-Oliver:
Word-level Lexical Normalisation using Context-Dependent Embeddings. CoRR abs/1911.06172 (2019)
2018
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/envsoft/PatabendigeCWL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/envsoft/PatabendigeCWL18
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)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/icbk/Stewart0CW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icbk/Stewart0CW18
Michael Stewart, Wei Liu, Rachel Cardell-Oliver, Rui Wang:
Short-Text Lexical Normalisation on Industrial Log Data. ICBK 2018: 113-122
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/Dix-MatthewsCH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/Dix-MatthewsCH18
Benjamin Dix-Matthews, Rachel Cardell-Oliver, Christof Hübner:
LoRa Parameter Choice for Minimal Energy Usage. RealWSN@SenSys 2018: 37-42
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/Cardell-OliverP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/Cardell-OliverP18
Rachel Cardell-Oliver, Travis Povey:
Profiling urban activity hubs using transit smart card data. BuildSys 2018: 116-125
2017
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/adma/StewartLCG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adma/StewartLCG17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cpsweek/ShiddiqiCD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/ShiddiqiCD17
Ary Mazharuddin Shiddiqi, Rachel Cardell-Oliver, Amitava Datta:
Sensor placement strategy for locating leaks using lean graphs. CySWATER@CPSWeek 2017: 11-14
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/lcn/Walmsley-EyreC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcn/Walmsley-EyreC17
Liam Walmsley-Eyre, Rachel Cardell-Oliver:
Hierarchical Classification of Low Resolution Thermal Images for Occupancy Estimation. LCN Workshops 2017: 9-17
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/Cardell-OliverS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/Cardell-OliverS17
Rachel Cardell-Oliver, Chayan Sarkar:
Buildsense: long-term, fine-grained building monitoring with minimal sensor infrastructure. BuildSys 2017: 9:1-9:10
2016
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/kbs/WangCL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/kbs/WangCL16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/CaldwellCF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/CaldwellCF16
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)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/acsc/StewartCD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsc/StewartCD16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issnip/Cardell-OliverS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issnip/Cardell-OliverS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issnip/WangCL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issnip/WangCL15
Jin Wang, Rachel Cardell-Oliver, Wei Liu:
Discovering routine behaviours in smart water meter data. ISSNIP 2015: 1-6
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/pakdd/WangCL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pakdd/WangCL15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pkdd/Cardell-Oliver14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkdd/Cardell-Oliver14
Rachel Cardell-Oliver:
A Habit Detection Algorithm (HDA) for Discovering Recurrent Patterns in Smart Meter Time Series. MSM/MUSE/SenseML 2014: 109-127
2013
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/wicomm/HuebnerCHWM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/wicomm/HuebnerCHWM13
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)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/aswec/Cardell-Oliver13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aswec/Cardell-Oliver13
Rachel Cardell-Oliver:
Evaluating the Application and Understanding of Elementary Programming Patterns. Australian Software Engineering Conference 2013: 60-67
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ewsn/Cardell-OliverBH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewsn/Cardell-OliverBH13
Rachel Cardell-Oliver, Stefan Böttcher, Christof Hübner:
Data-Aware, Resource-Aware, Lossless Compression for Sensor Networks. EWSN 2013: 83-98
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/issnip/Cardell-Oliver13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issnip/Cardell-Oliver13
Rachel Cardell-Oliver:
Discovering water use activities for smart metering. ISSNIP 2013: 171-176
2012
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icon/Cardell-OliverWHBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icon/Cardell-OliverWHBM12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pimrc/MonsalveCDH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pimrc/MonsalveCDH12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/CarterBCHKMMMRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/CarterBCHKMMMRS11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/Cardell-OliverW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/Cardell-OliverW11
Rachel Cardell-Oliver, Patrick Doran Wu:
UWA Java tools: harnessing software metrics to support novice programmers. ITiCSE 2011: 341
2010
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/cm/Cardell-OliverL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cm/Cardell-OliverL10
Rachel Cardell-Oliver, Wei Liu:
Representation and recognition of situations in sensor networks. IEEE Commun. Mag. 48(3): 112-117 (2010)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/SitanayahDC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/SitanayahDC10
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)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/aswec/Cardell-OliverZBLNW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aswec/Cardell-OliverZBLNW10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/PazandDC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/PazandDC10
Babak Pazand, Amitava Datta, Rachel Cardell-Oliver:
A Review of Redundancy Elimination Protocols for Wireless Sensor Networks. ICCSA (3) 2010: 336-351
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/HuebnerHWCM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/HuebnerHWCM10
Christof Huebner, Stefan Hanelt, Tino Wagenknecht, Rachel Cardell-Oliver, Alvaro Monsalve:
Long range wireless sensor networks using transmit-only nodes. SenSys 2010: 417-418

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/LeeDC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/LeeDC08
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)
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/medhocnet/SunC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medhocnet/SunC08
Jingbo Sun, Rachel Cardell-Oliver:
ACF: An Autonomic Communication Framework for Wireless Sensor Networks. Med-Hoc-Net 2008: 37-48
2007
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/PazandDC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/PazandDC07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/SunC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/SunC07
Jingbo Sun, Rachel Cardell-Oliver:
An autonomic communication framework for sensor networks. SenSys 2007: 439-440
2006
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/globecom/LeeDC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/globecom/LeeDC06
Winnie Louis Lee, Amitava Datta, Rachel Cardell-Oliver:
A Novel Systematic Resource Transfer Method for Wireless Sensor Networks. GLOBECOM 2006
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/globecom/PhuaDC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/globecom/PhuaDC06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icon/LeeDC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icon/LeeDC06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Cardell-OliverRK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Cardell-OliverRK06
Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz:
A Space and Time Requirements Logic for Sensor Networks. ISoLA 2006: 283-289
2005
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijdsn/Cardell-OliverKSM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdsn/Cardell-OliverKSM05
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)
2004
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/DowneyC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/DowneyC04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mswim/NairC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mswim/NairC04
Sule Nair, Rachel Cardell-Oliver:
Formal specification and analysis of performance variation in sensor network diffusion protocols. MSWiM 2004: 170-173
2002
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Cardell-Oliver02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Cardell-Oliver02
Rachel Cardell-Oliver:
Conformance test experiments for distributed real-time systems. ISSTA 2002: 159-163
2001
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/GerdsmeierC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/GerdsmeierC01
Thorsten Gerdsmeier, Rachel Cardell-Oliver:
A Method for Verifying Real-Time Properties of Ada Programs. ICECCS 2001: 35-
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GerdsmeierC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GerdsmeierC01
Thorsten Gerdsmeier, Rachel Cardell-Oliver:
Analysis of Scheduling Behaviour using Generic Timed Automata. CATS 2001: 143-157
2000
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Cardell-Oliver00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Cardell-Oliver00
Rachel Cardell-Oliver:
Conformance Tests for Real-Time Systems with Timed Automata Specifications. Formal Aspects Comput. 12(5): 350-371 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Cardell-Oliver98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Cardell-Oliver98
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)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/Cardell-OliverG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/Cardell-OliverG98
Rachel Cardell-Oliver, Tim Glover:
A Practical and Complete Algorithm for Testing Real-Time Systems. FTRTFT 1998: 251-261
1995
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/korso/Cardell-Oliver95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/korso/Cardell-Oliver95
Rachel Cardell-Oliver:
HTTDs and HOL. Formal Development of Reactive Systems 1995: 261-276
1993
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HaleCH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HaleCH93
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)
1992
[b1]
- view
  - electronic edition @ bl.uk
  - no references & citations available
- export record
  dblp key:
  - phd/ethos/CardellOliver92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/CardellOliver92
Rachel Cardell-Oliver:
The formal verification of hard real-time systems. University of Cambridge, UK, 1992
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/Cardell-Oliver92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/Cardell-Oliver92
Rachel Cardell-Oliver:
A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic. FTRTFT 1992: 375-392
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/Cardell-OliverHH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Cardell-OliverHH92
Rachel Cardell-Oliver, Roger Hale, John Herbert:
An Embedding of Timed Transition Systems in HOL. TPHOLs 1992: 263-278
1991
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Cardell-Oliver91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Cardell-Oliver91
Rachel Cardell-Oliver:
Using Higher Order Logic for Modelling Real-Time Protocols. TAPSOFT, Vol.2 1991: 259-282
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/Cardell-Oliver91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Cardell-Oliver91
Rachel Cardell-Oliver:
On the use of the HOL system for Protocol Verification. TPHOLs 1991: 59-62

Coauthor Index

see FAQ

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.