 | 2009 |
|---|
| 10 |       | Peter Kemper,
Carsten Tepper:
Automated Trace Analysis of Discrete-Event System Models.
IEEE Trans. Software Eng. 35(2): 195-208 (2009) |
| 2007 |
|---|
| 9 | | Peter Kemper,
Carsten Tepper:
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior.
QEST 2007: 101-110 |
| 2006 |
|---|
| 8 | | Peter Kemper,
Carsten Tepper:
Traviando - Debugging Simulation Traces with Message Sequence Charts.
QEST 2006: 135-136 |
| 7 | | Peter Kemper,
Carsten Tepper:
A Petri Net Approach to Verify and Debug Simulation Models.
Simulation and Verification of Dynamic Systems 2006 |
| 2005 |
|---|
| 6 |  | Peter Kemper,
Carsten Tepper:
Visualizing the Dynamic Behavior of ProC/B Models.
SimVis 2005: 63-74 |
| 5 | | Peter Kemper,
Carsten Tepper:
Trace based analysis of process interaction models.
Winter Simulation Conference 2005: 427-436 |
| 2004 |
|---|
| 4 | | Peter Buchholz,
Falko Bause,
Carsten Tepper:
The ProC/B-Approach from informal descriptions to formal models.
ISoLA (Preliminary proceedings) 2004: 328-334 |
| 3 | | Peter Buchholz,
Carsten Tepper:
Functional Analysis of Process-Oriented Systems.
OR 2004: 127-135 |
| 2 | | M. Arns,
Markus Fischer,
Carsten Tepper,
Markus Völker:
Visualization of Analysis Results in the ProC/B Toolset.
QEST 2004: 318-319 |
| 2003 |
|---|
| 1 | | Peter Buchholz,
Joost-Pieter Katoen,
Peter Kemper,
Carsten Tepper:
Model-checking large structured Markov chains.
J. Log. Algebr. Program. 56(1-2): 69-97 (2003) |
