Publications 2020

Baron, L., Braune, A.:
Development of a UI Submodel for the Industry 4.0 Component.
IFAC-PapersOnLine, Volume 53, Issue 2, 2020, Pages 10395-10402, ISSN 2405-8963, https://doi.org/10.1016/j.ifacol.2020.12.2779

Baron, L., Braune, A.:
Entwicklung eines UI-Teilmodells für die Industrie 4.0 Komponente.
In: Automation 2020, Shaping Automation for our Future, 1. Auflage 2020, Seite 373-392, ISBN print: 978-3-18-092375-8, ISBN online: 978-3-18-102375-4, https://doi.org/10.51202/9783181023754 Reihe: VDI-Berichte, Bd. 2375 , VDI Verlag, Düsseldorf.

Beyer, M., Morozov, A., Valiev, E., Schorn, Chr., Gauerhof, L., Ding, K., Janschek, K.:
Fault Injectors for TensorFlow: Evaluation of the Impact of Random Hardware Faults on Deep CNNs.
In 30th European Safety and Reliability Conference (ESREL - Virtual Conference), 1-5 Nov. 2020, Venice, Italy, pp. 4673-4680, 2020.
https://www.rpsonline.com.sg/proceedings/esrel2020/html/5754.xml

Ding, Sh., Morozov, A., Vock, S., Weyrich, M., Janschek, K.:
Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks.
In International Symposium on Model-Based Safety and Assessment, pp. 212-226. Springer, Cham, 2020.
https://link.springer.com/chapter/10.1007/978-3-030-58920-2_14

Dubslaff, C., Morozov, A., Baier, Chr., Janschek, K.:
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis.
In 30th European Safety and Reliability Conference (ESREL - Virtual Conference), 1-5 Nov. 2020, Venice, Italy, pp. 4843-4850, 2020.
https://www.rpsonline.com.sg/proceedings/esrel2020/html/4489.xml

Dubslaff, C., Morozov, A., Baier, Chr., Janschek, K.:
Iterative Variable Reordering: Taming Huge System Families.
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS): 121-133 (2020).
https://arxiv.org/abs/2004.13287

Fabarisov, T., Mamaev, I., Morozov, A., Janschek, K.:
Model-based Fault Injection Experiments for the Safety Analysis of Exoskeleton System.
In 30th European Safety and Reliability Conference (ESREL - Virtual Conference), 1-5 Nov. 2020, Venice, Italy, pp. 1338-1345, 2020.
https://www.rpsonline.com.sg/proceedings/esrel2020/html/5770.xml

Fabarisov, T., Yusupova, N., Ding, K., Morozov, A., Janschek, K.:
Model-based Stochastic Error Propagation Analysis for Cyber-Physical Systems.
Journal: Acta Polytechnica Hungarica.
https://www.doi.org/10.12700/APH.17.8.2020.8.2

Keppler, F., Wagner, S., Janschek, K.:
SAFESTOP: Disturbance Handling in Prioritized Multi-robot Trajectory Planning.
 4th IEEE International Conference on Robotic Computing, IRC 2020. Proceedings : 9-11 November 2020, Virtual Conference, Los Alamitos, Calif.: IEEE Computer Society Conference Publishing Services (CPS), 2020, ISBN: 978-1-7281-5238-7, ISBN: 978-1-7281-5237-0, pp. 226-231.

Le, T., Braune, A., Martin, Chr.:
Haptic virtualisation of surfaces: Feeling textiles on your phone .
13. Joint International Conference CLOTECh, Dresden  2020.
-- Invited presentation --

Liu, B. Scheurer, Chr., Janschek, K.:
Motion Planning with Cartesian Workspace Information.
IFAC-PapersOnLine, Volume 53, Issue 2, 2020, Pages 9826-9833, ISSN 2405-8963, https://doi.org/10.1016/j.ifacol.2020.12.2686

