Abstract is missing.
- Quantitative Evaluation of Service Dependability in Shared Execution EnvironmentsSamuel Kounev. 1-4 [doi]
- Multi-agent Networked Systems with Adversarial ElementsTamer Basar. 5-8 [doi]
- A Structured Solution Approach for Markov Regenerative ProcessesElvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli. 9-24 [doi]
- Low-Rank Tensor Methods for Communicating Markov ProcessesDaniel Kressner, Francisco Macedo. 25-40 [doi]
- A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical SystemsLuca Bortolussi, Guido Sanguinetti. 41-56 [doi]
- Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled LoadsSadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate. 57-73 [doi]
- Finite Abstractions of Stochastic Max-Plus-Linear SystemsDieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate. 74-89 [doi]
- Mean Field for Performance Models with Generally-Distributed Timed TransitionsRichard A. Hayden, Illés Horváth, Miklós Telek. 90-105 [doi]
- Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population ModelsLuca Bortolussi, Rytis Paskauskas. 106-121 [doi]
- On Performance of Gossip Communication in a Crowd-Sensing ScenarioMarcel C. Guenther, Jeremy T. Bradley. 122-137 [doi]
- Probabilistic Model Checking of DTMC Models of User Activity PatternsOana Andrei, Muffy Calder, Matthew Higgs, Mark Girolami. 138-153 [doi]
- Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular NetworksGeert J. Heijenk, Martijn van Eenennaam, Anne Remke. 154-169 [doi]
- A New GreatSPN GUI for GSPN Editing and CSLTA Model CheckingElvio Gilberto Amparore. 170-173 [doi]
- The Octave Queueing PackageMoreno Marzolla. 174-177 [doi]
- A Perfect Sampling Algorithm of Random Walks with Forbidden ArcsStéphane Durand, Bruno Gaujal, Florence Perronnin, Jean-Marc Vincent. 178-193 [doi]
- Modelling Replication in NoSQL DatastoresRasha Osman, Pietro Piazzolla. 194-209 [doi]
- On Queues with General Service Demands and Constant Service CapacityHerwig Bruneel, Wouter Rogiest, Joris Walraevens, Sabine Wittevrongel. 210-225 [doi]
- Simulation Debugging and Visualization in the Möbius Modeling FrameworkCraig Buchanan, Ken Keefe. 226-240 [doi]
- Scalar: A Distributed Scalability Analysis FrameworkThomas Heyman, Davy Preuveneers, Wouter Joosen. 241-244 [doi]
- Non-intrusive Scalable Memory Access TracerNobuyuki Ohba, Seiji Munetoh, Atsuya Okazaki, Yasunao Katayama. 245-248 [doi]
- Probabilistic Programming Process AlgebraAnastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti. 249-264 [doi]
- PALOMA: A Process Algebra for Located Markovian AgentsCheng Feng, Jane Hillston. 265-280 [doi]
- On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open ProblemsMarco Bernardo, Davide Sangiorgi, Valeria Vignudelli. 281-296 [doi]
- Continuity Properties of Distances for Markov ProcessesManfred Jaeger, Hua Mao, Kim Guldstrand Larsen, Radu Mardare. 297-312 [doi]
- Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed AutomataNathalie Bertrand, Thomas Brihaye, Blaise Genest. 313-328 [doi]
- Decidable Problems for Unary PFAsRohit Chadha, Dileep Kini, Mahesh Viswanathan. 329-344 [doi]
- A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power GridsAlberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasché, Marco Paolieri, Sindhu Suresh. 345-367 [doi]
- Compositionality Results for Quantitative Information FlowYusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi. 368-383 [doi]
- CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical SystemsAn Hoa Vu, Nils Ole Tippenhauer, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk. 384-387 [doi]
- Symbolic Approximation of the Bounded Reachability Probability in Large Markov ChainsMarkus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi. 388-403 [doi]
- Accelerating Parametric Probabilistic VerificationNils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. 404-420 [doi]