William H. Sanders

Available identifiers

Publication	Date of Publication	Type
Data-driven model-based detection of malicious insiders via physical access logs	2024-09-08	Paper
The coBFIT toolkit	2014-03-13	Paper
Optimal state-space lumping in Markov chains	2009-04-28	Paper
A preorder relation for Markov reward processes	2007-08-23	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4738763	2004-08-11	Paper
Symbolic state-space exploration and numerical analysis of state-sharing composed models	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4438727	2003-12-10	Paper
State-space support for path-based reward variables	2003-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4800175	2003-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q4547771	2002-08-21	Paper
On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading	2002-07-14	Paper
Measure-adaptive state-space construction	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q2729028	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q5687231	1997-05-25	Paper
An efficient two-stage iterative method for the steady-state analysis of Markov regenerative stochastic Petri net models	1997-02-27	Paper
Adaptive uniformization	1994-10-18	Paper
Efficient simulation of hierarchical stochastic activity network models	1993-10-13	Paper
Performability evaluation of CSMA/CD and CSMA/DCR protocols under transient fault conditions	1993-10-04	Paper

This page was built for person: William H. Sanders