Martin, Chr., Braune, A.:
Multimodal Inspection of Product Surfaces using Mobile Consumer Devices.
22nd International Conference on Human-Computer Interaction, Copenhagen Denmark, 2020. In: Yamamoto S., Mori H. (eds) Human Interface and the Management of Information. Designing Information. HCII 2020. Lecture Notes in Computer Science, vol 12184. Springer, Cham. https://doi.org/10.1007/978-3-030-50020-7_27

Moradi, M., Oakes, B.J.,Saraoğlu, M., Morozov, A., Janschek, K., Denil, J.:
Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection.
In 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Valencia, Spain, 2020 pp. 102-109. https://doi: 10.1109/DSN-W50199.2020.00028

Morozov, A., Valiev, E., Beyer, M., Ding, K., Gauerhof, L., Schorn, Chr.:
Bayesian Model for Trustworthiness Analysis of Deep Learning Classifiers.
Proceedings of the Workshop on Artificial Intelligence Safety 2020 co-located with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020),
http://ceur-ws.org/Vol-2640/paper_6.pdf

Morozov, A., Diaconeasa, M.A., Steurer, M.:
A hybrid methodology for model based probabilistic resilience evaluation of dynamic systems.
Proceedings of the ASME 2020 International Mechanical Engineering Congress and Exposition. Volume 14: Safety Engineering, Risk, and Reliability Analysis. Virtual, Online. November 16–19, 2020. V014T14A024. ASME. https://doi.org/10.1115/IMECE2020-23789

Mutzke, Th., Steurer, M., Morozov, A., Janschek, K.:
Model-based Analysis of Timing Errors for Reliable UAV Design.
In 30th European Safety and Reliability Conference (ESREL - Virtual Conference), 1-5 Nov. 2020, Venice, Italy, pp. 2057-2064, 2020.
https://www.rpsonline.com.sg/proceedings/esrel2020/html/5414.xml

Sandner, Th., Grasshoff, Th., Merten, A., Schwarzenberg, M.; Klemens Birnbaum*, Grahmann, J., Schrödter, R., Hünig, P., Janschek, K.:
Update on 2D MEMS raster and vector scanning mirrors for medical imaging and high laser power applications.
In Preprints of 21st IFAC World Congress 2020, Late Breaking Results Paper, 2020.

Saraoğlu, M., Shi, Q., Morozov, A., Janschek, K.:
Virtual validation of autonomous vehicle safety through simulation-based testing.
In 20. Internationales Stuttgarter Symposium, pp. 419-434. Springer Vieweg, Wiesbaden, 2020.
https://link.springer.com/chapter/10.1007/978-3-658-29943-9_33

Saraoğlu, M.:
Developing an Autonomous Traffic Simulation Framework for Functional Safety Testing. MathWorks Online Technical Article, 2020.
https://www.mathworks.com/company/newsletters/articles/developing-an-autonomous-traffic-simulation-framework-for-functional-safety-testing.html

Steurer, M., Mutzke, Th., Morozov, A., Janschek. K., Neitzke, K.P.:
Utilizing Model-based Timing Analysis for Holistic Dependability Assessment of Unmanned Aerial Vehicle.
In 30th European Safety and Reliability Conference (ESREL - Virtual Conference), 1-5 Nov. 2020, Venice, Italy, pp. 2065-2072, 2020.
https://www.rpsonline.com.sg/proceedings/esrel2020/html/5757.xml

Steurer, M., Morozov, A., Janschek, K., Neitzke, K.P.:
Model-Based Dependability Assessment of Phased-Mission Unmanned Aerial Vehicles.
IFAC-PapersOnLine, Volume 53, Issue 2, 2020, Pages 8915-8922, ISSN 2405-8963, https://doi.org/10.1016/j.ifacol.2020.12.1416

Zhu, J., Yao, Ch., Janschek. K.:
Stereo Visual-Inertial Fusion for UAV State Estimation.
IFAC-PapersOnLine, Volume 53, Issue 2, 2020, Pages 9420-9425, ISSN 2405-8963, https://doi.org/10.1016/j.ifacol.2020.12.2412