Publications

Important Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without explicit permission of the copyright holder.

Publications

2008

Replication vs. Failure Prevention: How to Boost Service Availability?

Service Availability of Systems with Failure Prevention.
F.Salfner and K.Wolter. In: Proc. IEEE International Workshop on Dependable and Secure Services Computing (DSSC 2008)}, Yilan, Taiwan, Dec. 2008. (to appear).

Performance Analysis of Dynamic Priority Shifting.
P. Reinecke, K. Wolter, and J. Zapotoczky.
In: N. Thomas and C. Juiz, editors, Proc. 5th European Performance Engineering Workshop (EPEW2008), LNCS 5261. Springer, 2008. (to appear).

Increasing Performance of the 802.11e Protocol through Adaptive Shifting of Priorities.
J. Zapotoczky and K. Wolter. In: Proc. 14th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB 08), Dortmund, Germany, March 2008.

Adaptivity Metric and Performance for Restart Strategies in Web Services Reliable Messaging.
P. Reinecke and K. Wolter. In: Proc. International Workshop on Software Performance (WOSP 08), Princeton, NJ, USA, June 2008.

Phase-type Approximations for Message Transmission Times in Web Services Reliable Messaging.

Stochastic Models for Restart, Rejuvenation and Checkpointing.

2007

Formal Methods and Stochastic Models for Performance Evaluation
K. Wolter (Ed.). Forth European Performance Engineering Workshop (EPEW 2007), Proceedings, Berlin, Germany. Number 4748 in LNCS. Springer, September 20

On Adaptivity: Developing a Metric for an Elusive Concept
P. Reinecke and K. Wolter. In: Proc. Eighth International Workshop on Performability of Computer and Communication Systems (PMCCS-8), Edinburgh, UK, Sept. 2007.

2006

Analysis of Restart Mechanisms in Software Systems
A. P. A. van Moorsel, K. Wolter. IEEE Transactions on Software Engineering, 32(8), August 2006.

Analysis of the QBSS Load Element of IEEE 802.11e for a priori Estimation of Service Quality
B. Simsek, K. Wolter, and H. Coskun. Simulation: Systems, Science & Technology, 7(1), pp. 42--56, January 2006.

The Fast and the Fair: A Fault-Injection-Driven Comparison of Restart Oracles for Reliable Web Services
P. Reinecke, A. P. A. van Moorsel and K. Wolter. In: Proc.3rd International Conference on the Quantitative Evaluation of SysTems (QEST) 2006, pp. 375-384, Riverside, CA, USA, IEEE-CS Press, Sept. 2006.

Experimental Analysis of the Correlation of HTTP GET Invocations
P. Reinecke, A. P. A. van Moorsel and K. Wolter. In: Proc.3rd European Performance Engineering Workshop, LNCS 4054, Horvath, A. and Telek, M. (eds.), pp. 226-237, Springer, Budapest, Hungary, June 2006.

Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic
B. Simsek and K. Wolter. In: Proc.3rd European Performance Engineering Workshop, LNCS 4054, A. Horvath and M. Telek (eds.), pp. 181-195, Springer, Budapest, Hungary, June 2006.

2005

A Short Investigation into an Underexplored Model for Retries
A.P.A. van Moorsel and K. Wolter. In: Proc. Seventh International Workshop on Performability of Computer and Communication Systems (PMCCS-7), Torino, Italy, Sept. 2005.

Analysis of the QBSS Load ElementParameters of 802.11e for a priori Estimation of Service Quality
B. Simsek, K. Wolter and H. Coskun. In: Proc. UK Performance Engineering Workshop (UKPEW 2005), Newcastle, UK, July 2005.
Selected for a special issue of Simulation: Systems, Science & Technology.

Self-Management of Systems through Automatic Restart
K. Wolter. Chapter in: Self-Star Properties in Complex Information Systems, O. Babaoglu, M. Jelasity, A. Montresor, C. Fetzer, S. Leonardi, A. van Moorsel and M. van Steen (Eds.), Number 3460 in LNCS, Springer, 2005.

2004

Optimal Restart Times for Moments of Completion Time
Aad van Moorsel and Katinka Wolter. IEE Proceedings Software, Vol. 151, No. 5, Oct. 2004.

Analysis and Algorithms for Restart
Aad van Moorsel and Katinka Wolter. In: Proceedings of the Symposium on Quantitative Evaluation of Systems, QEST 2004, pp. 195-204,IEEE, Twente, The Netherlands, Sept. 2004.
Notes: Best paper award.

Meeting Deadlines Through Restart
Aad van Moorsel and Katinka Wolter. In: Proceedings of the 12th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB '04), VDE, Dresden, Germany, Sept. 2004.

Optimal Restart Times for Moments of Completion Time
Aad van Moorsel and Katinka Wolter. In: Proceedings of the 20th Annual UK Performance Engineering Workshop (UKPEW 04), Ed. I. Awan, University of Bradford, July 2004.

