Hauptinhalt

Sort by   [publication type]   [year]

---

[Books]     [Book Chapters]     [Conference & Workshop Articles]     [Journal Articles]     [Technical Reports]     [Theses]    

---

 

Books

• Peter Buchholz, Jan Kriege, Iryna Felko:
  Input Modeling with Phase Type Distributions and Markov Models - Theory and Applications
  SpringerBriefs in Mathematics, 2014.
  

 

Book Chapters

• Falko Bause, Heinz Beilner, Jan Kriege:
  ProC/B: Eine Modellierungsumgebung zur prozessketten-orientierten Beschreibung und Analyse logistischer Netze
  Peter Buchholz, Uwe Clausen (eds.): Große Netze der Logistik - Die Ergebnisse des Sonderforschungsbereichs 559, Springer, 2009.
  

 

Conference & Workshop Articles

• Jan Kriege:
  Markovian Modeling of Wireless Trace Data
  Proc. of 11th International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2017), Venice, 2017.
  
• Peter Buchholz, Iryna Felko, Jan Kriege, Gerhard Rinkenauer:
  Modeling Human Decisions in Performance and Dependability Models
  Proc. of the 13th European Workshop on Performance Engineering (EPEW 2016), Springer, 2016.
  
• Peter Buchholz, Tugrul Dayar, Jan Kriege, M. Can Orhan:
  Compact Representation of Solution Vectors in Kronecker-based Markovian Analysis
  Proc. of the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), Springer, 2016.
  
• Jan Kriege, Peter Buchholz:
  Traffic Modeling with Phase-Type Distributions and VARMA Processes
  Proc. of the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), Springer, 2016.
  Online Companion
  
• Jan Kriege:
  Combining Mobility Models with Arrival Processes
  Proc. of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance (MMB & DFT 2016), Springer, 2016.
  
• Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch:
  Equivalence and Minimization for Model Checking Labeled Markov Chains
  Proc. of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools (ValueTools), Berlin, 2015.
  
• Falko Bause, Jan Kriege:
  Correlated Random Number Generation for Simulation Experiments
  Proc. of the ASIM Dedicated Conference on Simulation in Production and Logistics, 2015.
  
• Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch:
  Model Checking Stochastic Automata for Dependability and Performance Measures
  Proc. of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2014.
  Online COmpanion
  
• Peter Buchholz, Jan Kriege:
  Markov Modeling of Availability and Unavailability Data
  Proc. of the Tenth European Dependable Computing Conference (EDCC), 2014.
  
• Jan Kriege, Peter Buchholz:
  PH and MAP Fitting with Aggregated Traffic Traces
  Proc. of the 17th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance (MMB & DFT 2014), Springer, 2014.
  
• Jan Kriege:
  Modellierung korrelierter Eingabedaten für Simulationen
  Ausgezeichnete Informatikdissertationen 2012, GI Lecture Notes in Informatics (LNI), 2013.
  
• Peter Buchholz, Iryna Felko, Jan Kriege:
  Transformation of Acyclic Phase Type Distributions for Correlation Fitting
  Proc. of the 20th International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2013), Ghent, 2013.
  Online Companion
  
• Jan Kriege, Peter Buchholz:
  Traffic Modeling with a Combination of Phase-type Distributions and ARMA Processes
  Proc. of the Winter Simulation Conference (WSC) 2012, Berlin, 2012.
  
• Peter Buchholz, Jan Kriege:
  Aggregation of Markovian Models - An Alternating Least Squares Approach
  Proc. of the 9th International Conference on Quantitative Evaluation of SysTems (QEST 2012), London, 2012.
  Online Companion
  
• Jan Kriege, Peter Buchholz:
  Simulating Stochastic Processes with OMNeT++
  Proc. of the 4th International OMNeT++ Workshop (OMNeT++ 2011), Barcelona, 2011.
  
• Levente Bodrog, Peter Buchholz, Jan Kriege, Miklos Telek:
  Canonical form based MAP(2) fitting
  Proc. of the 7th International Conference on Quantitative Evaluation of SysTems (QEST 2010), IEEE Computer Society, 2010.
  
• Falko Bause, Peter Buchholz, Jan Kriege:
  ProFiDo - The Processes Fitting Toolkit Dortmund
  Proc. of the 7th International Conference on Quantitative Evaluation of SysTems (QEST 2010), IEEE Computer Society, 2010.
  
• Falko Bause, Philipp Gerloff, Jan Kriege:
  ProFiDo - A Toolkit for Fitting Input Models
  Proc. of the 15th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance (MMB & DFT 2010), Springer, 2010.
  
• Jan Kriege, Peter Buchholz:
  An Empirical Comparison of MAP Fitting Algorithms
  Proc. of the 15th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance (MMB & DFT 2010), Springer, 2010.
  
• Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag:
  Simulation Based Validation of Quantitative Requirements in Service Oriented Architectures
  Proc. of the Winter Simulation Conference (WSC) 2009, IEEE, 2009.
  
