Peter Kemper

发表

MODELING AND ANALYSIS OF A FREIGHT TERMINAL WITH STOCHASTIC PETRI NETS.

Peter Kemper, Markus Fischer, 2000 .

Quantifying the Dynamic Behavior of Process Algebras

Peter Buchholz, Peter Kemper, P. Buchholz, 2001, PAPM-PROBMIV.

Protecting Encryption Keys in Mobile Systems Against Memory Errors

Peter Kemper, Jianing Zhao, 2016, EAI Endorsed Trans. Security Safety.

Compact representations of probability distributions in the analysis of Superposed GSPNs

Peter Buchholz, Peter Kemper, P. Buchholz, 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

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

Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, 2000, INFORMS J. Comput..

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

Falko Bause, Peter Kemper, P. Kemper, 1994, Computer Performance Evaluation.

Hierarchical Reachability Graph Generation for Petri Nets

Peter Buchholz, Peter Kemper, P. Buchholz, 2002, Formal Methods Syst. Des..

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification

Flemming Nielson, Pieter J. Mosterman, Holger Hermanns, 2006, Simulation and Verification of Dynamic Systems.

Markov Chain Models of Coupled Intracellular Calcium Channels: Kronecker Structured Representations and Benchmark Stationary Distribution Calculations

Peter Kemper, Michael Drew Lamar, Hilary DeRemigio, 2008, Pacific Symposium on Biocomputing.

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

Falko Bause, Peter Kemper, P. Kemper, 1992, Application and Theory of Petri Nets.

Video-feedback bij Spirit: 'dit is leerzaam voor de hele organisatie!'

Peter Kemper, Leonieke Boendermaker, 2018 .

Recovering model invariants from simulation traces with Petri net analysis techniques

Peter Kemper, 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

Supply chain modelling and its analytical evaluation

Peter Kemper, Markus Arns, M. Fischer, 2002, J. Oper. Res. Soc..

Visualizing the Dynamic Behavior of ProC/B Models

Peter Kemper, Carsten Tepper, 2005, SimVis.

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

Peter Buchholz, Peter Kemper, Axel Thümmler, 2006, valuetools '06.

Closing the Gap Between Classical and Tensor Based Iteration Techniques

Peter Kemper, 1995 .

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

Peter Buchholz, Falko Bause, Peter Kemper, 1995, MMB.

SDL and Petri net performance analysis of communicating systems

Falko Bause, Pieter S. Kritzinger, Peter Kemper, 1995, PSTV.

A Petri Net Approach to Verify and Debug Simulation Models

Peter Kemper, Carsten Tepper, P. Kemper, 2006, Simulation and Verification of Dynamic Systems.

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

Peter Kemper, 2007, 2007 Winter Simulation Conference.

A method to avoid smartphone memory errors impacting encryption keys

Peter Kemper, Jianing Zhao, 2016, 2016 Winter Simulation Conference (WSC).

Transient analysis of superposed GSPNs

Peter Kemper, P. Kemper, 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

Lumping matrix diagram representations of Markov models

William H. Sanders, Peter Kemper, Salem Derisavi, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

On verifying Bio-PEPA models

Allan Clark, Stephen Gilmore, Peter Kemper, 2010, CMSB '10.

Automated Reduction of Calcium Release Site Models Via State Aggregation

Peter Kemper, Yan Hao, Gregory D. Smith, 2010 .

Distributed Numerical Markov Chain Analysis

Peter Kemper, Markus Fischer, P. Kemper, 2001, PVM/MPI.

Message from the PDS program chair

Peter Kemper, 2013, DSN.

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

Peter Buchholz, Peter Kemper, P. Buchholz, 2003, J. Autom. Lang. Comb..

The Möbius state-level abstract functional interface

William H. Sanders, Tod Courtney, Peter Kemper, 2003, Perform. Evaluation.

Efficient Computation and Representation of Large Reachability Sets for Composed Automata

Peter Buchholz, Peter Kemper, P. Buchholz, 2002, Discret. Event Dyn. Syst..

Performance and Cost Analysis of Supply Chain Models

Falko Bause, Peter Kemper, Marcus Völker, 2001 .

The Möbius state-level abstract functional interface

William H. Sanders, Tod Courtney, Peter Kemper, 2002, Perform. Evaluation.

