- Jean-Michel Fourneau, Nihal Pekergin:
Dynamic Fault Trees with Rejuvenation: Numerical Analysis and Stochastic Bounds. PASM 2016: 27-47 - Stefan Haar, Simon Theissing:
Forecasting Passenger Loads in Transportation Networks. PASM 2016: 49-69 - Boudewijn R. Haverkort
, William J. Knottenbelt, Anne Remke, Nigel Thomas:
Preface. PASM 2016: 1-3 - Christoph Müller, Piotr Rygielski, Simon Spinner, Samuel Kounev:
Enabling Fluid Analysis for Queueing Petri Nets via Model Transformation. PASM 2016: 71-91 - Kalyan S. Perumalla, Mohammed M. Olama, Srikanth B. Yoginath:
Model-based Dynamic Control of Speculative Forays in Parallel Computation. PASM 2016: 93-107 - Michael T. Todinov:
Stochastic Pruning and Its Application for Fast Estimation of the Expected Total Output of Complex Systems. PASM 2016: 109-123 - Qiushi Wang, Fabian Reimeier, Katinka Wolter:
Efficient Image Stitching through Mobile Offloading. PASM 2016: 125-146 - Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas:
8th International Workshop on Practical Application of Stochastic Modeling, PASM 2016, Münster, Germany, April 2016. Electronic Notes in Theoretical Computer Science 327, Elsevier 2016 [contents] - 2015
- Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas:
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, PASM 2014, Newcastle-upon-Tyne, UK, May 2014. Electronic Notes in Theoretical Computer Science 310, Elsevier 2015 [contents] - 2014
- Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario:
Survivability Evaluation of Gas, Water and Electricity Infrastructures. PASM 2014: 5-25 - Luca Bortolussi, Jane Hillston, Mirco Tribastone:
Fluid Performability Analysis of Nested Automata Models. PASM 2014: 27-47 - Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas:
Preface. PASM 2014: 1-3 - Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Asymptotic Behavior and Performance Constraints of Replication Policies. PASM 2014: 49-63 - Matthew Forshaw, Andrew Stephen McGough, Nigel Thomas:
Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems. PASM 2014: 65-90 - Marco Gribaudo, Mauro Iacono, Stefano Marrone:
Exploiting Bayesian Networks for the Analysis of Combined Attack Trees. PASM 2014: 91-111 - Leonardo Montecchi, Nicola Nostro, Andrea Ceccarelli, Giuseppe Vella, Antonio Caruso, Andrea Bondavalli:
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform. PASM 2014: 113-133 - Ronny J. Polansky, Samyukta Sethuraman, Natarajan Gautam:
Obtaining Optimal Thresholds for Processors with Speed-Scaling. PASM 2014: 135-155 - Daniël Reijsbergen, Stephen Gilmore, Jane Hillston:
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. PASM 2014: 157-177 - Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore:
Finding Optimal Timetables for Edinburgh Bus Routes. PASM 2014: 179-199 - 2013
- Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas:
Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, PASM 2012, and the Eleventh International Workshop on Parallel and Distributed Methods in Verification, PDMC 2012, London, UK, September 2012. Electronic Notes in Theoretical Computer Science 296, Elsevier 2013 [contents] - 2012
- K. Aidarov, Paul D. Ezhilchelvan, Isi Mitrani:
Energy-aware Management of Customer Streams. PASM/PDMC 2012: 199-210 - Elvio Gilberto Amparore, Susanna Donatelli:
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. PASM/PDMC 2012: 7-26 - Joaquim V. C. Assunção, Luciana Espindola, Paulo Fernandes, Maria Alejandra Gomez Pivel, Afonso Sales:
A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns. PASM/PDMC 2012: 27-42 - Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark:
Stochastic Modelling of the Kai-based Circadian Clock. PASM/PDMC 2012: 43-60 - Enrico Barbierato, Gian-Luca Dei Rossi, Marco Gribaudo, Mauro Iacono, Andrea Marin:
Exploiting product forms solution techniques in multiformalism modeling. PASM/PDMC 2012: 61-77 - Jiri Barnat, Jan Havlícek, Petr Rockai:
Distributed LTL Model Checking with Hash Compaction. PASM/PDMC 2012: 79-93 - Freark I. van der Berg, Alfons Laarman:
SpinS: Extending LTSmin with Promela through SpinJa. PASM/PDMC 2012: 95-105 - Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas:
Preface. PASM/PDMC 2012: 1-5 - Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
Conservation of Mass Analysis for Bio-PEPA. PASM/PDMC 2012: 107-126 - Tom van Dijk, Alfons Laarman, Jaco van de Pol:
Multi-Core BDD Operations for Symbolic Reachability. PASM/PDMC 2012: 127-143
