Carsten Tepper

11 papers Misc 1Journal 3Unranked 7

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