Peter Kemper

Publication Activity (10 Years)

Years Active: 1992-2020
Publications (10 Years): 6

Top Venues

WSC

SIGSIM-PADS

ACM Trans. Model. Comput. Simul.

ECML/PKDD (3)

Dortmund University of Technology (PHD)

Education History

Dortmund University of Technology

PHD

Publications

Atiqur Rahman, Peter Kemper
Simulation Study to Identify the Characteristics of Markov Chain Properties. ACM Trans. Model. Comput. Simul. 30 (2) (2020)
Atiqur Rahman, Peter Kemper
Simulation Study to Identify the Characteristics of Markov Chain Properties. SIGSIM-PADS (2018)
Jianing Zhao, Daniel M. Runfola, Peter Kemper
Quantifying Heterogeneous Causal Treatment Effects in World Bank Development Finance Projects. ECML/PKDD (3) (2017)
Jianing Zhao, Daniel M. Runfola, Peter Kemper
Simulation study in quantifying heterogeneous causal effects. WSC (2017)
Jianing Zhao, Peter Kemper
Protecting Encryption Keys in Mobile Systems Against Memory Errors. EAI Endorsed Trans. Security Safety 3 (10) (2016)
Jianing Zhao, Peter Kemper
A method to avoid smartphone memory errors impacting encryption keys. WSC (2016)
Peter Kemper
Message from the PDS program chair. DSN (2013)
Ruth Lamprecht, Gregory D. Smith, Peter Kemper
signaling complexes and their analysis. Nat. Comput. 10 (3) (2011)
Ruth Lamprecht, Peter Kemper
Simulation of wireless sensor networks under partial coverage. WSC (2011)
Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper
On verifying Bio-PEPA models. CMSB (2010)
Peter Buchholz, Peter Kemper
Model Checking for a Class of Weighted Automata. Discret. Event Dyn. Syst. 20 (1) (2010)
Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. WSC (2010)
Samuel K. Klock, Peter Kemper
An automated technique to support the verification and validation of simulation models. DSN (2010)
Peter Buchholz, Peter Kemper, Jan Kriege
Multi-class Markovian arrival processes and their parameter fitting. Perform. Evaluation 67 (11) (2010)
Ruth Lamprecht, Peter Kemper
On the Detection of Symmetries in Compositional Markov Models. QEST (2009)
Peter Kemper, Carsten Tepper
Automated Trace Analysis of Discrete-Event System Models. IEEE Trans. Software Eng. 35 (2) (2009)
Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders
Performance and dependability modeling with Möbius. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Peter Kemper
Recovering Model Invariants from Simulation Traces with Petri Net Analysis Techniques. WSC (2009)
Peter Kemper
Report generation for simulation traces with Traviando. DSN (2009)
Peter Kemper
Recent Extensions to Traviando. QEST (2009)
Ruth Lamprecht, Peter Kemper
Reflection symmetry detection to reduce the state space of Markovian models. ACM Southeast Regional Conference (2009)
Hilary DeRemigio, Peter Kemper, Michael Drew Lamar, Gregory D. Smith
Markov Chain Models of Coupled Intracellular Calcium Channels: Kronecker Structured Representations and Benchmark Stationary Distribution Calculations. Pacific Symposium on Biocomputing (2008)
Nathan J. Schmidt, Peter Kemper
Phrase based browsing for simulation traces of network protocols. WSC (2008)
Ruth Lamprecht, Peter Kemper
Möbius Trace Analysis with Traviando. QEST (2008)
Peter Kemper, Carsten Tepper
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. QEST (2007)
Peter Kemper
A trace-based visual inspection technique to detect errors in simulation models. WSC (2007)
Michael G. McQuinn, Peter Kemper, William H. Sanders
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. QEST (2007)
Peter Kemper, Carsten Tepper
A Petri Net Approach to Verify and Debug Simulation Models. Simulation and Verification of Dynamic Systems (2006)
Peter Buchholz, Peter Kemper, Dennis Müller, Mathias Stöber, Axel Thümmler
OPEDo: A tool for optimization and performance evaluation of stochastic models. MMB (2006)
Peter Kemper, William H. Sanders
Modelling techniques and tools for computer performance evaluation. Perform. Evaluation 63 (6) (2006)
Peter Kemper, Dennis Müller, Axel Thümmler
Combining Response Surface Methodology with Numerical Methods for Optimization of Markovian Models. IEEE Trans. Dependable Secur. Comput. 3 (3) (2006)
Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler
OPEDo: a tool framework for modeling and optimization of stochastic models. VALUETOOLS (2006)
Peter Kemper, Carsten Tepper
Traviando - Debugging Simulation Traces with Message Sequence Charts. QEST (2006)
Peter Buchholz, Peter Kemper
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST (2006)
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
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems (2006)
Salem Derisavi, Peter Kemper, William H. Sanders
Lumping Matrix Diagram Representations of Markov Models. DSN (2005)
Peter Kemper, Carsten Tepper
Trace based analysis of process interaction models. WSC (2005)
Peter Kemper, Carsten Tepper
Visualizing the Dynamic Behavior of ProC/B Models. SimVis (2005)
Peter Kemper, Dennis Müller, Axel Thümmler
Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems. DSN (2005)
Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper
Hybrid Performability Analysis of Logistic Networks. PADS (2004)
Peter Buchholz, Peter Kemper
Kronecker Based Matrix Representations for Large Markov Models. Validation of Stochastic Systems (2004)
Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
The Möbius state-level abstract functional interface. Perform. Evaluation 54 (2) (2003)
Peter Buchholz, Peter Kemper
Weak Bisimulation for (max/+) Automata and Related Models. J. Autom. Lang. Comb. 8 (2) (2003)
Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper
Model-checking large structured Markov chains. J. Log. Algebraic Methods Program. 56 (1-2) (2003)
Peter Buchholz, Peter Kemper
Model Checking for a Class of Weighted Automata CoRR (2003)
Peter Buchholz, Peter Kemper
Efficient Computation and Representation of Large Reachability Sets for Composed Automata. Discret. Event Dyn. Syst. 12 (3) (2002)
Peter Buchholz, Peter Kemper
Hierarchical Reachability Graph Generation for Petri Nets. Formal Methods Syst. Des. 21 (3) (2002)
Peter Kemper
Parallel Randomization for Large Structured Markov Chains. DSN (2002)
Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS (2002)
Markus Arns, Markus Fischer, Peter Kemper, Carsten Tepper
Supply chain modelling and its analytical evaluation. J. Oper. Res. Soc. 53 (8) (2002)
Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker
The ProC/B Toolset for the Modelling and Analysis of Process Chains. Computer Performance Evaluation / TOOLS (2002)
Peter Buchholz, Peter Kemper
Quantifying the Dynamic Behavior of Process Algebras. PAPM-PROBMIV (2001)
Markus Fischer, Peter Kemper
Distributed Numerical Markov Chain Analysis. PVM/MPI (2001)
Susanna Donatelli, Peter Kemper
Integrating synchronization with priority into a Kronecker representation. Perform. Evaluation 44 (1-4) (2001)
Peter Buchholz, Peter Kemper
Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. PNPM (2001)
Susanna Donatelli, Peter Kemper
Integrating Synchronization with Priority into a Kronecker Representation. Computer Performance Evaluation / TOOLS (2000)
Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS J. Comput. 12 (3) (2000)
Peter Buchholz, Peter Kemper
Modular State Level Analysis of Distributed Systems Techniques and Tool Support. TACAS (1999)
Peter Kemper
A mapping of autonomous net condition event systems to GSPNs. PNPM (1999)
Peter Buchholz, Peter Kemper
A Toolbox for the Analysis of Discrete Event Dynamic Systems. CAV (1999)
Peter Kemper
Transient Analysis of Superposed GSPNs. IEEE Trans. Software Eng. 25 (2) (1999)
Peter Buchholz, Peter Kemper
On generating a hierarchy for GSPN analysis. SIGMETRICS Perform. Evaluation Rev. 26 (2) (1998)
Falko Bause, Peter Buchholz, Peter Kemper
A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) (1998)
Falko Bause, Peter Buchholz, Peter Kemper
HiQPN-Tool. MMB (Kurzbeiträge) (1997)
Falko Bause, Peter Buchholz, Peter Kemper
Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB (1997)
Peter Kemper
Transient analysis of superposed GSPNs. PNPM (1997)
Peter Kemper
Reachability Analysis Based on Structured Representations. Application and Theory of Petri Nets (1996)
Peter Kemper
Numerical Analysis of Superposed GSPNs. IEEE Trans. Software Eng. 22 (9) (1996)
Peter Kemper
Numerical analysis of superposed GSPNs. PNPM (1995)
Falko Bause, Peter Buchholz, Peter Kemper
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB (1995)
Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger
SDL and Petri net performance analysis of communicating systems. PSTV (1995)
Peter Buchholz, Peter Kemper
Numerical analysis of stochastic marked graph nets. PNPM (1995)
Falko Bause, Peter Kemper
QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. Computer Performance Evaluation (1994)
Peter Kemper
Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. Application and Theory of Petri Nets (1993)
Peter Kemper, Falko Bause
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. Application and Theory of Petri Nets (1992)

Peter Kemper.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Kemper