Abstract is missing.
- Computer-Aided Security ProofsGilles Barthe. 1-2 [doi]
- On the Interplay between Content Popularity and Performance in P2P SystemsEdmundo de Souza e Silva, Rosa M. M. Leão, Daniel Sadoc Menasché, Antonio Augusto de Aragão Rocha. 3-21 [doi]
- Refinement and Difference for Probabilistic AutomataBenoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay. 22-38 [doi]
- High-Level Counterexamples for Probabilistic AutomataRalf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. 39-54 [doi]
- Modelling, Reduction and Analysis of Markov AutomataDennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. 55-71 [doi]
- Deciding Bisimilarities on DistributionsChristian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang 0001. 72-88 [doi]
- Learning and Designing Stochastic Processes from Logical ConstraintsLuca Bortolussi, Guido Sanguinetti. 89-105 [doi]
- Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population ModelsDavid Spieler. 106-122 [doi]
- Model Checking Markov Population Models by Central Limit ApproximationLuca Bortolussi, Roberta Lanciani. 123-138 [doi]
- Fluid Limit for the Machine Repairman Model with Phase-Type DistributionsLaura Aspirot, Ernesto Mordecki, Gerardo Rubino. 139-154 [doi]
- Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation AlgorithmRastislav Lenhardt. 155-159 [doi]
- PLASMA-lab: A Flexible, Distributable Statistical Model Checking LibraryBenoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards. 160-164 [doi]
- STRONG: A Trajectory-Based Verification Toolbox for Hybrid SystemsYi Deng, Akshay Rajhans, A. Agung Julius. 165-168 [doi]
- PEPERCORN: Inferring Performance Models from Location Tracking DataNikolas Anastasiou, William J. Knottenbelt. 169-172 [doi]
- ADTool: Security Analysis with Attack-Defense TreesBarbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer. 173-176 [doi]
- SAT-Based Analysis and Quantification of Information Flow in ProgramsVladimir Klebanov, Norbert Manthey, Christian J. Muise. 177-192 [doi]
- Prinsys - On a Quest for Probabilistic Loop InvariantsFriedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. 193-208 [doi]
- Revisiting Weak Simulation for Substochastic Markov ChainsDavid N. Jansen, Lei Song, Lijun Zhang 0001. 209-224 [doi]
- A Performance Analysis of System S, S4, and Esper via Two Level BenchmarkingMiyuru Dayarathna, Toyotaro Suzumura. 225-240 [doi]
- Effect of Codeword Placement on the Reliability of Erasure Coded Data Storage SystemsVinodh Venkatesan, Ilias Iliadis. 241-257 [doi]
- Fault-Impact Models Based on Delay and Packet Loss for IEEE 802.11gDaniel Happ, Philipp Reinecke, Katinka Wolter. 258-273 [doi]
- VeriSiMPL: Verification via biSimulations of MPL ModelsDieky Adzkiya, Alessandro Abate. 274-277 [doi]
- The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian ModelsGiorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare. 278-281 [doi]
- Möbius Shell: A Command-Line Interface for MöbiusKen Keefe, William H. Sanders. 282-285 [doi]
- A CTL Model Checker for Stochastic Automata NetworksLucas Oleksinski, Claiton Correa, Fernando Luís Dotti, Afonso Sales. 286-289 [doi]
- The Steady-State Control Problem for Markov Decision ProcessesS. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët. 290-304 [doi]
- Symbolic Control of Stochastic Switched Systems via Finite AbstractionsMajid Zamani, Alessandro Abate. 305-321 [doi]
- Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban DrivingTaolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche. 322-337 [doi]
- Stochastic Parity Games on Lossy Channel SystemsParosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg. 338-354 [doi]
- Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State ClassesPaolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario. 355-371 [doi]
- Automated Rare Event Simulation for Stochastic Petri NetsDaniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort. 372-388 [doi]
- Topology-Based Mobility Models for Wireless NetworksAnsgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta. 389-404 [doi]