Multi-class Markovian arrival processes and their parameter fitting

Peter Buchholz, Peter Kemper, Jan Kriege, 2010, Perform. Evaluation.

Kronecker Based Matrix Representations for Large Markov Models

Peter Buchholz, Peter Kemper, P. Buchholz, 2004, Validation of Stochastic Systems.

Finding Reflection Symmetry in Spatial Models

Peter Kemper, Ruth Lamprecht, 2009 .

Evaluation of Automatic Linking Strategies for Wikipedia Pages

Michael Granitzer, Christin Seifert, Peter Kemper, 2008 .

Simulation study in quantifying heterogeneous causal effects

Peter Kemper, Jianing Zhao, Daniel M. Runfola, 2017, 2017 Winter Simulation Conference (WSC).

Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets

Peter Buchholz, Falko Bause, Peter Kemper, 1997, MMB.

VERIFICATION AND TESTING OF BIOLOGICAL MODELS

Allan Clark, Stephen Gilmore, Jane Hillston, 2010, Proceedings of the 2010 Winter Simulation Conference.

Integrating Synchronization with Priority into a Kronecker Representation

Susanna Donatelli, Peter Kemper, 2000, Computer Performance Evaluation / TOOLS.

Model Checking for a Class of Weighted Automata

Peter Buchholz, Peter Kemper, P. Buchholz, 2003, Discret. Event Dyn. Syst..

Parallel randomization for large structured Markov chains

Peter Kemper, 2002, Proceedings International Conference on Dependable Systems and Networks.

Numerical Analysis of Superposed GSPNs

Peter Kemper, 1996, IEEE Trans. Software Eng..

A Toolbox for Functional and Quantitative Analysis of DEDS

Peter Buchholz, Falko Bause, Peter Kemper, 1998, Computer Performance Evaluation.

Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations

William H. Sanders, Peter Kemper, Michael G. McQuinn, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

Numerical analysis of stochastic marked graph nets

Peter Buchholz, Peter Kemper, P. Buchholz, 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

Traviando - Debugging Simulation Traces with Message Sequence Charts

Peter Kemper, Carsten Tepper, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

A Toolbox for the Analysis of Discrete Event Dynamic Systems

Peter Buchholz, Peter Kemper, P. Buchholz, 1999, CAV.

Combining response surface methodology with numerical models for optimization of class-based queueing systems

Peter Kemper, Axel Thümmler, Dennis Müller, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

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

Peter Kemper, P. Kemper, 1993, Application and Theory of Petri Nets.

Simulation Study to Identify the Characteristics of Markov Chain Properties

Peter Kemper, Atiqur Rahman, P. Kemper, 2020, ACM Trans. Model. Comput. Simul..

Transient Analysis of Superposed GSPNs

Peter Kemper, 1999, IEEE Trans. Software Eng..

Runtime Verification of Distributed Simulations Run in Parallel

Peter Kemper, Samuel Klock, 2008 .

Quantifying Heterogeneous Causal Treatment Effects in World Bank Development Finance Projects

Peter Kemper, Jianing Zhao, Daniel M. Runfola, 2017, ECML/PKDD.

Automated Trace Analysis of Discrete-Event System Models

Peter Kemper, Carsten Tepper, P. Kemper, 2009, IEEE Transactions on Software Engineering.

Modular State Level Analysis of Distributed Systems Techniques and Tool Support

Peter Buchholz, Peter Kemper, P. Buchholz, 1999, TACAS.

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

Peter Kemper, Axel Thümmler, Dennis Müller, 2006, IEEE Transactions on Dependable and Secure Computing.

Hierarchically combined queueing Petri nets

Peter Buchholz, Falko Bause, Peter Kemper, 1994 .

Integrating synchronization with priority into a Kronecker representation

Susanna Donatelli, Peter Kemper, P. Kemper, 2000, Perform. Evaluation.

Simulation Study to Identify the Characteristics of Markov Chain Properties

Peter Kemper, Atiqur Rahman, P. Kemper, 2018, SIGSIM-PADS.

Numerical analysis of superposed GSPNs

Peter Kemper, P. Kemper, 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

Performance and dependability modeling with Möbius

