An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. - Peter Kemper; Falko Bause (Application and Theory of Petri Nets, 1992)

Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. - Peter Kemper (Application and Theory of Petri Nets, 1993)

QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. - Falko Bause; Peter Kemper (Computer Performance Evaluation, 1994)

QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. - Falko Bause; Peter Buchholz 001; Peter Kemper (MMB, 1995)

Numerical analysis of stochastic marked graph nets. - Peter Buchholz 001; Peter Kemper (PNPM, 1995)

SDL and Petri net performance analysis of communicating systems. - Falko Bause; Heinz Kabutz; Peter Kemper; Pieter S. Kritzinger (PSTV, 1995)

Reachability Analysis Based on Structured Representations. - Peter Kemper (Application and Theory of Petri Nets, 1996)

Numerical Analysis of Superposed GSPNs. - Peter Kemper (IEEE Trans. Software Eng., 1996)

Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. - Falko Bause; Peter Buchholz 001; Peter Kemper (MMB, 1997)

HiQPN-Tool. - Falko Bause; Peter Buchholz 001; Peter Kemper (MMB (Kurzbeiträge), 1997)

Superposition of generalized stochastic Petri nets and its impact on performance analysis. - Peter Kemper (Krehl, 1997)

A Toolbox for Functional and Quantitative Analysis of DEDS. - Falko Bause; Peter Buchholz 001; Peter Kemper (Computer Performance Evaluation (Tools), 1998)

On generating a hierarchy for GSPN analysis. - Peter Buchholz 001; Peter Kemper (SIGMETRICS Perform. Evaluation Rev., 1998)

A Toolbox for the Analysis of Discrete Event Dynamic Systems. - Peter Buchholz 001; Peter Kemper (CAV, 1999)

A mapping of autonomous net condition event systems to GSPNs. - Peter Kemper (PNPM, 1999)

Modular State Level Analysis of Distributed Systems Techniques and Tool Support. - Peter Buchholz 001; Peter Kemper (TACAS, 1999)

Transient Analysis of Superposed GSPNs. - Peter Kemper (IEEE Trans. Software Eng., 1999)

Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. - Peter Buchholz 001; Gianfranco Ciardo; Susanna Donatelli; Peter Kemper (INFORMS J. Comput., 2000)

Quantifying the Dynamic Behavior of Process Algebras. - Peter Buchholz 001; Peter Kemper (PAPM-PROBMIV, 2001)

Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. - Peter Buchholz 001; Peter Kemper (PNPM, 2001)

Distributed Numerical Markov Chain Analysis. - Markus Fischer; Peter Kemper (PVM/MPI, 2001)

Integrating synchronization with priority into a Kronecker representation. - Susanna Donatelli; Peter Kemper (Perform. Evaluation, 2001)

The ProC/B Toolset for the Modelling and Analysis of Process Chains. - Falko Bause; Heinz Beilner; Markus Fischer; Peter Kemper; Markus Völker (Computer Performance Evaluation / TOOLS, 2002)

Parallel Randomization for Large Structured Markov Chains. - Peter Kemper (DSN, 2002)

Efficient Computation and Representation of Large Reachability Sets for Composed Automata. - Peter Buchholz 001; Peter Kemper (Discret. Event Dyn. Syst., 2002)

Hierarchical Reachability Graph Generation for Petri Nets. - Peter Buchholz 001; Peter Kemper (Formal Methods Syst. Des., 2002)

Supply chain modelling and its analytical evaluation. - Markus Arns; Markus Fischer; Peter Kemper; Carsten Tepper (J. Oper. Res. Soc., 2002)

Weak Bisimulation for (max/+) Automata and Related Models. - Peter Buchholz 001; Peter Kemper (J. Autom. Lang. Comb., 2003)

Model-checking large structured Markov chains. - Peter Buchholz 001; Joost-Pieter Katoen; Peter Kemper; Carsten Tepper (J. Log. Algebraic Methods Program., 2003)

The Möbius state-level abstract functional interface. - Salem Derisavi; Peter Kemper; William H. Sanders; Tod Courtney (Perform. Evaluation, 2003)

Hybrid Performability Analysis of Logistic Networks. - Falko Bause; Peter Buchholz 001; Markus Fischer; Peter Kemper (PADS, 2004)

Kronecker Based Matrix Representations for Large Markov Models. - Peter Buchholz 001; Peter Kemper (Validation of Stochastic Systems, 2004)

Lumping Matrix Diagram Representations of Markov Models. - Salem Derisavi; Peter Kemper; William H. Sanders (DSN, 2005)

Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems. - Peter Kemper; Dennis Müller 003; Axel Thümmler (DSN, 2005)

Visualizing the Dynamic Behavior of ProC/B Models. - Peter Kemper; Carsten Tepper (SimVis, 2005)

