Carsten Tepper

According to our database, Carsten Tepper authored at least 11 papers between 2002 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Automated Trace Analysis of Discrete-Event System Models.

Peter Kemper, Carsten Tepper

IEEE Trans. Software Eng., 2009

2007

Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior.

Peter Kemper, Carsten Tepper

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006

Traviando - Debugging Simulation Traces with Message Sequence Charts.

Peter Kemper, Carsten Tepper

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

A Petri Net Approach to Verify and Debug Simulation Models.

Peter Kemper, Carsten Tepper

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

2005

Trace based analysis of process interaction models.

Peter Kemper, Carsten Tepper

Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

Visualizing the Dynamic Behavior of ProC/B Models.

Peter Kemper, Carsten Tepper

Proceedings of the Simulation und Visualisierung 2005 (SimVis 2005), 2005

2004

Visualization of Analysis Results in the ProC/B Toolset.

Markus Arns, Markus Fischer, Carsten Tepper, Markus Völker

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Functional Analysis of Process-Oriented Systems.

Peter Buchholz, Carsten Tepper

Proceedings of the Operations Research, 2004

The ProC/B-Approach from informal descriptions to formal models.

Peter Buchholz, Falko Bause, Carsten Tepper

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Model-checking large structured Markov chains.

Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper

J. Log. Algebraic Methods Program., 2003

2002

Supply chain modelling and its analytical evaluation.

Markus Arns, Markus Fischer, Peter Kemper, Carsten Tepper

J. Oper. Res. Soc., 2002