Abstract is missing.
- Autonomous Model Learning for Reinforcement LearningMichael L. Littman. 3 [doi]
- A Control-Theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-hoc NetworksYimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk. 7-16 [doi]
- On the Data Delivery Delay taken by Random Walks in Wireless Sensor NetworksIssam Mabrouki, Gwillerm Froc, Xavier Lagrange. 17-26 [doi]
- Analysis of an M/G/1 Queue with Repeated Inhomogeneous Vacations with Application to IEEE 802.16e Power Saving MechanismSara Alouf, Eitan Altman, Amar Prakash Azad. 27-36 [doi]
- CaVi -- Simulation and Model Checking for Wireless Sensor NetworksAthanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver. 37-38 [doi]
- Performance Model Generation for MPSoC Design-Space ExplorationBart D. Theelen. 39-40 [doi]
- Möbius Trace Analysis with TraviandoRuth Lamprecht, Peter Kemper. 41-42 [doi]
- Reduction Techniques for Model Checking Markov Decision ProcessesFrank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein. 45-54 [doi]
- Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic SemanticsNathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey. 55-64 [doi]
- Symbolic Partition Refinement with Dynamic Balancing of Time and SpaceRalf Wimmer, Salem Derisavi, Holger Hermanns. 65-74 [doi]
- Cell Assisted APMCAlexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet. 75-76 [doi]
- ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic SystemsJiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova. 77-78 [doi]
- Prism2PromelaChristopher Power, Alice Miller. 79-80 [doi]
- KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival ProcessesGiuliano Casale, Eddy Z. Zhang, Evgenia Smirni. 83-92 [doi]
- VATS: Virtualized-Aware Automated Test ServiceSebastian Gaisbauer, Johannes Kirschnick, Nigel Edwards, Jerry Rolia. 93-102 [doi]
- Symbolic Magnifying Lens Abstraction in Markov Decision ProcessesPritam Roy, David Parker, Gethin J. Norman, Luca de Alfaro. 103-112 [doi]
- Recent Extensions to the Stochastic Process Algebra Tool CASPAMartin Riedl, Johann Schuster, Markus Siegle. 113-114 [doi]
- A Tool Supporting Evaluation of Non-markovian Fault TreesGiacomo Bucci, Laura Carnevali, Enrico Vicario. 115-116 [doi]
- The Performability Tool P ilityLucia Cloth, Boudewijn R. Haverkort. 117-118 [doi]
- Composing Web Services in an Open World: QoS IssuesAlbert Benveniste. 121 [doi]
- A Joint Moments Based Analysis of Networks of MAP/MAP/1 QueuesAndrás Horváth, Gábor Horváth, Miklós Telek. 125-134 [doi]
- Product Form Approximations for Communicating Markov ProcessesPeter Buchholz. 135-144 [doi]
- Discrete Time Markov Chains Competing over Resources: Product Form Steady-State DistributionJean-Michel Fourneau. 147-156 [doi]
- Memory Efficient Calculation of Path Probabilities in Large Structured Markov ChainsPaolo Ballarini, András Horváth. 157-166 [doi]
- Hintikka Games for PCTL on Labeled Markov ChainsHarald Fecher, Michael Huth, Nir Piterman, Daniel Wagner. 169-178 [doi]
- Regular Expressions for PCTL CounterexamplesBerteun Damman, Tingting Han, Joost-Pieter Katoen. 179-188 [doi]
- Debugging of Dependability Models Using Interactive Visualization of CounterexamplesHusain Aljazzar, Stefan Leue. 189-198 [doi]
- Linear Programming, Lyapunov Functions, and Performance AnalysisPeter Glynn. 201 [doi]
- Automatic Translation of UML Sequence Diagrams into PEPA ModelsMirco Tribastone, Stephen Gilmore. 205-214 [doi]
- Analysis of Large Scale Interacting Systems by Mean Field MethodAndrea Bobbio, Marco Gribaudo, Miklós Telek. 215-224 [doi]
- Polynomial Throughput Bounds for Equal Conflict Petri Nets with Multi-guarded TransitionsJorge Júlvez. 225-234 [doi]
- New Solvers for Asymmetric Systems in GreatSPNSouheib Baarir, Marco Beccuti, Giuliana Franceschinis. 235-236 [doi]
- A Parallel and Distributed Analysis Pipeline for Performance Tree EvaluationDarren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto. 237-238 [doi]
- An Experimental Framework for PIPE2Marc Melià, Catalina M. Lladó, Ramón Puigjaner, Connie U. Smith. 239-240 [doi]
- Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown SystemsKousha Etessami, Dominik Wojtczak, Mihalis Yannakakis. 243-253 [doi]
- Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed AutomataNajla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston. 254-263 [doi]
- Approximate Analysis of Probabilistic Processes: Logic, Simulation and GamesJosée Desharnais, François Laviolette, Mathieu Tracol. 264-273 [doi]
- Conflict-Tolerant Real-Time FeaturesDeepak D Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath. 274-283 [doi]
- Cross-Profiling for Embedded Java ProcessorsWalter Binder, Martin Schoeberl, Philippe Moret, Alex Villazón. 287-296 [doi]
- Characterization of the E-commerce Storage Subsystem WorkloadXi Zhang, Alma Riska, Erik Riedel. 297-306 [doi]
- Modeling Peer-to-Peer BotnetsElizabeth Van Ruitenbeek, William H. Sanders. 307-316 [doi]
- Perfect Generation, Monotonicity and Finite Queueing NetworksJean-Marc Vincent. 319 [doi]
- Randomness in Wireless Networks: How to Deal with ItMérouane Debbah. 320 [doi]
- Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State ClassesEnrico Vicario. 321 [doi]
- Model Checking and Decision Procedures for Probabilistic Automata and Markov ChainsJames Worrell. 322 [doi]