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.003secs, Finished in 0.004secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002