Peter Kemper

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

50EEPeter Kemper, Carsten Tepper: Automated Trace Analysis of Discrete-Event System Models. IEEE Trans. Software Eng. 35(2): 195-208 (2009)
49EEHilary DeRemigio, Peter Kemper, M. 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
48EERuth Lamprecht, Peter Kemper: Möbius Trace Analysis with Traviando. QEST 2008: 41-42
47EENathan J. Schmidt, Peter Kemper: Phrase based browsing for simulation traces of network protocols. Winter Simulation Conference 2008: 2811-2819
46EEPeter Kemper, Carsten Tepper: Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. QEST 2007: 101-110
45EEMichael G. McQuinn, Peter Kemper, William H. Sanders: Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. QEST 2007: 151-160
44EEPeter Kemper: A trace-based visual inspection technique to detect errors in simulation models. Winter Simulation Conference 2007: 747-755
43 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
42EEPeter Kemper, Carsten Tepper: Traviando - Debugging Simulation Traces with Message Sequence Charts. QEST 2006: 135-136
41EEPeter Buchholz, Peter Kemper: Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST 2006: 233-242
40EEGré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
39EEPeter Kemper, Carsten Tepper: A Petri Net Approach to Verify and Debug Simulation Models. Simulation and Verification of Dynamic Systems 2006
38EEPeter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler: OPEDo: a tool framework for modeling and optimization of stochastic models. VALUETOOLS 2006: 61
37EEPeter Kemper, Dennis Müller, Axel Thümmler: Combining Response Surface Methodology with Numerical Methods for Optimization of Markovian Models. IEEE Trans. Dependable Sec. Comput. 3(3): 259-269 (2006)
36EEPeter Kemper, William H. Sanders: Modelling techniques and tools for computer performance evaluation. Perform. Eval. 63(6): 521-523 (2006)
35EEPeter 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
34EESalem Derisavi, Peter Kemper, William H. Sanders: Lumping Matrix Diagram Representations of Markov Models. DSN 2005: 742-751
33 Peter Kemper, Carsten Tepper: Visualizing the Dynamic Behavior of ProC/B Models. SimVis 2005: 63-74
32EEPeter Kemper, Carsten Tepper: Trace based analysis of process interaction models. Winter Simulation Conference 2005: 427-436
31EEFalko Bause, Peter Buchholz, Markus Fischer, Peter Kemper: Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138
30EEPeter Buchholz, Peter Kemper: Kronecker Based Matrix Representations for Large Markov Models. Validation of Stochastic Systems 2004: 256-295
29 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 Springer 2003
28EEPeter Buchholz, Peter Kemper: Model Checking for a Class of Weighted Automata CoRR cs.LO/0304021: (2003)
27EEPeter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper: Model-checking large structured Markov chains. J. Log. Algebr. Program. 56(1-2): 69-97 (2003)
26 Peter Buchholz, Peter Kemper: Weak Bisimulation for (max/+) Automata and Related Models. Journal of Automata, Languages and Combinatorics 8(2): 187-218 (2003)
25EESalem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney: The Möbius state-level abstract functional interface. Perform. Eval. 54(2): 105-128 (2003)
24EESalem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney: The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS 2002: 31-50
23EEFalko 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
22EEPeter Kemper: Parallel Randomization for Large Structured Markov Chains. DSN 2002: 657-668
21EEPeter Buchholz, Peter Kemper: Efficient Computation and Representation of Large Reachability Sets for Composed Automata. Discrete Event Dynamic Systems 12(3): 265-286 (2002)
20 Peter Buchholz, Peter Kemper: Hierarchical Reachability Graph Generation for Petri Nets. Formal Methods in System Design 21(3): 281-315 (2002)
19EEPeter Buchholz, Peter Kemper: Quantifying the Dynamic Behavior of Process Algebras. PAPM-PROBMIV 2001: 184-199
18EEMarkus Fischer, Peter Kemper: Distributed Numerical Markov Chain Analysis. PVM/MPI 2001: 272-279
17 Susanna Donatelli, Peter Kemper: Integrating synchronization with priority into a Kronecker representation. Perform. Eval. 44(1-4): 73-96 (2001)
16EESusanna Donatelli, Peter Kemper: Integrating Synchronization with Priority into a Kronecker Representation. Computer Performance Evaluation / TOOLS 2000: 203-215
15EEPeter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper: Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS Journal on Computing 12(3): 203-222 (2000)
14EEPeter Buchholz, Peter Kemper: A Toolbox for the Analysis of Discrete Event Dynamic Systems. CAV 1999: 483-486
13EEPeter Buchholz, Peter Kemper: Modular State Level Analysis of Distributed Systems Techniques and Tool Support. TACAS 1999: 420-434
12EEPeter Kemper: Transient Analysis of Superposed GSPNs. IEEE Trans. Software Eng. 25(2): 182-193 (1999)
11EEFalko Bause, Peter Buchholz, Peter Kemper: A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) 1998: 356-359
10EEPeter Buchholz, Peter Kemper: On generating a hierarchy for GSPN analysis. SIGMETRICS Performance Evaluation Review 26(2): 5-14 (1998)
9 Falko Bause, Peter Buchholz, Peter Kemper: Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB 1997: 87-101
8 Falko Bause, Peter Buchholz, Peter Kemper: HiQPN-Tool. MMB (Kurzbeiträge) 1997: 111-117
7 Peter Kemper: Reachability Analysis Based on Structured Representations. Application and Theory of Petri Nets 1996: 269-288
6EEPeter Kemper: Numerical Analysis of Superposed GSPNs. IEEE Trans. Software Eng. 22(9): 615-628 (1996)
5 Falko Bause, Peter Buchholz, Peter Kemper: QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB 1995: 224-238
4 Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger: SDL and Petri net performance analysis of communicating systems. PSTV 1995: 269-282
3 Falko Bause, Peter Kemper: QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. Computer Performance Evaluation 1994: 321-334
2 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
1 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

1Grégory Batt [40]
2Falko Bause [1] [3] [4] [5] [8] [9] [11] [23] [31]
3Heinz Beilner [23]
4Jeremy T. Bradley [40]
5Peter Buchholz [5] [8] [9] [10] [11] [13] [14] [15] [19] [20] [21] [26] [27] [28] [30] [31] [38] [41] [43]
6Gianfranco Ciardo [15]
7Tod Courtney [24] [25]
8Hilary DeRemigio [49]
9Salem Derisavi [24] [25] [34]
10Susanna Donatelli [15] [16] [17]
11Roland Ewald [40]
12François Fages [40]
13Markus Fischer [18] [23] [31]
14Holger Hermanns [40]
15Jane Hillston [40]
16Heinz Kabutz [4]
17Joost-Pieter Katoen [27]
18Pieter S. Kritzinger [4]
19M. Drew Lamar [49]
20Ruth Lamprecht [48]
21Alke Martens [40]
22Michael G. McQuinn [45]
23Pieter J. Mosterman [40]
24Dennis Müller [35] [37] [38] [43]
25Flemming Nielson [40]
26William H. Sanders [24] [25] [29] [34] [36] [45]
27Nathan J. Schmidt [47]
28Gregory D. Smith [49]
29Oleg Sokolsky [40]
30Mathias Stöber [43]
31Carsten Tepper [27] [32] [33] [39] [42] [46] [50]
32Axel Thümmler [35] [37] [38] [43]
33Adelinde M. Uhrmacher (Adelinde Uhrmacher) [40]
34Markus Völker [23]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)