Publications:

Books   Journal Articles   Conference Contributions   Technical Reports

Books:

K. Al-Begain, A. Heindl and M. Telek
Proceedings of the 15th Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications
(ASMTA, June 2008, Nicosia, Cyprus).
Springer Verlag, LNCS 5055, 2008 (ISBN 978-3-540-68980-5).

K. Al-Begain, A. Heindl and M. Telek
Proceedings of the 14th Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications
(ASMTA, June 2007, Prague, Czech Republic).
2007 (ISBN 978-0-9553018-4-1, 191 pages).

R. German and A. Heindl.
Proceedings of the 13th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems
(MMB, March 2006, Nürnberg).
VDE Verlag, Berlin/Offenbach, 2006 (ISBN 3-8007-2945-8, 482 pages).

A. Heindl.
Traffic-Based Decomposition of General Queueing Networks with Correlated Input Processes.
Shaker Verlag, Aachen, 2001 (ISBN 3-8265-9354-5, 177 pages). [PDF]

Journal Articles:      ( Top of Page )

A. Heindl and G. Pokam.
"An analytic framework for performance modeling of software transactional memory".
Computer Networks, March 2009.

L. Bodrog, A. Heindl, G. Horváth and M. Telek.
"A Markovian canonical form of second-order matrix-exponential processes".
European Journal of Operational Research, 190:459-477, 2008.

A. Heindl and M. Telek.
"Constructing compact Markov processes for correlated workload modeling".
PAMM -- Proceedings in Applied Mathematics and Mechanics, 7(1):703-704, 2007.

A. Heindl, K. Mitchell and A. van de Liefvoort.
"Correlation bounds for second-order MAPs with application to queueing network decomposition".
Performance Evaluation, 63(6):553-577, 2006.

Q. Zhang, A. Heindl and E. Smirni.
"Models of the departure process of a BMAP/MAP/1 queue".
ACM SIGMETRICS Performance Evaluation Review, 33(2):18-20, 2005.

Q. Zhang, A. Heindl and E. Smirni.
"Characterizing the BMAP/MAP/1 departure process via the ETAQA truncation".
Stochastic Models, 21(2-3):821-846, 2005. [Abstract, PDF]

A. van de Liefvoort and A. Heindl.
"Approximating matrix-exponential distributions by global randomization".
Stochastic Models, 21(2-3):669-693, 2005. [Abstract, PDF]

M. Telek and A. Heindl.
"Matching moments for acyclic discrete and continuous phase-type distributions of second order".
Int. Journal of Simulation, 3(3-4):47-57, 2003. [Abstract, PDF]

A. Heindl.
"Decomposition of general queueing networks with MMPP inputs and customer losses".
Performance Evaluation, 51(2-4):117-136, 2003. [Abstract, PS]

A. Heindl and M. Telek.
"Output models of MAP/PH/1(/K) queues for an efficient network decomposition".
Performance Evaluation, 49(1-4):321-339, 2002. [Abstract, PS]

A. Heindl and R. German.
"Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets".
Performance Evaluation, 44:139-164, 2001 [Abstract, PS]

A. Heindl.
"Decomposition of general tandem queueing networks with MMPP input".
Performance Evaluation, 44:5-23, 2001. [Abstract, PS]

A. Heindl and R. German.
"A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNs".
Transactions on Software Engineering, 25:194-206, 1999. [Abstract, PS]

Conference and Workshop Contributions:      ( Top of Page )

A. Heindl, G. Pokam and A.-R. Adl-Tabatabai.
"An analytic model of optimistic software transactional memory".
Proc. IEEE Int. Symposium on Performance Analysis of Systems and Software (ISPASS),
Boston, MA, USA, April 2009.

A. Heindl and G. Pokam.
"Modeling software transactional memory with AnyLogic".
Proc. 2nd Int. Conference on Simulation Tools and Techniques (SIMUTools),
Rome, Italy, March 2009.

L. Bodrog, A. Heindl, A. Horváth, G. Horváth and M. Telek.
"Current results and open questions on PH and MAP characterization".
Dagstuhl Seminar Proceedings 07461: Numerical Methods for Structured Markov Chains,
Eds.: D. Bini, B. Meini, V. Ramaswami, M. Remiche, G. Latouche,
Wadern, Germany, November 2007 (ISSN 1862-4405).

A. Heindl and M. Telek.
"Constructing compact Markov processes for correlated workload modeling".
Proc. 6th Int. Congress on Industrial and Applied Mathematics (ICIAM),
Zurich, Switzerland, July 2007.

A. Heindl, G. Horváth and K. Gross.
"Explicit inverse characterizations of acyclic MAPs of second order".
Proc. 3rd European Performance Engineering Workshop (EPEW),
Budapest, Hungary, June 2006, pp.108-122. [Abstract, PDF]

S. Söhnlein and A. Heindl.
"Analytic computation of end-to-end delays in queueing networks with batch Markovian arrival processes and phase-type service times".
Proc. 13th Int. Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA),
Bonn, Germany, May 2006, pp.1-7. [Abstract, PDF]

A. Heindl and K. Gross.
"Analytic study of multiplexing effects in two-class queues with correlations".
Proc. 13th GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems (MMB),
Nürnberg, Germany, March 2006, pp.399-416. [Abstract, PDF]

C. Resch, A. Heindl, K.-S. J. Hielscher and R. German.
"Measurement-based modeling of end-to-end delays in WLANs with ns-2".
Proc. 18th Symposium on Simulation Techniques (ASIM),
Erlangen, Germany, September 2005, pp.254-259. [Abstract, PDF]

