Journals

• ​​​​Luo L., Foerster K.-T., Schmid St., Yu H.:
  Optimizing Multicast Flows in High-Bandwidth Regonfigurable Datacenter Networks.
  In: Journal of Network and Computer Applications, Vol. 203, 103399, 2022. https://doi.org/10.1016/j.jnca.2022.103399

• Zabka Ph., Foerster K.-T., Schmid St., Decker Ch.:
  Empirical evaluation of nodes and channels of the lightning network
  In: Pervasive and Mobile Computing; Vol. 83, 101584, 2022. doi.org/10.1016/j.pmcj.2022.101584

Journals

• Buchholz P., Dohndorf I.:
  A multi-objective approach for PH-graphs with applications to stochastic shortest paths.
  In: Math. Methods Oper. Res. 93(1): 153-178 (2021).

• Pacut M., Dai W., Labbe A., Foerster K.-T., Schmid S.:
  Improved scalability of demand-aware datacenter topologies with minimal route lengths and congestion.
  In: Perform. Evaluation 152: 102238, 2021. doi.org/10.1016/j.peva.2021.102238

Proceedings

• Zhou Z., He M., Kellerer W., Blenk A., Foerster K.-T.:
  P4Update: fast and locally verifiable consistent network updates in the P4 data plane.
  In: ACM CoNEXT 2021: 175-190. doi.org/10.1145/3485983.3494845
   
• Parham M., Fenz T., Süss N., Foerster K.-T., Schmid S.:
  Traffic engineering with joint link weight and segment optimization.
  In: ACM CoNEXT 2021: 313-327. doi.org/10.1145/3485983.3494846
   
• Shukla A., Foerster K.-T.:
  Shortcutting Fast Failover Routes in the Data Plane.
  In: ACM/IEEE ANCS 2021. doi.org/10.1145/3493425.3502751
   
• Fenz T., Foerster K.-T., Schmid S.:
  On Efficient Oblivious Wavelength Assignments for Programmable Wide-Area Topologies.
  In: ACM/IEEE ANCS 2021.
  Link: doi.org/10.1145/3493425.3502753
   
• Schweiger O., Foerster K.-T., Schmid S.:
  Improving the Resilience of Fast Failover Routing: TREE (Tree Routing to Extend Edge disjoint paths).
  In: ACM/IEEE ANCS 2021. doi.org/10.1145/3493425.3502747
   
• Puzicha A., Buchholz P.:
  A Simulation Environment for Autonomous Robot Swarms with Limited Communication Skills. In: Houbing Song und Dingde Jiang (Hg.): Simulation Tools and Techniques. Cham, 2021. Cham: Springer International Publishing, S. 206–226. Online verfügbar unter doi.org/10.1007/978-3-030-72795-6_17.
   
• Puzicha A., Buchholz P.:
  Decentralized model predictive control for autonomous robot swarms with restricted communication skills in unknown environments. In: Procedia Computer Science 186, S. 555–562. doi.org/10.1016/j.procs.2021.04.176.
   
• Mäckel D., Winkels J., Schumacher, C.:
  Synthesis of Scheduling Heuristics by Composition and Recombination.
  In: Bernabé Dorronsoro, Lionel Amodeo, Mario Pavone und Patricia Ruiz (Hg.): Optimization and Learning. Cham, 2021. Cham: Springer International Publishing, S. 283–293.

Other Publications

• Buchholz P.:
  On the Representation of Correlated Exponential Distributions by Phase Type Distributions.
  CoRR abs/2108.12223 (2021)
   
• Puzicha A.:
  Control of decentralized systems under uncertainty.
  Dagstuhl 2021 - Joint Meeting of the German RTGs in Computer Science 2021, doi.org/10.25593/opus4-fau-16426

Journals

• Schumacher, C., Buchholz, P.:
  Scheduling Algorithms for a Hybrid Flow Shop under Uncertainty.
  In: Algorithms 13 (11), 277, 2020.

Proceedings

• Bause F.:
  An Efficient Brute Force Approach to Fit Finite Mixture Distributions.
  In: Hermanns H. (eds) Measurement, Modelling and Evaluation of Computing Systems. MMB 2020. Lecture Notes in Computer Science, Vol 12040.
  Springer, Cham, 2020, pp. 208-224.
   
• Blume A., Buchholz P., Scherbaum C.:
  Markovian Arrival Processes in Multi-dimensions.
  In: Gribaudo M., Jansen D.N., Remke A. (eds) Quantitative Evaluation of Systems. QEST 2020. Lecture Notes in Computer Science, vol 12289. Springer, Cham, 2020.
   
• Puzicha A., Buchholz P.:
  Real-Time Simulation of Robot Swarms with Restricted Communication Skills.
  2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Prague, Czech Republic, 2020, pp. 1-8
   

Bücher/Buchbeiträge - Books/Book Contributions

• Scheftelowitsch, D.:
  The state of artificial intelligence: an engineer’s perspective on autonomous systems
  The Impact of Artificial Intelligence on Strategic Stability and Nuclear Risk, Volume I
  SIPRI, May 2019

Journals

• Buchholz P., Scheftelowitsch D.:
  Computation of Weighted Sums of Rewards of Concurrnet MDPs.
  Mathematical Methods in Operations Research 89 (1), 1-42 (2019).
   
• Buchholz P., Scheftelowitsch D.:
  Light Robustness in the Optimization of Markov Decision Processes with Uncertain Parameters.
  Computers & Operations Research 108, 69-81 (2019).
   
• Schumacher, Christin; Lager, Hendrik; Regelmann, Philipp; Winkels, Jan; Graefenstein, Julian
  Einfluss der Industrie 4.0 auf Kompetenz- und Rollenprofile. Disruption von Berufsbildern durch den erhöhten Bedarf von IT-Kompetenzen im produzierenden Gewerbe.
  Industrie Management 35 (2), S. 42-57, 2019.

Proceedings

• Amparore E. G., Buchholz P., Donatelli S.:
  Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets.
  QEST 2019: 355-360
   
• Buchholz P., Dohndorf I., Kriege J.:
  An Online Approach to Estimate Parameters of Phase-Type Distributions.
  DSN 2019, 100-111.

Journals

• Bock F., Siegl S., Bazan P., Buchholz P., German R.:
  Reliability and test effort analysis of multi-sensor driver assistance systems.
  Journal of Systems Architecture - Embedded Systems Design 85-86: 1-13 (2018)
   
• Buchholz P., Vastag S.:
  Toward an analytical method for SLA validation.   
  Software and System Modeling 17(2): 527-545 (2018).
   
• Buchholz P., Scheftelowitsch D.:
  Computation of weighted sums of rewards for concurrent MDPs
  Math Meth Oper Res (2018). doi.org/10.1007/s00186-018-0653-1
   
• Krumm H, Reiss N, Burkert M, Schmidt T, Biehs S, Bohr C, Gürtler F, Horn H, Kreutzer P, Mewes P, Miller H, Riest C, Römer C, Seebold A, Sprung G, Ziegler O:
  Development of a Computer-Aided Dosage and Telemonitoring System for Patients Under Oral Anticoagulation Therapy
  Stud Health Technol Inform. 2018;248:188-195.

Proceedings

• Bause F., Buchholz P.:
  SLA Tool.
  In: German R., Hielscher KS., Krieger U. (eds) Measurement, Modelling and Evaluation of Computing Systems. MMB 2018. Lecture Notes in Computer Science, vol 10740. Springer, Cham
   
• Buchholz P., Dayar T.:
  Efficient transient analysis of a class of compositional Fluid Stochastic Petri Nets.
  DSN 2018: 291-302.
   
• Buchholz P., Dohndorf I., Scheftelowitsch D.:
  Time-Based Maintenance Models Under Uncertainty.
  In: German R., Hielscher KS., Krieger U. (eds) Measurement, Modelling and Evaluation of Computing Systems. MMB 2018. Lecture Notes in Computer Science, vol 10740. Springer, Cham
   
• Müller D., Schumacher C., Zeidler F.:
  Intelligent Adaption Process in Cyber-Physical Production Systems
  In T. Margaria and B. Steffen (Hrsg.): Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Part III, 2018, pp. 411–428.
   

• Schumacher, C.:
  Combining Forecasting, Simulation and Heuristics for Scheduling in Factories
  In: Ahmet Aker, Benjamin Cabrera, Tobias Hecking, Jakob Rehof, David Scholz, Sevda Tarkun und Jan Winkels (Hg.): Proceedings of the 12th Joint Workshop of the German Research Training Groups in Computer Science. Dagstuhl,
  May 27 – 30, 2018, S. 123.

• Scheftelowitsch D.:
  Collider – Parallel Experiments in Silico.
  In: German R., Hielscher KS., Krieger U. (eds) Measurement, Modelling and Evaluation of Computing Systems. MMB 2018. Lecture Notes in Computer Science, vol 10740. Springer, Cham

Dissertationen – Dissertations

• Dimitri Scheftelowitsch:
  Markov decision processes with uncertain parameters
  Dissertation, Technische Universität Dortmund, Fakultät für Informatik, Dortmund, 2018.

Journals

• Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch:
  Optimal Decisions for Continuous Time Markov Decision Processes over
  Finite Planning Horizons
  Computers & Operations Research 77, 267-278, 2017

• Peter Buchholz, Jan Kriege:
  Fitting Correlated Arrival and Service Times and Related Queueing Performance
  Queueing Systems 85 (3-4), 337-359, 2017

• Peter Buchholz, Tugrul Dayar, Jan Kriege, M. Can Orhan:
  On compact solution vectors in Kronecker-based Markovian analysis
  Perform. Eval. 115: 132-149, 2017

• Uwe Clausen, Daniel Diekmann, Moritz Pöting, Christin Schumacher:
  Operating parcel transshipment terminals: a combined simulation and optimization approach
  Journal of Simulation, Volume 11, Issue 1, pp. 2-10, 2017

• Tim Delbrügger, Frederik Döbbeler, Julian Graefenstein, Hendrik Lager, Lisa T. Lenz, Matthias Meißner, Daniel Müller, Philipp Regelmann, David Scholz, Christin Schumacher, Jan Winkels, Andreas Wirtz, Felix Zeidler:
  Anpassungsintelligenz von Fabriken im dynamischen und komplexen Umfeld
  ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, Volume 112, Issue 6, pp. 364-368, 2017

