Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PASM/PDMC"( http://dblp.L3S.de/Venues/PASM/PDMC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/pasm

Publication years (Num. hits)
2012 (15) 2013 (1)
Publication types (Num. hits)
inproceedings(15) proceedings(1)
Venues (Conferences, Journals, ...)
PASM/PDMC(16)
Authors
Stephen Gilmore(3) Alfons Laarman(2) Allan Clark(2) Dimitrios Milios(2) Jane Hillston(2) Jeremy T. Bradley(2) Keijo Heljanko(2) Nigel Thomas(2) William J. Knottenbelt(2) Afonso Sales(1) Anastasis Georgoulas(1) Andrea Marin(1) Andrew Hoyle(1) Carron Shankland(1) Chris J. Banks(1) E. S. Estens Musa(1) More (+10 of total 46)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas (eds.) 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 Search on Bibsonomy PASM/PDMC The full citation details ... 2013 DBLP  BibTeX  RDF
1Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas Preface. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Erin Scott, Andrew Hoyle, Carron Shankland PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dimitrios Milios, Stephen Gilmore Markov Chain Simulation with Fewer Random Samples. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Enrico Barbierato, Gian-Luca Dei Rossi, Marco Gribaudo, Mauro Iacono, Andrea Marin Exploiting product forms solution techniques in multiformalism modeling. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston Conservation of Mass Analysis for Bio-PEPA. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joaquim Assunção, Luciana Espindola, Paulo Fernandes 0001, Maria Alejandra Gomez Pivel, Afonso Sales A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tom van Dijk, Alfons Laarman, Jaco van de Pol Multi-Core BDD Operations for Symbolic Reachability. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Freark I. van der Berg, Alfons Laarman SpinS: Extending LTSmin with Promela through SpinJa. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jasen Markovski, E. S. Estens Musa, Michel A. Reniers Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hubert Garavel, Radu Mateescu 0001, Wendelin Serwe Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1K. Aidarov, Paul D. Ezhilchelvan, Isi Mitrani Energy-aware Management of Customer Streams. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvio Gilberto Amparore, Susanna Donatelli Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark Stochastic Modelling of the Kai-based Circadian Clock. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jiri Barnat, Jan Havlícek, Petr Rockai Distributed LTL Model Checking with Hash Compaction. Search on Bibsonomy PASM/PDMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license