William H. Sanders, Peter Kemper, Shravan Gaonkar, 2009, PERV.

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

Peter Kemper, 1997 .

Trace based analysis of process interaction models

Peter Kemper, Carsten Tepper, 2005, Proceedings of the Winter Simulation Conference, 2005..

Simulation of wireless sensor networks under partial coverage

Peter Kemper, Ruth Lamprecht, 2011, Proceedings of the 2011 Winter Simulation Conference (WSC).

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

Falko Bause, Peter Kemper, Markus Fischer, 2002, Computer Performance Evaluation / TOOLS.

Report generation for simulation traces with Traviando

Peter Kemper, 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.

A modular and compositional approach to modeling and controller verification of manufacturing systems

Arndt Luder, Peter Kemper, H.-M. Hanisch, 1999 .

Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior

Peter Kemper, Carsten Tepper, 2007 .

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

Peter Kemper, Samuel K. Klock, 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).

Markov chain models of coupled calcium channels: Kronecker representations and iterative solution methods.

Peter Kemper, Michael Drew Lamar, Hilary DeRemigio, 2008 .

A Markovian Entropy Measure for the Analysis of Calcium Activity Time Series

Peter Kemper, Andrew D. Halleran, John P Marken, 2016, PloS one.

Stochastic Petri net models of Ca2+ signaling complexes and their analysis

Peter Kemper, Gregory D. Smith, Ruth Lamprecht, 2011, Natural Computing.

On generating a hierarchy for GSPN analysis

Peter Buchholz, Peter Kemper, P. Buchholz, 1998, PERV.

Model-checking large structured Markov chains

Joost-Pieter Katoen, Peter Buchholz, Peter Kemper, 2003, J. Log. Algebraic Methods Program..

Reachability Analysis Based on Structured Representations

Peter Kemper, 1996, Application and Theory of Petri Nets.

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

Peter Buchholz, Peter Kemper, Axel Thümmler, 2006, MMB.

Recent Extensions to Traviando

Peter Kemper, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

Möbius Trace Analysis with Traviando

Peter Kemper, Ruth Lamprecht, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Reflection symmetry detection to reduce the state space of Markovian models

Peter Kemper, Ruth Lamprecht, 2009, ACM-SE 47.

Modelling techniques and tools for computer performance evaluation

William H. Sanders, Peter Kemper, P. Kemper, 2006, Perform. Evaluation.

Hybrid performability analysis of logistic networks

Peter Buchholz, Falko Bause, Peter Kemper, 2004, 18th Workshop on Parallel and Distributed Simulation, 2004. PADS 2004..

Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior

Peter Kemper, Carsten Tepper, P. Kemper, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

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

Peter Buchholz, Peter Kemper, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

On the Detection of Symmetries in Compositional Markov Models

Peter Kemper, Ruth Lamprecht, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

Phrase based browsing for simulation traces of network protocols

Peter Kemper, Nathan J. Schmidt, 2008, 2008 Winter Simulation Conference.

A mapping of autonomous net condition event systems to GSPNs

Peter Kemper, 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

Reduction of calcium release site models via fast/slow analysis and iterative aggregation/disaggregation.

Peter Kemper, P. Kemper, G. Smith, 2009, Chaos.

Working Groups ’ Report : The Challenge of Combining Simulation and Verification

Flemming Nielson, Oleg Sokolsky, Jane Hillston, 2006 .

Two Views of

Peter Kemper, 1989 .

Markov chain models of coupled calcium channels: Kronecker representations and iterative solution methods

Peter Kemper, Hilary DeRemigio, P. Kemper, 2008, Physical biology.

On Clustering Simulation Traces

Peter Kemper, Daniel M. Gordon, 2007 .

Model Checking Based on Kronecker Algebra

Peter Kemper, P. Kemper, 1998 .

Symbolic state-space exploration and numerical analysis of state-sharing composed models

William H. Sanders, Peter Kemper, Salem Derisavi, 2004 .

Apnned -a Net Editor and Debugger within the Apnn Toolbox

Peter Buchholz, Peter Kemper, Dimitri Knjazew, 1998 .

The economics of refuse collection

Peter Kemper, John M. Quigley, P. Kemper, 1976 .

Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations

William H. Sanders, Peter Kemper, M. G. McQuinn, 2007 .