• Andreas Hoffjan, Christin Schumacher, Ivan Galant:
  Echtzeitsteuerung?
  Controlling, Volume 29, Special Issue 1, pp. 31-34, 2017

Proceedings

• Falko Bause, Peter Buchholz, Johannes May:
  A Tool Supporting the Analytical Evaluation of Service Level Agreements
  Proc. of the 8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017), L'Aquila (Italy), 22.-26. April 2017. pp. 233-244

• Christin Schumacher, Moritz Pöting, Jonas Rau, Christian Tesch:
  Combining DES with metaheuristics to improve scheduling and workloads in parcel transshipment terminals
  Proceeding MIC/MAEB, July 4-7, 2017, Barcelona, pp. 720-729

• Falko Bause, Peter Buchholz, Igor V. Tarasyuk, Miklós Telek:
  Equivalence and Lumpability of FSPNs
  Proc. of the 24th International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASMTA 2017), Newcastle-upon-Tyne, UK, 10-12 July 2017, pp. 16-31

• Peter Buchholz, Iryna Dohndorf, Alexander Frank, Dimitri Scheftelowitsch:
  Bounded Aggregation For Continuous Time Markov Decision Processes
  In P. Reinecke, A. Di Marco (Eds.) Computer Performance Engineering - 14th European Workshop (EPEW'17), Springer LNCS 10497, 2017, pp. 3-18

• Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch:
  Analysis of Markov Decision Processes under Parameter Uncertainty
  In P. Reinecke, A. Di Marco (Eds.) Computer Performance Engineering - 14th European Workshop (EPEW'17), Springer LNCS 10497, 2017, pp. 19-32

• Moritz Pöting, Christin Schumacher, Jonas Rau, Uwe Clausen:
  A combined simulation optimization framework to improve operations in parcel logistics
  Proc. of the Winter Simulation Conference 2017, December 3-6, Las Vegas, Accepted

• Jan Kriege:
  Markovian Modeling of Wireless Trace Data
  Proc. of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools (ValueTools), 2017.

Dissertationen – Dissertations

• Iryna Dohndorf:
  Stochastic Graph Models with Phase Type Distributed Edge Weights
  Dissertation, Technische Universität Dortmund, Fakultät für Informatik, Dortmund, 2017

Proceedings

• 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

• 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

• Malte Burkert, Jörn Esdohr, Heiko Krumm:
  A small-scale model house evaluation platform for building automation systems
  2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), Berlin, 2016, pp. 1-8.

• Malte Burkert, Heiko Krumm:
  Dependency Management in Component-Based Building Automation Systems
  2016 IEEE 14th Intl Conf on Dependable, Autonomic and Secure Computing, 14th Intl Conf on Pervasive Intelligence and Computing, 2nd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech), Auckland, 2016, pp. 352-359.

Journals

• Peter Buchholz, Iryna Felko:
  PH-Graphs for Analyzing Shortest Path Problems with Correlated Traveling Times
  Computers & Operations Research 59, 2015, 51-65.

Proceedings

• Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch:
  Equivalence and Minimization for Model Checking Labeled Markov Chains
  ValueTools, 2015

• Malte Burkert, Heiko Krumm, Christoph Fiehe:
  Technical Management System for Dependable Building Automation Systems
  Proceedings of the 9th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE) as part of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2015), IEEE, Sept. 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

• Malte Burkert, Franz-Josef Stewing, Heiko Krumm, Christoph Fiehe, Ingo Lück:
  Networked Devices Meeting Dependability while Supporting the Medical Supervision of Cardiac Patients under Rehabilitation
  Proceedings of the 13th IFAC Conference on Programmable Devices and Embedded Systems (PDeS 2015), IEEE, IFAC, 2015

• Dimitri Scheftelowitsch:
  The Complexity of Uncertainty in Markov Decision Processes
  SIAM CT15, 2015

• Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis:
  Markov Decision Petri Nets with Uncertainty
  12th Int. Workshpop EPEW 2015, Springer LNCS  9272, S. 177-192

Bücher/Buchbeiträge - Books/Book Contributions

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

Journals

• Peter Buchholz, Jan Kriege:
  Approximate aggregation of Markovian models using alternating least squares
  Performance Evaluation, Volume 73, 2014.

Proceedings

• Elvio Amparore, Peter Buchholz, Susanna Donatelli:
  A Structured Solution Approach for Markov Regenerative Processes
  Proc. Quantitative Evaluation of System, Springer LNCS 8657, 2014, 9-24.

• 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.

• 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.

• Israfil Akman, Henning Brümmer, Rafael Bielen, Jan-Dirk Hoffmann, Oliver Dohndorf, Stefan Tschentscher, Heiko Krumm, Egor Kudrjaschow, Anke Workowski, Detlev Willemsen:
  CordiAAL - Enhanced Motivation for Cardiological Ergometer Training through Virtual Groups in Virtual Worlds
  Proceedings of the International Conference on Health Informatics (HEALTHINF 2014), SCITEPRESS Digital Library, www.scitepress.org, 2014.
  Preliminary version (PDF)
  Further information can be found in (in German):
  Susanne Riese: Reif für die Insel – Herzsport im grünen Bereich,
  in: MUNDO, TU Dortmund, Dortmund, 19/13, 2013; Seite 13-15.
  Dissertationen – Dissertations

• Sebastian Vastag:
  SLA Calculus
  Dissertation, Technische Universität Dortmund, Fakultät für Informatik, Dortmund, 2014

Journals

• P. Buchholz, M. Telek:
  On Minimal Representation of Rational Arrival Processes.
  Annals of Operations Research 202 (1), 2013, 35-58..

• P. Buchholz, M. Telek:
  Rational Automata Networks - A Non-Markovian Modeling Approach -
  INFORMS Journal on Computing 25 (1), 2013, 87-101.

• P. Buchholz:
  Numerical Analysis of Rational Processes - Beyond Markov Chains -
  Performance Evaluation 70 (9) , 2013, 646-662.

Proceedings

• Jan Kriege:
  Modellierung korrelierter Eingabedaten für Simulationen
  Ausgezeichnete Informatikdissertationen 2012, GI Lecture Notes in Informatics (LNI), 2013.

• P. Buchholz, I. Felko, J. Kriege:
  Transformation of Acyclic Phase Type Distributions for Correlation Fitting.
  20th International Conference on Analytical & Stochastic Modelling Techniques & Applications (AMSTA), Springer LNCS 7984, 2013, 96-111.

Journals

• P. Buchholz, M. Telek:
  On Minimal Representation of Rational Arrival Processes.
  Annals of Operations Research (Abstract in  Proc. MCQR'2010).

• P. Buchholz, M. Telek:
  Rational Processes Related to Communicating Markov Processes.
  Journal of Applied Probability 49 (1), 2012, pp. 40-59.

• P. Buchholz, M. Telek:
  Rational Automata Networks - A Non-Markovian Modeling Approach.
  INFORMS Journal on Computing.

Proceedings

• P. Buchholz, J. Kriege:
  Traffic Modeling with a Combination of Phase-Type Distributions and ARMA Processes.
  WSC 2012

• P. Buchholz, J. Kriege:
  Aggregation of Markovian Models - An Alternating Least Squares Approach.
  Proc.  QEST 2012, IEEE Computer Society

• M. Ford, P. Buchholz, W. H. Sanders:
  State-Based Analysis in ADVISE.
  Proc.  QEST 2012, IEEE Computer Society

• P. Buchholz:
  Finite Horizon Analysis of Infinite CTMDPs.
  Proc. DSN 2012, IEEE Press, (Eds. R. S. Swarz, P.  Koopman and M. Cukier)

• S. Vastag:
  A Calculus for SLA Delay properties.
  16th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance (MMB 2012)

• O. Dohndorf, A. Göring, H. Krumm, A. Schneider, A. Sommer, S. Sladek, C. Busch, J.-D. Hoffmann, D. Willemsen:
  RehaWeb - Ein Informationssystem zur Unterstützung der kardiologischen Rehabilitation in der 3. Phase.
  In: Proc. Technik für ein selbstbestimmtes Leben - 5. Deutscher AAL-Kongress (AAL 2012), VDE Verlag, 2012.

• O. Dohndorf, A. Göring, H. Krumm, A. Schneider, A. Sommer, S. Sladek, C. Busch, J.-D. Hoffmann, D. Willemsen:
  RehaWeb - An Information System for Cardiologic Rehabilitation Assistance in the Third Phase.
  Ambient Assisted Living - 5. AAL-Kongress 2012, pp. 273-288, Springer-Verlag Berlin Heidelberg, Berlin, 2012

Dissertationen - Dissertations

• Jan Kriege:
  Fitting Simulation Input Models for Correlated Traffic Data.
  Dissertation, Technische Universität Dortmund, Fakultät für Informatik, Dortmund, 2012.

Journals

• P. Buchholz, I. Schulz:
  Numerical Analysis of Continuous Time Markov Decision processes over Finite Horizons.
  Computers and Operations Research 38 (3), 2011, pp. 651-659.

• P. Buchholz:
  Bounding Reward Measures of Markov Models using Markov Decision Processes.
  Numerical Linear Algebra and Applications 18 (6), 2011, 919-930. (Short version in  Proc. NSMC 2010)

• P. Buchholz, A. Horvath, M. Telek:
  Stochastic Petri Nets with low variation matrix exponentially distributed firing times.
  Int. Journal of Performability Engineering 7 (5), 2011, pp. 441-454.

• J. Kriege, P. Buchholz.
  Correlated Phase-type distributed Random Numbers as Input Models for Simulations
  Performance Evaluation 68 (11), 2011,  1247-1260 (special issue Performance 2011)

• Joao Porto de Albuquerque, Heiko Krumm, Paulo Licio de Geus, Rene Jeruschkat:
  Scalable Model-Based Configuration Management of Security Services in Complex Enterprise Networks.
  Software: Practice and Experience, Volume 41, Issue 3, pages 307–338, March 2011

Proceedings

• P. Buchholz, M. Telek:
  Composition and Equivalence of Markovian and Non-Markovian Models.
  In Proc.  8th Int. Conf. on Quantitative Evaluation of SysTems, (QEST'11), IEEE 2011, 213-222.

• P. Buchholz, E. M. Hahn, H. Hermanns, L. Zhang:
  Model Checking Algorithms for CTMDPs.
  In: Ganesh Gopalakrishnan, Shaz Qadeer (Eds.): Computer Aided Verification (CAV' 2011), Springer LNCS 6806, 2011, pp. 225-242.

• J. Kriege, P. Buchholz:
  Simulating Stochastic Processes with OMNeT++.
  Proc.  4th Int. OMNeT++-Workshop.

• Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing:
  Adaptive and Reliable Binding in Ambient Service Systems.
  in Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011), Workshop Service Oriented Architectures in Converging Networked Environments (SOCNE 2011), Toulouse, Frankreich, 2011

• Naci Dai, Jesus Bermejo, Felix Cuadrado Latasa, Alejandra Ruiz López, Isaac Agudo, Elmar Zeeb, Jan Krüger, Wolfgang Thronicke, Oliver Dohndorf, Christoph Fiehe, Anna Litvina:
  OSAMI COMMONS - An Open Platform for Dynamic Services for Ambient Intelligence.
  in Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011), Workshop Service Oriented Architectures in Converging Networked Environments (SOCNE 2011), Toulouse, Frankreich, 2011

• Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing:
  Tool-Supported Refinement of High-Level Requirements and Constraints into Low-Level Policies.
  in Proceedings of the 12th IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY 2011), Pisa, Italien, 2011

