ASMTA 2010 - 16th International Conference on Analytical and Stochastic Modelling Techniques and Applications - 9-12 June, Madrid

Technical Programme ASMTA '10

Monday, 14th June

9h00-10h30: Opening and keynote

Process Algebras for Collective Dynamics
Jane Hillston, University of Edinburgh, UK

11h00-12h30: Telecommunication systems I

Performance evaluation of media segmentation heuristics using non-Markovian multi-class arrival processes
Pietro Piazzolla, Marco Gribaudo, Roberto Borgotalloa, Alberto Messina

A formal approach to investigate the performance of modern e-commerce services
Ibtehal Nafea, D.R.W. Holton, Muhammad Younas, Irfan Awan

Leader election in anonymous radio networks: model checking energy consumption
Haidi Yue, Joost-Pieter Katoen

14h00-15h30: Queueing Theory I

A batch-service queueing model with a discrete batch Markovian arrival process
Dieter Claeys, Joris Walraevens, Koenraad Laevens, Bart Steyaert, Herwig Bruneel

Queueing system MAP/PH/N with propagated failures
Khalid Al-Begain, Alexander Dudin, Valentina Klimenok

Analysis of a discrete-time queueing system with an NT-policy
Bart Feyaerts, Stijn De Vuyst, Sabine Wittevrongel, Herwig Bruneel

15h45-17h15: Estimation

Robustness of the Whittle estimator applied to non-Gaussian long-range dependent processes
Maria-Estrella Sousa-Vieira

Service time estimation with a refinement enhanced hybrid clustering algorithm
Paolo Cremonesi, Kanika Dhyani, Andrea Sansottera

Invariant embedding technique and its applications for improvement or optimization of statistical decisions
Nicholas Nechval, Maris Purgailis, Gundars Berzins, Kaspars Cikste, Juris Krasts, Konstantin Nechval

Tuesday, 15th June

9h00-10h30: Stochastic modelling

Limit behavior of the hybrid approximation of Stochastic Process Algebras
Luca Bortolussi

Analysis of an automated auction with concurrent multiple unit acceptance capacity
Gunhwan Kim, Erol Gelenbe

Congestive collapse and its avoidance in a dynamic dial-a-ride system with time windows
Esa Hyytiä, Aleksi Penttinen, Reijo Sulonen

11h00-12h30: Telecommunication systems II

Perfect sampling of load sharing policies in large scale distributed systems
Gaël Gorgo, Jean-Marc Vincent

Stochastic comparisons for performability of telecommunication systems
Hind Castel-Taleb, Idriss Ismael-Aouled, Nihal Pekergin

Model-based stochastic simulation of P2P VoIP using graph transformation system
Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth

14h00-15h30: Queueing Theory II

Packet loss minimization in load-balancing switch
Yury Audzevich, Levente Bodrog, Yoram Ofek, Miklós Telek

The preemptive repeat hybrid server interruption model
Thomas Demoor, Dieter Fiems, Joris Walraevens, Herwig Bruneel

Networks of symmetric multi-class queues with signals changing classes
Thu-Ha Dao-Thi, Jean-Michel Fourneau, Minh-Anh Tran

15h45-17h15: Prediction

Prediction model selection and spare parts ordering policy for efficient support of maintenance and repair of equipment
Nicholas Nechval, Maris Purgailis, Kaspars Cikste, Gundars Berzins, Uldis Rozevskis, Konstantin Nechval

Prediction-based dynamic target interception using discrete Markov chains
Ayesha M. Sheikh, Tony J. Dodd

Neural networks as surrogate models for measurements in optimization algorithms
Martin Holena, David Linke, Uwe Rodemerck, Lukáš Bajer

Wednesday, 16th June

9h00--10h30: Queueing Theory III

Product-form solutions for models with joint-state dependent transition rates
Simonetta Balsamo, Andrea Marin

The qnetworks toolbox: a software package for queueing networks analysis
Moreno Marzolla

Upper bound on overall delay in wireless broadband networks with non real-time traffic
Sergey Andreev, Zsolt Saffer, Andrey Turlikov, Alexey Vinel

11h00--13h00: Specification languages and tools

Rewriting logic based performance estimation of embedded systems
Fateh Boutekkouk

A formal language toward the unification of model checking and performance evaluation
Andrew S. Miner, Yaping Jing

Security evaluation of layered intrusion tolerant systems
Sanaz Hafezian Razavi, Olivia Das

Stochastic PERT and CAST logic approach for computer support of complex operation planning
Ryszard Antkiewicz, Arkadiusz Gasecki, Andrzej Najgebauer, Dariusz Pierzchala, Zbigniew Tarapata