default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Kemper
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j20]Atiqur Rahman, Peter Kemper:
Simulation Study to Identify the Characteristics of Markov Chain Properties. ACM Trans. Model. Comput. Simul. 30(2): 9:1-9:26 (2020)
2010 – 2019
- 2018
- [c52]Atiqur Rahman, Peter Kemper:
Simulation Study to Identify the Characteristics of Markov Chain Properties. SIGSIM-PADS 2018: 5-16 - 2017
- [c51]Jianing Zhao, Daniel M. Runfola
, Peter Kemper:
Quantifying Heterogeneous Causal Treatment Effects in World Bank Development Finance Projects. ECML/PKDD (3) 2017: 204-215 - [c50]Jianing Zhao, Daniel M. Runfola, Peter Kemper:
Simulation study in quantifying heterogeneous causal effects. WSC 2017: 2650-2661 - 2016
- [j19]Jianing Zhao, Peter Kemper:
Protecting Encryption Keys in Mobile Systems Against Memory Errors. EAI Endorsed Trans. Security Safety 3(10): e4 (2016) - [c49]Jianing Zhao, Peter Kemper:
A method to avoid smartphone memory errors impacting encryption keys. WSC 2016: 1848-1859 - 2013
- [c48]Peter Kemper:
Message from the PDS program chair. DSN 2013: 1 - 2011
- [j18]Ruth Lamprecht, Gregory D. Smith, Peter Kemper:
Stochastic Petri net models of Ca2+ signaling complexes and their analysis. Nat. Comput. 10(3): 1045-1075 (2011) - [c47]Ruth Lamprecht, Peter Kemper:
Simulation of wireless sensor networks under partial coverage. WSC 2011: 3136-3145 - 2010
- [j17]Peter Buchholz, Peter Kemper:
Model Checking for a Class of Weighted Automata. Discret. Event Dyn. Syst. 20(1): 103-137 (2010) - [j16]Peter Buchholz, Peter Kemper, Jan Kriege:
Multi-class Markovian arrival processes and their parameter fitting. Perform. Evaluation 67(11): 1092-1106 (2010) - [c46]Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper:
On verifying Bio-PEPA models. CMSB 2010: 23-32 - [c45]Samuel K. Klock, Peter Kemper:
An automated technique to support the verification and validation of simulation models. DSN 2010: 595-604 - [c44]Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper:
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. WSC 2010: 620-630
2000 – 2009
- 2009
- [j15]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): 16-21 (2009) - [j14]Peter Kemper, Carsten Tepper:
Automated Trace Analysis of Discrete-Event System Models. IEEE Trans. Software Eng. 35(2): 195-208 (2009) - [c43]Ruth Lamprecht, Peter Kemper:
Reflection symmetry detection to reduce the state space of Markovian models. ACM Southeast Regional Conference 2009 - [c42]Peter Kemper:
Report generation for simulation traces with Traviando. DSN 2009: 347-352 - [c41]Ruth Lamprecht, Peter Kemper:
On the Detection of Symmetries in Compositional Markov Models. QEST 2009: 259-268 - [c40]Peter Kemper:
Recent Extensions to Traviando. QEST 2009: 283-284 - [c39]Peter Kemper:
Recovering Model Invariants from Simulation Traces with Petri Net Analysis Techniques. WSC 2009: 827-838 - 2008
- [c38]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: 354-365 - [c37]Ruth Lamprecht, Peter Kemper:
Möbius Trace Analysis with Traviando. QEST 2008: 41-42 - [c36]Nathan J. Schmidt, Peter Kemper:
Phrase based browsing for simulation traces of network protocols. WSC 2008: 2811-2819 - 2007
- [c35]Peter Kemper, Carsten Tepper:
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. QEST 2007: 101-110 - [c34]Michael G. McQuinn, Peter Kemper, William H. Sanders:
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. QEST 2007: 151-160 - [c33]Peter Kemper:
A trace-based visual inspection technique to detect errors in simulation models. WSC 2007: 747-755 - 2006
- [j13]Peter Kemper, William H. Sanders:
Modelling techniques and tools for computer performance evaluation. Perform. Evaluation 63(6): 521-523 (2006) - [j12]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): 259-269 (2006) - [c32]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: 457-460 - [c31]Peter Kemper, Carsten Tepper:
Traviando - Debugging Simulation Traces with Message Sequence Charts. QEST 2006: 135-136 - [c30]Peter Buchholz, Peter Kemper:
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST 2006: 233-242 - [c29]Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler:
OPEDo: a tool framework for modeling and optimization of stochastic models. VALUETOOLS 2006: 61 - [i3]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 - [i2]Peter Kemper, Carsten Tepper:
A Petri Net Approach to Verify and Debug Simulation Models. Simulation and Verification of Dynamic Systems 2006 - 2005
- [c28]Peter Kemper, Dennis Müller, Axel Thümmler:
Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems. DSN 2005: 550-559 - [c27]Salem Derisavi, Peter Kemper, William H. Sanders:
Lumping Matrix Diagram Representations of Markov Models. DSN 2005: 742-751 - [c26]Peter Kemper, Carsten Tepper:
Visualizing the Dynamic Behavior of ProC/B Models. SimVis 2005: 63-74 - [c25]Peter Kemper, Carsten Tepper:
Trace based analysis of process interaction models. WSC 2005: 427-436 - 2004
- [c24]Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper:
Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138 - [c23]Peter Buchholz, Peter Kemper:
Kronecker Based Matrix Representations for Large Markov Models. Validation of Stochastic Systems 2004: 256-295 - 2003
- [j11]Peter Buchholz, Peter Kemper:
Weak Bisimulation for (max/+) Automata and Related Models. J. Autom. Lang. Comb. 8(2): 187-218 (2003) - [j10]Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper:
Model-checking large structured Markov chains. J. Log. Algebraic Methods Program. 56(1-2): 69-97 (2003) - [j9]Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney:
The Möbius state-level abstract functional interface. Perform. Evaluation 54(2): 105-128 (2003) - [e1]Peter Kemper, William H. Sanders:
Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings. Lecture Notes in Computer Science 2794, Springer 2003, ISBN 3-540-40814-2 [contents] - [i1]Peter Buchholz, Peter Kemper:
Model Checking for a Class of Weighted Automata. CoRR cs.LO/0304021 (2003) - 2002
- [j8]Peter Buchholz, Peter Kemper:
Efficient Computation and Representation of Large Reachability Sets for Composed Automata. Discret. Event Dyn. Syst. 12(3): 265-286 (2002) - [j7]Peter Buchholz, Peter Kemper:
Hierarchical Reachability Graph Generation for Petri Nets. Formal Methods Syst. Des. 21(3): 281-315 (2002) - [j6]Markus Arns, Markus Fischer, Peter Kemper, Carsten Tepper:
Supply chain modelling and its analytical evaluation. J. Oper. Res. Soc. 53(8): 885-894 (2002) - [c22]Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney:
The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS 2002: 31-50 - [c21]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: 51-70 - [c20]Peter Kemper:
Parallel Randomization for Large Structured Markov Chains. DSN 2002: 657-668 - 2001
- [j5]Susanna Donatelli, Peter Kemper:
Integrating synchronization with priority into a Kronecker representation. Perform. Evaluation 44(1-4): 73-96 (2001) - [c19]Peter Buchholz, Peter Kemper:
Quantifying the Dynamic Behavior of Process Algebras. PAPM-PROBMIV 2001: 184-199 - [c18]Peter Buchholz, Peter Kemper:
Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. PNPM 2001: 81-90 - [c17]Markus Fischer, Peter Kemper:
Distributed Numerical Markov Chain Analysis. PVM/MPI 2001: 272-279 - 2000
- [j4]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): 203-222 (2000) - [c16]Susanna Donatelli, Peter Kemper:
Integrating Synchronization with Priority into a Kronecker Representation. Computer Performance Evaluation / TOOLS 2000: 203-215
1990 – 1999
- 1999
- [j3]Peter Kemper:
Transient Analysis of Superposed GSPNs. IEEE Trans. Software Eng. 25(2): 182-193 (1999) - [c15]Peter Buchholz, Peter Kemper:
A Toolbox for the Analysis of Discrete Event Dynamic Systems. CAV 1999: 483-486 - [c14]Peter Kemper:
A mapping of autonomous net condition event systems to GSPNs. PNPM 1999: 136-145 - [c13]Peter Buchholz, Peter Kemper:
Modular State Level Analysis of Distributed Systems Techniques and Tool Support. TACAS 1999: 420-434 - 1998
- [j2]Peter Buchholz, Peter Kemper:
On generating a hierarchy for GSPN analysis. SIGMETRICS Perform. Evaluation Rev. 26(2): 5-14 (1998) - [c12]Falko Bause, Peter Buchholz, Peter Kemper:
A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) 1998: 356-359 - 1997
- [b1]Peter Kemper:
Superposition of generalized stochastic Petri nets and its impact on performance analysis. Dortmund University of Technology, Krehl 1997, ISBN 3-931546-06-3, pp. 1-131 - [c11]Falko Bause, Peter Buchholz, Peter Kemper:
Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB 1997: 87-101 - [c10]Falko Bause, Peter Buchholz, Peter Kemper:
HiQPN-Tool. MMB (Kurzbeiträge) 1997: 111-117 - [c9]Peter Kemper:
Transient analysis of superposed GSPNs. PNPM 1997: 101-110 - 1996
- [j1]Peter Kemper:
Numerical Analysis of Superposed GSPNs. IEEE Trans. Software Eng. 22(9): 615-628 (1996) - [c8]Peter Kemper:
Reachability Analysis Based on Structured Representations. Application and Theory of Petri Nets 1996: 269-288 - 1995
- [c7]Falko Bause, Peter Buchholz, Peter Kemper:
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB 1995: 224-238 - [c6]Peter Buchholz, Peter Kemper:
Numerical analysis of stochastic marked graph nets. PNPM 1995: 32-41 - [c5]Peter Kemper:
Numerical analysis of superposed GSPNs. PNPM 1995: 52-61 - [c4]Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger:
SDL and Petri net performance analysis of communicating systems. PSTV 1995: 269-282 - 1994
- [c3]Falko Bause, Peter Kemper:
QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. Computer Performance Evaluation 1994: 321-334 - 1993
- [c2]Peter Kemper:
Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. Application and Theory of Petri Nets 1993: 319-338 - 1992
- [c1]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: 263-278
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
