2. VALUETOOLS 2007: Nantes, France

Information theory and power control

• Samson Lasaulce, Alberto Suárez, Mérouane Debbah, Laura Cottatellucci:
  Power allocation game for fading MIMO multiple access channels with antenna correlation. 1
  
• Tiina Heikkinen, Ari Hottinen:
  Distributed subchannel assignment in a multiuser MIMO relay. 2
  
• Masato Uchida:
  Information theoretic aspects of fairness criteria in network resource allocation problems. 3
  
• Michael Bloem, Tansu Alpcan, Tamer Basar:
  A stackelberg game for power control and channel allocation in cognitive radio networks. 4
  
• Eitan Altman, Konstantin Avrachenkov, Andrey Garnaev:
  Closed form solutions for water-filling problems in optimization and game frameworks. 5
  

Evolutionary games

• Hamidou Tembine, Eitan Altman, Rachid El Azouzi, Yezekael Hayel:
  Multiple access game in ad-hoc network. 6
  
• Panayotis Mertikopoulos, Aris L. Moustakas:
  The simplex game: can selfish users learn to operate efficiently in wireless networks? 7
  

Pricing

• Arnaud Legrand, Corinne Touati:
  How to measure efficiency? 8
  
• Hongxia Shen, Tamer Basar:
  Pricing under information asymmetry for a large population of users. 9
  
• Quanyan Zhu, Lacra Pavel:
  End-to-end link power control in optical networks using Nash bargaining solution. 10
  
• Fernando Beltrán, Matthias Roggendorf:
  Multiple equilibria in symmetric strategies for simultaneous auctions in next-generation bandwidth markets. 11
  

Simulation accuracy

• Kayo Fujiwara, Henri Casanova:
  Speed and accuracy of network simulation in the SimGrid framework. 12
  
• Jorge Hortelano, Marga Nácher, Juan-Carlos Cano, Carlos Miguel Tavares Calafate, Pietro Manzoni:
  Evaluating the goodness of MANETs performance results obtained with the ns-2 simulator. 13
  
• Patrick Peschlow, Peter Martini:
  A discrete-event simulation tool for the analysis of simultaneous events. 14
  

Simulation models

• Miklos Kozlovszky, Tibor Berceli, Viktor Kozlovszky:
  NSOSS: the non-synchronized optical switch simulator. 15
  
• Nicola Baldo, Federico Maguolo, Marco Miozzo, Michele Rossi, Michele Zorzi:
  ns2-MIRACLE: a modular framework for multi-technology and cross-layer support in network simulator 2. 16
  
• Lorenzo Bracciale, Francesca Lo Piccolo, Stefano Salsano, Dario Luzzi:
  Simulation of peer-to-peer streaming over large-scale networks using OPSS. 17
  
• Albert F. Harris III, Michele Zorzi:
  Modeling the underwater acoustic channel in ns2. 18
  

Simulation tools

• Nicolas Letor, Peter De Cleyn, Chris Blondia:
  Enabling cross layer design: adding the MadWifi extensions to Nsclick. 19
  
• Andrea Bacioccola, Claudio Cicconetti, Giovanni Stea:
  User-level performance evaluation of VoIP using ns-2. 20
  
• Isabel Dietrich, Falko Dressler, Volker Schmitt, Reinhard German:
  SYNTONY: network protocol simulation based on standard-conform UML 2 models. 21
  

Optimization and games I

• Vladimir Marbukh, Stephan Klink:
  Decentralized control of large-scale networks as a game with local interactions: cross-layer TCP/IP optimization. 22
  
• Eitan Altman, Richard Marquez, Rachid El Azouzi, David Ros, Bruno Tuffin:
  Stackelberg approach for pricing differentiated services. 23
  
• Xu Ning, Christos G. Cassandras:
  Optimal cluster-head deployment in wireless sensor networks with redundant link requirements. 24
  
• Rachid El Azouzi, Tania Jiménez, Essaid Sabir, S. Benarfa, El-Houssine Bouyakhf:
  Cooperative and non-cooperative control for slotted aloha with random power level selections algorithms. 25
  

Traffic models and measurements

• Marcell Perényi, Sándor Molnár:
  Enhanced Skype traffic identification. 26
  
• Virginia Escuder, Raúl Durán, Rafael Rico:
  Quantifying ILP by means of graph theory. 27
  
