List of Publications, Carsten Tepper

1. Buchholz, P.; Katoen, J.-P.; Kemper, P. and Tepper, C.
   Model-checking large structured Markov chains
   Journal of Logic and Algebraic Programming, 56 (1/2), pages 69-97, 2003.

2. Arns, M.; Fischer, M.; Kemper, P. and Tepper, C.
   Supply Chain Modelling and its Analytical Evaluation
   Journal of the Operational Research Society, 53, pages 885-894, 2002. 

1. Tepper, C.
   A Visualization Aid for Detecting Critical Submodels in Hierarchical Process Models
   Im Tagungsband zur 12. Fachtagung: Simulation in Produktion und Logistik 2006, Kassel, September 26-27.
   SCS Publishing House, 381-390.

2. Kemper, P.; Tepper, C.
   Traviando - a Trace Analyzer to Debug Simulation Models
   In: Proc. of the 19th Symposium Simulationstechnique, Hannover, September 12-14, 2006.
   SCS Publishing House, 55-60.

3. Kemper, P.; Tepper, C.
   Trace Based Analysis of Process Interaction Models
   In: Proc. of the 2005 Wintersimulation Conference, Orlando, FL, USA, December 4-7, 2005.

4. Kemper, P.; Tepper, C.
   Visualizing the Dynamic Behavior of ProC/B Models
   In: Proc. of the 16th Conference on Simulation and Visualization, Magdeburg, March 3-4, 2005.
   SCS Publishing House, 63-74.

5. Bause, F.; Buchholz, P.; Tepper, C.
   The ProC/B-Approach: From Informal Descriptions to Formal Models
   In: Proc. of the 1st International Symposium on Leveraging Applications of Formal Method.
   Technical Report TR-2004-6, University of Cyprus, 2004, 328-334.

6. Buchholz, P.; Tepper, C.
   Functional Analysis of Process-Oriented Systems
   In: H. Fleuren, D. den Hertog, P. Kort (Eds.), Operations Research Proceedings 2004, Tilburg, September 1-3, 2004.
   Springer 2005, 127-135.

7. Arns, M.; Fischer, M.; Kemper, P.; Tepper, C.
   Supply Chain Modeling and its analytical Evaluation
   OR 43 Conference of the Operational Research Society , Bath, UK, Sept. 2001.

1. Kemper, P.; Tepper, C.
   Traviando - Debugging Simulation Traces with Message Sequence Charts.
   In Proc. of the 3th International Conference on the Quantitative Evaluation of Systems - (QEST'06), IEEE Computer Society, 135-136.
   

2. Kemper, P.; Tepper, C.
   A Petri net approach to debug simulation models of logistic networks.
   In Proc. of the 5th Mathmod Conference, Vienna, Austria, February 8-10, 2006.
   

3. Arns, M.; Fischer, M.; Tepper, C.; Völker, M.
   Visualization of Analysis Results in the ProC/B-Toolset
   In: Proc. 1st Int. Conference on Quantitative Evaluation of Systems (QEST 2004), IEEE CS Press 2004, 318-319.
   

4. Buchholz, P.; Fischer, M.; Kemper, P.; Tepper, C.
   Model checking of CTMCs and Discrete Event Simulation integrated into the APNN Toolbox
   In F. Bause (ed): Tools of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems
   Technical Report 781, Uni Dortmund, Fachbereich Informatik, 2003

5. Arns, M.; Fischer, M.; Tatlituerk, H.; Tepper, C.; Voelker, M.
   New Features in the ProC/B toolset
   In F. Bause (ed): Tools of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems
   Technical Report 781, Uni Dortmund, Fachbereich Informatik, 2003

6. Fischer, M.; Tepper, C.
   GSPNs to support aggregation in the ProC/B Toolset
   In P. Kemper (ed): Workshop on Stochastic Petri nets and related formalisms
   Technical Report 780, Uni Dortmund, Fachbereich Informatik, 2003.

7. Buchholz, P.; Fischer, M.; Kemper, P.; Tepper, C.;
   New Features in the APNN Toolbox
   Proc. of Joint Tool Session at PNPM/MMB/PAPM Conferences, pages 62-68, Aachen, Germany, Sept. 2001.

8. Arns, M.; Fischer, M.; Tatlituerk, H.; Tepper, C.; Voelker, M.
   Modeling and Analysis Framework of Logistic Process Chains
   Proc. of Joint Tool Session at PNPM/MMB/PAPM Conferences, pages 56-61, Aachen, Germany, Sept. 2001.

9. Kemper, P. and Tepper, C.
   APNNed  goes Internet
   In Juhas, Lorenz (eds.), Proc. 8. Workshop Algorithmen und Werkzeuge für Petri Netze,  Technical Report, Katholische Universität Eichstätt, Lehrstuhl Angewandte Informatik,  (Germany), 2001.

10. Tepper, C.
    Über die Strukturierung von generalisierten stochastischen Petri-Netzen
    Diplom-Arbeit, Uni Dortmund, Informatik IV, Mai. 2000.

1. Kemper, P.; Tepper, C.
   Trace Analysis - Gain Insight through Modelchecking and Cycle Reduction
   SFB Report 06007, ISSN 1612-1376, 2006.

2. Tepper, C.
   Prozessablauf-Visualisierung von ProC/B-Modellen
   SFB Report 04003, ISSN 1612-1376, 2004. [PDF]

3. Tepper, C.
   Anwendung simulativer Aggregierung bei der Analyse eines Güterverkehrszentrums
   SFB Report 03018, ISSN 1612-1376, 2003. [PDF]

4. Fischer, M.; Kemper, P.; Tepper, C.; Wu, Z.
   Abbildung von ProC/B nach Petri-Netzen
   SFB Report 03011, ISSN 1612-1376, 2003. [PDF]