• Sebastian Vastag:
  Modeling quantitative requirements in SLAs with Network Calculus.
  In Proceedings of the 5th International ICST Conference on Performance Evaluation Methologies and Tools (ValueTools), ENS Cachan, France, May 17th-20th 2011, ICST.

• Iryna Felko:
  Simulation-based deadlock avoidance and optimization in bidirectional AGVS.
  Proc. of the 4th International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools 2011), Barcelona, 2011.

Tutorials

• P. Buchholz:
  Continuous Time Markov Decision Processes - Theory, Applications and Computational Algorithms.
  Tutorial at QEST 2011, September 2011, Aachen, Germany. (slidesf) http://ls4-www.cs.tu-dortmund.de/download/buchholz/Slides/CTMDP_V1.1.pdf

Journals

• M. Arns, P. Buchholz, A. Panchenko:
  On the numerical Analysis of Inhomogeneous Continuous Time Markov Chains.
  INFORMS Journal on Computing 22 (3), 2010, pp. 416-432.

• F. Bause, P. Buchholz, J. Kriege, S. Vastag:
  A Simulation Environment for Hierarchical Process Chains based on OMNeT++.
  Simulation 86 (5/6), 2010, pp. 291-309.

• P. Buchholz:
  Product Form Approximations for Communicating Markov Processes.
  Performance Evaluation 67 (9), 2010, 797-815 (Pre-version Proc. 5th Int. Conf. on the Quantitative Evluation of Systems, IEEE Press 2008, pp. 135-144 (Best paper award)).

• P. Buchholz, P. Kemper:
  Model Checking a Class of Weighted Automats.
  Discrete Event Dynamic Systems 20 (1), 2010, pp. 103-137.

• P. Buchholz, M. Telek:
  Stochastic Petri Nets with Matrix Exponential Firing Times.
  Performance Evaluation 67 (12), 2010, pp. 1373-1385.

• Joao Porto de Albuquerque, Heiko Krumm, Paulo Licio de Geus:
  Formal Validation of Automated Policy Refinement in the Management of Network Security Systems.
  International Journal of Information Security , Springer, Volume 9, Issue 2 (2010), pp. 99-125.

• P. Buchholz, P. Kemper, J. Kriege.
  Multi Class Markovian Arrival Processes and Their Parameter Fitting.
  Performance Evaluation, Volume 67, Issue 11, 2010, pp. 1092-1106.

Proceedings

• J. Kriege, P. Buchholz:
  An Empirical Comparison of MAP Fitting Algorithms.
  In: ''Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance'', Proc. of the 15th International GI/ITG Conference, MMB&DFT 2010, Essen (Germany), March 2010, Springer, LNCS 5987, pp. 259-273.

• P. Buchholz:
  Bounding Reward Measures of Markov Models using Markov Decision Processes (Abstract).
  In: Proc. 6th Int. Workshop on the numerical Solution of Markov Chains (2010), pp. 13-16.

• F. Bause, P. Buchholz, J. Kriege:
  ProFiDo - The Process Fitting Toolkit Dortmund.
  In: Proc. 7th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2010), IEEE Press 2010, pp. 87-96.

• L. Bodrog, P. Buchholz, J. Kriege, M. Telek:
  Canonical Form Based MAP(2) Fitting.
  In: Proc. 7th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2010), IEEE Press 2010, 107-116.

• Bause, F.; Gerloff, Ph.; Kriege, J.:
  ProFiDo - A Toolkit for Fitting Input Models.
  In: ''Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance'', Proc. of the 15th International GI/ITG Conference, MMB&DFT 2010, Essen (Germany), March 2010, Springer, LNCS 5987, pp. 311-314.

• Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing:
  Policy-Based Management for Resource-Constrained Devices and Systems.
  In: Proc. of the 11th IEEE International Symposium on Policies for Distributed Systems and Networks 2010 (Policy 2010), Fairfax, Virginia, USA, 2010.

• S. Feldhorst,M. Fiedler, M. Heinemann,M. ten Hompel, H. Krumm:
  Event-based 3D-Monitoring of Material Flow Systems in Real-Time.
  In: Proc. of the 8th IEEE International Conference on Industrial Informatics 2010 (INDIN'10), Osaka, Japan, IEEE, 2010.

• Elmar Zeeb, Guido Moritz, Wolfgang Thronicke, Myriam Lipprandt, Andreas Heinz, Frerk Müller, Jan Krüger, Oliver Dohndorf, Anna Litvina, Christoph Fiehe, Ingo Lück, Frank Golatowski, Dirk Timmermann:
  Generic Platform for Advanced E-Health Applications.
  In: Proceedings of the IEEE 12th International Conference on e-Health Networking, Application & Services (Healthcom2010), Lyon, France, 2010

• Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing, Oliver Dohndorf, Jan Krüger and Heiko Krumm:
  Towards the Web of Things: Using DPWS to Bridge Isolated OSGi Platforms.
  In: Proc. of the IEEE 8th International Conference on Pervasive Computing and Communications (PerCom 2010), Workshop Web of Things (WoT 2010), Mannheim, Deutschland, 2010.

• Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück and Franz-Josef Stewing:
  Lightweight Policy-Based Management of Quality-Assured, Device-Based Service Systems.
  In: Proc. of the IEEE 24th International Conference on Advanced Information Networking and Applications (AINA 2010), Workshop Service Oriented Architectures in Converging Networked Environments (SOCNE 2010), Perth, Australia, 2010.

• F. Bause, G. Horvath:
  Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes.
  In: Proc. 7th Int. Conf. on Quantitative Evaluation of Systems (QEST 2010), IEEE Press 2010, Williamsburg, Virginia, USA, September 15-18, pp. 97-106.

Bücher/Buchbeiträge - Books/Book Contributions

• M. Arns, P. Buchholz, D. Müller:
  Optimierung ereignis-diskreter Simulationsmodelle im ProC/B-Toolset
  In: P. Buchholz, U. Clausen (Hrsg.): Große Netze der Logistik, Springer 2009, S. 185-213.

• F. Bause, H. Beilner, J. Kriege:
  ProC/B: Eine Modellierungsumgebung zur prozessketten-orientierten Beschreibung und Analyse logistischer Netze
  In: P. Buchholz, U. Clausen (Hrsg.): Große Netze der Logistik, Springer 2009, S. 19-57

• P. Buchholz, U. Clausen:
  Große Netze der Logistik
  Die Ergebnisse des Sonderforschungsbereichs 559, Springer, 2009.

Journals

• M. Arns, P. Buchholz, D. Müller:
  OPEDo: A Tool for the Optimization of Performance and Dependability Models
  ACM Performance Evaluation Review, Vol. 36, No. 4, 2009, pp. 22-27.

Proceedings

• P. Buchholz:
  Optimization of Stochastic Discrete Event Simulation Models
  Models and Algorithms for Optimization Logistics, Dagstuhl Seminar Proceedings 09261, 2009.

• F. Bause, P. Buchholz, J. Kriege:
  A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes
  In: Proc. of Winter Simulation Conference 2009 (WSC 2009), Dec. 13-16, Austin (Texas, USA), 2009.

• F. Bause, P. Buchholz, J. Kriege, S. Vastag:
  Simulation Based Validation of Quantitative Requirements in Service Oriented Architectures
  In: Proc. of Winter Simulation Conference 2009 (WSC 2009), Dec. 13-16, Austin (Texas, USA), 2009.

• P. Buchholz, J. Kriege:
  A Heuristic Approach for Fitting MAPs to Moments and Joint Moments
  In: Proc. of the 6th International Conference on Quantitative Evaluation of SysTems (QEST 2009), IEEE Computer Society, 2009, pp. 53-64.

• P. Buchholz, D. Müller:
  Statistical Analysis and Comparison of Simulation Models of Highly Dependable Systems - An Experimental Study
  In: Proc. of Winter Simulation Conference 2009 (WSC 2009), Dec. 13-16, Austin (Texas, USA), 2009.

• M. Eichelberg, F.-J. Stewing, W. Thronicke, K. Hackbarth, M. Seufert, C. Busch, A. Hein, H. Krumm, M. Ditze, F. Golatowski:
  OSAMI Commons - Eine Softwareplattform für flexible verteilte Dienstesysteme über Geräten und eingebetteten Systemen
  In: Tagungsband 2. Deutscher AAL-Kongress 2009, VDE, 2009.

• S. Vastag:
  Modellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets
  In: Proc. of INFORMATIK 2009, 2. Workshop "Planung und Simulation in logistischen Anwendungen", Lübeck, 28.09. -02.10.2009

• M. Lipprandt, M. Eichelberg, W. Thronicke, J. Krüger, I. Drüke, D. Willemsen, C. Busch, C. Fiehe, E. Zeeb, F. Golatowski, A. Hein:
  OSAMI-D - A Domain-Specific Software Platform for Health Care Services
  in Proc. IEEE Conf. Human System Interaction 2009 (HSI09), IEEE, 2009.

• S. Feldhorst, S. Libert, M. ten Hompel, H. Krumm:
  Integration of a Legacy Automation System into a SOA for Devices
  in Proc. of 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, IES, 2009.

• C. Fiehe, A. Litvina, I. Lück und F.-J. Stewing - MATERNA Information & Communications; O. Dohndorf, J. Krüger und H. Krumm - TU Dortmund:
  Policy-gesteuertes Management adaptiver und gütegesicherter Dienstesysteme im Projekt OSAMI (in German)
  in Proc. 39. GI Jahrestagung 2009 (Workshop AAL), Gesellschaft für Informatik, Lübeck, 2009.

• C. Fiehe, A. Litvina, I. Lück, O. Dohndorf, J. Kattwinkel, F.-J. Stewing, J. Krüger, H. Krumm:
  Location-Transparent Integration of Distributed OSGi Frameworks and Web Services
  in Proc. of the IEEE 23nd International Conference on Advanced Information Networking and Applications - Workshop SOCNE (AINA 2009), Bradford, UK, May 2009.

• M. Eichelberg, F.-J. Stewing, W. Thronicke, K. Hackbarth, M. Seufert, C. Busch, A. Hein, H. Krumm, M. Ditze, F. Golatowski:
  OSAMI Commons - Eine Softwareplattform für flexible verteilte Dienstesysteme über Geräten und eingebetteten Systemen
  in: Tagungsband 2. Deutscher AAL-Kongress 2009, VDE, 2009.

Sonstige Veröffentlichungen - Other Publications

• Falko Bause, Jan Kriege, Sebastian Vastag:
  Efficient Validation of Process-based Simulation Models.
  Special Issue of the Simulation News Europe (SNE): Quality Aspects in Modelling and Simulation, August 2009 (ISSN 0929-2268), Vol. 19, No 2, pp. 30-38.

Forschungsberichte - Research reports

• F. Bause:
  Doubly Stochastic and Circulant Structured Markovian Arrival Processes
  Technical Reports in Computer Science, No. 824, TU Dortmund Dortmund (Germany), 2009.

• P. Buchholz, J. Kriege:
  Equivalence Transformations for Acyclic Phase Type Distributions
  Technical Report 827, Dep. of Computer Science, TU Dortmund, 2009

Bücher/Buchbeiträge - Books/Book Contributions

• F. Bause, P. Buchholz, (eds.):
  Proceedings 14th GI/ITG Conference Measurement, Modelling and Evaluation of Computer and Communication Systems
  VDE Verlag (ISBN 978-3-8007-3090-2), 2008.

• P. Buchholz:
  Optimization of Discrete Event Simulation Models in the ProC/B-Toolset
  In: P. Buchholz, A. Kuhn (eds.), Optimization of Logistics Systems, Verlag Praxiswissen, 2008, pp. 99-121.

• P. Buchholz, A. Kuhn (eds.):
  Optimization of Logistics Systems - Methods and Experiences
  Verlag Praxiswissen 2008.

Journals

• P. Buchholz:
  Bisimulation Relations for Weighted Automata
  Theoretical Computer Science 393 (1-3), 2008, pp. 109-123.

• P. Buchholz, A. Panchenko:
  On the Analysis of CSMA-Based Control Networks with Priorities and Multicast
  IEEE Trans. on Industrial Informatics 4 (1), 2008, pp. 26-36.

Proceedings

• F. Bause, P. Buchholz, J. Kriege, S. Vastag:
  A Framework for Simulation Models of Service-Oriented Architectures
  In: S. Kounev, I. Gorton, and K. Sachs (eds.): Performance Evaluation: Metrics, Models and Benchmarks, SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, LNCS 5119, pp. 208-227, Springer, 2008.

• F. Bause, P. Buchholz, J. Kriege, S. Vastag:
  Simulating Process Chain Models with OMNeT++
  Proc. of the First International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools 2008), Marseille (France), March 3-7, 2008.

• P. Buchholz:
  Product Form Approximations for Communicating Markov Processes
  Accepted for QEST 2008.

• J. Kriege, S. Vastag:
  ProC/B goes OMNeT++: Efficient Simulation of Process Chains
  Proc. of the 14th GI/ITG Conference on Measurement, Modelling, and Evaluation of Computer and Communication Systems (MMB 2008), Dortmund, 2008.

• A. Pohl, H. Krumm, F. Holland, I. Lück, F.-J. Stewing:
  Service-orientation and flexible service binding in distributed automation and control systems
  In: Proc. of the IEEE 22nd International Conference on Advanced Information Networking and Applications (AINA 2008), Okinawa, Japan, Mar. 2008.

• J. Porto de Albuquerque, H. Krumm, P. Licio de Geus:
  Model-based Management of Security Services in Complex Network Environments
  In: Proc. of the 11th IEEE/IFIP Network Operations and Management Symposium (NOMS 2008), Salvador - Bahia - Brazil, Apr. 2008.

Bücher/Buchbeiträge - Books/Book Contributions

• M. Berning, S. Vastag:
  Simulation selbststeuernder Transportnetze
  Buchbeitrag "Internet der Dinge", S. 119-126. ISBN 978-3-540-36729-1. Springer Verlag, 2007.

• F.-J. Stewing, I. Lück, H. Krumm, A. Pohl:
  Von der Gerätebindung zur automatisierten Integration geräte-basierter Webservices
  In: IMC Information Management & Consulting, 22(2007)2, S.95-98.

Journals

• P. Buchholz, T. Dayar:
  On the Convergence of a Class of Multilevel Methods for Large, Sparse Markov Chains
  SIAM Journal on Matrix Analysis and Applications 29 (3) 2007, pp. 1025-104

• D. Daly, P. Buchholz, W. H. Sanders.:
  A Preorder Relation for Markov Reward Processes
  Statistics and Probability Letters 77 (11) 2007, pp. 1148-1157. (Preversion: IBM Research Report RC 23827, Dec. 2005).

Proceedings

• F. Bause, J. Kriege:
  Detecting Non-Ergodic Simulation Models of Logistics Networks
  Proc. of the Second International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2007), Nantes (France), October 23-25, 2007.

• P. Buchholz, A. Panchenko:
  A Hybrid Algorithm for Parameter Fitting of Markovian Arrival Processes
  In: K. Al-Begain, A. Heindl, M. Telek. 14th Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications. SCS Press 2007, pp. 7-12.

• J. 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.

• S. Vastag:
  Modellierung selbststeuernder Servicenetze aus Netzplanungsdaten
  R. Koschke, O. Herzog, K. H. Rödiger, M. Ronthaler: INFORMATIK 2007 - Informatik trifft Logistik. 109th Lecture Notes in Informatics, pp. 422-424, Bonn, September 2007. Gesellschaft für Informatik.

• E. Zeeb, A. Bobek, H. Bohn, S. Prüter, A. Pohl, H. Krumm, I. Lück, F. Golatowski, D. Timmermann:
  WS4D: SOA-Toolkits making embedded systems ready for Web Services
  In: Proc. "Open Source Software and Product Lines 2007", Limerick, Ireland, 2007.

Sonstige Veröffentlichungen - Other Publications

• P. Buchholz:
  Iterations of different levels: Multilevel Methods for Structured Markov Chains
  Dagstuhl Seminar, Report 07071, 2007

Dissertationen - Dissertations

• I. Lück:
  Modellbasierte Konfiguration von Sicherheitsdiensten
  TU Dortmund, Fakultät für Informatik, 2007.

• A. Panchenko:
  Modelling of Network Traffic Processes by Means of Markovian Arrival Processes
  TU Dresden, Fakultät für Informatik, 2007

Journals

• P. Buchholz, J. P. Katoen, M. Verhoef:
  Guest editors' introduction: quantitative analysis of real-time embedded systems
  Int. J. Softw. Tools Techn. Transfer Vol. 8 (6), 2006, pp. 605-606.

• J. Plönnigs, P. Buchholz, M. Neugebauer, K. Kabitzsch:
  Automated Modelling and Analysis of CSMA Type Access Schemes for Building Automation
  IEEE Trans. on Industrial Informatics, Vol. 2, No. 2, May 2006, pp. 103-111.

• A. Tari, M. Telek, P. Buchholz:
  A Simplified Moment-Based Estimation Method for Extreme Probabilities, Infinite and Positive Case
  Int. Journ. on Simulation, Systems and Technology, Vol. 7 (4), 2006, pp. 15-28.

• A. Thümmler, P. Buchholz, M. Telek:
  A Novel Approach for fitting Probability Distributions to Trace Data with the EM Algorithm
  IEEE Trans. on Dependable and Secure Computing Vol. 3, No. 3, July-Sept. 2006, 245-258. (Pre-version in: Proc. of Int. Conf. on Dependable Systems and Networks 2005, IEEE CS Press 2005, 712-721).

Proceedings

• F. Bause, P. Buchholz:
  Modellierung von Supply Chains unter Berücksichtigung variierender Organisationsstrukturen
  Tagungsband 12. ASIM Fachtagung, Simulation in Produktion und Logistik, Universität Kassel, 26. bis 27. September 2006, pp. 53-62. ISBN 3-936150-48-6

• P. Buchholz:
  Structured Analysis Techniques for Large Markov Chains
  In: Proc. 1st Workshop on Tools for solving structured Markov Chains, ACM Press, CD Edition, 2006.

• P. Buchholz:
  Bounding Stationary Results of Tandem Networks with MAP Input and PH Service Time Distributions
  In: Proc. Sigmetrics/Performance 2006, ACM Press 2006, pp. 191-202.

• P. Buchholz, P. Kemper:
  Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques
  In: Proc. 3rd Int. Conf. on Performance Evaluation Methodology and Tools, IEEE CS Press 2006, pp. 233-242.

• P. Buchholz, P. Kemper, D. Müller, M. Stöber, A. Thümmler:
  OPEDo: A Tool for Optimization and Performance Evaluation of Stochastic Models
  In: R. German, A. Heindl (eds.). Proc. 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems. VDE Verlag 2006, pp. 457-460.

• P. Buchholz, D. Müller, P. Kemper, A. Thümmler:
  OPEDo: A Tool Framework for Modelling and Optimization of Stochastic Models
  In: Proc. 1st Int. Conf. on Performance Evaluation Methodology and Tools, ACM Press, CD Edition, 2006.

