Supply chain modelling and its analytical evaluation. - Markus Arns; Markus Fischer; Peter Kemper; Carsten Tepper (J. Oper. Res. Soc., 2002)

Model-checking large structured Markov chains. - Peter Buchholz 001; Joost-Pieter Katoen; Peter Kemper; Carsten Tepper (J. Log. Algebraic Methods Program., 2003)

The ProC/B-Approach from informal descriptions to formal models. - Peter Buchholz 001; Falko Bause; Carsten Tepper (ISoLA (Preliminary proceedings), 2004)

Functional Analysis of Process-Oriented Systems. - Peter Buchholz 001; Carsten Tepper (OR, 2004)

Visualization of Analysis Results in the ProC/B Toolset. - Markus Arns; Markus Fischer; Carsten Tepper; Markus Völker (QEST, 2004)

Visualizing the Dynamic Behavior of ProC/B Models. - Peter Kemper; Carsten Tepper (SimVis, 2005)

Trace based analysis of process interaction models. - Peter Kemper; Carsten Tepper (WSC, 2005)

A Petri Net Approach to Verify and Debug Simulation Models. - Peter Kemper; Carsten Tepper (Simulation and Verification of Dynamic Systems, 2006)

Traviando - Debugging Simulation Traces with Message Sequence Charts. - Peter Kemper; Carsten Tepper (QEST, 2006)

Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. - Peter Kemper; Carsten Tepper (QEST, 2007)

Automated Trace Analysis of Discrete-Event System Models. - Peter Kemper; Carsten Tepper (IEEE Trans. Software Eng., 2009)