2009 |
10 | EE | Peter Kemper,
Carsten Tepper:
Automated Trace Analysis of Discrete-Event System Models.
IEEE Trans. Software Eng. 35(2): 195-208 (2009) |
2007 |
9 | EE | Peter Kemper,
Carsten Tepper:
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior.
QEST 2007: 101-110 |
2006 |
8 | EE | Peter Kemper,
Carsten Tepper:
Traviando - Debugging Simulation Traces with Message Sequence Charts.
QEST 2006: 135-136 |
7 | EE | 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 | EE | 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 | EE | Peter Buchholz,
Carsten Tepper:
Functional Analysis of Process-Oriented Systems.
OR 2004: 127-135 |
2 | EE | M. Arns,
Markus Fischer,
Carsten Tepper,
Markus Völker:
Visualization of Analysis Results in the ProC/B Toolset.
QEST 2004: 318-319 |
2003 |
1 | EE | 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) |