A Measurement Study of the Interplay between Application Level Restart and Transport Protocol
Philipp Reinecke, Aad van Moorsel and Katinka Wolter. In: Proceedings of the International Service Availability Symposium LNCS, Springer 2004.

2003

WebAppLoader: A Simulation Tool Set for Evaluating Web Application Performance
Katinka Wolter and Kristian Kasprowicz.In: Proc. Computer Performance Evaluation -- Modelling Techniques and Tools, Eds. P. Kemper, W. H. Sanders, pp. 47-62, LNCS 2794, Springer, Urbana, IL, USA, Sept. 2003.

Optimization of Failure Detection Retry Times
Aad van Moorsel and Katinka Wolter. In: Proceedings of the Sixth International Workshop on Performability Modelling of Computer and Communication Systems University of Illinois 2003

2002

Performance Models for a Hybrid Reactor System
Katinka Wolter, Andrea Zisowsky and Günter Hommel, In: Modelling, Analysis, and Design of Hybrid Systems, E.Schnieder and S.Engell (Eds.), pp. 193-210, LNCS 279, Springer, 2002.

Enabling Network caching of Dynamic Web Objects
Pankaj K. Garg, Kave Eshgi, Thomas Gschwind, Boudewijn R. Haverkort and Katinka Wolter, Proc. 12th Int. Conf. on Computer Performance Evaluation; Modelling Techniques and Tools. LNCS 2324, pp. 329-338, London, UK, April 2002.

2001

A Performability Model for a Hybrid Reactor System
Katinka Wolter, Proc. 17th annual UK Performance Engineering Workshop, pp. 13-22, Leeds, UK, July 2001.

The Relationship between Quality of Service and Business Metrics: Monitoring, Notification and Optimization
Katinka Wolter and Aad van Moorsel, Technical Report No. 2001-96, Hewlett-Packard Laboratories, Software Technology Lab. April 2001.

On Markov Reward Modelling with FSPNs (extended version)
Katinka Wolter and Andrea Zisowsky, Performance Evaluation, vol. 44, pp. 165-186, 2001.

2000

Petri Net-Based Descriptions for Discrete-Continuous Systems
M. Chouikha, G. Decknatel, R. Draht, G. Frey, C. Müller, C. Simon, J. Thieme and Katinka Wolter, at -- Automatisierungstechnik, vol. 48, No. 9, pp. 415 - 425, Sept. 2000.

On Markov Reward Modelling with FSPNs
Katinka Wolter and Andrea Zisowsky, Proc. Fourth International Computer Performance and Dependability Symposium - IPDS'00, pp. 3-12, Chicago, USA, March, 2000.

Modelling Hybrid Systems with Fluid Stochastic Petri Nets
Katinka Wolter, Proc. 4th Int. Conf. on Automation of Mixed Processes: Hybrid Dynamic Systems, pp. 287-294, Dortmund, Germany, Sept. 2000.

1996 - 1999

Performance and Dependability Modelling with Second Order Fluid Stochastic Petri Nets
Katinka Wolter. PhD Thesis, Technical University Berlin. Shaker Verlag (30. Dez. 1999), 164 pages, ISBN 978-3826569630, 1999.

Jump Transitions in Second Order FSPNs
Katinka Wolter, Proc. MASCOTS'99, Washington DC, USA, Oct. 1999.

Performance and Dependability Modelling with Second Order FSPNs
Katinka Wolter, PhD Thesis, TU Berlin, August 1999.

Markov Reward Modelling with Second Order FSPNs
Katinka Wolter and Andrea Zisowsky, Proc. UK Performance Engineering Workshop, Bristol, UK, July 22-23, 1999.

Numerical Solution of Non-Homogeneous Markov Processes through Uniformization
Aad van Moorsel and Katinka Wolter, Proc. Workshop on Analytical and Numerical Modelling Techniques, whithin the 12th European Simulation Multiconference, Manchester, UK, June 16-19 1998.

Second Order Fluid Stochastic Petri Nets: an Extension of GSPNs for Approximate and Continuous Modelling
Katinka Wolter, Proc. Workshop on Analytical and Numerical Modelling Techniques, 1st World Congress on Systems Simulation, Singapore September 1-3, 1997.

Hybrid Modelling with Second Order Fluid Stochastic Petri Nets
Katinka Wolter and Günter Hommel, Proc. Workshop on Parallel and Distr. Real-Time Systems (WPDRTS97), Geneva, Switzerland, April 1997.

Second Order Non-Markovian Fluid Stochastic Petri Nets
Katinka Wolter and Reinhard German, Proc. Workshop on Perf. Modeling of Comp. and Comm. Systems (PMCCS3), Chicago, September 1996.

Non-Markovian Fluid Stochastic Petri Nets
Katinka Wolter, Graham Horton and Reinhard German, Technical Report 96-13, TU Berlin 1996.