Traviando - Publications on Trace Analysis

• Allan Clark, Stephen Gilmore, Jane Hillston, Peter Kemper.
  Verification and testing of biological models.
  In Proceedings Winter Simulation Conference, WSC 2010, Dec 5-8, Baltimore, Maryland, USA (to appear).
• Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper.
  On verifying Bio-PEPA models.
  In Proceedings 8th Conference on Computational Methods in Systems Biology (CMSB 2010), Sep 29-Oct 1 2010, Trento, Italy, ACM Digital Library, 2010 (to appear).
• Samuel K. Klock, Peter Kemper.
  An automated technique to support the verification and validation of simulation models.
  In Proceedings Dependable Systems and Networks (DSN 2010), June 2010, Chicago, IL, USA, 10 pages, IEEE Computer Science 2010.
• Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders.
  Performance and dependability modeling with Moebius.
  ACM Performance Evaluation Review, 36(4): 6 pages, March 2009.
• Peter Kemper, Carsten Tepper.
  Automated trace analysis of discrete event systems models
  IEEE Transactions on Software Engineering 35(2): 195-208, 2009.
• Peter Kemper.
  Report generation for simulation traces with Traviando.
  In Proceedings Dependable Systems and Networks (DSN 2009), June 2009, Lisbon, Portugal. 6 pages, IEEE Computer Society 2009.
• Peter Kemper.
  Recovering model invariants from simulation traces with Petri net analysis techniques.
  In Proceedings Winter Simulation Conference, WSC 2009.
• Peter Kemper.
  Recent extensions to Traviando.
  In Proceedings Seventh International Conference on the Quantitative Evaluation of Systems (QEST 2009), September 2008, Budapest, Hungary. 2 pages, IEEE Computer Society 2009.
• Ruth Lamprecht, Peter Kemper.
  Mobius trance analysis with Traviando.
  In Proceedings Sixth International Conference on the Quantitative Evaluation of Systems (QEST 2008), September 2008, St Malo, France. 41-42, IEEE Computer Society 2008.
• Nathan J. Schmidt, Peter Kemper.
  Phrase based browsing for simulation traces of network protocols.
  In Proceedings Winter Simulation Conference, WSC 2008.
• 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 2007, 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.