J. Hu, R. German, A. Heindl, R. Kates and M. Unbehaun.
"Traffic modelling and cost optimization for transmitting traffic messages over a hybrid broadcast and cellular network".
Proc. 8th Int. IEEE Conference on Intelligent Transportation Systems (ITSC),
Vienna, Austria, September 2005. [Abstract, PDF]

Q. Zhang, A. Heindl and E. Smirni.
"Models of the departure process of a BMAP/MAP/1 queue".
Proc. 7th Workshop on Mathematical Performance Modeling and Analysis (MAMA),
Banff, Canada, June 2005. [Abstract, PDF]

A. Heindl, Q. Zhang and E. Smirni.
"ETAQA truncation models for the MAP/MAP/1 departure process".
Proc. 1st Int. Conference on Quantitative Evaluation of Systems (QEST),
Enschede, Netherlands, September 2004, pp.100-109. [Abstract, PDF]

A. Heindl.
"Sensitivity analysis for MAP/MAP/1 queues". (MMB Best Paper Award)
Proc. 12th GI/ITG Conference on Measuring, Modeling and Evaluation of Computer and Communication Systems (MMB),
Dresden, Germany, September 2004, pp.235-244. [Abstract, PDF]

A. Heindl.
"Inverse characterization of hyperexponential MAP(2)s".
Proc. 11th Int. Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA),
Magdeburg, Germany, June 2004, pp. 183-189. [Abstract, PDF (corrected version)]

A. Heindl and A. van de Liefvoort.
"Moment conversions for discrete distributions".
Proc. 6th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS),
Monticello, IL, USA, September 2003, pp.5-8.

A. Heindl.
"Analytic moment and correlation matching for MAP(2)s".
Proc. 6th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS),
Monticello, IL, USA, September 2003, pp.39-42.

A. Heindl, K. Mitchell and A. van de Liefvoort.
"The correlation region of second-order MAPs with application to queueing network decomposition".
Proc. 13th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS),
Urbana-Champaign, IL, USA, September 2003, pp.237-254 (LNCS 2794).

A. Heindl and E. Biersack.
"Discrete-state and fluid stochastic Petri net models for open-loop video-on-demand systems: A comparative case study".
Proc. 10th Int. Workshop on Petri Nets and Performance Models (PNPM),
Urbana-Champaign, IL, USA, September 2003, pp.40-49.

A. Heindl and E. Biersack.
"Hybrid performance modeling of open-loop video distribution with VCR functionality".
Proc. 18th Int. Teletraffic Congress (ITC),
Berlin, Germany, September 2003, pp.201-210.

J. Freiheit and A. Heindl.
"Novel formulae for GSPN aggregation".
Proc. 10th Int. Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS),
Fort Worth, TX, USA, October 2002, pp.209-216.

A. Heindl and G. Hommel.
"Performance comparison of 802.11b WLAN transmission modes".
Proc. 5th Int. Workshop on the Internet Challenge: Technology and Applications,
Berlin, Germany, October 2002, pp.83-92.

M. Telek and A. Heindl.
"Moment bounds for acyclic discrete and continuous phase-type distributions of second order".
Proc. 18th Annual UK Performance Engineering Workshop (UKPEW),
Glasgow, UK, July 2002, pp.3-14.

A. Heindl.
"Node reordering for improved performance of traffic-based decomposition".
Proc. 5th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS),
Erlangen, Germany, September 2001, pp.16-20.

A. Heindl and M. Telek.
"MAP-based decomposition of tandem networks of ./PH/1(/K) queues with MAP input".
Proc. 11th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB),
Aachen, Germany, September 2001, pp.179-194.

A. Heindl.
"Decomposition of general queueing networks with MMPP inputs and finite buffers based on SMPs and MMPPs".
Proc. 4th Int. Workshop on Queueing Networks with Finite Capacity (QNETS),
Ilkley, UK, July 2000, pp.20/1-15.

A. Heindl.
"Decomposition of general tandem queueing networks with MMPP input".
Proc. 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS),
Schaumburg, IL, USA, March 2000, pp.86-100.

A. Heindl and R. German.
"The impact of backoff, EIFS, and beacons on the performance of IEEE 802.11 wireless LANs".
Proc. 4th Int. Performance and Dependability Symposium (IPDS),
Schaumburg, IL, USA, March 2000, pp.103-112.

R. German and A. Heindl.
"Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri nets".
Proc. 8th Int. Workshop on Petri Nets and Performance Models (PNPM),
Zaragossa, Spain, September 1999, pp.44-53.

A. Heindl and R. German.
"A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNs".
Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM),
St. Malo, France, June 1997, pp.60-69.

Technical Reports and Diploma Thesis:      ( Top of Page )

A. Heindl and A. van de Liefvoort.
Representations and other properties of matrix-exponential and matrix-geometric distributions of second order.
(in preparation, 2003).

A. Heindl.
Approximate analysis of queueing networks with finte buffers and losses by decomposition.
Technischer Bericht 98-8, Fachbereich Informatik, TU Berlin 1998.

A. Heindl and R. German.
A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNs.
Technischer Bericht 96-35, Fachbereich Informatik, TU Berlin 1996.

A. Heindl.
Entwicklung eines numerischen adaptiven Lösungsverfahrens zur transienten Analyse von stochastischen Petri-Netzen.
Diplomarbeit, Fachbereich Informatik, TU Berlin 1996. [PDF]

Top of Page