Peter Kemper

	2011
62		Ruth Lamprecht, Gregory D. Smith, Peter Kemper: Stochastic Petri net models of Ca2+ signaling complexes and their analysis. Natural Computing 10(3): 1045-1075 (2011)
	2010
61		Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper: On verifying Bio-PEPA models. CMSB 2010: 23-32
60		Samuel K. Klock, Peter Kemper: An automated technique to support the verification and validation of simulation models. DSN 2010: 595-604
59		Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper: VERIFICATION AND TESTING OF BIOLOGICAL MODELS. Winter Simulation Conference 2010: 620-630
58		Peter Buchholz, Peter Kemper: Model Checking for a Class of Weighted Automata. Discrete Event Dynamic Systems 20(1): 103-137 (2010)
57		Peter Buchholz, Peter Kemper, Jan Kriege: Multi-class Markovian arrival processes and their parameter fitting. Perform. Eval. 67(11): 1092-1106 (2010)
	2009
56		Ruth Lamprecht, Peter Kemper: Reflection symmetry detection to reduce the state space of Markovian models. ACM Southeast Regional Conference 2009
55		Peter Kemper: Report generation for simulation traces with Traviando. DSN 2009: 347-352
54		Ruth Lamprecht, Peter Kemper: On the Detection of Symmetries in Compositional Markov Models. QEST 2009: 259-268
53		Peter Kemper: Recent Extensions to Traviando. QEST 2009: 283-284
52		Peter Kemper: Recovering Model Invariants from Simulation Traces with Petri Net Analysis Techniques. Winter Simulation Conference 2009: 827-838
51		Peter Kemper, Carsten Tepper: Automated Trace Analysis of Discrete-Event System Models. IEEE Trans. Software Eng. 35(2): 195-208 (2009)
50		Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders: Performance and dependability modeling with Möbius. SIGMETRICS Performance Evaluation Review 36(4): 16-21 (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] [57] [58]
6	Gianfranco Ciardo	[15]
7	Allan Clark	[59] [61]
8	Tod Courtney	[24] [25]
9	Hilary DeRemigio	[49]
10	Salem Derisavi	[24] [25] [34]
11	Susanna Donatelli	[15] [16] [17]
12	Roland Ewald	[40]
13	François Fages	[40]
14	Markus Fischer	[18] [23] [31]
15	Shravan Gaonkar	[50]
16	Stephen Gilmore (Stephen T. Gilmore)	[59] [61]
17	Maria Luisa Guerriero	[61]
18	Holger Hermanns	[40]
19	Jane Hillston	[40] [59]
20	Heinz Kabutz	[4]
21	Joost-Pieter Katoen	[27]
22	Ken Keefe	[50]
23	Samuel K. Klock	[60]
24	Jan Kriege	[57]
25	Pieter S. Kritzinger	[4]
26	M. Drew Lamar	[49]
27	Ruth Lamprecht	[48] [50] [54] [56] [62]
28	Alke Martens	[40]
29	Michael G. McQuinn	[45]
30	Pieter J. Mosterman	[40]
31	Dennis Müller	[35] [37] [38] [43]
32	Flemming Nielson	[40]
33	Eric Rozier	[50]
34	William H. Sanders	[24] [25] [29] [34] [36] [45] [50]
35	Nathan J. Schmidt	[47]
36	Gregory D. Smith	[49] [62]
37	Oleg Sokolsky	[40]
38	Mathias Stöber	[43]
39	Carsten Tepper	[27] [32] [33] [39] [42] [46] [51]
40	Axel Thümmler	[35] [37] [38] [43]
41	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[40]
42	Markus Völker	[23]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page