| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ruth Lamprecht, Gregory D. Smith, Peter Kemper |
Stochastic Petri net models of Ca2+ signaling complexes and their analysis.  |
Natural Computing  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Peter Kemper, Jan Kriege |
Multi-class Markovian arrival processes and their parameter fitting. |
Perform. Eval. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Peter Kemper |
Model Checking for a Class of Weighted Automata. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel K. Klock, Peter Kemper |
An automated technique to support the verification and validation of simulation models. |
DSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper |
On verifying Bio-PEPA models. |
CMSB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper |
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. |
Winter Simulation Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kemper, Carsten Tepper |
Automated Trace Analysis of Discrete-Event System Models. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders |
Performance and dependability modeling with Möbius. |
SIGMETRICS Performance Evaluation Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kemper |
Report generation for simulation traces with Traviando. |
DSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruth Lamprecht, Peter Kemper |
Reflection symmetry detection to reduce the state space of Markovian models. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
dependable computing, state space reduction, symmetry detection, spatial model, Markovian model |
| 1 | Ruth Lamprecht, Peter Kemper |
On the Detection of Symmetries in Compositional Markov Models. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
lumpability, Markov Chains, compositional models, symmetry detection |
| 1 | Peter Kemper |
Recent Extensions to Traviando. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Simulation, Software Tool, Trace Analysis |
| 1 | Peter Kemper |
Recovering Model Invariants from Simulation Traces with Petri Net Analysis Techniques. |
Winter Simulation Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Ruth Lamprecht, Peter Kemper |
Möbius Trace Analysis with Traviando. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan J. Schmidt, Peter Kemper |
Phrase based browsing for simulation traces of network protocols. |
Winter Simulation Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. McQuinn, Peter Kemper, William H. Sanders |
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kemper, Carsten Tepper |
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kemper |
A trace-based visual inspection technique to detect errors in simulation models. |
Winter Simulation Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
structured and very large systems, Markov processes, communication networks, Constrained optimization, sparse, performance analysis and design aids |
| 1 | Peter Kemper, William H. Sanders |
Modelling techniques and tools for computer performance evaluation. |
Perform. Eval. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler |
OPEDo: a tool framework for modeling and optimization of stochastic models. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kemper, Carsten Tepper |
A Petri Net Approach to Verify and Debug Simulation Models. |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Peter Kemper, Carsten Tepper |
Traviando - Debugging Simulation Traces with Message Sequence Charts. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Peter Kemper |
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Peter Kemper, Dennis Müller, Axel Thümmler |
Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Salem Derisavi, Peter Kemper, William H. Sanders |
Lumping Matrix Diagram Representations of Markov Models. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kemper, Carsten Tepper |
Visualizing the Dynamic Behavior of ProC/B Models. |
SimVis |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Kemper, Carsten Tepper |
Trace based analysis of process interaction models. |
Winter Simulation Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Peter Kemper |
Kronecker Based Matrix Representations for Large Markov Models. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper |
Hybrid Performability Analysis of Logistic Networks. |
PADS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper |
Model-checking large structured Markov chains. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney |
The Möbius state-level abstract functional interface. |
Perform. Eval. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Peter Kemper |
Model Checking for a Class of Weighted Automata |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Peter Buchholz, Peter Kemper |
Weak Bisimulation for (max/+) Automata and Related Models. |
Journal of Automata, Languages and Combinatorics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Peter Kemper, William H. Sanders (eds.) |
Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings |
Computer Performance Evaluation / TOOLS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Peter Buchholz, Peter Kemper |
Efficient Computation and Representation of Large Reachability Sets for Composed Automata. |
Discrete Event Dynamic Systems |
2002 |
DBLP DOI BibTeX RDF |
automata networks, Kronecker representation, ordered natural decision diagrams, reachability analysis, equivalence |
| 1 | Peter Buchholz, Peter Kemper |
Hierarchical Reachability Graph Generation for Petri Nets. |
Formal Methods in System Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney |
The Möbius State-Level Abstract Functional Interface. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Process Chains, Generalised Stochastic Petri Nets, Simulation, E-Commerce, E-Business, Queueing Networks |
| 1 | Peter Kemper |
Parallel Randomization for Large Structured Markov Chains. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanna Donatelli, Peter Kemper |
Integrating synchronization with priority into a Kronecker representation. |
Perform. Eval. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Peter Kemper |
Quantifying the Dynamic Behavior of Process Algebras. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
process algebras, bisimulation, congruence, semiring |
| 1 | Markus Fischer, Peter Kemper |
Distributed Numerical Markov Chain Analysis. |
PVM/MPI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanna Donatelli, Peter Kemper |
Integrating Synchronization with Priority into a Kronecker Representation. |
Computer Performance Evaluation / TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kemper |
Transient Analysis of Superposed GSPNs. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
standard and adaptive randomization, Stochastic Petri net, Kronecker algebra, Markov chain analysis |
| 1 | Peter Buchholz, Peter Kemper |
Modular State Level Analysis of Distributed Systems Techniques and Tool Support. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
ordered natural decision diagrams, model checking, Petri nets, bisimulation, Software analysis, Kronecker algebra |
| 1 | Peter Buchholz, Peter Kemper |
A Toolbox for the Analysis of Discrete Event Dynamic Systems. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Peter Kemper |
On generating a hierarchy for GSPN analysis. |
SIGMETRICS Performance Evaluation Review |
1998 |
DBLP DOI BibTeX RDF |
Markov chain analysis techniques, hierarchical structure, generalized stochastic Petri nets, Kronecker algebra |
| 1 | Falko Bause, Peter Buchholz, Peter Kemper |
A Toolbox for Functional and Quantitative Analysis of DEDS. |
Computer Performance Evaluation (Tools) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Falko Bause, Peter Buchholz, Peter Kemper |
Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. |
MMB |
1997 |
DBLP BibTeX RDF |
|
| 1 | Falko Bause, Peter Buchholz, Peter Kemper |
HiQPN-Tool. |
MMB (Kurzbeiträge) |
1997 |
DBLP BibTeX RDF |
|
| 1 | Peter Kemper |
Numerical Analysis of Superposed GSPNs. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
superposed GSPN, numerical solution algorithm for steady-state analysis tensor/Kronecker algebra, Markov process, decomposition, reachability analysis, Stochastic Petri net, structured representation |
| 1 | Peter Kemper |
Reachability Analysis Based on Structured Representations. |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger |
SDL and Petri net performance analysis of communicating systems. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Falko Bause, Peter Buchholz, Peter Kemper |
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. |
MMB |
1995 |
DBLP DOI BibTeX RDF |
Coloured GSPNs, Tensor Based Numerical Analysis, Combined Qualitative and Quantitative Analysis, Queueing Networks, Hierarchical Modelling |
| 1 | Falko Bause, Peter Kemper |
QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. |
Computer Performance Evaluation |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kemper |
Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. |
Application and Theory of Petri Nets |
1993 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")