Search the dblp DataBase
William Henderson :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Steven Bradley , William Henderson , David Kendall , Adrian Robson , Stephen Hawkes A Formal Design and Implementation Method for Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP ] EUROMICRO, 1996, pp:77-0 [Conf ] Steven Bradley , William Henderson , David Kendall , Adrian Robson Integrating AORTA with Model-Based Data Specification Languages. [Citation Graph (0, 0)][DBLP ] FASE, 1998, pp:54-70 [Conf ] Steven Bradley , William Henderson , David Kendall , Adrian Robson Designing and Implementing Correct Real-Time Systems. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1994, pp:228-246 [Conf ] William Henderson , D. Lucic Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] PNPM, 1991, pp:166-175 [Conf ] William Henderson , Peter G. Taylor Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] PNPM, 1989, pp:12-18 [Conf ] Steven Bradley , William Henderson , David Kendall , Adrian Robson Validation, verification and implementation of timed protocols using AORTA. [Citation Graph (0, 0)][DBLP ] PSTV, 1995, pp:205-220 [Conf ] William Henderson Performance Analysis: When Do We Give Up on Product Form Solutions. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1990, v:20, n:1, pp:271-275 [Journal ] William Henderson Finding and Using Exact Equilibrium Distributions for Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1993, v:25, n:10, pp:1143-1153 [Journal ] J. L. Coleman , William Henderson , Peter G. Taylor Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 1996, v:26, n:3, pp:159-180 [Journal ] William Henderson , D. Lucic Aggregation and Disaggregation Through Insensitivity in Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 1993, v:17, n:2, pp:91-114 [Journal ] Xiuli Chao , William Henderson , Peter G. Taylor State-Dependent Coupling in General Networks. [Citation Graph (0, 0)][DBLP ] Queueing Syst., 2001, v:39, n:4, pp:337-348 [Journal ] William Henderson , C. E. M. Pearce , Peter G. Taylor , Nico M. van Dijk Closed Queueing Networks with Batch Services. [Citation Graph (0, 0)][DBLP ] Queueing Syst., 1990, v:6, n:1, pp:59-70 [Journal ] William Henderson , Peter G. Taylor State-dependent Coupling of Quasireversible Nodes. [Citation Graph (0, 0)][DBLP ] Queueing Syst., 2001, v:37, n:1/3, pp:163-197 [Journal ] William Henderson , Peter G. Taylor Product Form in Networks of Queues with Batch Arrivals and Batch Services. [Citation Graph (0, 0)][DBLP ] Queueing Syst., 1990, v:6, n:1, pp:71-87 [Journal ] William Henderson , David Kendall , Adrian Robson Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 2001, v:20, n:1, pp:5-25 [Journal ] Steven Bradley , William Henderson , David Kendall , Adrian Robson A formal design language for real-time systems with data. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2001, v:40, n:1, pp:3-29 [Journal ] William Henderson , Peter G. Taylor Embedded Processes in Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1991, v:17, n:2, pp:108-116 [Journal ] Search in 0.086secs, Finished in 0.087secs