Traviando - Debugging Simulation Traces with Message Sequence Charts

Authors:
Peter Kemper;Carsten Tepper
Affiliations:
College of William and Mary Williamsburg, Virginia 23187-8795, USA;Universitat Dortmund, Germany
Venue:
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Year:
2006

Citing 0
Cited 4

A trace-based visual inspection technique to detect errors in simulation models

Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Simulating process chain models with OMNeT++

Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Phrase based browsing for simulation traces of network protocols

Proceedings of the 40th Conference on Winter Simulation
A Simulation Environment for Hierarchical Process Chains Based on OMNeT++

Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, responsibility, and blame. I first review the Halpern-Pearl definition of ...