C. Tepper

A Petri Net Approach to Verify and Debug Simulation Models

Peter Kemper, Carsten Tepper, P. Kemper, 2006, Simulation and Verification of Dynamic Systems.

A PETRI NET APPROACH TO DEBUG SIMULATION MODELS OF LOGISTIC NETWORKS

P. Kemper, P. Kemper, C. Tepper, 2005 .

Automated Trace Analysis of Discrete-Event System Models

Peter Kemper, Carsten Tepper, P. Kemper, 2009, IEEE Transactions on Software Engineering.

Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior

Peter Kemper, Carsten Tepper, P. Kemper, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

Trace analysis - gain insight through modelchecking and cycle reduction

Carsten Tepper, Volker Kemper, C. Tepper, 2006 .

Supply chain modelling and its analytical evaluation

Peter Kemper, Markus Arns, M. Fischer, 2002, J. Oper. Res. Soc..

Model-checking large structured Markov chains

Joost-Pieter Katoen, Peter Buchholz, Peter Kemper, 2003, J. Log. Algebraic Methods Program..