default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th PASM / 11th PDMC 2012: London, UK
- 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 - Jeremy T. Bradley, Keijo Heljanko
, William J. Knottenbelt, Nigel Thomas:
Preface. 1-5 - Elvio Gilberto Amparore, Susanna Donatelli:
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. 7-26 - Joaquim Assunção, Luciana Espindola, Paulo Fernandes, Maria Alejandra Gomez Pivel, Afonso Sales:
A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns. 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. 43-60 - Enrico Barbierato, Gian-Luca Dei Rossi, Marco Gribaudo, Mauro Iacono, Andrea Marin:
Exploiting product forms solution techniques in multiformalism modeling. 61-77 - Jiri Barnat, Jan Havlícek, Petr Rockai:
Distributed LTL Model Checking with Hash Compaction. 79-93 - Freark I. van der Berg, Alfons Laarman:
SpinS: Extending LTSmin with Promela through SpinJa. 95-105 - Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
Conservation of Mass Analysis for Bio-PEPA. 107-126 - Tom van Dijk, Alfons Laarman, Jaco van de Pol:
Multi-Core BDD Operations for Symbolic Reachability. 127-143 - Hubert Garavel, Radu Mateescu, Wendelin Serwe:
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. 145-161 - Jasen Markovski, E. S. Estens Musa, Michel A. Reniers:
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. 163-181 - Dimitrios Milios, Stephen Gilmore:
Markov Chain Simulation with Fewer Random Samples. 183-197 - K. Aidarov, Paul D. Ezhilchelvan, Isi Mitrani:
Energy-aware Management of Customer Streams. 199-210 - Erin Scott, Andrew Hoyle, Carron Shankland:
PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study. 211-228 - Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz:
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. 229-252
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
