Abstract is missing.
- Property-Driven State-Space Coarsening for Continuous Time Markov ChainsMichalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti. 3-18 [doi]
- Optimal Aggregation of Components for the Solution of Markov Regenerative ProcessesElvio Gilberto Amparore, Susanna Donatelli. 19-34 [doi]
- Data-Efficient Bayesian Verification of Parametric Markov ChainsElizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate. 35-51 [doi]
- Exploiting Robust Optimization for Interval Probabilistic BisimulationErnst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini. 55-71 [doi]
- Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise ApproximationLuca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti. 72-88 [doi]
- Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow NetsJavier Esparza, Philipp Hoffmann, Ratul Saha. 89-104 [doi]
- Energy-Aware Server with SRPT Scheduling: Analysis and OptimizationMisikir Eyob Gebrehiwot, Samuli Aalto, Pasi E. Lassila. 107-122 [doi]
- Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join StationsAndrea Marin, Sabina Rossi. 123-138 [doi]
- Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing SystemsCheng Feng 0004, Jane Hillston, Daniël Reijsbergen. 139-155 [doi]
- Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0Olga Gadyatskaya, Ravi Jhawar, Piotr Kordy, Karim Lounis, Sjouke Mauw, Rolando Trujillo-Rasua. 159-162 [doi]
- Spnps: A Tool for Perfect Sampling in Stochastic Petri NetsSimonetta Balsamo, Andrea Marin, Ivan Stojic. 163-166 [doi]
- CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive SystemsJane Hillston, Michele Loreti. 167-171 [doi]
- Uniform Sampling for Timed Automata with Application to Language Inclusion MeasurementBenoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska. 175-190 [doi]
- Inferring Covariances for Probabilistic ProgramsBenjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. 191-206 [doi]
- Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-Based AnalysesSteffen Bondorf, Jens B. Schmitt. 207-223 [doi]
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy RefinementSofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof. 227-243 [doi]
- Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient AscentEzio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti. 244-259 [doi]
- Compact Representation of Solution Vectors in Kronecker-Based Markovian AnalysisPeter Buchholz, Tugrul Dayar, Jan Kriege, M. Can Orhan. 260-276 [doi]
- A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISEMichael Rausch, Brett Feddersen, Ken Keefe, William H. Sanders. 279-294 [doi]
- Traffic Modeling with Phase-Type Distributions and VARMA ProcessesJan Kriege, Peter Buchholz. 295-310 [doi]
- An Optimal Offloading Partitioning Algorithm in Mobile Cloud ComputingHuaming Wu, William J. Knottenbelt, Katinka Wolter, Yi Sun. 311-328 [doi]
- Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic CompressorEnno Ruijters, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle Stoelinga. 331-347 [doi]
- Performance Evaluation of Train Moving-Block ControlGiovanni Neglia, Sara Alouf, Abdulhalim Dandoush, Sébastien Simoens, Pierre Dersin, Alina Tuholukova, Jérôme Billion, Pascal Derouet. 348-363 [doi]
- Decoupling Passenger Flows for Improved Load PredictionStefan Haar, Simon Theissing. 364-379 [doi]