2020

• Metric Temporal Description Logics with Interval-Rigid NamesBaader, F., Borgwardt, S., Koopmann, P., Ozaki, A. & Thost, V., 2020, in: ACM transactions on computational logic. 21, 4, 46 S., 30Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Minimal witnesses for probabilistic timed automataJantsch, S., Funke, F. & Baier, C., 2020, Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings. Van Hung, D. & Sokolsky, O. (Hrsg.). Springer, Berlin [u. a.], S. 501-517, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Model-based analysis of timing errors for reliable UAV designMutzke, T., Steurer, M., Morozov, A. & Janschek, K., 2020, Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference. Baraldi, P., Di Maio, F. & Zio, E. (Hrsg.). Research Publishing, Singapore, S. 2057-2064, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Model-based dependability assessment of phased-mission unmanned aerial vehiclesSteurer, M., Morozov, A., Janschek, K. & Neitzke, K. P., 2020, in:  IFAC-PapersOnLine. 53, 2, S. 8915-8922, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Model-Based Error Detection for Industrial Automation Systems Using LSTM NetworksDing, S., Morozov, A., Vock, S., Weyrich, M. & Janschek, K., 2020, Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings. Zeller, M. & Höfig, K. (Hrsg.). Springer Science and Business Media B.V., S. 212-226, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Model-based fault injection experiments for the safety analysis of exoskeleton systemFabarisov, T., Mamaev, I., Morozov, A. & Janschek, K., 2020, Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference. Baraldi, P., Di Maio, F. & Zio, E. (Hrsg.). Research Publishing, Singapore, S. 1338-1345, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Model-based stochastic error propagation analysis for cyber-physical systemsFabarisov, T., Yusupova, N., Ding, K., Morozov, A. & Janschek, K., 2020, in: Acta polytechnica hungarica : journal of applied sciences. 17, 8, S. 15-28, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Modelling the impact behavior of advanced fiber-reinforced sandwich structures with polyurethane foam coreWeißenborn, O., Geller, S., Böhm, R. & Gude, M., 2020, ECCM 2018 - 18th European Conference on Composite Materials. Applied Mechanics LaboratoryPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Modelling the Polysemy of Spatial Prepositions in Referring ExpressionsRichard-Bollans, A., Álvarez, L. G. & Cohn, A., 2020, Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR'20). Calvanese, D., Erdem, E. & Thielscher, M. (Hrsg.).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Modell zur Analyse der Auswirkungen der dynamischen Lastverlagerung auf das Traktionsverhalten einer RohrverlegemaschineWildner, D., Herlitzius, T. & Berg, T., 2020, in: Landtechnik. 75, 4, S. 176-193, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel