Jump label

Service navigation

Main navigation

You are here:

Main content

Publications

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.
    [Details]

 

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.
    [Details]

 

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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • Falko Bause, Jan Kriege:
    Correlated Random Number Generation for Simulation Experiments
    Proc. of the ASIM Dedicated Conference on Simulation in Production and Logistics, 2015.
    [Details]
  • 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.
    [Details]
  • Peter Buchholz, Jan Kriege:
    Markov Modeling of Availability and Unavailability Data
    Proc. of the Tenth European Dependable Computing Conference (EDCC), 2014.
    [Details]
  • 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.
    [Details]
  • Jan Kriege:
    Modellierung korrelierter Eingabedaten für Simulationen
    Ausgezeichnete Informatikdissertationen 2012, GI Lecture Notes in Informatics (LNI), 2013.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • Jan Kriege, Peter Buchholz:
    Simulating Stochastic Processes with OMNeT++
    Proc. of the 4th International OMNeT++ Workshop (OMNeT++ 2011), Barcelona, 2011.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]

 

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.
    [Details]
  • Peter Buchholz, Jan Kriege:
    Fitting Correlated Arrival and Service Times and Related Queueing Performance
    Queueing Systems, Volume 85(3), Springer, 2017.
    [Details]
  • 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.
    [Details]
  • Peter Buchholz, Jan Kriege:
    Approximate aggregation of Markovian models using alternating least squares
    Performance Evaluation, Volume 73, 2014.
    [Details]
  • Jan Kriege, Peter Buchholz:
    Correlated Phase-type distributed Random Numbers as Input Models for Simulations
    Performance Evaluation, Volume 68, Issue 11, 2011.
    [Details]
  • Peter Buchholz, Peter Kemper, Jan Kriege:
    Multi Class Markovian Arrival Processes and Their Parameter Fitting
    Performance Evaluation, Volume 67, Issue 11, 2010.
    [Details]
  • 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.
    [Details]
  • 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.
    [Details]

 

Technical Reports

  • Falko Bause, Souffian El-Baba, Philipp Gerloff, Alparslan Kirman, Jan Kriege, Moussa Oumarou:
    ProFiDo - The Processes Fitting Toolkit Dortmund Manual
    Report, 2014.
    [Details]
  • Falko Bause, Jan Kriege:
    ProFiDo XML Interchange Format Specification
    Report, 2014.
    [Details]
  • Falko Bause, Philipp Gerloff, Alparslan Kirman, Jan Kriege, Daniel Scholtyssek:
    ProFiDo XML Configuration Format Specification
    Report, 2014.
    [Details]
  • Falko Bause, Philipp Gerloff, Alparslan Kirman, Jan Kriege, Daniel Scholtyssek:
    ProFiDo XML Workflow Format Specification
    Report, 2014.
    [Details]
  • Peter Buchholz, Jan Kriege:
    Equivalence Transformations for Acyclic Phase Type Distributions
    Technical Report 827, Dep. of Computer Science, TU Dortmund, 2009.
    [Details]
  • 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.
    [Details]

 

Theses

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