Peter Kemper - RankMe

77 papers A* 1A 7B 1Misc 9Journal 21Unranked 36

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Simulation Study to Identify the Characteristics of Markov Chain Properties. ACM Trans. Model. Comput. Simul. Atiqur Rahman, Peter Kemper
2018	—	`conf`	Simulation Study to Identify the Characteristics of Markov Chain Properties. SIGSIM-PADS Atiqur Rahman, Peter Kemper
2017	—	`conf`	Quantifying Heterogeneous Causal Treatment Effects in World Bank Development Finance Projects. ECML/PKDD (3) Jianing Zhao, Daniel M. Runfola, Peter Kemper
2017	Misc	`conf`	Simulation study in quantifying heterogeneous causal effects. WSC Jianing Zhao, Daniel M. Runfola, Peter Kemper
2016	Misc	`conf`	A method to avoid smartphone memory errors impacting encryption keys. WSC Jianing Zhao, Peter Kemper
2016	J	`jnl`	Protecting Encryption Keys in Mobile Systems Against Memory Errors. EAI Endorsed Trans. Security Safety Jianing Zhao, Peter Kemper
2013	A	`conf`	Message from the PDS program chair. DSN Peter Kemper
2011	Misc	`conf`	Simulation of wireless sensor networks under partial coverage. WSC Ruth Lamprecht, Peter Kemper
2011	J	`jnl`	Stochastic Petri net models of Ca Nat. Comput. Ruth Lamprecht, Gregory D. Smith, Peter Kemper
2010	A	`conf`	An automated technique to support the verification and validation of simulation models. DSN Samuel K. Klock, Peter Kemper
2010	J	`jnl`	Model Checking for a Class of Weighted Automata. Discret. Event Dyn. Syst. Peter Buchholz, Peter Kemper
2010	J	`jnl`	Multi-class Markovian arrival processes and their parameter fitting. Perform. Evaluation Peter Buchholz, Peter Kemper, Jan Kriege
2010	—	`conf`	On verifying Bio-PEPA models. CMSB Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper
2010	Misc	`conf`	VERIFICATION AND TESTING OF BIOLOGICAL MODELS. WSC Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper
2009	J	`jnl`	Automated Trace Analysis of Discrete-Event System Models. IEEE Trans. Software Eng. Peter Kemper, Carsten Tepper
2009	—	`conf`	On the Detection of Symmetries in Compositional Markov Models. QEST Ruth Lamprecht, Peter Kemper
2009	J	`jnl`	Performance and dependability modeling with Möbius. SIGMETRICS Perform. Evaluation Rev. Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders
2009	—	`conf`	Recent Extensions to Traviando. QEST Peter Kemper
2009	Misc	`conf`	Recovering Model Invariants from Simulation Traces with Petri Net Analysis Techniques. WSC Peter Kemper
2009	—	`conf`	Reflection symmetry detection to reduce the state space of Markovian models. ACM Southeast Regional Conference Ruth Lamprecht, Peter Kemper
2009	A	`conf`	Report generation for simulation traces with Traviando. DSN Peter Kemper
2008	Misc	`conf`	Markov Chain Models of Coupled Intracellular Calcium Channels: Kronecker Structured Representations and Benchmark Stationary Distribution Calculations. Pacific Symposium on Biocomputing Hilary DeRemigio, Peter Kemper, Michael Drew Lamar, Gregory D. Smith
2008	—	`conf`	Möbius Trace Analysis with Traviando. QEST Ruth Lamprecht, Peter Kemper
2008	Misc	`conf`	Phrase based browsing for simulation traces of network protocols. WSC Nathan J. Schmidt, Peter Kemper
2007	Misc	`conf`	A trace-based visual inspection technique to detect errors in simulation models. WSC Peter Kemper
2007	—	`conf`	Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. QEST Peter Kemper, Carsten Tepper
2007	—	`conf`	Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. QEST Michael G. McQuinn, Peter Kemper, William H. Sanders
2006	—	`conf`	06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 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
2006	—	`conf`	A Petri Net Approach to Verify and Debug Simulation Models. Simulation and Verification of Dynamic Systems Peter Kemper, Carsten Tepper
2006	J	`jnl`	Combining Response Surface Methodology with Numerical Methods for Optimization of Markovian Models. IEEE Trans. Dependable Secur. Comput. Peter Kemper, Dennis Müller, Axel Thümmler
2006	J	`jnl`	Modelling techniques and tools for computer performance evaluation. Perform. Evaluation Peter Kemper, William H. Sanders
2006	—	`conf`	OPEDo: A tool for optimization and performance evaluation of stochastic models. MMB Peter Buchholz, Peter Kemper, Dennis Müller, Mathias Stöber, Axel Thümmler
2006	—	`conf`	OPEDo: a tool framework for modeling and optimization of stochastic models. VALUETOOLS Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler
2006	—	`conf`	Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. QEST Peter Buchholz, Peter Kemper
2006	—	`conf`	Traviando - Debugging Simulation Traces with Message Sequence Charts. QEST Peter Kemper, Carsten Tepper
2005	A	`conf`	Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems. DSN Peter Kemper, Dennis Müller, Axel Thümmler
2005	A	`conf`	Lumping Matrix Diagram Representations of Markov Models. DSN Salem Derisavi, Peter Kemper, William H. Sanders
2005	Misc	`conf`	Trace based analysis of process interaction models. WSC Peter Kemper, Carsten Tepper
2005	—	`conf`	Visualizing the Dynamic Behavior of ProC/B Models. SimVis Peter Kemper, Carsten Tepper
2004	B	`conf`	Hybrid Performability Analysis of Logistic Networks. PADS Falko Bause, Peter Buchholz, Markus Fischer, Peter Kemper
2004	—	`conf`	Kronecker Based Matrix Representations for Large Markov Models. Validation of Stochastic Systems Peter Buchholz, Peter Kemper
2003	—	`ed.`	Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings Computer Performance Evaluation / TOOLS Peter Kemper, William H. Sanders
2003	J	`jnl`	Model Checking for a Class of Weighted Automata CoRR Peter Buchholz, Peter Kemper
2003	J	`jnl`	Model-checking large structured Markov chains. J. Log. Algebraic Methods Program. Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper
2003	J	`jnl`	The Möbius state-level abstract functional interface. Perform. Evaluation Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
2003	J	`jnl`	Weak Bisimulation for (max/+) Automata and Related Models. J. Autom. Lang. Comb. Peter Buchholz, Peter Kemper
2002	J	`jnl`	Efficient Computation and Representation of Large Reachability Sets for Composed Automata. Discret. Event Dyn. Syst. Peter Buchholz, Peter Kemper
2002	J	`jnl`	Hierarchical Reachability Graph Generation for Petri Nets. Formal Methods Syst. Des. Peter Buchholz, Peter Kemper
2002	A	`conf`	Parallel Randomization for Large Structured Markov Chains. DSN Peter Kemper
2002	J	`jnl`	Supply chain modelling and its analytical evaluation. J. Oper. Res. Soc. Markus Arns, Markus Fischer, Peter Kemper, Carsten Tepper
2002	—	`conf`	The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
2002	—	`conf`	The ProC/B Toolset for the Modelling and Analysis of Process Chains. Computer Performance Evaluation / TOOLS Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker
2001	—	`conf`	Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. PNPM Peter Buchholz, Peter Kemper
2001	—	`conf`	Distributed Numerical Markov Chain Analysis. PVM/MPI Markus Fischer, Peter Kemper
2001	J	`jnl`	Integrating synchronization with priority into a Kronecker representation. Perform. Evaluation Susanna Donatelli, Peter Kemper
2001	—	`conf`	Quantifying the Dynamic Behavior of Process Algebras. PAPM-PROBMIV Peter Buchholz, Peter Kemper
2000	J	`jnl`	Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS J. Comput. Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper
2000	—	`conf`	Integrating Synchronization with Priority into a Kronecker Representation. Computer Performance Evaluation / TOOLS Susanna Donatelli, Peter Kemper
1999	A*	`conf`	A Toolbox for the Analysis of Discrete Event Dynamic Systems. CAV Peter Buchholz, Peter Kemper
1999	—	`conf`	A mapping of autonomous net condition event systems to GSPNs. PNPM Peter Kemper
1999	A	`conf`	Modular State Level Analysis of Distributed Systems Techniques and Tool Support. TACAS Peter Buchholz, Peter Kemper
1999	J	`jnl`	Transient Analysis of Superposed GSPNs. IEEE Trans. Software Eng. Peter Kemper
1998	—	`conf`	A Toolbox for Functional and Quantitative Analysis of DEDS. Computer Performance Evaluation (Tools) Falko Bause, Peter Buchholz, Peter Kemper
1998	J	`jnl`	On generating a hierarchy for GSPN analysis. SIGMETRICS Perform. Evaluation Rev. Peter Buchholz, Peter Kemper
1997	—	`conf`	HiQPN-Tool. MMB (Kurzbeiträge) Falko Bause, Peter Buchholz, Peter Kemper
1997	—	`conf`	Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets. MMB Falko Bause, Peter Buchholz, Peter Kemper
1997	—	`—`	Superposition of generalized stochastic Petri nets and its impact on performance analysis. Peter Kemper
1997	—	`conf`	Transient analysis of superposed GSPNs. PNPM Peter Kemper
1996	J	`jnl`	Numerical Analysis of Superposed GSPNs. IEEE Trans. Software Eng. Peter Kemper
1996	—	`conf`	Reachability Analysis Based on Structured Representations. Application and Theory of Petri Nets Peter Kemper
1995	—	`conf`	Numerical analysis of stochastic marked graph nets. PNPM Peter Buchholz, Peter Kemper
1995	—	`conf`	Numerical analysis of superposed GSPNs. PNPM Peter Kemper
1995	—	`conf`	QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets. MMB Falko Bause, Peter Buchholz, Peter Kemper
1995	—	`conf`	SDL and Petri net performance analysis of communicating systems. PSTV Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger
1994	—	`conf`	QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. Computer Performance Evaluation Falko Bause, Peter Kemper
1993	—	`conf`	Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. Application and Theory of Petri Nets Peter Kemper
1992	—	`conf`	An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. Application and Theory of Petri Nets Peter Kemper, Falko Bause