Carsten Tepper

Publication Activity (10 Years)

Years Active: 2002-2009
Publications (10 Years): 0

Publications

Peter Kemper, Carsten Tepper
Automated Trace Analysis of Discrete-Event System Models. IEEE Trans. Software Eng. 35 (2) (2009)
Peter Kemper, Carsten Tepper
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. QEST (2007)
Peter Kemper, Carsten Tepper
A Petri Net Approach to Verify and Debug Simulation Models. Simulation and Verification of Dynamic Systems (2006)
Peter Kemper, Carsten Tepper
Traviando - Debugging Simulation Traces with Message Sequence Charts. QEST (2006)
Peter Kemper, Carsten Tepper
Trace based analysis of process interaction models. WSC (2005)
Peter Kemper, Carsten Tepper
Visualizing the Dynamic Behavior of ProC/B Models. SimVis (2005)
Peter Buchholz, Carsten Tepper
Functional Analysis of Process-Oriented Systems. OR (2004)
Markus Arns, Markus Fischer, Carsten Tepper, Markus Völker
Visualization of Analysis Results in the ProC/B Toolset. QEST (2004)
Peter Buchholz, Falko Bause, Carsten Tepper
The ProC/B-Approach from informal descriptions to formal models. ISoLA (Preliminary proceedings) (2004)
Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper
Model-checking large structured Markov chains. J. Log. Algebraic Methods Program. 56 (1-2) (2003)
Markus Arns, Markus Fischer, Peter Kemper, Carsten Tepper
Supply chain modelling and its analytical evaluation. J. Oper. Res. Soc. 53 (8) (2002)