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.
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).
Schumacher, C., Buchholz, P.:
Scheduling Algorithms for a Hybrid Flow Shop under Uncertainty.
In: Algorithms 13 (11), 277, 2020.
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
Dimitri Scheftelowitsch:
Markov decision processes with uncertain parameters
Dissertation, Technische Universität Dortmund, Fakultät für Informatik, Dortmund, 2018.
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
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.
Iryna Dohndorf:
Stochastic Graph Models with Phase Type Distributed Edge Weights
Dissertation, Technische Universität Dortmund, Fakultät für Informatik, Dortmund, 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
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.
Peter Buchholz, Iryna Felko:
PH-Graphs for Analyzing Shortest Path Problems with Correlated Traveling Times
Computers & Operations Research 59, 2015, 51-65.
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
Peter Buchholz, Jan Kriege, Iryna Felko:
Input Modeling with Phase Type Distributions and Markov Models - Theory and Applications
SpringerBriefs in Mathematics, 2014.
Peter Buchholz, Jan Kriege:
Approximate aggregation of Markovian models using alternating least squares
Performance Evaluation, Volume 73, 2014.
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.
Sebastian Vastag:
SLA Calculus
Dissertation, Technische Universität Dortmund, Fakultät für Informatik, Dortmund, 2014
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.
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.
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.
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
Jan Kriege:
Fitting Simulation Input Models for Correlated Traffic Data.
Dissertation, Technische Universität Dortmund, Fakultät für Informatik, Dortmund, 2012.
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
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.
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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).
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.
P. Buchholz:
Iterations of different levels: Multilevel Methods for Structured Markov Chains
Dagstuhl Seminar, Report 07071, 2007
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
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).
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.
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.
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.
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.
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.
P. Buchholz, R. Lehnert, M. Pioro (eds.):
MMB & PGTS 2004
VDE Verlag 2004.
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.
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.
M. Lohmann:
Online QoS revenue management for third generation mobile communication networks
Universität Dortmund, 2004
P. Buchholz:
Structured Analysis of Markov Models
Tutorial at QEST 2004, September 2004, Enschede, Netherlands.
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.
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.
A. Thümmler:
Stochastic modelling and analysis of 3G mobile communication systems
Universität Dortmund, 2003.
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: http://ls4-www.cs.tu-dortmund.de/RVS/MA/hk/framework.html. LS4, FB Informatik, Universität Dortmund, Technical Report, 2003
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.
F. Bause, P. S. Kritzinger:
Stochastic Petri Nets - An Introduction to the Theory
Friedr. Vieweg & Sohn Verlag, Braunschweig/Wiesbaden (Germany), Second Edition, 2002.
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.
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.
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.
A. Mester:
Rechnergestützte Konstruktion verteilter Anwendungen mit Spezifikationsmustern
Universität Dortmund, 2002.
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.
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.
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.
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.
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.
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.
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.
P. Buchholz:
Analysis of large Markov chains based on Kronecker algebra
Tutorial at the IPDS'00, March 2000, Schaumburg, Illinois, USA.
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.
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.
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.
F. Bause, H. Beilner:
A short note on synchronization in open systems
Petri Net Newsletter 57, 1999, pp. 9-12.
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.