Peter Kemper

According to our database, Peter Kemper authored at least 70 papers between 1992 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Simulation Study to Identify the Characteristics of Markov Chain Properties.

Atiqur Rahman, Peter Kemper

ACM Trans. Model. Comput. Simul., 2020

2017

Simulation study in quantifying heterogeneous causal effects.

Jianing Zhao, Daniel M. Runfola, Peter Kemper

Proceedings of the 2017 Winter Simulation Conference, 2017

Quantifying Heterogeneous Causal Treatment Effects in World Bank Development Finance Projects.

Jianing Zhao, Daniel M. Runfola, Peter Kemper

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2017

2016

Protecting Encryption Keys in Mobile Systems Against Memory Errors.

Jianing Zhao, Peter Kemper

EAI Endorsed Trans. Security Safety, 2016

A method to avoid smartphone memory errors impacting encryption keys.

Jianing Zhao, Peter Kemper

Proceedings of the Winter Simulation Conference, 2016

2013

Message from the PDS program chair.

Peter Kemper

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2011

Stochastic Petri net models of Ca²⁺ signaling complexes and their analysis.

Ruth Lamprecht, Gregory D. Smith, Peter Kemper

Nat. Comput., 2011

Simulation of wireless sensor networks under partial coverage.

Ruth Lamprecht, Peter Kemper

Proceedings of the Winter Simulation Conference 2011, 2011

2010

Multi-class Markovian arrival processes and their parameter fitting.

Peter Buchholz, Peter Kemper, Jan Kriege

Perform. Evaluation, 2010

Model Checking for a Class of Weighted Automata.

Peter Buchholz, Peter Kemper

Discret. Event Dyn. Syst., 2010

VERIFICATION AND TESTING OF BIOLOGICAL MODELS.

Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper

Proceedings of the 2010 Winter Simulation Conference, 2010

An automated technique to support the verification and validation of simulation models.

Samuel K. Klock, Peter Kemper

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

On verifying Bio-PEPA models.

Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

Automated Trace Analysis of Discrete-Event System Models.

Peter Kemper, Carsten Tepper

IEEE Trans. Software Eng., 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

Recovering Model Invariants from Simulation Traces with Petri Net Analysis Techniques.

Peter Kemper

Proceedings of the 2009 Winter Simulation Conference, 2009

On the Detection of Symmetries in Compositional Markov Models.

Ruth Lamprecht, Peter Kemper

Proceedings of the QEST 2009, 2009

Recent Extensions to Traviando.

Peter Kemper

Proceedings of the QEST 2009, 2009

Report generation for simulation traces with Traviando.

Peter Kemper

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Reflection symmetry detection to reduce the state space of Markovian models.

Ruth Lamprecht, Peter Kemper

Proceedings of the 47th Annual Southeast Regional Conference, 2009

2008

Phrase based browsing for simulation traces of network protocols.

Nathan J. Schmidt, Peter Kemper

Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

Möbius Trace Analysis with Traviando.

Ruth Lamprecht, Peter Kemper

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

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

Proceedings of the Biocomputing 2008, 2008

2007

A trace-based visual inspection technique to detect errors in simulation models.

Peter Kemper

Proceedings of the Winter Simulation Conference, 2007

Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations.

Michael G. McQuinn, Peter Kemper, William H. Sanders

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior.

Peter Kemper, Carsten Tepper

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006

Combining Response Surface Methodology with Numerical Methods for Optimization of Markovian Models.

Peter Kemper, Dennis Müller, Axel Thümmler

IEEE Trans. Dependable Secur. Comput., 2006

Modelling techniques and tools for computer performance evaluation.

Peter Kemper, William H. Sanders

Perform. Evaluation, 2006

OPEDo: a tool framework for modeling and optimization of stochastic models.

Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler

Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006

Traviando - Debugging Simulation Traces with Message Sequence Charts.

Peter Kemper, Carsten Tepper

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques.

Peter Buchholz, Peter Kemper

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

OPEDo: A tool for optimization and performance evaluation of stochastic models.

Peter Buchholz, Peter Kemper, Dennis Müller, Mathias Stöber, Axel Thümmler

Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

A Petri Net Approach to Verify and Debug Simulation Models.

Peter Kemper, Carsten Tepper

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

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

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

