Autonomous Model Learning for Reinforcement Learning

• "A Control-theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-Hoc Networks"
  Yimeng Yang, Boudewijn R. Haverkort and Geert J. Heijenk
• "On the Data Delivery Delay taken by Random Walks in Wireless Sensor Networks"
  Issam Mabrouki, Gwillerm Froc and Xavier Lagrange
• "Analysis of an M/G/1 queue with repeated inhomogeneous vacations with application to IEEE 802.16e power saving mechanism"
  Sara Alouf, Eitan Altman and Amar P. Azad

Tool Presentations (at 12:00)

• "CaVi – Simulation and Model Checking for Wireless Sensor Networks"
  Athanassis Boulis, Ansgar Fehnker, Matthias Fruth and Annabelle McIver
• "Performance Model Generation for MPSoC Design-Space Exploration"
  B.D. Theelen
• "Möbius Trace Analysis with Traviando"
  Ruth Lamprecht and Peter Kemper

• "Reduction Techniques for Model Checking Markov Decision Processes"
  Frank Ciesinski, Christel Baier, Marcus Grober and Joachim Klein
• "Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics"
  Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Nicolas Markey
• "Symbolic Partition Refinement with Dynamic Balancing of Time and Space"
  Ralf Wimmer, Salem Derisavi and Holger Hermanns

Tool Presentations (at 15:30)

• "Cell assisted APMC"
  Alexandre Borghi, Thomas Herault, Richard Lassaigne and Sylvain Peyronnet
• "ProbDiVinE-MC: Multi-Core LTL Model Checker for Probabilistic Systems"
  Jiri Barnat, Lubos Brim, Ivana Cerna, Milan Ceska and Jana Tumova
• "Prism2Promela"
  Christopher Power and Alice Miller

• "KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes"
  Giuliano Casale, Eddy Z. Zhang and Evgenia Smirni
• "VATS: Virtualized-aware Automated Test Service"
  Sebastian Gaisbauer, Johannes Kirschnick, Nigel Edwards and Jerry Rolia
• "Symbolic Magnifying Lens Abstraction in Markov Decision Processes"
  Pritam Roy, David Parker, Gethin Norman and Luca de Alfaro

Tool Presentations (at 18:00)

• "Recent extensions to the stochasic process algebra tool CASPA"
  Martin Riedl, Johann Schuster and Markus Siegle
• "A tool supporting evaluation of non-Markovian Fault Trees"
  G.Bucci, L.Carnevali and E.Vicario
• "The performability tool P’ility"
  Lucia Cloth and Boudewijn R. Haverkort

Composing Web Services in an open world: QoS issues

• "A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues"
  Andras Horvath, Gabor Horvath and Miklos Telek
• "Product Form Approximations for Communicating Markov Processes"
  Peter Buchholz

• "Discrete Time Markov chains competing over resources: product form steady-state distribution"
  Jean-Michel Fourneau
• "Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains"
  Paolo Ballarini and Andras Horvath

• "Hintikka Games for PCTL on Labeled Markov Chains"
  Harald Fecher, Michael Huth, Nir Piterman and Daniel Wagner
• "Regular Expressions for PCTL Counter-examples"
  Berteun Damman, Tingting Han and Joost-Pieter Katoen
• "Debugging of Dependability Models Using Interactive Visualization of Counter-examples"
  Husain Aljazzar and Stefan Leue

Linear Programming, Lyapunov Functions, and Performance Analysis

• "Automatic Translation of UML Sequence Diagrams into PEPA Models"
  Mirco Tribastone and Stephen Gilmore
• "Analysis of large scale interacting systems by mean field method"
  Andrea Bobbio, Marco Gribaudo and Miklos Telek
• "Polynomial Throughput Bounds for Equal Conflict Petri Nets with Multi-Guarded Transitions"
  Jorge Julvez

Tool Presentations (at 12:00)

• "New solvers for asymmetric systems in GreatSPN"
  S. Baarir, M. Beccuti and G. Franceschinis
• "A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation"
  Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga and Tamas Suto
• "An Experimental Framework for PIPE2"
  Marc Melia, Catalina M. Llado, Ramon Puigjaner and Connie U. Smith

• "Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems"
  Kousha Etessami, Dominik Wo jtczak and Mihalis Yannakakis
• "Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata"
  N. Chamseddine, M. Duflot, L. Fribourg, C. Picaronny and J. Sproston
• "Approximate analysis of probabilistic processes: logic, simulation and games"
  Josee Desharnais, Francois Laviolette and Mathieu Tracol
• "Conflict-Tolerant Real-Time Features"
  Deepak D'Souza, Madhu Gopinathan, S. Ramesh and Prahladavaradan Sampath

• "Cross-Profiling for Embedded Java Processors"
  Walter Binder, Martin Schoeberl, Philippe Moret and Alex Villazon
• "Characterization of the E-commerce Storage Subsystem Workload"
  Xi Zhang, Alma Riska and Erik Riedel
• "Modeling Peer-to-Peer Botnets"
  Elizabeth Van Ruitenbeek and William H. Sanders