1. VALUETOOLS 2006: Pisa, Italy

Queueing systems I

• Dimitrios Filippopoulos, Helen D. Karatza:
  A two-class parallel queue with pure space sharing among rigid jobs and general service times. 2
  
• Thu-Ha Dao-Thi, Jean Mairesse:
  Zero-automatic networks. 3
  
• Arzad Alam Kherani:
  Sojourn times in (discrete) time shared systems and their continuous time limits. 4
  

Tools: performance predictions

• Tomás Kalibera, Jakub Lehotsky, David Majda, Branislav Repcek, Michal Tomcanyi, Antonin Tomecek, Petr Tuma, Jaroslav Urban:
  Automated benchmarking and analysis tool. 5
  
• Peter G. Harrison, Catalina M. Lladó, Ramón Puigjaner:
  A general performance model interchange format. 6
  
• Edmundo de Souza e Silva, Ana Paula Couto da Silva, Antonio Augusto de Aragão Rocha, Rosa M. M. Leão, Flávio P. Duarte, Fernando J. S. Filho, Guilherme D. G. Jaime, Richard R. Muntz:
  Modeling, analysis, measurement and experimentation with the Tangram-II integrated environment. 7
  

Network calculus

• Jens B. Schmitt, Frank A. Zdarsky:
  The DISCO network calculator: a toolbox for worst case analysis. 8
  
• Luciano Lenzini, Linda Martorini, Enzo Mingozzi, Giovanni Stea:
  A novel approach to scalable CAC for real-time traffic in sink-tree networks with aggregate scheduling. 9
  
• Juan Echagüe, Vicent Cholvi:
  Worst case burstiness increase due to arbitrary aggregate multiplexing. 10
  

Numerical methods

• Nail Akar, Khosrow Sohraby:
  Solving the single server semi-Markov queue with matrix exponential kernel matrices for interarrivals and services. 11
  
• Vishesh Dhingra, Stephane Gaubert:
  How to solve large scale deterministic games with mean payoff by policy iteration. 12
  
• You-Wei Wen, Wai-Ki Ching, Michael K. Ng:
  Fast solvers for queueing systems with negative customers. 13
  

Queueing systems II

• Soohan Ahn, V. Ramaswami:
  Matrix-geometric algorithms for stochastic fluid flows. 14
  
• Matthieu Jonckheere, Sem C. Borst:
  Stability of multi-class queueing systems with state-dependent service rates. 15
  
• Alfredo García Hernández-Díaz, Pilar Moreno:
  Analysis and optimal control of a discrete-time queueing system under the (m, N)-policy. 16
  
• Ho Woo Lee, Sahng Hoon Cheon, Se Won Lee:
  Performance of the MAP/G/1 queue under the dyadic control of workload and server idleness. 17
  

Simulation I

• Jose Blanchet, Peter W. Glynn:
  Strongly efficient estimators for light-tailed sums. 18
  
• Victor F. Nicola, Tatiana S. Zaburnenko:
  Efficient heuristics for the simulation of population overflow in series and parallel queues. 19
  
• Jose Blanchet:
  Importance sampling and efficient counting of 0-1 contingency tables. 20
  
• Pierre L'Ecuyer, Bruno Tuffin:
  Splitting with weight windows to control the likelihood ratio in importance sampling. 21
  

Application to communication systems

• Andrew Zalesky:
  Optimizing an OBS scheduler buffer. 22
  
• Yi Xie, Rocky K. C. Chang:
  Stability-constrained optimization for energy efficiency in polling-based wireless networks. 23
  
• Georges Nogueira, Bruno Baynat, Ahmed Ziram:
  An Erlang-like law for GPRS/EDGE engineering and its first validation on live traffic. 24
  

Web system-oriented performance

• Sugato Bagchi, Eugene Hung, Arun Iyengar, Norbert G. Vogl, Noshir Wadia:
  Capacity planning tools for web and grid environments. 25
  
• Giovanni Pacifici, Wolfgang Segmuller, Mike Spreitzer, Asser N. Tantawi:
  Dynamic estimation of CPU demand of web traffic. 26
  
• Mauro Andreolini, Sara Casolari:
  Load prediction models in web-based systems. 27
  

Simulation

• Songjie Wei, Jelena Mirkovic:
  A realistic simulation of internet-scale events. 28
  
• Sami J. Habib:
  A Monte Carlo simulator for evaluating server placement within network topology designs. 29
  
• Toshiyuki Miyachi, Ken-ichi Chinen, Yoichi Shinoda:
  StarBED and SpringOS: large-scale general purpose network testbed and supporting software. 30
  
• Ladislau Bölöni, Damla Turgut, Guoqiang Wang, Dan C. Marinescu:
  Challenges and benefits of time-parallel simulation of wireless ad hoc networks. 31
  

Petri nets - theory and application