2005

Trace based analysis of process interaction models.

Peter Kemper, Carsten Tepper

Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

Visualizing the Dynamic Behavior of ProC/B Models.

Peter Kemper, Carsten Tepper

Proceedings of the Simulation und Visualisierung 2005 (SimVis 2005), 2005

Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems.

Peter Kemper, Dennis Müller, Axel Thümmler

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Lumping Matrix Diagram Representations of Markov Models.

Salem Derisavi, Peter Kemper, William H. Sanders

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Kronecker Based Matrix Representations for Large Markov Models.

Peter Buchholz, Peter Kemper

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Hybrid Performability Analysis of Logistic Networks.

Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper

Proceedings of the 18th Workshop on Parallel and Distributed Simulation, 2004

2003

The Möbius state-level abstract functional interface.

Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney

Perform. Evaluation, 2003

Model-checking large structured Markov chains.

Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper

J. Log. Algebraic Methods Program., 2003

Weak Bisimulation for (max/+) Automata and Related Models.

Peter Buchholz, Peter Kemper

J. Autom. Lang. Comb., 2003

2002

Supply chain modelling and its analytical evaluation.

Markus Arns, Markus Fischer, Peter Kemper, Carsten Tepper

J. Oper. Res. Soc., 2002

Hierarchical Reachability Graph Generation for Petri Nets.

Peter Buchholz, Peter Kemper

Formal Methods Syst. Des., 2002

Efficient Computation and Representation of Large Reachability Sets for Composed Automata.

Peter Buchholz, Peter Kemper

Discret. Event Dyn. Syst., 2002

Parallel Randomization for Large Structured Markov Chains.

Peter Kemper

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

The ProC/B Toolset for the Modelling and Analysis of Process Chains.

Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker

Proceedings of the Computer Performance Evaluation, 2002

2001

Integrating synchronization with priority into a Kronecker representation.

Susanna Donatelli, Peter Kemper

Perform. Evaluation, 2001

Distributed Numerical Markov Chain Analysis.

Markus Fischer, Peter Kemper

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2001

Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs.

Peter Buchholz, Peter Kemper

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Quantifying the Dynamic Behavior of Process Algebras.

Peter Buchholz, Peter Kemper

Proceedings of the Process Algebra and Probabilistic Methods, 2001

2000

Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models.

Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper

INFORMS J. Comput., 2000

1999

Transient Analysis of Superposed GSPNs.

Peter Kemper

IEEE Trans. Software Eng., 1999

Modular State Level Analysis of Distributed Systems Techniques and Tool Support.

Peter Buchholz, Peter Kemper

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

A mapping of autonomous net condition event systems to GSPNs.

Peter Kemper

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

A Toolbox for the Analysis of Discrete Event Dynamic Systems.

Peter Buchholz, Peter Kemper

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

On generating a hierarchy for GSPN analysis.

Peter Buchholz, Peter Kemper

SIGMETRICS Perform. Evaluation Rev., 1998

A Toolbox for Functional and Quantitative Analysis of DEDS.

Falko Bause, Peter Buchholz, Peter Kemper

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

1997

Superposition of generalized stochastic Petri nets and its impact on performance analysis.

Peter Kemper

PhD thesis, 1997

HiQPN-Tool.

Falko Bause, Peter Buchholz, Peter Kemper

Proceedings of the MMB '97, 1997

Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets.

Falko Bause, Peter Buchholz, Peter Kemper

Proceedings of the MMB '97, 1997

1996

Numerical Analysis of Superposed GSPNs.

Peter Kemper

IEEE Trans. Software Eng., 1996

Reachability Analysis Based on Structured Representations.

Peter Kemper

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

SDL and Petri net performance analysis of communicating systems.

Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger

Proceedings of the Protocol Specification, 1995

Numerical analysis of stochastic marked graph nets.

Peter Buchholz, Peter Kemper

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets.

Falko Bause, Peter Buchholz, Peter Kemper

Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

1994

QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets.

Falko Bause, Peter Kemper

Proceedings of the Computer Performance Evaluation, 1994

1993

Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net.

Peter Kemper

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1992

An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets.

Peter Kemper, Falko Bause

Proceedings of the Application and Theory of Petri Nets 1992, 1992