| 2018 | PADS | Simulation Study to Identify the Characteristics of Markov Chain Properties. | Atiqur Rahman, Peter Kemper |
| 2017 | WSC | Simulation study in quantifying heterogeneous causal effects. | Jianing Zhao, Daniel M. Runfola, Peter Kemper |
| 2016 | WSC | A method to avoid smartphone memory errors impacting encryption keys. | Jianing Zhao, Peter Kemper |
| 2013 | DSN | Message from the PDS program chair. | Peter Kemper |
| 2011 | WSC | Simulation of wireless sensor networks under partial coverage. | Ruth Lamprecht, Peter Kemper |
| 2010 | DSN | An automated technique to support the verification and validation of simulation models. | Samuel K. Klock, Peter Kemper |
| 2010 | WSC | VERIFICATION AND TESTING OF BIOLOGICAL MODELS. | Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper |
| 2009 | DSN | Report generation for simulation traces with Traviando. | Peter Kemper |
| 2009 | WSC | Recovering Model Invariants from Simulation Traces with Petri Net Analysis Techniques. | Peter Kemper |
| 2008 | PSB | Markov Chain Models of Coupled Intracellular Calcium Channels: Kronecker Structured Representations and Benchmark Stationary Distribution Calculations. | Hilary DeRemigio, Peter Kemper, Michael Drew Lamar, Gregory D. Smith |
| 2008 | WSC | Phrase based browsing for simulation traces of network protocols. | Nathan J. Schmidt, Peter Kemper |
| 2007 | WSC | A trace-based visual inspection technique to detect errors in simulation models. | Peter Kemper |
| 2005 | DSN | Lumping Matrix Diagram Representations of Markov Models. | Salem Derisavi, Peter Kemper, William H. Sanders |
| 2005 | DSN | Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems. | Peter Kemper, Dennis Mller, Axel Thmmler |
| 2005 | WSC | Trace based analysis of process interaction models. | Peter Kemper, Carsten Tepper |
| 2004 | PADS | Hybrid Performability Analysis of Logistic Networks. | Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper |
| 2002 | DSN | Parallel Randomization for Large Structured Markov Chains. | Peter Kemper |
| 1999 | CAV | A Toolbox for the Analysis of Discrete Event Dynamic Systems. | Peter Buchholz, Peter Kemper |
| 1999 | TACAS | Modular State Level Analysis of Distributed Systems Techniques and Tool Support. | Peter Buchholz, Peter Kemper |