William Henderson

	2010
24		Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane: Applying formal modelling to detect DoS attacks in wireless medium. CSNDSP 2010: 896-900
	2001
23		William Henderson, Peter G. Taylor: State-dependent Coupling of Quasireversible Nodes. Queueing Syst. 37(1/3): 163-197 (2001)
22		Xiuli Chao, William Henderson, Peter G. Taylor: State-Dependent Coupling in General Networks. Queueing Syst. 39(4): 337-348 (2001)
21		William Henderson, David Kendall, Adrian Robson: Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter. Real-Time Systems 20(1): 5-25 (2001)
20		Steven Bradley, William Henderson, David Kendall, Adrian Robson: A formal design language for real-time systems with data. Sci. Comput. Program. 40(1): 3-29 (2001)
	1998
19		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Integrating AORTA with Model-Based Data Specification Languages. FASE 1998: 54-70
18		David Kendall, Steven Bradley, William Henderson, Adrian Robson: bCANDLE: Formal Modelling and Analysis of CAN Control Systems. IEEE Real Time Technology and Applications Symposium 1998: 171-
	1996
17		Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes: A Formal Design and Implementation Method for Real-Time Embedded Systems. EUROMICRO 1996: 77-
16		J. L. Coleman, William Henderson, Peter G. Taylor: Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets. Perform. Eval. 26(3): 159-180 (1996)
15		Andrew J. Coyle, Boudewijn R. Haverkort, William Henderson, Charles E. M. Pearce: A mean-value analysis of slotted-ring network models. Telecommunication Systems 6(1): 203-227 (1996)
	1995
14		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Validation, verification and implementation of timed protocols using AORTA. PSTV 1995: 205-220
13		William Henderson, B. S. Northcote, Peter G. Taylor: Triggered batch movement in queueing networks. Queueing Syst. 21(1-2): 125-141 (1995)
	1994
12		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Designing and Implementing Correct Real-Time Systems. FTRTFT 1994: 228-246
11		Andrew J. Coyle, William Henderson, Charles E. M. Pearce, Peter G. Taylor: A general formulation for mean-value analysis in product-form batch-movement queueing networks. Queueing Syst. 16(3-4): 363-372 (1994)
	1993
10		William Henderson: Finding and Using Exact Equilibrium Distributions for Stochastic Petri Nets. Computer Networks and ISDN Systems 25(10): 1143-1153 (1993)
9		William Henderson, D. Lucic: Aggregation and Disaggregation Through Insensitivity in Stochastic Petri Nets. Perform. Eval. 17(2): 91-114 (1993)
8		Andrew J. Coyle, William Henderson, Peter G. Taylor: Reduced load approximations for loss networks. Telecommunication Systems 2(1): 21-50 (1993)
	1992
7		William Henderson, Peter G. Taylor: Insensitivity in discrete time queues with a moving server. Queueing Syst. 11(3): 273-297 (1992)
	1991
6		William Henderson, D. Lucic: Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets. PNPM 1991: 166-175
5		William Henderson, Peter G. Taylor: Embedded Processes in Stochastic Petri Nets. IEEE Trans. Software Eng. 17(2): 108-116 (1991)
	1990
4		William Henderson: Performance Analysis: When Do We Give Up on Product Form Solutions. Computer Networks and ISDN Systems 20(1): 271-275 (1990)
3		William Henderson, C. E. M. Pearce, Peter G. Taylor, Nico M. van Dijk: Closed Queueing Networks with Batch Services. Queueing Syst. 6(1): 59-70 (1990)
2		William Henderson, Peter G. Taylor: Product Form in Networks of Queues with Batch Arrivals and Batch Services. Queueing Syst. 6(1): 71-87 (1990)
	1989
1		William Henderson, Peter G. Taylor: Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets. PNPM 1989: 12-18

Coauthor Index

1	Ahmed Bouridane	[24]
2	Steven Bradley	[12] [14] [17] [18] [19] [20]
3	Xiuli Chao	[22]
4	J. L. Coleman	[16]
5	Andrew J. Coyle	[8] [11] [15]
6	Nico M. van Dijk	[3]
7	Boudewijn R. Haverkort	[15]
8	Stephen Hawkes	[17]
9	David Kendall	[12] [14] [17] [18] [19] [20] [21] [24]
10	D. Lucic	[6] [9]
11	B. S. Northcote	[13]
12	C. E. M. Pearce (Charles E. M. Pearce)	[3] [11] [15]
13	Adrian Robson	[12] [14] [17] [18] [19] [20] [21]
14	Kashif Saghar	[24]
15	Peter G. Taylor	[1] [2] [3] [5] [7] [8] [11] [13] [16] [22] [23]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page