Peter Kemper

	2009
51		Ruth Lamprecht, Peter Kemper: Reflection symmetry detection to reduce the state space of Markovian models. ACM Southeast Regional Conference 2009
50		Peter Kemper, Carsten Tepper: Automated Trace Analysis of Discrete-Event System Models. IEEE Trans. Software Eng. 35(2): 195-208 (2009)
	2008
49		Hilary 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
48		Ruth Lamprecht, Peter Kemper: Möbius Trace Analysis with Traviando. QEST 2008: 41-42
47		Nathan J. Schmidt, Peter Kemper: Phrase based browsing for simulation traces of network protocols. Winter Simulation Conference 2008: 2811-2819
	2007
46		Peter Kemper, Carsten Tepper: Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. QEST 2007: 101-110
45		Michael G. McQuinn, Peter Kemper, William H. Sanders: Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. QEST 2007: 151-160
44		Peter Kemper: A trace-based visual inspection technique to detect errors in simulation models. Winter Simulation Conference 2007: 747-755
	2006
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
42		Peter Kemper, Carsten Tepper: Traviando - Debugging Simulation Traces with Message Sequence Charts. QEST 2006: 135-136
41		Peter Buchholz, Peter Kemper: Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST 2006: 233-242
40		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
39		Peter Kemper, Carsten Tepper: A Petri Net Approach to Verify and Debug Simulation Models. Simulation and Verification of Dynamic Systems 2006
38		Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler: OPEDo: a tool framework for modeling and optimization of stochastic models. VALUETOOLS 2006: 61
37		Peter 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)
36		Peter Kemper, William H. Sanders: Modelling techniques and tools for computer performance evaluation. Perform. Eval. 63(6): 521-523 (2006)
	2005
35		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
34		Salem 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
32		Peter Kemper, Carsten Tepper: Trace based analysis of process interaction models. Winter Simulation Conference 2005: 427-436
	2004
31		Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper: Hybrid Performability Analysis of Logistic Networks. PADS 2004: 131-138
30		Peter Buchholz, Peter Kemper: Kronecker Based Matrix Representations for Large Markov Models. Validation of Stochastic Systems 2004: 256-295
	2003
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
28		Peter Buchholz, Peter Kemper: Model Checking for a Class of Weighted Automata CoRR cs.LO/0304021: (2003)
27		Peter 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)
25		Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney: The Möbius state-level abstract functional interface. Perform. Eval. 54(2): 105-128 (2003)
	2002
24		Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney: The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS 2002: 31-50
23		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
22		Peter Kemper: Parallel Randomization for Large Structured Markov Chains. DSN 2002: 657-668
21		Peter 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)
	2001
19		Peter Buchholz, Peter Kemper: Quantifying the Dynamic Behavior of Process Algebras. PAPM-PROBMIV 2001: 184-199
18		Markus 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)
	2000
16		Susanna Donatelli, Peter Kemper: Integrating Synchronization with Priority into a Kronecker Representation. Computer Performance Evaluation / TOOLS 2000: 203-215
15		Peter 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)
	1999
14		Peter Buchholz, Peter Kemper: A Toolbox for the Analysis of Discrete Event Dynamic Systems. CAV 1999: 483-486
13		Peter Buchholz, Peter Kemper: Modular State Level Analysis of Distributed Systems Techniques and Tool Support. TACAS 1999: 420-434
12		Peter Kemper: Transient Analysis of Superposed GSPNs. IEEE Trans. Software Eng. 25(2): 182-193 (1999)
	1998
11		Falko Bause, Peter Buchholz, Peter Kemper: A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) 1998: 356-359
10		Peter Buchholz, Peter Kemper: On generating a hierarchy for GSPN analysis. SIGMETRICS Performance Evaluation Review 26(2): 5-14 (1998)
	1997
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
	1996
7		Peter Kemper: Reachability Analysis Based on Structured Representations. Application and Theory of Petri Nets 1996: 269-288
6		Peter Kemper: Numerical Analysis of Superposed GSPNs. IEEE Trans. Software Eng. 22(9): 615-628 (1996)
	1995
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
	1994
3		Falko Bause, Peter Kemper: QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. Computer Performance Evaluation 1994: 321-334
	1993
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
	1992
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

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

Colors in the list of coauthors