• Hiroyuki Okamura, Yuya Kamahara, Tadashi Dohi:
  Estimating Markov-modulated compound Poisson processes. 28
  
• Karim Mohammed Rezaul, Vic Grout:
  An overview of long-range dependent network traffic engineering and analysis: characteristics, simulation, modelling and control. 29
  

Petri and automata networks

• Jan Trowitzsch, D. Jerzynek, Armin Zimmermann:
  A toolkit for performability evaluation based on stochastic UML state machines. 30
  
• Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima:
  Modeling and evaluation of supply chains with GSPN components. 31
  
• Jean-Michel Fourneau, Brigitte Plateau, William J. Stewart:
  Product form for stochastic automata networks. 32
  
• Simonetta Balsamo, Andrea Marin:
  Representing LCFSPR BCMP service center with Coxian service time by GSPN. 33
  
• Lingbo Pei, Ming Chen, Jun Zhou:
  A binomial measure method for traffic modeling. 34
  

Optimization and games II

• Vladimir Marbukh:
  Utility maximization for resolving throughput/reliability trade-offs in an unreliable network with multipath routing. 35
  
• Hamidou Tembine, Eitan Altman, Rachid El Azouzi:
  Asymmetric delay in evolutionary games. 36
  
• Kai Chen, Purui Su, Yingjun Zhang, Dengguo Feng:
  SEPCOM: customizable zero copy model. 37
  

Statistical physics models for communication systems

• Ralf R. Müller, Dongning Guo, Aris L. Moustakas:
  Vector precoding in wireless communications: a replica symmetric analysis. 38
  
• Samson Lasaulce, Alberto Suárez, Raul L. de Lacerda Neto, Mérouane Debbah:
  Cross-system resource allocation based on random matrix theory. 39
  

Simulation I

• Ben Lauwens, Jan Potemans, Bart Scheers, Antoine Van de Capelle:
  Hybrid simulation of a FIFO queuing system with trace-driven background traffic. 40
  
• Mirko Eickhoff, Donald C. McNickle, Krzysztof Pawlikowski:
  Using parallel replications for sequential estimation of multiple steady state quantiles. 41
  
• Mirko Eickhoff, Donald C. McNickle, Krzysztof Pawlikowski:
  Detecting the duration of initial transient in steady state simulation of arbitrary performance measures. 42
  

Queueing systems I

• Hind Castel-Taleb, Lynda Mokdad, Nihal Pekergin:
  Aggregated bounding Markov processes applied to the analysis of tandem queues. 43
  
• Enrique Hernández-Orallo, Joan Vila i Carbó:
  A histogram-based stochastic process for finite buffer occupancy analysis. 44
  
• Susanna W. M. Au-Yeung, Peter G. Harrison, William J. Knottenbelt:
  Approximate queueing network analysis of patient treatment times. 45
  
• Ana Busic, Tadeusz Czachórski, Jean-Michel Fourneau, Krzysztof Grochla:
  Level crossing ordering of Markov chains: computing end to end delays in an all optical network. 46
  
• David Raz, Hanoch Levy, Benjamin Avi-Itzhak:
  The twin measure for queueing system predictability. 47
  

Grid computing, performance tuning and repairable systems

• Samuel Kounev, Ramon Nou, Jordi Torres:
  Autonomic QoS-Aware resource management in grid computing using online performance models. 48
  
• Simone Sbaraglia, Hui-Fang Wen, Seetharami Seelam, I-Hsin Chung, Guojing Cong, Kattamuri Ekanadham, David J. Klepacki:
  A productivity centered application performance tuning framework. 49
  
• Reinaldo Vallejos Campos:
  Fast evaluation of the moments of the interval availability of large Markov models. 50
  
• Francesco Moscato, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone, Mauro Iacono:
  The software architecture of the OsMoSys multisolution framework. 51
  

Queueing systems II

• Oualid Jouini, Yves Dallery:
  Stationary delays for a two-class priority queue with impatient customers. 52
  
• Aïcha Bareche, Djamil Aïssani:
  Kernel density in the use of the strong stability method to evaluate the proximity of G/M/1 and M/M/1 systems. 53
  
• Ashok Argent-Katwala, Jeremy T. Bradley:
  Continuous PEPA queues: individual behaviour in continuous queueing networks. 54
  