• Falko Bause, Peter Buchholz, Jan Kriege:
  A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes
  Proc. of the Winter Simulation Conference (WSC) 2009, IEEE, 2009.
  
• Peter Buchholz, Jan Kriege:
  A Heuristic Approach for Fitting MAPs to Moments and Joint Moments
  Proc. of the 6th International Conference on Quantitative Evaluation of SysTems (QEST 2009), IEEE Computer Society, 2009.
  
• Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag:
  A Framework for Simulation Models of Service-Oriented Architectures
  Performance Evaluation: Metrics, Models and Benchmarks. Proc. of SPEC International Performance Evaluation Workshop (SIPEW 2008), Darmstadt, 2008.
  
• Jan Kriege, Sebastian Vastag:
  ProC/B goes OMNeT++: Efficient Simulation of Process Chains
  Proc. of the 14th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems (MMB 2008), Dortmund, 2008.
  
• Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag:
  Simulating Process Chain Models with OMNeT++
  Proc. of 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools 2008), Marseille, 2008.
  
• Falko Bause, Jan Kriege:
  Detecting Non-Ergodic Simulation Models of Logistics Networks
  Proc. of 2nd International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2007), Nantes, 2007.
  
• Jan Kriege:
  Konsistenzprüfung von ProC/B-Modellen zur Vorbereitung einer simulativen Analyse
  Proc. of the 18th Conference on Simulation and Visualization (SimVis 2007), Magdeburg, 2007.
  

 

Journal Articles

• Peter Buchholz, Tugrul Dayar, Jan Kriege, M. Can Orhan:
  On compact solution vectors in Kronecker-based Markovian analysis
  Performance Evaluation, Volume 115, Elsevier, 2017.
  
• Peter Buchholz, Jan Kriege:
  Fitting Correlated Arrival and Service Times and Related Queueing Performance
  Queueing Systems, Volume 85(3), Springer, 2017.
  
• Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch:
  Equivalence and Minimization for Model Checking Labeled Markov Chains
  EAI Endorsed Transactions on Scalable Information Systems 16(11), 2016.
  
• Peter Buchholz, Jan Kriege:
  Approximate aggregation of Markovian models using alternating least squares
  Performance Evaluation, Volume 73, 2014.
  
• Jan Kriege, Peter Buchholz:
  Correlated Phase-type distributed Random Numbers as Input Models for Simulations
  Performance Evaluation, Volume 68, Issue 11, 2011.
  
• Peter Buchholz, Peter Kemper, Jan Kriege:
  Multi Class Markovian Arrival Processes and Their Parameter Fitting
  Performance Evaluation, Volume 67, Issue 11, 2010.
  
• Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag:
  A Simulation Environment for Hierarchical Process Chains Based on OMNeT++
  SIMULATION, Vol. 86, No. 5-6, 2010.
  
• Falko Bause, Jan Kriege, Sebastian Vastag:
  Efficient Validation of Process-based Simulation Models
  Simulation News Europe Special Issue on Quality Aspects in Modeling and Simulation, Vol. 19, No. 2, 2009.
  

 

Technical Reports

• Falko Bause, Souffian El-Baba, Philipp Gerloff, Alparslan Kirman, Jan Kriege, Moussa Oumarou:
  ProFiDo - The Processes Fitting Toolkit Dortmund Manual
  Report, 2014.
  
• Falko Bause, Jan Kriege:
  ProFiDo XML Interchange Format Specification
  Report, 2014.
  
• Falko Bause, Philipp Gerloff, Alparslan Kirman, Jan Kriege, Daniel Scholtyssek:
  ProFiDo XML Configuration Format Specification
  Report, 2014.
  
• Falko Bause, Philipp Gerloff, Alparslan Kirman, Jan Kriege, Daniel Scholtyssek:
  ProFiDo XML Workflow Format Specification
  Report, 2014.
  
• Peter Buchholz, Jan Kriege:
  Equivalence Transformations for Acyclic Phase Type Distributions
  Technical Report 827, Dep. of Computer Science, TU Dortmund, 2009.
  
• Michael Hierweck, Jens Finzel, Andreas van Almsick, Jan Kriege, Mathias Schwenke:
  ProC/B-Editor - Handbuch
  Sonderforschungsbereich 559 Modellierung großer Netze in der Logistik, Technical Report 06002, ISSN 1612-1376, 2006.
  

 

Theses

• Jan Kriege:
  Fitting Simulation Input Models for Correlated Traffic Data
  Dissertation, Technische Universität Dortmund, Fakultät für Informatik, Dortmund, 2012.
  
• Jan Kriege:
  Konsistenzprüfung von ProC/B-Modellen zur Vorbereitung einer simulativen Analyse
  Diplomarbeit, Universität Dortmund, Lehrstuhl Informatik IV, Dortmund, 2006.