| 2008 |
|---|
| 20 | EE | 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 Distrib. Syst. 19(6): 851-864 (2008) |
| 2007 |
|---|
| 19 | EE | 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 |
| 18 | EE | Jingbo Sun,
Rachel Cardell-Oliver:
An autonomic communication framework for sensor networks.
SenSys 2007: 439-440 |
| 2006 |
|---|
| 17 | EE | Winnie Louis Lee,
Amitava Datta,
Rachel Cardell-Oliver:
A Novel Systematic Resource Transfer Method for Wireless Sensor Networks.
GLOBECOM 2006 |
| 16 | EE | 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 |
| 2005 |
|---|
| 15 | EE | Rachel Cardell-Oliver,
Mark Kranz,
Keith Smettem,
Kevin Mayer:
A Reactive Soil Moisture Sensor Network: Design and Field Evaluation.
IJDSN 1(2): 149-162 (2005) |
| 2004 |
|---|
| 14 | EE | Patrick Downey,
Rachel Cardell-Oliver:
Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks.
DSN 2004: 785-794 |
| 13 | EE | Sule Nair,
Rachel Cardell-Oliver:
Formal specification and analysis of performance variation in sensor network diffusion protocols.
MSWiM 2004: 170-173 |
| 2002 |
|---|
| 12 | EE | Rachel Cardell-Oliver:
Conformance test experiments for distributed real-time systems.
ISSTA 2002: 159-163 |
| 2001 |
|---|
| 11 | EE | Thorsten Gerdsmeier,
Rachel Cardell-Oliver:
A Method for Verifying Real-Time Properties of Ada Programs.
ICECCS 2001: 35- |
| 10 | EE | Thorsten Gerdsmeier,
Rachel Cardell-Oliver:
Analysis of Scheduling Behaviour using Generic Timed Automata.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 2000 |
|---|
| 9 | EE | Rachel Cardell-Oliver:
Conformance Tests for Real-Time Systems with Timed Automata Specifications.
Formal Asp. Comput. 12(5): 350-371 (2000) |
| 1998 |
|---|
| 8 | EE | Rachel Cardell-Oliver,
Tim Glover:
A Practical and Complete Algorithm for Testing Real-Time Systems.
FTRTFT 1998: 251-261 |
| 7 | | 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) |
| 1995 |
|---|
| 6 | | Rachel Cardell-Oliver:
HTTDs and HOL.
Formal Development of Reactive Systems 1995: 261-276 |
| 1993 |
|---|
| 5 | | Roger Hale,
Rachel Cardell-Oliver,
John Herbert:
An Embedding of Timed Transition Systems in HOL.
Formal Methods in System Design 3(1/2): 151-174 (1993) |
| 1992 |
|---|
| 4 | | Rachel Cardell-Oliver:
A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic.
FTRTFT 1992: 375-392 |
| 3 | | Rachel Cardell-Oliver,
Roger Hale,
John Herbert:
An Embedding of Timed Transition Systems in HOL.
TPHOLs 1992: 263-278 |
| 1991 |
|---|
| 2 | | Rachel Cardell-Oliver:
Using Higher Order Logic for Modelling Real-Time Protocols.
TAPSOFT, Vol.2 1991: 259-282 |
| 1 | | Rachel Cardell-Oliver:
On the use of the HOL system for Protocol Verification.
TPHOLs 1991: 59-62 |
