Due to the COVID-19 outbreak in Europe, MMB2020 will need to be cancelled. More info follows.

Program

Proceedings

The proceedings -- LNCS 12040 -- are openly accessible here.

Monday (16.03.2020)

08:30-09:00	Registration
09:00-10:30	Tutorial Session 1 (in parallel) Marc Bouissou: Modelling and Analysing Dependability with BDMP and KB3 (part 1) Verena Wolf, Gerrit Großmann: Spreading Dynamics in Complex Networks
10:30-11:00	Coffee Break
11:00-12:30	Tutorial Session 2 (in parallel) Marc Bouissou: Modelling and Analysing Dependability with BDMP and KB3 (part 2) Natalia Markovich: Clusters of Exceedances of Stochastic Processes and Their Application to Traffic Modeling and Identification Problems
12:30-13:45	Lunch
13:45-14:00	Opening
14:00-15:00	Invited Talk: Xiaowei Huang. Safety Certification of Deep Learning
15:00-15:30	Coffee Break
15:30-17:00	Session: Learning and Optimization Markus Fiedler. Performance Analytics of a Virtual Reality Streaming Model Marwin Züfle, Christian Krupitzer, Florian Erhard, Johannes Grohmann and Samuel Kounev. To Fail Or Not To Fail: Predicting Hard Disk Drive Failure Time Windows Peter Buchholz and Dimitri Scheftelowitsch. Concurrent MDPs with Finite Markovian Policies
17:00-17:15	Bio Break
17:15-18:05	PhD Track Session Alexander Lück and Verena Wolf. A Stochastic Automata Network Description for Spatial DNA-Methylation Models Pablo Gil Pereira, Andreas Schmidt and Thorsten Herfet. Enabling Segment-Level Congestion Control as No Algorithm Fits All
from 18:15	Reception

Tuesday (17.03.2020)

09:00-10:00	Invited Talk: Wolfgang Kellerer. Predictable Latency in Softwarized Networks
10:00-10:30	Coffee Break
10:30-12:00	Session: Network Performance Jörg Deutschmann, Kai-Steffen Hielscher and Reinhard German. An ns-3 Model for Multipath Communication with Terrestrial and Satellite Links Stefan Herrnleben, Piotr Rygielski, Johannes Grohmann, Simon Eismann, Tobias Hossfeld and Samuel Kounev. Model-based Performance Predictions for SDN-based Networks: A Case Study Anna Arestova, Kai-Steffen Hielscher and Reinhard German. Design of a Hybrid Genetic Algorithm for Time-Sensitive Networking
12:15-13:30	Lunch
13:30-15:00	Session: Performance Analytics Hans Daduna and Ruslan Krenzler. Performance analysis for loss systems with many subscribers Paul Nikolaus and Jens Schmitt. On the Stochastic End-to-End Delay Analysis in Sink Trees Under Independent and Dependent Arrivals Hans Daduna. Graph-based mobility models: Asymptotic and stationary node distribution
15:00-15:30	Award Session
15:30-16:00	Coffee Break
16:00-17:30	Session: Markov Modelling Andreas Blume, Peter Buchholz and Jan Kriege. Parallelization of EM-Algorithms for Markovian Arrival Processes Amin Soltanieh and Markus Siegle. It sometimes works: A lifting algorithm for repair of Stochastic Process Algebra models Falko Bause. An Efficient Brute Force Approach to Fit Finite Mixture Distributions
17:30-17:40	Bio Break
17:40-18:40	Assembly of the GI / ITG Fachausschuss MMB
from 19:30	Conference Dinner

Wednesday (18.03.2020)

08:30-09:00	Workshop Registration
09:00-10:00	Invited Talk: Francois Baccelli. Interference Networks
10:00-10:30	Coffee Break
10:30-12:00	Session: Model-Based Analysis Rebecca Haehn, Erika Abraham and Nils Nießen. Freight Train Scheduling in Railway Systems Freek van den Berg and Boudewijn R. Haverkort. A Domain Specific Language & Toolset for Requirements Analysis of Safety-Critical Cyber-Physical Systems Carlos E. Budde and Mariëlle Stoelinga. Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets
12:00-12:30	Closing Session
12:30-14:00	Lunch