- Hubert Garavel, Radu Mateescu, Wendelin Serwe:
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. PASM/PDMC 2012: 145-161 - Jasen Markovski, E. S. Estens Musa, Michel A. Reniers
:
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. PASM/PDMC 2012: 163-181 - Dimitrios Milios, Stephen Gilmore:
Markov Chain Simulation with Fewer Random Samples. PASM/PDMC 2012: 183-197 - Erin Scott, Andrew Hoyle, Carron Shankland:
PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study. PASM/PDMC 2012: 211-228 - Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz:
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. PASM/PDMC 2012: 229-252 - 2011
- Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Lim, Fábio S. Magnani, Adilson Arcoverde Jr.:
Towards the Evaluation of Environment and Business Trade-offs in Supply Chains. PASM@ICPE 2011: 5-21 - Alessio Angius, András Horváth:
The Monte Carlo EM method for the parameter estimation of biological models. PASM@ICPE 2011: 23-36 - Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
Defining Formalisms for Performance Evaluation With SIMTHESys. PASM@ICPE 2011: 37-51 - Ricardo M. Czekster, Paulo Fernandes, Afonso Sales, Thais Webber, Avelino F. Zorzo:
Stochastic Model for QoS Assessment in Multi-tier Web Services. PASM@ICPE 2011: 53-72 - Paulo Fernandes, Afonso Sales, Alan R. Santos, Thais Webber:
Performance Evaluation of Software Development Teams: a Practical Case Study. PASM@ICPE 2011: 73-92 - Tzu-Ching Horng, Nikolas Anastasiou, Tony Field, William J. Knottenbelt:
LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks. PASM@ICPE 2011: 93-104 - Timothy L. Y. Leung, William J. Knottenbelt:
Stochastic Modelling and Optimisation of Internet Auction Processes. PASM@ICPE 2011: 105-121 - Yasir Shoaib, Olivia Das:
Web Application Performance Modeling Using Layered Queueing Networks. PASM@ICPE 2011: 123-142 - Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig:
Preface. PASM@ICPE 2011: 1-3 - Osama Younes, Nigel Thomas:
Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks with Random Waypoint Mobility. PASM@ICPE 2011: 143-158 - Wen Zeng, Aad P. A. van Moorsel:
Quantitative Evaluation of Enterprise DRM Technology. PASM@ICPE 2011: 159-174 - Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig:
Fifth International Workshop on the Practical Application of Stochastic Modelling, PASM@ICPE 2011, Karlsruhe, Germany, March 2011. Electronic Notes in Theoretical Computer Science 275, Elsevier 2011 [contents] - 2010
- Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder:
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, PASM@MASCOTS 2009, London, UK, September 2009. Electronic Notes in Theoretical Computer Science 261, Elsevier 2010 [contents] - 2009
- Federica Ciocchetta, Jane Hillston:
Bio-PEPA for Epidemiological Models. PASM@MASCOTS 2009: 43-69 - Sofia K. Dimitriadou, Helen D. Karatza:
Multi-Site Allocation Policies on a Grid and Local Level. PASM@MASCOTS 2009: 163-179 - Michael D. Harrison, Mieke Massink:
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. PASM@MASCOTS 2009: 23-42 - Gábor Imre, M. Kaszó, Tihamer Levendovszky, Hassan Charaf:
A Novel Cost Model of XML Serialization. PASM@MASCOTS 2009: 147-162 - Diego Perez-Palacin, José Merseguer:
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. PASM@MASCOTS 2009: 181-201 - Pietro Piazzolla, Marco Gribaudo:
Analysis of Television and Cinema Productions using Mean Field Models. PASM@MASCOTS 2009: 91-108 - Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort:
A Massively Scalable Architecture For Instant Messaging & Presence. PASM@MASCOTS 2009: 109-130 - Joris Slegers:
A Langevin Interpretation of PEPA Models. PASM@MASCOTS 2009: 71-89 - Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder:
Preface. PASM@MASCOTS 2009: 1-4 - Maria Estrella Sousa Vieira, Andrés Suárez-González, Raúl Fernando Rodríguez Rubio, Cándido López-García:
Flexible adjustment of the short-term correlation of LRD M/G/∞-based processes. PASM@MASCOTS 2009: 131-145 - Katinka Wolter, Philipp Reinecke:
Stochastic Models for Dependable Services. PASM@MASCOTS 2009: 5-21 - Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt:
Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, PASM@EPEW 2008, Palma de Mallorca, Spain, September 2008. Electronic Notes in Theoretical Computer Science 232, Elsevier 2009 [contents]
