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