• P. Buchholz, A. Panchenko:
  A Queuing Network Approach for Modelling Control Nets in Building Automation
  In: R. German, A. Heindl (eds.). Proc. 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems. VDE Verlag 2006, pp. 317-334.

• P. Buchholz, A. Panchenko:
  The Influence of Priorities on the Performance of CSMA-Based Access Schemes for Control Nets
  In: Proc. 6th IEEE Int. Workshop on Factory Communication Systems (WFCS'2006), IEEE Press, CD Edition, 2006.

• D. Daly, P. Buchholz, W. H. Sanders:
  Bound Preserving Composition of Markov Reward Models
  In: Proc. 3rd Int. Conf. on Performance Evaluation Methodology and Tools, IEEE CS Press 2006, pp. 243-252.

• S. Illner, H. Krumm, I. Lück, A. Pohl, A. Bobek, H. Bohn, F. Golatowski:
  Model-Based Management of Embedded Service Systems - An Applied Approach
  In: Proc. 20th Int. IEEE Conf. on Advanced Information Networking and Applications (AINA2006), Vienna, Apr. 2006, Vol. 2, pp. 519-523, IEEE Computer Society Press, 2006.

• S. Illner, A. Pohl, H. Krumm, I. Lück, D. Manka, F.-J. Stewing:
  Policy-based self-management of industrial service systems
  In: Proc. 4th International IEEE Conference on Industrial Informatics (INDIN'06), Singapore, Aug. 2006, pp. 492-497, IEEE Computer Society Press, 2006.

• V. V. Lam, P. Buchholz, W. H. Sanders:
  A Component-level Path Decomposition Approach for Efficient Transient Analysis of Large CTMCs
  In: Proc. of Int. Conf. on Dependable Systems and Networks 2006, IEEE CS Press 2006, pp. 485-494.

Dissertationen - Dissertations

• M. Arns:
  Approximative Verfahren auf erweiterten Fork/Join-Warteschlangennetzen zur Analyse von Logistiknetzen
  Fachbereich Informatik, Universität Dortmund, 2006.

• M. Fischer:
  Parallele numerische Verfahren zur quantitativen Analyse logistischer Systeme
  Fachbereich Informatik, Universität Dortmund, 2006.

• J. Porto de Albuquerque:
  Model-Based Configuration Management of Security Systems in Complex Network Environments
  University of Campinas, Brasil, 2006.

• G. Rothmaier:
  Integrated Formal Modelling and Automated Analysis of Computer Network Attacks
  Fachbereich Informatik, Universität Dortmund, 2006.

Forschungsberichte - Research reports

• F. Bause, T. Geißen, A. Meinke, V. Tatah, M. Völker:
  Performance Evaluation For Cost Calculation of Business Processes
  Technical Report Sonderforschungsbereich 559 "Modellierung großer Netze in der Logistik" No. 06006, ISSN 1612-1376, 2006.

• M. Hierweck, J. Finzel, A. van Almsick, J. Kriege, M. Schwenke:
  ProC/B-Editor - Handbuch
  Sonderforschungsbereich 559 Modellierung großer Netze in der Logistik, Technical Report 06002, ISSN 1612-1376, 2006.

Journals

• P. Buchholz:
  An Improved Method for Bounding Stationary Measures of Finite Markov Process
  Performance Evaluation 62 (1-4), 2005, pp. 349-365 (Special Issue Performance 2005)

• P. Buchholz, T. Dayar:
  Block SOR preconditioned projection methods for Kronecker structured Markovian representations
  SIAM Journal on Scientific Computing 26 (4), 2005, pp. 1289-1313.

Proceedings

• P. Buchholz, D. Müller, A. Thümmler:
  Optimization of Process Chain Models with Response Surface Methodolgy and The ProC/B Toolset
  In: H. G. Lünther, D. Mattfield, L. Sul (eds.), Supply Chain Management and Logistik, Physica Verlag 2005, pp. 553-573.

• P. Buchholz, C. Tepper:
  Functional Analysis of Process Oriented Systems
  In: H. Fleuren, D. den Hertog, P. Kort (eds.), Operations Research Proceedings 2004, Springer 2005, pp. 127-135.

• P. Buchholz, A. Thümmler:
  Enhancing Evolutionary Algorithms with Statistical Selection Procedures for Simulation Optimization
  Winter Simulation Conference 2005, December 2005, Orlando FL, U.S.A.

• G. Horvath, P. Buchholz, M. Telek:
  A MAP Fitting Approach with Independent Approximation of the Inter-Arrival Time Distribution and the Lag-Correlation
  In: 2nd Int. Conference on Quantitative Evaluation of Systems (QEST'2005), IEEE CS Press 2005, pp. 124-133.

• S. Illner, H. Krumm, A. Pohl, I. Lück, D. Manka, T. Sparenberg:
  Policy Controlled Automated Management of Distributed and Embedded Service Systems
  In: Proc. IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2005), Innsbruck, pp. 710-715, 2005.

• S. Illner, A. Pohl, H. Krumm:
  Model-driven Security Management of Embedded Service Systems
  In: Proc. 31th Annual Conference of the IEEE Industrial Electronics Society (IECON'05) Raleigh, North Carolina, USA, November 6-10, pp. 2655-2660, IEEE Computer Society Press, 2005.

• S. Illner, A. Pohl, H. Krumm, I. Lück, D. Manka, Th. Sparenberg:
  Automated Runtime Management of Embedded Service Systems Based on Design-Time Modelling and Model Transformation
  In: Proc. 3rd IEEE Int. Conf. on Industrial Informatics (INDIN05), Perth, Australia, IEEE Computer Society Press, IEEE Catalogue Number: 05EX1057C, Paper Number PD-001854, 2005.

• V. V. Lam, P. Buchholz, W. H. Sanders:
  A Component-level Path-based Approach for Efficient Analysis of Large Markov Models
  Winter Simulation Conference 2005, December 2005, Orlando FL, U.S.A

• J. Porto de Albuquerque, H. Isenberg, H. Krumm, P. Licio de Geus:
  Improving the Configuration Management of Large Network Security Systems
  In: J. Schönwälder and J. Serrat (eds.), Ambient Networks: 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005. Proceedings, vol. 3775 of Lecture Notes in Computer Science, pp. 36-47, Berlin Heidelberg, Germany, Springer-Verlag, 2005.

• J. Porto de Albuquerque, H. Isenberg, H. Krumm, P. Licio de Geus:
  Gerenciamento Baseado em Modelos da Conguracao de Sistemas de Seguranca em Redes de Larga Escala
  In: V Simposio Brasileiro em Seguranca da Informacao e de Sistemas Computacionais, pp. 174-187, Florianopolis, Brazil, 2005.

• J. Porto de Albuquerque, H. Krumm, P. Licio de Geus:
  Modelagem de Sistemas de Seguranca em Ambientes de Redes de Larga Escala
  In: Anais do 23o. Simposio Brasileiro de Redes de Computadores (SBRC), Fortaleza, Brazil, May, 2005.

• J. Porto de Albuquerque, H. Krumm, P. Licio de Geus:
  On Scalability and Modularisation in the Modelling of Network Security Systems
  In: S. De Capitani di Vimercati, P. F. Syverson, D. Gollmann, (eds.), Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Proceedings, Lecture Notes in Computer Science Vol. 3679, pp. 287-304, Springer-Verlag, Berlin, Heidelberg, 2005.

• J. Porto de Albuquerque, H. Krumm, P. Licio de Geus:
  Modellierung von Netzsicherheitsystemen umfangreicher vernetzter IT-Infrastrukturen
  In: A. B. Cremers, R. Manthey, P.Martini, V. Steinhage, (eds.), INFORMATIK 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Lecture Notes in Informatics Vol. 68, S. 633-637, Bonn, Germany, 2005. GI.

• J. Porto de Albuquerque, H. Krumm, P. Licio de Geus:
  Policy Modelling and Refinement for Network Security Systems
  In: Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, 2005, Stockholm. Los Alamitos, California: IEEE, 2005. pp. 24-33.

• G. Rothmaier, T. Kneiphoff, H. Krumm:
  Using SPIN and Eclipse for Optimized High-Level Modelling and Analysis of Computer Network Attack Models
  In: Patrice Godefroid (ed.): SPIN 2005, LNCS 3639, Springer-Verlag, Aug. 2005, pp. 236-250.

• G. Rothmaier, H. Krumm:
  A Framework based Approach for Formal Modelling and Analysis of Multi-Level Attacks in Computer Networks
  In: Proc. 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), Taipei, Taiwan, Oct. 2005.

• G. Rothmaier, H. Krumm:
  Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP
  In: Federrath, Hannes (ed.): Sicherheit 2005, Proceedings of 2. Jahrestagung des Fachbereiches Sicherheit der Gesellschaft für Informatik e.V. (GI), Lecture Notes in Informatics (LNI), vol. P-62, Springer-Verlag, April 2005, pp. 77-8

• A. Tari, P. Buchholz, M. Telek:
  A unified Approach to the Moments based Distribution Estimation - the unbounded Case
  In: Proc. 2nd European Performance Evaluation Workshop, 2005, Spinger LNCS 3670, pp. 79-93.

• A. Tari, M. Telek, P. Buchholz:
  A Moment Based Estimation Method for Extreme Probabilities
  In: N. Thomas (ed.), Proc. 21st UK Performance Engineering Workshop, Technical Report CS-TR-916, School of Computing Science, University of Newcastle upon Tyne, 2005, pp. 69-81.

Bücher/Buchbeiträge - Books/Book Contributions

• P. Buchholz, R. Lehnert, M. Pioro (eds.):
  MMB & PGTS 2004
  VDE Verlag 2004.

Journals

• P. Buchholz:
  An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets
  Performance Evaluation 2004. 56 (1/4), pp. 23-52. (Pre-version in: Proc. of the Int. Conf. on Dependable Systems and Networks (DSN'02), IEEE CS-Press (2002) pp. 647-656).

• P. Buchholz, T. Dayar:
  Comparison of Multilevel Methods for Kronecker Based Markovian Representations
  Computing 73, 2004, pp. 349-371.

• P. Buchholz, T. Dayar:
  Block SOR for Kronecker Structured Representations
  Linear Algebra and Its Applications 386 (2004) pp. 83-109 (Pre-version in: A. N. Langville, W.J. Stewart (eds.), Proc. of the 4th Int. Conf. on the Numerical Solution of Markov Chains (NSMC'03), pp. 121-143).

• G. Graw, P. Herrmann:
  Transformation and Verification of Executable UML Models
  In: Electronic Notes in Theoretical Computer Science, Elsevier Science

• P. Herrmann, G. Herrmann (Guest Editors):
  Special Issue on Security and Trust in Electronic Commerce
  In: Electronic Commerce Research Journal, Kluwer Academic Publishers, 4(2004) pp. 1-2.

• P. Herrmann, H. Krumm:
  Trust-Based Monitoring of Component-Structured Software
  In: Praxis der Informationsverarbeitung und Kommunikation (PIK), K.G. Saur Verlag, 27(2004)4, S. 237-245.

Proceedings

• F. Bause, P. Buchholz, M. Fischer, P. Kemper:
  Hybrid Performability Analysis of Logistic Networks
  In: Proc. 18th Workshop on Parallel and Distributed Simulation (PADS'2004), IEEE CS Press, 2004, pp. 131-138.

• F. Bause, P. Buchholz, C. Tepper:
  The ProC/B-Approach from Informal Descriptions to Formal Models
  Proc. 1st Int. Symposium on Leveraging Applications of Formal Methods (IsoLA'04).

• P. Buchholz, P.Kemper:
  Kronecker Based Matrix Representations for Large Markov Chains
  In: B. Haverkort, H. Hermanns, M. Siegle (eds.), Validation of Stochastic Systems, Springer LNCS 2925, 2004, pp. 256-295.

• P. Buchholz, A. Panchenko:
  A Two-step EM-Algorithm for MAP fitting
  Proc.19th Int. Symposium on Computer and Information Sciences (ISCIS'2004), Springer LNCS 3280, pp. 217-227.

• P. Buchholz, A. Panchenko:
  An EM Algorithm for Fitting of Real Traffic Traces to PH-Distributions
  In: Proc. Int. Conference on Parallel Computing in Electrical Engineering (PARELEC'2004), IEEE Press 2004, pp. 283-288.

• P. Buchholz, J. Plönnigs:
  Analytical Analysis of Access-Schemes of the CSMA-Type
  In: T. Sauter and F. Vasques (eds.) Proc. 5th IEEE Int. Workshop on Factory Communication Systems (WFCS'2004), IEEE Press 2004, pp. 127-136.

• P. Buchholz, W. J. Sanders:
  Approximate Computation of Transient Results for Large Markov Chains
  In: Proc. 1st Int. Conference on Quantitative Evaluation of Systems (QEST'2004), IEEE CS Press 2004, pp. 126-135.

• G. Graw, P. Herrmann:
  Generation and Enactment of Controllers for Business Architectures using MDA
  In: 1st European Workshop on Software Architecture (EWSA 2004), LNCS, St. Andrews, May 2004, Springer-Verlag.

• P. Herrmann, L. Wiebusch, H. Krumm:
  Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software
  In: Proceedings GI/SIDAR Workshop on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA 2004), U. Flegel, M. Meier (eds.), Springer Verlag LNI, 2004, pp. 55-70 (in German).

• S. Illner, A. Pohl, H. Krumm:
  Security Service Adaptation for Embedded Service Systems in Changing Environments
  In: Proc. 2nd IEEE Int. Conf. on Industrial Informatics (INDIN04), Berlin, Germany, IEEE Computer Society Press, 2004, pp. 457-462.

• V. V. Lam, P. Buchholz, W. J. Sanders:
  A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs
  In: Proc. 1st Int. Conference on Quantitative Evaluation of Systems (QEST'2004), IEEE CS Press 2004, pp. 136-145.

• M. Neugebauer, J. Plönnigs, K. Kabitzsch, P. Buchholz:
  Automated Modelling of LonWorks Building Automation Networks
  In: T. Sauter and F. Vasques (eds.) Proc. 5th IEEE Int. Workshop on Factory Communication Systems (WFCS'2004), IEEE Press 2004, pp. 113-118.

• G. Rothmaier, A. Pohl, H. Krumm:
  Analyzing Network Management Effects with SPIN and cTLA
  In: (Y. Deswarte, F. Cuppens, S. Jajodia, L. Wang, eds.) Proc. of IFIP 18th World Computer Congress, TC11 19th Int. Information Security Conference, 2004. Kluwer Academic Publishers, Boston; Dordrecht; London, 2004, pp. 65-81.

Dissertationen - Dissertations

• M. Lohmann:
  Online QoS revenue management for third generation mobile communication networks
  Universität Dortmund, 2004

Tutorials

• P. Buchholz:
  Structured Analysis of Markov Models
  Tutorial at QEST 2004, September 2004, Enschede, Netherlands.

Journals

• P. Buchholz, J. P. Katoen, P. Kemper, C. Tepper:
  Model-Checking Large Structured Markov Chains
  Journal of Logic and Algebraic Programming (2003) 56 (1/2), pp. 69-97.

• P. Buchholz, P. Kemper:
  Weak Bisimulation for (max/+)-Automata and Related Models
  Journal of Automata, Languages and Combinatorics (2003) 8 (2), pp. 187-218.

Proceedings

• F. Bause:
  Simulation logistischer Netze
  Tagungsband 17. Symposium Simulationstechnik ASIM 2003 an der Otto-von-Guericke-Universität Magdeburg, 16.-19. September 2003 in Magdeburg, eds. R. Hohmann, SCS-Europe BVBA, 2003, ISBN 3-936150-27-3, S. 27-34.

• F. Bause:
  On Non-Ergodic Infinite-State Stochastic Petri Nets
  Proceedings of the 10th International Workshop on Petri Nets and Performance Models (PNPM 2003), IEEE Society Press, ISBN 0-7695-1976-8, pp. 84-92.

• F. Bause, M. Eickhoff:
  Truncation Point Estimation using Multiple Replications in Parallel
  2003 Winter Simulation Conference December 7-10, New Orleans, Louisiana, USA, 2003.

• F. Bause, M. Völker:
  A Modelling Paradigm for Process Chains in Logistics - On Requirements for Modelling Supply Chains
  Forschungsbericht Nr. 780 des Fachbereichs Informatik der Universität Dortmund (Germany), pp. 13-25, 2003; Workshop on Stochastic Petri nets and related formalisms ICALP 2003 Satellite Workshop Eindhoven, The Netherlands, June 28-29, 2003.

• H. Beilner:
  Model-Based Evaluation of Logistics Networks
  In: G. Kotsis (ed.), Symposium on Performance Evaluation- Stories and Perspectives, OCG 2003, Vol. 175, pp. 353-364.

• P. Buchholz:
  An EM-Algorithm for MAP Fitting from Real Traffic Data
  In: P. Kemper, W. H. Sanders (eds.), Computer Performance Evaluation Modelling Techniques and Tools, Springer LNCS 2794 (2003), pp. 218-236.

• P. Buchholz, A. Panchenko:
  Markovian Analysis of Frame-Based Scheduling Disciplines
  Proc. 5th Workshop on System Design Automation (SDA 2003), pp. 67-74.

• P. Buchholz, A. Panchenko:
  A Numerical Analysis of Weighted Round Robin
  In: D. Kouvatsos (ed.). Proc. of the 1st Int. Conference on Performance Modelling and Evaluation of Heterogeneous Networks, pp. 27.1-27.10, Networks UK 2003

• G. Graw, P. Herrmann:
  Transformation and Verification of Executable UML Models
  In: Compositional Verification of UML Models - Workshop at the 6th International Conference on the Unified Modelling Language, San Francisco, October 2003.

• P. Herrmann:
  Formal Security Policy Verification of Distributed Component-Structured Software
  In: 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2003), pp. 257-272, IFIP, LNCS 2767, Berlin, September/October 2003, Springer-Verlag.

• P. Herrmann:
  How to Integrate Trust Management into a Risk Analysis Process
  Position Paper. In: 2nd Internal iTrust Workshop on Trust Management in Dynamic Open Systems, London, September 2003.

• P. Herrmann:
  Trust-Based Protection of Software Component Users and Designers
  In: 1st International Conference on Trust Management, pp. 75-90, LNCS 2692, Heraklion, May 2003, Springer-Verlag.

• G. Herrmann, P. Herrmann:
  Development Support of Anonymous Business Processes
  In: 6th International Conference on Electronic Commerce Research (ICECR03), ATSMA, IFIP, Dallas, October 2003.

Dissertationen - Dissertations

• A. Thümmler:
  Stochastic modelling and analysis of 3G mobile communication systems
  Universität Dortmund, 2003.

Forschungsberichte - Research reports

• F. Bause:
  Tools of the 2003 Illinois International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems
  Forschungsbericht Nr. 781 des Fachbereichs Informatik der Universität Dortmund (Germany), 2003.

• F. Bause:
  Input-Output Hidden Markov Models for the Aggregation of Performance Models
  Technical Report Sonderforschungsbereich 559 "Modellierung großer Netze in der Logistik" No. 03010, ISSN 1612-1376, 2003.

• F. Bause, H. Beilner, M. Schwenke:
  Semantik des ProC/B-Paradigmas
  Technical Report Sonderforschungsbereich 559 "Modellierung großer Netze in der Logistik" No. 03001, ISSN 1612-1376, 2003.

• F. Bause, J. Bernhard, T. Fender, M. Völker, S. Wenzel:
  Standardisierte Beschreibung von Eingangsdaten für die Simulation auf Basis des Prozesskettenparadigmas
  Technical Report Sonderforschungsbereich 559 "Modellierung großer Netze in der Logistik" No. 03004, ISSN 1612-1376, 2003.

• G. Rothmaier, H. Krumm:
  cTLA 2003 Description
  URL: ls4-www.cs.tu-dortmund.de/RVS/MA/hk/framework.html. LS4, FB Informatik, Universität Dortmund, Technical Report, 2003

Tutorials

• P. Buchholz:
  Numerical Analysis Approaches for Large Markov Chains -Experiments, Observations and Some New Results
  Tutorial at the 2003 Illinois Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, September 2003.

Bücher/Buchbeiträge - Books/Book Contributions

• F. Bause, P. S. Kritzinger:
  Stochastic Petri Nets - An Introduction to the Theory
  Friedr. Vieweg & Sohn Verlag, Braunschweig/Wiesbaden (Germany), Second Edition, 2002.

Journals

• P. Buchholz:
  An Iterative Bounding Method for Stochastic Automata Networks
  Performance Evaluation (2002) Vol. 49 (1-4), pp. 211-226.

• P. Buchholz:
  An Adaptive Importance Sampling Approach for the Transient Analysis of Markovian Queueing Networks
  European Transactions on Telecommunications (2002) Vol. 13 (4), pp. 317-330.

• P. Buchholz, P. Kemper:
  Hierarchical Reachability Graph Generation for Petri Nets
  Formal Methods in Systems Design (2002) 21 (3), pp. 281-315.

• P. Buchholz, P. Kemper:
  Efficient Computation and Representation of Large Reachability Sets for Composed Automata
  Discrete Event Dynamic Systems - Theory and Applications (2002) 12 (3), pp. 265-286. (Pre-version in: R. Boel and G. Stremersch (eds.), Discrete Event Systems - Analysis and Control, Kluwer Academic Publishers (2000), pp. 49‑56).

• P. Herrmann, H. Krumm, O. Drögehorn, W. Geisselhardt:
  Framework and Tool Support for Formal Verification of High Speed Transfer Protocol Designs
  In: Telecommunication Systems, Kluwer Academic Publisher, 20(2002)3-4, pp. 291-310.

Proceedings

• F. Bause, H. Beilner, M. Fischer, P. Kemper, M. Völker:
  The Proc/B Toolset for the Modelling and Analysis of Process Chains
  12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, TOOLS 2002, London (UK). In: T. Field, P.G. Harrison, J. Bradley, U. Harder (eds): Computer Performance Evaluation, Modelling Techniques and Tools, Lecture Notes in Computer Science, No 2324, Springer, pp. 51-70, 2002.

• F. Bause, M. Eickhoff:
  Initial Transient Period Detection using Parallel Replications
  ESS'2002, Dresden (Germany), October 23th-26th 2002. In: A. Verbraeck, W. Krug (eds.): Simulation in Industry, 14th European Simulation Symposium and Exhibition, SCS-Europe BVBA Ghent, pp. 85-92, 2002.

• P. Buchholz:
  Efficient Estimation of Small Probabilities in Discrete Event Simulation
  In: Proc. 4th Workshop on System Design Automation (SDA 2002), pp. 63-72.

• P. Buchholz, A. Panchenko:
  Numerical Analysis of Class Based Queuing
  In: K. Amborski, H. Meuth. Proc. 16th European Simulation Multiconference, SCS Publishing (2002) pp. 543-547.

• G. Graw, P. Herrmann:
  Verification of xUML Specifications in the context of MDA
  In: Workshop in Software Model Engineering (WISME@UML'2002), Dresden, October 2002.

• P. Herrmann:
  Trust-Based Security Policy Enforcement of Software Components
  In: 1st Internal iTrust Workshop on Trust Management in Dynamic Open Systems, Glasgow, September 2002.

• P. Herrmann, G. Herrmann:
  Security-Oriented Refinement of Business Processes
  In: 5th International Conference on Electronic Commerce Research (ICECR02), ATSMA, IFIP, Montreal, October 2002.

• P. Herrmann, L. Wiebusch, H. Krumm:
  State-Based Security Policy Enforcement in Component-Based E-Commerce Applications
  In: 2nd IFIP Conference on E-Commerce, E-Business & E-Government (I3E), pp. 195-209, Lisbon, October 2002. Kluwer Academic Publisher.

• I. Lück, S. Vögel, H. Krumm:
  Model-Based Configuration of VPNs
  In: 8th IEEE/IFIP Network Operations and Management Symposium (NOMS2002), pp. 589-602, Florence, April 2002. IEEE Computer Society Press.

Sonstige Veröffentlichungen - Other Publications

• F. Bause, Chr. Möller:
  Kapazitätsbestimmung eines Shuttle-Zuges mit Hilfe der Warteschlangentheorie
  Distribution (Logistik in Warenfluss und Verteilung), Vereinte Fachverlage (Mainz), S. 51-53, April 2002.

• F. Bause, Chr. Möller:
  Kombinierter Verkehr als Optimierungsaufgabe
  Fördertechnik (Zeitschrift f. Logistik, Materialfluss, Transport- und Lagertechnik, Technica Verlags AG (Rupperswil, Swiss)), S. 6-9, März 2002.

Dissertationen - Dissertations

• A. Mester:
  Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern
  Universität Dortmund, 2002.

Bücher/Buchbeiträge - Books/Book Contributions

• P. Buchholz, P. Kemper:
  Quantifying the Dynamic Behavior of Process Algebras
  In: L. de Alfaro, S. Gilmore (eds.), Process Algebras and Probabilistic Methods. Springer LNCS 2165 (2001) pp. 184-199.

• S. Kowalewski, P. Herrmann, S. Engell, R. Huuck, H. Krumm, Y. Lakhnech, B. Lukoschus, H. Treseler:
  Approaches to the Formal Verification of Hybrid Systems
  In: at - Automatisierungstechnik, 49(2001)2, pp. 66-74.

Journals

• F. Bause, R. Boucherie, P. Buchholz:
  Norton's theorem for batch routing queueing networks
  Communications in Statistics - Stochastic Models, Marcel Dekker New York, Vol 17 (1), pp. 39-60, 2001.

• F. Bause, M. Kaczmarek:
  Modellierung und Analyse von Supply Chains
  Wirtschaftsinformatik 43 (6), pp. 569-578, 2001.

• P. Buchholz:
  Hybrid Analysis of SGSPNs with Time-Dependent Transition Rates
  Performance Evaluation (2001) 44(1-4), pp. 166-181. (Pre-version in: Proc. 4th Int. Computer Performance and Dependability Symposium (IPDS'00), IEEE-CS Press (2000) pp. 157-166).

• P. Buchholz, I. V. Tarasyuk:
  Net and Algebraic Approaches to Probabilistic Modelling
  Joint NCC & IIS Bull. (2001) Vol. 15, pp. 31-64.

Proceedings

• M. Arns, F. Bause:
  An Instructive Example for Pitfalls in Simulation of Logistic Networks
  ESS'2001, Simulation in Industry, 13th European Simulation Symposium and Exhibition, Marseilles (France), October 18th-20th 2001, SCS-Europe Ghent, pp. 420-423, 2001.

• F. Bause, H. Beilner, P. Kemper:
  Zur prozessorientierten Modellierung logistischer Netze
  2. Chemnitzer Netztagung "Vernetzt planen und produzieren", 20.+21. September 2001, Wiss. Schriftenreihe Inst. Betr. Wiss., Chemnitz, S. 65-68, 2001.

• F. Bause, H. Beilner, M. Völker:
  A framework for the modelling and simulation of logistic networks
  4th International Eurosim Congress (EUROSIM 2001: Shaping Future with Simulation), June 26 - 29, 2001, Delft, The Netherlands, DBSS Le Berkel en Rodenrijs, 2001.

• F. Bause, M. Fischer, P. Kemper, M. Völker:
  Performance and Cost Analysis of Supply Chain Models
  Proc. of the First Seoul International Simulation Conference (SeoulSim 2001), Seoul (Korea), 8.-10. October 2001, pp. 425-434, 2001.

• P. Buchholz:
  Equivalence and Aggregation of GSPNs with Labeled Transitions
  In: R. German, B. R. Haverkort (eds.). Petri Nets and Performance Models 2001. IEEE CS-Press (2001) pp. 187-196.

• P. Buchholz, P. Kemper:
  Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs
  Petri Nets and Performance Models 2001. IEEE CS-Press (2001) pp. 81-90.

• P. Buchholz, S. Kühn, F. Breiter:
  A Numerical Analysis of a Communication System with Advance Reservations
  In: B. R. Haverkort (ed.). Proc. 11th GI/ITG Conf. on Measuring, Modelling and Evaluation of Computer and Communication Systems. VDE Verlag (2001), pp. 119-134 (Pre-version TU Dresden, Fakultät für Informatik, Technischer Bericht TUD-FI00-08 - September 2000).

• P. Herrmann:
  Information Flow Analysis of Component-Structured Applications
  In: 17th Annual Computer Security Applications Conference (ACSAC'2001), pp. 45-54, ACM SIGSAC, New Orleans, December 2001. IEEE Computer Society Press.

• P. Herrmann:
  Trust-Based Procurement Support for Software Components
  In: Fourth International Conference on Electronic Commerce Research (ICECR-4), pp. 505-514, ATSMA, IFIP, Dallas, November 2001.

• P. Herrmann, H. Krumm:
  Trust-adapted enforcement of security policies in distributed component-structured applications
  In: 6th IEEE Symposium on Computers and Communications, pp. 2-8, Hammamet, Tunesia, July 2001. IEEE Computer Society Press.

• P. Herrmann, H. Krumm:
  Object-Oriented Security Analysis and Modelling
  In: 9th International Conference on Telecommunication Systems - Modelling and Analysis, pp. 21-32, ATSMA, IFIP, Dallas, TX, USA, March 2001.

• P. Herrmann, L. Wiebusch, H. Krumm:
  Tool-Assisted Security Assessment of Distributed Applications
  In: Third IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 2001), pp. 289-294, Krakow, September 2001. Kluwer Academic Publisher.

• I. Lück, C. Schäfer, H. Krumm:
  Model-based Tool-Assistance for Packet-Filter Design
  In: M. Sloman, E. Lupu, J. Lobo (eds.), Proceedings of the IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2001), pp. 120-136, Bristol, UK, Lecture Notes in Computer Science 1995, 2001. Springer-Verlag.

Tutorials

• P. Buchholz:
  Numerical Analysis of Markov Models - From Conventional to Structured Models
  Tutorial at the 2001 Aachen Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems, September 2001

Journals

• P. Buchholz:
  A Hybrid Analysis Approach for Finite-Capacity Queues with General Inputs and Phase Type Service
  Queueing Systems (2000) 35(1-4), pp. 167-183.
   
• P. Buchholz:
  Multi Level Solutions for Structured Markov Chains
  SIAM Journal on Matrix Analysis and Applications (2000) 22(2), pp. 342-357.
   
• P. Buchholz:
  Efficient Computation of Equivalent and Reduced Representations for Stochastic Automata Computer Systems
  Science & Engineering (2000) 15(2), pp. 93-103.
   
• P. Buchholz, G. Ciardo, S. Donatelli, P. Kemper:
  Kronecker Operations and Sparse Matrices with Applications to the Solution of Markov Models
  INFORMS Journal on Computing (2000) 12 (3), pp. 203-222 (Pre-version ICASE Report No. 97-66, Dec. 1997).
   
• P. Herrmann, H. Krumm:
  A Framework for Modelling Transfer Protocols
  In: Computer Networks, 34(2000)2, pp. 317-337.
   
• H. Krumm:
  Verteilte Anwendungen - Aufbau, Funktionen und Entwicklungspotenziale verteilter Software-Systeme
  In: Computer + Unterricht, 39(2000), S. 47-50.
   
• H. König, P. Langendörfer, H. Krumm:
  Improving the Efficiency of Automated Protocol Implementations Using a Configurable FDT Compiler
  In: Computer Communications, 23(2000)12, pp. 1179-1195.
   
• A. Mester, H. Krumm:
  Animation of Protocols and Distributed Algorithms
  In: Journal of Computer Science Education, 10(2000)3, pp. 243-265.

Proceedings

• M. Arns, F. Bause, P. Kemper, M. Schmitz, H. Schweier, F. Stüllenberg, M. Völker:
  Gestaltung von Beschaffungsnetzwerken auf Basis einer prozeßkettenorientierten Modellierung
  Industrie Management (3), GITO Berlin, S. 33-36, Juni 2000.

• F. Bause, H. Beilner, P. Kemper:
  Modellierung und Analyse von Logistiknetzwerken mit Prozessketten
  ASIM 2000, 14th Symposium Simulationstechnik, Hamburg, September 2000, SCS-Europe BVBA Ghent, pp. 53-67. 2000.
   
• A. Berraqa, P. Herrmann, N. Ilayyan, H. Krumm, N. Schmitt, J. Schröder, M.-C. Schröer, S. Stöcker, A. Stoll, J. Thiemann, L. Wiebusch:
  Ein flexibles komponentenstrukturiertes Intrusion Detection System
  In: 7. Workshop "Sicherheit in vernetzten Systemen", DFN-CERT & DFN-PCA, Hamburg, März 2000. (In German)

• P. Buchholz:
  Hybrid Analysis of Non-Markovian Stochastic Petri Nets
  In: E. Gelenbe (eds.) System Performance Evaluation: Methodologies and Applications, CRC Press (2000), pp. 291-300.

• G. Graw, P. Herrmann, H. Krumm:
  Verification of UML-based real-time system designs by means of cTLA
  In: Proceedings of the 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing - (ISORC2K), pp. 86-95, Newport Beach, CA, USA, March 2000. IEEE Computer Society Press.

• P. Herrmann, P. Grannas:
  A Tool for Hazard Detection in Hybrid Systems
  In: Proceedings of the 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems, pp. 225-230, Dortmund, Germany, September 2000. Shaker Verlag.

• P. Herrmann, H. Krumm:
  A Framework for the Hazard Analysis of Chemical Plants
  In: Proceedings of the 11th IEEE International Symposium on Computer-Aided Control System Design (CACSD2000), pp. 35-41, Anchorage, Alaska, USA, IEEE CSS, September 2000. Omnipress.

• P. Herrmann, M. Noël:
  Formal Development of a Distributed Control System for Road Marking Machines
  In: 8th International Conference on Telecommunication Systems - Modelling and Analysis, pp. 430-437, ATSMA, IFIP, Nashville, TN, USA, March 2000.

Forschungsberichte - Research reports

• M. Arns, F. Bause, H. Beilner, M. Fischer, M. Völker:
  Beispielmodellierung von Behälterkreisläufen im B1-Paradigma - Analyse
  SFB 559, Bericht-Nr. 00013, 2000.

• M. Arns, F. Bause, M. Fischer, P. Kemper, H. Tatlitürk:
  Modellierung und Analyse des KV-Terminals im Güterverkehrszentrum
  SFB 559, Bericht-Nr. 00003, 2000.

• F. Bause, M. Kaczmarek:
  Untersuchung der Vorteilhaftigkeit ausgewählter Versorgungsstrategien in der Supply Chain vor dem Hintergrund des Bullwhip-Effektes
  SFB 559, Bericht-Nr. 00026, 2000.

• F. Bause, Chr. Möller:
  Analysis of an intermodal terminal in freight villages
  SFB 559, Bericht-Nr. 00011, 2000.

Tutorials

• P. Buchholz:
  Analysis of large Markov chains based on Kronecker algebra
  Tutorial at the IPDS'00, March 2000, Schaumburg, Illinois, USA.

Bücher/Buchbeiträge - Books/Book Contributions

• P. Buchholz, M. Silva (eds.):
  Petri Nets and Performance Models
  (PNPM'99) IEEE CS-Press (1999).

• Heiko Krumm:
  Temporal Logic
  In: J. Urban, P. Dasgupta (eds.), Encyclopedia of Distributed Systems, Kluwer Academic Publishers, 1999.

Journals

• P. Buchholz:
  Structured Analysis Approaches for Large Markov Chains
  Applied Numerical Mathematics 31(4) 1999, pp. 375-404.

• P. Buchholz:
  Projection Methods for the Analysis of Stochastic Automata Networks
  In: B. Plateau, W. J. Stewart, M. Silva (eds.), Numerical Solution of Markov Chains (NSMC'99), Prensas Univerversitarias de Zaragoza (1999) pp. 149-168.

• P. Buchholz:
  Hierarchical Structuring of Superposed GSPNs
  IEEE Transactions on Software Engineering 25 (2) 1999, pp. 166-181. (Pre-version in Proc. of the 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97), IEEE CS-Press 1997, pp. 81-90).

• P. Buchholz:
  An Adaptive Aggregation/Disaggregation Algorithm for Hierarchical Markovian Models
  European Journal of Operational Research 116 (3) 1999, pp. 85-104.

• P. Buchholz:
  Exact Performance Equivalence - an Equivalence Relation for Stochastic Automata
  Theoretical Computer Science 215 (1/2) 1999, pp. 239-261.

• P. Buchholz, M. Fischer, P. Kemper:
  Distributed Steady State Analysis Using Kronecker Algebra
  In: B. Plateau, W. J. Stewart, M. Silva (eds.), Numerical Solution of Markov Chains (NSMC'99), Prensas Univerversitarias de Zaragoza (1999) pp.76-95.

• P. Kemper:
  Transient analysis of superposed GSPNs
  IEEE Trans. on Software Engineering, 25 (2), march/april, 1999.

Proceedings

• F. Bause, H. Beilner:
  Intrinsic Problems in Simulation of Logistic Networks, Simulation in Industry
  11th European Simulation Symposium and Exhibition (ESS99), Erlangen (Germany), October 26-28, 1999, SCS Publishing House, pp. 193-198, 1999.

• P. Buchholz, P. Kemper:
  A Toolbox for the Analysis of Discrete Event Dynamic Systems
  In: N. Halbwachs, D. Peled (eds.) Computer Aided Verification (CAV'99), Springer LNCS 1633 (1999) pp. 483-486.

• P. Buchholz, P. Kemper:
  Modular State Space Analysis of Distributed Systems - Techniques and Tool Support
  In: R. Cleaveland (ed.) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Springer LNCS 1579 (1999) pp. 420-434.

• G. Graw, P. Herrmann, H. Krumm:
  Constraint-Oriented Formal Modelling of OO-Systems
  In: L. Kutvonen, H. König, M. Tienari (eds.), Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 99), pp. 345-358, Helsinki, June/July 1999. Kluwer Academic Publisher.

• G. Graw, P. Herrmann, H. Krumm:
  Composing object-oriented specifications and verifications with cTLA
  In: Workshop on Semantics of Objects as Processes (SOAP'99), NS-99-2, pp. 7‑22, Lisbon, June 1999. BRICS Notes Series.

• P. Herrmann, O. Drögehorn, W. Geisselhardt, H. Krumm:
  Tool-supported formal verification of highspeed transfer protocol designs
  In: 7th International Conference on Telecommunication Systems-Modelling and Analysis, pp. 531-541, ATSMA, IFIP, Nashville, TN, USA, 1999.

• P. Herrmann, H. Krumm:
  Formal Hazard Analysis of Hybrid Systems in cTLA
  In: 18th IEEE Symposium on Reliable Distributed Systems (SRDS´99), pp. 68-77, Lausanne, Oct. 1999, IEEE Computer Society Press.

• P. Herrmann, M. Noël:
  Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen
  In: Tagungsband zum 9. Fachgespräch Formale Beschreibungstechniken, S. 83-92, München, HerbertUtz-Verlag, 1999. (In German)

• I. Lück, M. Schönbach, A. Mester, H. Krumm:
  Derivation of Backup Service Management Applications from Service and System Models
  In: R. Stadler, B. Stiller (eds.), Active Technologies for Network and Service Management, Proc. DSOM'99, pp. 243-255, Zürich, Oct. 1999, LNCS 1700, Springer-Verlag.

• M. Wimmers, A. Mester, H. Krumm:
  A Component Framework for the Configuration Management of Networks
  In: L. Kutvonen, H. König, M. Tienari (eds.), Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 99), pp. 135-148, Helsinki, June/July 1999. Kluwer Academic Publisher.

• P. Buchholz, P. Kemper:
  Numerical Analysis Techniques in the APNN Toolbox
  In: Proc. Formal Methods in Performance Evaluation and Application - Tool Descriptions, 1999.

Sonstige Veröffentlichungen - Other Publications

• F. Bause, H. Beilner:
  A short note on synchronization in open systems
  Petri Net Newsletter 57, 1999, pp. 9-12.

Forschungsberichte - Research reports

• H. Beilner, F. Bause, (eds.):
  Angebote und Ziele der Methoden-Teilprojekte
  SFB 559, Bericht-Nr. 99010, 1999.

• H. Beilner, F. Bause, H. Tatlitürk, A. van Almsick, M. Völker:
  Zum B-Modellformalismus - Version B1 -
  SFB 559, Bericht-Nr. 99002, 1999.