The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PAPM-PROBMIV"( http://dblp.L3S.de/Venues/PAPM-PROBMIV )

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

Publication years (Num. hits)
2001 (14) 2002 (17)
Publication types (Num. hits)
inproceedings(29) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Richard Lassaigne, Sylvain Peyronnet Approximate Verification of Probabilistic Systems. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Rashid Mehmood Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen Reduction and Refinement Strategies for Probabilistic Analysis. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stefan Haar Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Mario Bravetti An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu Action Refinement for Probabilistic Processes with True Concurrency Models. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Matthias Kuntz, Markus Siegle Deriving Symbolic Representations from Stochastic Process Algebras. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, António Pacheco 0001 Model Checking CSL until Formulae with Random Time Bounds. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Olivier Bournez A Generalization of Equational Proof Theory? Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1David Sands 0001 Probability and Timing: Challenges for Secure Programming. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Probabilistic Abstract Interpretation and Statistical Testing. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Henrik C. Bohnenkamp, Boudewijn R. Haverkort The Mean Value of the Maximum. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Roberto Segala (eds.) Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini, Roberto Gorrieri Security Analysis of a Probabilistic Non-repudiation Protocol. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1André Schiper Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Huth 0001 Possibilistic and Probabilistic Abstraction-Based Model Checking. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen Reachability Analysis of Probabilistic Systems by Successive Refinements. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  BibTeX  RDF
1Marco Bernardo 0001, Mario Bravetti Reward Based Congruences: Can We Aggregate More? Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jane Hillston, Leïla Kloul An Efficient Kronecker Representation for PEPA Models. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Luca de Alfaro, Stephen Gilmore (eds.) Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren MoDeST - A Modelling and Description Language for Stochastic Timed Systems. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Katia Folegati, Roberto Segala Coin Lemmas with Random Variables. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Markus Siegle Advances in Model Representations. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Lubos Brim, Ivana Cerná, Martin Necesal Randomization Helps in LTL Model Checking. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mario Bravetti, Alessandro Aldini Expressing Processes with Different Action Durations through Probabilities. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Faster and Symbolic CTMC Model Checking. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Gabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Peter Buchholz 0001, Peter Kemper Quantifying the Dynamic Behavior of Process Algebras. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF process algebras, bisimulation, congruence, semiring
1Graham Clark, William H. Sanders Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #31 of 31 (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