• Abhijit Datta Banik, Umesh Chandra Gupta, Mohan L. Chaudhry:
  Finite-buffer bulk service queue under Markovian service process. 55
  

Performance and design of wireless networks

• Jean Marc Kelif, Eitan Altman:
  Cellular network with continuum priority set. 56
  
• Beatriz Soret, M. Carmen Aguayo-Torres, José T. Entrambasaguas:
  Maximum delay-constrained source rate over a wireless channel. 57
  
• Eitan Altman, Tijani Chahed, Salah-Eddine Elayoubi:
  Joint uplink and downlink capacity considerations in admission control in multiservice CDMA/HSDPA systems. 58
  
• Ari Hottinen, Tiina Heikkinen:
  Distributed subchannel assignment in an OFDMA relay. 59
  

Network calculus

• Henrik Schiøler, Hans-Peter Schwefel, Martin B. Hansen:
  CyNC: a MATLAB/SimuLink toolbox for network calculus. 60
  
• Luciano Lenzini, Enzo Mingozzi, Giovanni Stea:
  End-to-end delay bounds in FIFO-multiplexing tandems. 61
  
• Anne Bouillard, Bruno Gaujal, Sebastien Lagrange, Eric Thierry:
  Optimal routing for end-to-end guarantees: the price of multiplexing. 62
  

Simulation II

• Bruno Tuffin, Pawan K. Choudhary, Christophe Hirel, Kishor S. Trivedi:
  Simulation versus analytic-numeric methods: illustrative examples. 63
  
• Falko Bause, Jan Kriege:
  Detecting non-ergodic simulation models of logistics networks. 64
  
• Jean-Michel Fourneau, Imène Kadi, Nihal Pekergin, Jérôme Vienne, Jean-Marc Vincent:
  Perfect simulation and monotone stochastic bounds. 65
  
• Volker Remuss, Armin Zimmermann:
  Tool-based performance evaluation of the blackboard communication system. 66
  

Inter-perf 2007 workshop

• Alexandre Proutiere:
  Random multi-access protocols in networks with partial interaction and non-saturated nodes: a mean field approach. 67
  
• Ralph El Khoury, Rachid El Azouzi:
  Dynamic retransmission limit scheme for routing in multi-hop ad hoc networks. 68
  
• Ilan Lobel, Daron Acemoglu, Munther A. Dahleh, Asuman E. Ozdaglar:
  Preliminary results on social learning with partial observations. 69
  
• Thomas Fuhrmann:
  Experiences from the SSR development. 70
  
• Issam Mabrouki, Xavier Lagrange, Gwillerm Froc:
  Random walk based routing protocol for wireless sensor networks. 71
  

Invited talk

• Jane Hillston:
  Quantitative analysis of biochemical signalling pathways. 72
  

Markov decision processes 1

• Eitan Altman, Saswati Sarkar, Eilon Solan:
  Constrained Markov games with transition probabilities controlled by a single player. 73
  
• José Niño-Mora:
  Characterization and computation of restless bandit marginal productivity indices. 74
  

Markov decision processes 2

• Joke Lambert, Benny Van Houdt, Chris Blondia:
  A policy iteration algorithm for Markov decision processes skip-free in one direction. 75
  
• José Niño-Mora:
  Computing an index policy for bandits with switching penalties. 76
  

Tools

• Markus Arns:
  A tool for the analysis of hierarchical service-oriented extended open fork/join queueing networks. 77
  
• Kai Lampka, S. Harwarth, Markus Siegle:
  Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. 78
  

Phase type distributions

• András Horváth, Miklós Telek:
  On the properties of acyclic bilateral phase type distributions. 79
  

Applications

• Gerhard Haßlinger, Sebastian Kempken:
  Efficiency of random walks for search in different network structures. 80
  
• Juha Leino:
  Approximating optimal load balancing policy in discriminatory processor sharing systems. 81
  
• Konstantin Avrachenkov, Danil Nemirovsky, Kim Son Pham:
  A survey on distributed approaches to graph based reputation measures. 82
  

Stochastic automata networks

• Ricardo M. Czekster, Paulo Fernandes, Jean-Marc Vincent, Thais Webber:
  Split: a flexible and efficient algorithm to vector-descriptor product. 83
  
• Jean-Michel Fourneau:
  Discrete time stochastic automata networks: using structural properties and stochastic bounds to simplify the SAN. 84