Publications
On the development of dependability-evaluation workbench for high-assurance system designers." Proceedings 1997 High Assurance Engineering Workshop.
"Discrete-event simulation of fluid stochastic Petri nets." Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.
"Heuristic self-organization algorithms for software reliability assessment and their application." Proceedings 11th International Symposium on Software Reliability Engineering. Issre 2000.
"HIGHER RADIX ON-LINE DIVISION."164-174.
"IDEA: integrated design environment for assessment of ATM networks." Proceedings of Iceccs '96: 2nd Ieee International Conference on Engineering of Complex Computer Systems (Held Jointly With 6th Csesaw and 4th Ieee Rtaw).
"Importance analysis with Markov chains." Annual Reliability and Maintainability Symposium, 2003..
"A methodology for detection and estimation of software aging." Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98tb100257).
"Modeling and analysis of software aging and rejuvenation." Proceedings 33rd Annual Simulation Symposium (Ss 2000).
"OPTIMAL SELECTION OF CPU SPEED, DEVICE CAPACITIES, AND ALLOCATION OF FILES WITH VARIABLE RECORD SIZE." National Bureau of Standards, Special Publication: 129-135.
"Performability analysis of handoff calls in personal communication networks." Proceedings of Sixth International Conference on Computer Communications and Networks.
"Performance analysis of distributed real-time databases." In Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248), 184-194.
"Performance analysis of the CORBA event service using stochastic reward nets." Proceedings 19th Ieee Symposium on Reliable Distributed Systems Srds 2000.
"Performance and reliability evaluation of passive replication schemes in application level fault tolerance." Digest of Papers. Twenty Ninth Annual International Symposium on Fault Tolerant Computing (Cat. No.99cb36352).
"Proactive fault-management in software systems." In Proceedings 33rd Annual Simulation Symposium (SS 2000), 3.
"Reliability analysis of various station attachment schemes in a FDDI token ring." Ieee Infocom '93 the Conference on Computer Communications, Proceedings.
"Reliability and availability analysis for the JPL Remote Exploration and Experimentation System." Proceedings International Conference on Dependable Systems and Networks.
"Reliability simulation of component-based software systems." Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98tb100257).
"Reliability simulation of fault-tolerant software and systems." Proceedings Pacific Rim International Symposium on Fault Tolerant Systems.
" "SHARPE: a modeler's toolkit." Proceedings of Ieee International Computer Performance and Dependability Symposium.
"A simple characterization of provably efficient prefetching algorithms." Proceedings International Conference on Dependable Systems and Networks.
"Software Rejuvenation - Modeling and Analysis.", 151-182.
"Software rejuvenation policies for cluster systems under varying workload." 10th Ieee Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings..
"Software reliability analysis incorporating fault detection and debugging activities." Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98tb100257).
"Survivability Analysis of Telephone Access Network." 15th International Symposium on Software Reliability Engineering.
"