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