• Nimrod Lilith, Jonathan Billington, Jörn Freiheit:
  Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets. 32
  
• Anne Bouillard, Bruno Gaujal:
  Backward coupling in petri nets. 33
  
• Jan Trowitzsch, Armin Zimmermann:
  Using UML state machines and petri nets for the quantitative investigation of ETCS. 34
  
• Kai Lampka, Markus Siegle:
  Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. 35
  

Queueing systems III

• Marc Lelarge:
  Tail asymptotics for discrete event systems. 36
  
• Smruti Padhy, Arzad Alam Kherani:
  Tail equivalence for some time-shared systems. 37
  
• Melike Baykal-Gursoy, Zhe Duan:
  M/M/C queues with Markov modulated service processes. 38
  

Scheduling algorithms

• David Raz, Benjamin Avi-Itzhak, Hanoch Levy:
  Fairness considerations of scheduling in multi-server and multi-queue systems. 39
  
• Stijn De Vuyst, Sabine Wittevrongel, Herwig Bruneel:
  Parametric delay differentiation between packet flows using multiple reserved spaces. 40
  
• Luciano Lenzini, Enzo Mingozzi, Giovanni Stea:
  Bandwidth and latency analysis of modified deficit round robin scheduling algorithms. 41
  

Simulation II

• G. Fort, E. Moulines, Sean P. Meyn, P. Priouret:
  ODE methods for Markov chain stability with applications to MCMC. 42
  
• Christophe Andrieu, Y. F. Atchadé:
  On the efficiency of adaptive MCMC algorithms. 43
  
• Bruno Casella, Gareth O. Roberts:
  Monte Carlo simulation of killed diffusions with a single barrier. 44
  
• I. Kontoyiannis, Luis Alfonso Lastras-Montaño, Sean P. Meyn:
  Exponential bounds and stopping rules for MCMC and general Markov chains. 45
  

Approximation methods I

• Pascal Lieshout, Sem C. Borst, Michel Mandjes:
  Heavy-traffic approximations for linear networks operating under alpha-fair bandwidth-sharing policies. 46
  
• Robert D. van der Mei, Erik M. M. Winands:
  Mean value analysis for polling systems in heavy traffic. 47
  
• Kalyan Kuppuswamy, Daniel C. Lee:
  Reduced load approximations for large-scale optical WDM networks offering multiclass services. 48
  

Routing and spreading

• Ahmad Al Hanbali, Philippe Nain, Eitan Altman:
  Performance of ad hoc networks with two-hop relay routing and limited packet lifetime. 49
  
• Michele Amoretti, Francesco Zanichelli, Gianni Conte:
  Performance evaluation of advanced routing algorithms for unstructured peer-to-peer networks. 50
  
• Moez Draief, Ayalvadi J. Ganesh, Laurent Massoulié:
  Thresholds for virus spread on networks. 51
  

Models/measurements of traffic/web systems

• Giada Giorgi, Claudio Narduzzi:
  Analysis of traffic flow measurements by rate-interval curves. 52
  
• Jing Cong, Bernd E. Wolfinger:
  A unified load generator based on formal load specification and load transformation. 53
  
• Konstantin Avrachenkov, Danil Nemirovsky, Natalia Osipova:
  Web graph analyzer tool. 54
  

Control and analysis of communication networks

• Shao Liu, Tamer Basar, R. Srikant:
  TCP-Illinois: a loss and delay-based congestion control algorithm for high-speed networks. 55
  
• Thomas Voice:
  Stability of multi-path dual congestion control algorithms. 56
  
• Thomas Bonald:
  Insensitive queueing models for communication networks. 57
  
• François Baccelli, David R. McDonald:
  A stochastic model for the throughput of non-persistent TCP flows. 58
  

Work in progress session: tools

• Lisa Wells:
  Performance analysis using CPN tools. 59
  
• Dragan A. Savic, Matevz Pustisek, Francesco Potorti:
  A tool for packaging and exchanging simulation results. 60
  
• Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler:
  OPEDo: a tool framework for modeling and optimization of stochastic models. 61
  
• Jie Tao, Wolfgang Karl:
  Detailed cache simulation for detecting bottleneck, miss reason and optimization potentialities. 62
  

Control of Queues

• Taposh Banerjee, Arzad Alam Kherani:
  Optimal control of admission to a station in a closed two queue system. 63
  
• Lynda Mokdad, Mbaye Sene:
  Performance measures of a call admission control in mobile networks using SWN. 64
  
• Sum Lam, Rocky K. C. Chang, Yi Xie:
  Relative stability analysis of multiple queues. 65
  

Approximation methods II

• Oualid Jouini, Yves Dallery:
  Predicting queueing delays for multiclass call centers. 66
  
• Juha Leino, Jorma T. Virtamo:
  An approximative method for calculating performance measures of Markov processes. 67
  
• József Bíró:
  Loss ratio approximations in buffered systems with regulated inputs. 68