Rachel Cardell-Oliver

	2011
27		Rachel Cardell-Oliver, Patrick Doran Wu: UWA Java tools: harnessing software metrics to support novice programmers. ITiCSE 2011: 341
	2010
26		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
25		Babak Pazand, Amitava Datta, Rachel Cardell-Oliver: A Review of Redundancy Elimination Protocols for Wireless Sensor Networks. ICCSA (3) 2010: 336-351
24		Christof Huebner, Stefan Hanelt, Tino Wagenknecht, Rachel Cardell-Oliver, Alvaro Monsalve: Long range wireless sensor networks using transmit-only nodes. SenSys 2010: 417-418
23		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)
22		Rachel Cardell-Oliver, Wei Liu: Representation and recognition of situations in sensor networks. IEEE Communications Magazine 48(3): 112-117 (2010)
	2008
21		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
20		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
19		Jingbo Sun, Rachel Cardell-Oliver: An autonomic communication framework for sensor networks. SenSys 2007: 439-440
	2006
18		Winnie Louis Lee, Amitava Datta, Rachel Cardell-Oliver: A Novel Systematic Resource Transfer Method for Wireless Sensor Networks. GLOBECOM 2006
17		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
16		Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz: A Space and Time Requirements Logic for Sensor Networks. ISoLA 2006: 283-289
	2005
15		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		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		Sule Nair, Rachel Cardell-Oliver: Formal specification and analysis of performance variation in sensor network diffusion protocols. MSWiM 2004: 170-173
	2002
12		Rachel Cardell-Oliver: Conformance test experiments for distributed real-time systems. ISSTA 2002: 159-163
	2001
11		Thorsten Gerdsmeier, Rachel Cardell-Oliver: A Method for Verifying Real-Time Properties of Ada Programs. ICECCS 2001: 35-
10		Thorsten Gerdsmeier, Rachel Cardell-Oliver: Analysis of Scheduling Behaviour using Generic Timed Automata. Electr. Notes Theor. Comput. Sci. 42: 143-157 (2001)
	2000
9		Rachel Cardell-Oliver: Conformance Tests for Real-Time Systems with Timed Automata Specifications. Formal Asp. Comput. 12(5): 350-371 (2000)
	1998
8		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

Coauthor Index

1	Rieky Barady	[26]
2	Amitava Datta	[17] [18] [20] [21] [23] [25]
3	Patrick Downey	[14]
4	Thorsten Gerdsmeier	[10] [11]
5	Tim Glover	[8]
6	Roger Hale	[3] [5]
7	Stefan Hanelt	[24]
8	John Herbert	[3] [5]
9	Christof Huebner	[24]
10	Mark Kranz	[15] [16]
11	Winnie Louis Lee	[18] [21]
12	You Hai Lim	[26]
13	Wei Liu	[22]
14	Kevin Mayer	[15]
15	Alvaro Monsalve	[24]
16	Sule Nair	[13]
17	Asad Naveed	[26]
18	Babak Pazand	[20] [25]
19	Valance Phua	[17]
20	Mark Reynolds	[16]
21	Lanny Sitanayah	[23]
22	Keith Smettem	[15]
23	Jingbo Sun	[19]
24	Tino Wagenknecht	[24]
25	Terry Woodings	[26]
26	Patrick Doran Wu	[27]
27	Lu Zhang (Lu Lesley Zhang)	[26]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page