QEST 2009 - PDF Preprint Papers

QEST 2009 International Conference on Quantitative Evaluation of Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed QEST-2009 Paper

click to vote

QEST
2009
IEEE

204views Modeling and Simulation» more QEST 2009»

Recent Extensions to Traviando

14 years 6 months ago

Download www.cs.wm.edu

—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we brieﬂy outline recent extensions of Traviando towards a...

Peter Kemper

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	204	Recent Extensions to Traviando	claim
2	184	Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples	claim
3	164	On the Impact of Modelling Choices for Distributed Information Spread	claim
4	145	Comparison of Two Output Models for the BMAP/MAP/1 Departure Process	claim
5	144	Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization	claim
6	131	COBAREA: The COpula-BAsed REliability and Availability Modeling Environment	claim
7	127	Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality	claim
8	126	A Performance Model of Zoned Disk Drives with I/O Request Reordering	claim
9	124	The Bio-PEPA Tool Suite	claim
10	123	Locating Performance Bottlenecks in Embedded Java Software with Calling-Context Cross-Profiling	claim
11	122	Language-Level Symmetry Reduction for Probabilistic Model Checking	claim
12	118	Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes	claim
13	104	Mean-Field Analysis for the Evaluation of Gossip Protocols	claim
14	104	Petri Net Analysis Using Decision Diagrams	claim
15	102	Simulation-Based CTMC Model Checking: An Empirical Evaluation	claim
16	99	The Ins and Outs of the Probabilistic Model Checker MRMC	claim
17	93	An Introduction to Monte Carlo Methods and Rare Event Simulation	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers