QEST 2008 - PDF Preprint Papers

QEST 2008 International Conference on Quantitative Evaluation of Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed QEST-2008 Paper

click to vote

QEST
2008
IEEE

175views Modeling and Simulation» more QEST 2008»

Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games

14 years 5 months ago

Download www.lri.fr

We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...

Josée Desharnais, François Laviolett...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	175	Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games	claim
2	151	Automatic Translation of UML Sequence Diagrams into PEPA Models	claim
3	146	Symbolic Magnifying Lens Abstraction in Markov Decision Processes	claim
4	145	Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems	claim
5	135	Characterization of the E-commerce Storage Subsystem Workload	claim
6	128	CaVi -- Simulation and Model Checking for Wireless Sensor Networks	claim
7	127	Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata	claim
8	120	Hintikka Games for PCTL on Labeled Markov Chains	claim
9	114	A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation	claim
10	113	Recent Extensions to the Stochastic Process Algebra Tool CASPA	claim
11	113	Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics	claim
12	111	A Tool Supporting Evaluation of Non-markovian Fault Trees	claim
13	109	The Performability Tool P'ility	claim
14	100	A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues	claim
15	94	KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes	claim
16	92	Debugging of Dependability Models Using Interactive Visualization of Counterexamples	claim
17	85	ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems	claim
18	81	Randomness in Wireless Networks: How to Deal with It	claim
19	70	Regular Expressions for PCTL Counterexamples	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers