Traviando - Publications on Trace Analysis

• Peter Kemper, Carsten Tepper.
  Automated trace analysis of discrete event systems models
  IEEE Transactions on Software Engineering. (to appear, link refers to TSE/preprint server)
• Nathan J. Schmidt, Peter Kemper.
  Phrase based browsing for simulation traces of network protocols.
  In Proceedings Winter Simulation Conference, WSC 2008. (to appear, link refers to preprint)
• Peter Kemper.
  A trace-based visual inspection technique to detect errors in simulation models.
  In Proceedings Winter Simulation Conference, WSC 2007.
• Peter Kemper, Carsten Tepper.
  Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior,
  In Proceedings Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 16-19 September 2006, Edinburgh, Scotland, UK. IEEE Computer Society 2007. A preprint of an extended version is available as Technical Report WM-CS-2007-05, College of William and Mary, April 2007.
  
• Daniel M. Gordon, Peter Kemper
  On Clustering Simulation Traces.
  In Proceedings Eighth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8 2007) September 20-21, 2007, Edinburgh, Scotland, UK, 2007.
• Peter Kemper, Carsten Tepper.
  Traviando - a Trace Analyzer to Debug Simulation Models.
  In Proceedings 19th Symposium on Simulation Technique (ASIM 2006), 12-14 September 2006, Hannover Germany, SCS Publishing House, Erlangen, 2006, ISBN 3-936150-49-4. To appear as a short note/technical note in Simulation News Europe.
• Peter Kemper, Carsten Tepper.
  Traviando - Debugging Simulation Traces with Message Sequence Charts.
  In Proceedings Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA. IEEE Computer Society 2006, ISBN 0-7695-2665-9: pages 135-136.
• Peter Kemper, Carsten Tepper
  Trace Analysis - Gain Insight through Model Checking and Cycle Reduction. 
  Technical Report, University of Dortmund, SFB 559, Modeling large networks in logistics, No 06007, ISSN 1612-1376, 2006.
• Peter Kemper, Carsten Tepper
  Trace Based Analysis of Process Interaction Models. 
  In Proc. of the 37th Wintersimulation Conference, Orlando, FL, USA, December 4-7, 2005, pages 427-436, ACM 2005, ISBN 0-7803-9519-0.
• Peter Kemper, Carsten Tepper
  Visualizing the dynamic behaviour of ProC/B models. 
  In Proc. of the 16th Conference on Simulation and Visualization (SimVis), Magdeburg, March 3-4, 2005, pages 63-74, SCS Publishing, Erlangen, 2005.