Trace based analysis of process interaction models. - Peter Kemper; Carsten Tepper (WSC, 2005)

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. - Grégory Batt; Jeremy T. Bradley; Roland Ewald; François Fages; Holger Hermanns; Jane Hillston; Peter Kemper; Alke Martens; Pieter J. Mosterman; Flemming Nielson; Oleg Sokolsky; Adelinde M. Uhrmacher (Simulation and Verification of Dynamic Systems, 2006)

A Petri Net Approach to Verify and Debug Simulation Models. - Peter Kemper; Carsten Tepper (Simulation and Verification of Dynamic Systems, 2006)

OPEDo: A tool for optimization and performance evaluation of stochastic models. - Peter Buchholz 001; Peter Kemper; Dennis Müller 003; Mathias Stöber; Axel Thümmler (MMB, 2006)

Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. - Peter Buchholz 001; Peter Kemper (QEST, 2006)

Traviando - Debugging Simulation Traces with Message Sequence Charts. - Peter Kemper; Carsten Tepper (QEST, 2006)

OPEDo: a tool framework for modeling and optimization of stochastic models. - Peter Buchholz 001; Dennis Müller 003; Peter Kemper; Axel Thümmler (VALUETOOLS, 2006)

Modelling techniques and tools for computer performance evaluation. - Peter Kemper; William H. Sanders (Perform. Evaluation, 2006)

Combining Response Surface Methodology with Numerical Methods for Optimization of Markovian Models. - Peter Kemper; Dennis Müller 003; Axel Thümmler (IEEE Trans. Dependable Secur. Comput., 2006)

Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. - Peter Kemper; Carsten Tepper (QEST, 2007)

Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. - Michael G. McQuinn; Peter Kemper; William H. Sanders (QEST, 2007)

A trace-based visual inspection technique to detect errors in simulation models. - Peter Kemper (WSC, 2007)

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 (Pacific Symposium on Biocomputing, 2008)

Möbius Trace Analysis with Traviando. - Ruth Lamprecht; Peter Kemper (QEST, 2008)

Phrase based browsing for simulation traces of network protocols. - Nathan J. Schmidt; Peter Kemper (WSC, 2008)

Reflection symmetry detection to reduce the state space of Markovian models. - Ruth Lamprecht; Peter Kemper (ACM Southeast Regional Conference, 2009)

Report generation for simulation traces with Traviando. - Peter Kemper (DSN, 2009)

Recent Extensions to Traviando. - Peter Kemper (QEST, 2009)

On the Detection of Symmetries in Compositional Markov Models. - Ruth Lamprecht; Peter Kemper (QEST, 2009)

Recovering Model Invariants from Simulation Traces with Petri Net Analysis Techniques. - Peter Kemper (WSC, 2009)

Performance and dependability modeling with Möbius. - Shravan Gaonkar; Ken Keefe; Ruth Lamprecht; Eric Rozier; Peter Kemper; William H. Sanders (SIGMETRICS Perform. Evaluation Rev., 2009)

Automated Trace Analysis of Discrete-Event System Models. - Peter Kemper; Carsten Tepper (IEEE Trans. Software Eng., 2009)

On verifying Bio-PEPA models. - Allan Clark; Stephen Gilmore; Maria Luisa Guerriero; Peter Kemper (CMSB, 2010)

An automated technique to support the verification and validation of simulation models. - Samuel K. Klock; Peter Kemper (DSN, 2010)

VERIFICATION AND TESTING OF BIOLOGICAL MODELS. - Allan Clark; Jane Hillston; Stephen Gilmore; Peter Kemper (WSC, 2010)

Model Checking for a Class of Weighted Automata. - Peter Buchholz 001; Peter Kemper (Discret. Event Dyn. Syst., 2010)

Multi-class Markovian arrival processes and their parameter fitting. - Peter Buchholz 001; Peter Kemper; Jan Kriege (Perform. Evaluation, 2010)

Simulation of wireless sensor networks under partial coverage. - Ruth Lamprecht; Peter Kemper (WSC, 2011)

Stochastic Petri net models of Ca2+ signaling complexes and their analysis. - Ruth Lamprecht; Gregory D. Smith; Peter Kemper (Nat. Comput., 2011)

Message from the PDS program chair. - Peter Kemper (DSN, 2013)

A method to avoid smartphone memory errors impacting encryption keys. - Jianing Zhao; Peter Kemper (WSC, 2016)

Protecting Encryption Keys in Mobile Systems Against Memory Errors. - Jianing Zhao; Peter Kemper (EAI Endorsed Trans. Security Safety, 2016)

Quantifying Heterogeneous Causal Treatment Effects in World Bank Development Finance Projects. - Jianing Zhao; Daniel M. Runfola; Peter Kemper (ECML/PKDD (3), 2017)

Simulation study in quantifying heterogeneous causal effects. - Jianing Zhao; Daniel M. Runfola; Peter Kemper (WSC, 2017)

Simulation Study to Identify the Characteristics of Markov Chain Properties. - Atiqur Rahman; Peter Kemper (ACM Trans. Model. Comput. Simul., 2020)