2009 |
50 | EE | Peter Kemper,
Carsten Tepper:
Automated Trace Analysis of Discrete-Event System Models.
IEEE Trans. Software Eng. 35(2): 195-208 (2009) |
2008 |
49 | EE | 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 | EE | Ruth Lamprecht,
Peter Kemper:
Möbius Trace Analysis with Traviando.
QEST 2008: 41-42 |
47 | EE | Nathan J. Schmidt,
Peter Kemper:
Phrase based browsing for simulation traces of network protocols.
Winter Simulation Conference 2008: 2811-2819 |
2007 |
46 | EE | Peter Kemper,
Carsten Tepper:
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior.
QEST 2007: 101-110 |
45 | EE | Michael G. McQuinn,
Peter Kemper,
William H. Sanders:
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations.
QEST 2007: 151-160 |
44 | EE | 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 | EE | Peter Kemper,
Carsten Tepper:
Traviando - Debugging Simulation Traces with Message Sequence Charts.
QEST 2006: 135-136 |
41 | EE | Peter Buchholz,
Peter Kemper:
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques.
QEST 2006: 233-242 |
40 | EE | 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 | EE | Peter Kemper,
Carsten Tepper:
A Petri Net Approach to Verify and Debug Simulation Models.
Simulation and Verification of Dynamic Systems 2006 |
38 | EE | 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 | EE | 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 | EE | Peter Kemper,
William H. Sanders:
Modelling techniques and tools for computer performance evaluation.
Perform. Eval. 63(6): 521-523 (2006) |
2005 |
35 | EE | 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 | EE | 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 | EE | Peter Kemper,
Carsten Tepper:
Trace based analysis of process interaction models.
Winter Simulation Conference 2005: 427-436 |
2004 |
31 | EE | Falko Bause,
Peter Buchholz,
Markus Fischer,
Peter Kemper:
Hybrid Performability Analysis of Logistic Networks.
PADS 2004: 131-138 |
30 | EE | 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 | EE | Peter Buchholz,
Peter Kemper:
Model Checking for a Class of Weighted Automata
CoRR cs.LO/0304021: (2003) |
27 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Peter Kemper:
Parallel Randomization for Large Structured Markov Chains.
DSN 2002: 657-668 |
21 | EE | 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 | EE | Peter Buchholz,
Peter Kemper:
Quantifying the Dynamic Behavior of Process Algebras.
PAPM-PROBMIV 2001: 184-199 |
18 | EE | 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 | EE | Susanna Donatelli,
Peter Kemper:
Integrating Synchronization with Priority into a Kronecker Representation.
Computer Performance Evaluation / TOOLS 2000: 203-215 |
15 | EE | 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 | EE | Peter Buchholz,
Peter Kemper:
A Toolbox for the Analysis of Discrete Event Dynamic Systems.
CAV 1999: 483-486 |
13 | EE | Peter Buchholz,
Peter Kemper:
Modular State Level Analysis of Distributed Systems Techniques and Tool Support.
TACAS 1999: 420-434 |
12 | EE | Peter Kemper:
Transient Analysis of Superposed GSPNs.
IEEE Trans. Software Eng. 25(2): 182-193 (1999) |
1998 |
11 | EE | Falko Bause,
Peter Buchholz,
Peter Kemper:
A Toolbox for Functional and Quantitative Analysis of DEDS.
Computer Performance Evaluation (Tools) 1998: 356-359 |
10 | EE | 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 | EE | 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 |