- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c22 |      | Rachel Cardell-Oliver, Stefan Böttcher, Christof Hübner: Data-Aware, Resource-Aware, Lossless Compression for Sensor Networks. EWSN 2013: 83-98 |
| 2012 | ||
| c21 | | 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 |
| c20 | | 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 | ||
| c19 | | Rachel Cardell-Oliver, Patrick Doran Wu: UWA Java tools: harnessing software metrics to support novice programmers. ITiCSE 2011: 341 |
| 2010 | ||
| j8 | | Rachel Cardell-Oliver, Wei Liu: Representation and recognition of situations in sensor networks. IEEE Communications Magazine 48(3): 112-117 (2010) |
| j7 | | Lanny Sitanayah, Amitava Datta, Rachel Cardell-Oliver: Heuristic algorithm for finding boundary cycles in location-free low density wireless sensor networks. Computer Networks 54(10): 1630-1645 (2010) |
| c18 | | 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 |
| c17 | | Babak Pazand, Amitava Datta, Rachel Cardell-Oliver: A Review of Redundancy Elimination Protocols for Wireless Sensor Networks. ICCSA (3) 2010: 336-351 |
| c16 | | 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 | ||
| j6 | | 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 | ||
| c15 | | 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 |
| c14 | | Jingbo Sun, Rachel Cardell-Oliver: An autonomic communication framework for sensor networks. SenSys 2007: 439-440 |
| 2006 | ||
| c13 | | Winnie Louis Lee, Amitava Datta, Rachel Cardell-Oliver: A Novel Systematic Resource Transfer Method for Wireless Sensor Networks. GLOBECOM 2006 |
| c12 | | 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 |
| c11 | | Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz: A Space and Time Requirements Logic for Sensor Networks. ISoLA 2006: 283-289 |
| 2005 | ||
| j5 | | 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 | ||
| 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 | ||
| j4 | | Thorsten Gerdsmeier, Rachel Cardell-Oliver: Analysis of Scheduling Behaviour using Generic Timed Automata. Electr. Notes Theor. Comput. Sci. 42: 143-157 (2001) |
| c7 | | Thorsten Gerdsmeier, Rachel Cardell-Oliver: A Method for Verifying Real-Time Properties of Ada Programs. ICECCS 2001: 35- |
| 2000 | ||
| j3 | | Rachel Cardell-Oliver: Conformance Tests for Real-Time Systems with Timed Automata Specifications. Formal Asp. 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) |
| c6 | | Rachel Cardell-Oliver, Tim Glover: A Practical and Complete Algorithm for Testing Real-Time Systems. FTRTFT 1998: 251-261 |
| 1995 | ||
| c5 |  | |
| 1993 | ||
| j1 | | 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 | ||
| 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 | | |
Colors in the list of coauthors
Last update Tue May 21 12:28:58 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page