[Tagungsband]
pourbafrani, mahsa; Fischer, Markus; Kemmerling, Marco
A Framework for Online Detection and Reaction to Disturbances on the Shop Floor Using Process Mining and Machine Learning
The First Conference on Production Systems and Logistics (CPSL) (2020)
[DOI: 10.15488/9681]

[Buch, Tagungsband]
Pourbafrani, Mahsa; van Zelst, Sebastiaan J.; van der Aalst, Wil M. P.
Supporting Automatic System Dynamics Model Generation for Simulation in the Context of Process Mining
23rd International Business Information Systems Conference, 249 - 263 (2020)
[DOI: 10.1007/978-3-030-53337-3_19]

[Beitrag zu einem Tagungsband]
Gerasimov, Arkadii; Michael, Judith; Netz, Lukas Stephan Michael; Rumpe, Bernhard; Varga, Simon
Continuous Transition from Model-Driven Prototype to Full-Size Real-World Enterprise Information Systems
[25th Americas Conference on Information Systems, AMCIS 2020, 2020-08-10 - 2020-08-14, Salt Lake City, USA], 1-10 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Bibow, Pascal; Dalibor, Manuela; Rumpe, Bernhard; Schmalzing, David Pascal; Schmitz, Mauritius; Wortmann, Andreas
Model-Driven Development of a Digital Twin for Injection Molding
[32nd International Conference, CAiSE 2020, 2020-06-08 - 2020-06-12, Grenoble, France] (2020)
[DOI: 10.1007/978-3-030-49435-3_6]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard
An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems
SE-WS 2020: Software Engineering workshops 2020 : combined proceedings of the workshops at Software Engineering 2020, co-located with the German Software Engineering Conference 2020 (SE 2020) : Innsbruck, Österreich, March 05, 2020 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Röpke, Rene Christian; Schroeder, Ulrik; Drury, Vincent Jakob; Meyer, Ulrike
Towards Personalized Game-Based Learning in Anti-Phishing Education
2020 IEEE 20th International Conference on Advanced Learning Technologies (ICALT) : [Proceedings] - IEEE, 2020. - ISBN 978-1-7281-6090-0 - doi:10.1109/ICALT49669.2020.00026 (2020)
[DOI: 10.1109/ICALT49669.2020.00026]

[Beitrag zu einem Tagungsband]
Zhou, Wei; Schlüter, Ralf; Ney, Hermann
Full-Sum Decoding for Hybrid HMM based Speech Recognition using LSTM Language Model
IEEE International Conference on Acoustics, Speech, and Signal Processing (2020)

[Beitrag zu einem Tagungsband]
Zhou, Wei; Michel, Wilfried; Irie, Kazuki; Kitza, Markus; Schlüter, Ralf; Ney, Hermann
The RWTH ASR system for TED-LIUM release 2: Improving Hybrid HMM with SpecAugment
IEEE International Conference on Acoustics, Speech, and Signal Processing (2020)

[Beitrag zu einem Tagungsband]
Bahar, Parnia; Makarov, Nikita; Zeyer, Albert; Schlüter, Ralf; Ney, Hermann
Exploring A Zero-Order Direct HMM based on Latent Attention for Automatic Speech Recognition
IEEE International Conference on Acoustics, Speech, and Signal Processing, 7854-7858 (2020)

[Beitrag zu einem Tagungsband]
Michel, Wilfried; Schlüter, Ralf; Ney, Hermann
Frame-Level MMI as a Sequence Discriminative Training Criterion for LVCSR
IEEE International Conference on Acoustics, Speech, and Signal Processing, 6904-6908 (2020)

[Beitrag zu einem Tagungsband]
Bozheniuk, Vitalii; Zeyer, Albert; Schlüter, Ralf; Ney, Hermann
A comprehensive study of Residual CNNs for acoustic modeling in ASR
IEEE International Conference on Acoustics, Speech, and Signal Processing (2020)

[Beitrag zu einem Tagungsband]
Brix, Christopher; Bahar, Parnia; Ney, Hermann
Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture
58th Annual Meeting of the Association for Computational Linguistics, 3909-3915 (2020)

[Beitrag zu einem Tagungsband]
Kim, Yunsu; Graça, Miguel; Ney, Hermann
When and Why is Unsupervised Neural Machine Translation Useless?
Annual Conference of the European Association for Machine Translation (2020)

[Beitrag zu einem Tagungsband]
Gerstenberger, Alexander; Irie, Kazuki; Golik, Pavel; Beck, Eugen; Ney, Hermann
Domain Robust, Fast, and Compact Neural Language Models
IEEE International Conference on Acoustics, Speech, and Signal Processing, 7954-7958 (2020)

[Beitrag zu einem Tagungsband]
Irie, Kazuki; Gerstenberger, Alexander; Schlüter, Ralf; Ney, Hermann
How Much Self-Attention Do We Need? Trading Attention for Feed-Forward Layers
IEEE International Conference on Acoustics, Speech, and Signal Processing, 6154-6158 (2020)

[Beitrag zu einem Tagungsband]
Zeineldeen, Mohammad; Zeyer, Albert; Schlüter, Ralf; Ney, Hermann
Layer-normalized LSTM for Hybrid-HMM and End-to-End ASR
IEEE International Conference on Acoustics, Speech, and Signal Processing, 7679-7683 (2020)

[Beitrag zu einem Tagungsband]
Rossenbach, Nick; Zeyer, Albert; Schlüter, Ralf; Ney, Hermann
Generating Synthetic Audio Data for Attention-Based Speech Recognition Systems
IEEE International Conference on Acoustics, Speech, and Signal Processing (2020)

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Trettner, Philip Ulrich; Kobbelt, Leif
Fast and Robust QEF Minimization using Probabilistic Quadrics
Computer graphics forum, 39, 2, 325-334 (2020)
[DOI: 10.1111/cgf.13933]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Bouissou, Marc; Khan, Shahid; Katoen, Joost-Pieter; Krcal, Pavel
Various Ways to Quantify BDMPs
Electronic proceedings in theoretical computer science, 316, 1-14 (2020)
[DOI: 10.4204/EPTCS.316.1]

[Fachzeitschriftenartikel]
Ergin, Huseyin; Gray, Jeff; Rumpe, Bernhard
Models as the subject of education
Software and systems modeling, 19, 4, 785-786 (2020)
[DOI: 10.1007/s10270-020-00818-1]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Ashok, Pranav; Chatterjee, Krishnendu; Křetínský, Jan; Weininger, Maximilian; Winkler, Tobias
Approximating Values of Generalized-Reachability Stochastic Games
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science - ACM New York, NY, USA, 2020. - ISBN 9781450371049 - doi:10.1145/3373718.3394761 (2020)
[DOI: 10.1145/3373718.3394761]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Winkler, Tobias; Weininger, Maximilian; Chatterjee, Krishnendu; Katoen, Joost-Pieter
Stochastic Games with Lexicographic Reachability-Safety Objectives
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang, 398-420 (2020)
[DOI: 10.1007/978-3-030-53291-8_21]

[Beitrag zu einem Tagungsband]
Dreier, Jan; Lotze, Henri; Rossmanith, Peter
Hard Problems on Random Graphs
[47th International Colloquium on Automata, Languages, and Programming, ICALP 2020] (2020)
[DOI: 10.4230/LIPIcs.ICALP.2020.40]

[Fachzeitschriftenartikel]
Bukowski, Mark; Farkas, Robert; Beyan, Oya Deniz; Moll, Lorna; Hahn, Horst; Kiessling, Fabian; Schmitz-Rode, Thomas
Implementation of eHealth and AI integrated diagnostics with multidisciplinary digitized data : are we ready from an international perspective?
European radiology (2020)
[DOI: 10.1007/s00330-020-06874-x]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Schuster, Daniel; van Zelst, Sebastiaan J.; van der Aalst, Wil M. P.
Incremental Discovery of Hierarchical Process Models
Research Challenges in Information Science / Dalpiaz, Fabiano (Editor) [https://orcid.org/0000-0003-4480-3887] ; Cham : Springer International Publishing, 2020, Chapter 25 ; ISSN: 1865-1348=1865-1356 ; ISBN: 978-3-030-50315-4=978-3-030-50316-1 ; doi:10.1007/978-3-030-50316-1, 417-433 (2020)
[DOI: 10.1007/978-3-030-50316-1_25]

[Fachzeitschriftenartikel]
Lange, Jan-Hendrik; Pfetsch, Marc E.; Seib, Bianca M.; Tillmann, Andreas M.
Sparse recovery with integrality constraints
Discrete applied mathematics, 283, 346-366 (2020)
[DOI: 10.1016/j.dam.2020.01.021]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Grohe, Martin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Lindner, Peter
Generative Datalog with Continuous Distributions
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - ACM New York, NY, USA, 2020. - ISBN 9781450371087 - doi:10.1145/3375395.3387659, 347-360 (2020)
[DOI: 10.1145/3375395.3387659]

[Beitrag zu einem Tagungsband]
Michael, Judith; Varga, Simon; Rumpe, Bernhard
Human Behavior, Goals and Model-Driven Software Engineering for Assistive Systems
[10th International Workshop on Enterprise Modeling and Information Systems Architectures, EMISA 2020, 2020-05-14 - 2020-05-15, Kiel, Germany], 11-18 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Feng, Shenghua; Chen, Mingshuai; Xue, Bai; Sankaranarayanan, Sriram; Zhan, Naijun
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
The 32nd International Conference on Computer Aided Verification (CAV 2020), July 21-24, 2020, Los Angeles, USA / Lahiri, Shuvendu K. and Wang, Chao (Editors), 327-348 (2020)
[DOI: 10.1007/978-3-030-53291-8_18]

[Fachzeitschriftenartikel]
Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
IEEE transactions on automatic control (2020)
[DOI: 10.1109/TAC.2020.2990140]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk
Scenario-Based Verification of Uncertain MDPs
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, 287-305 (2020)
[DOI: 10.1007/978-3-030-45190-5_16]

[Masterarbeit]
Sabau, Alex
Implementation of a continuous delivery pipeline for enterprise architecture model evolution
, 119 S. (2020)

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Kuhlen, Torsten; Nguyen, Huyen; Duval, Thierry; Trescak, Tomas
Foreword to the Special Section on the 25th Symposium on Virtual Reality Software and Technology
Computers & graphics, 89, A6-A7 (2020)
[DOI: 10.1016/j.cag.2020.05.001]

[Konferenzbeitrag]
Klinger, Andreas Gabriel; Wüller, Stefan; Traverso, Giulia; Meyer, Ulrike
Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
20th Central European Conference on Cryptology Zagreb 2020-06-24 - 2020-06-26 (2020)

[Beitrag zu einem Tagungsband]
Hofmann, Till; Niemueller, Tim; Lakemeyer, Gerhard
Macro Operator Synthesis for ADL Domains
Proceedings of the 24th European Conference on Artificial Intelligence (ECAI) (2020)

[Doktorarbeit]
Koren, István
DevOpsUse: community-driven continuous innovation of web information infrastructures
, 1 Online-Ressource (xiv,207 Seiten) : Illustrationen, Diagramme (2020)

[Buchbeitrag, Fachzeitschriftenartikel]
Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
Information and computation, 272, 104504 (2019, 2020)
[DOI: 10.1016/j.ic.2019.104504]

[Fachzeitschriftenartikel]
Schmitz, Patric; Blut, Timothy; Mattes, Christian; Kobbelt, Leif
High-Fidelity Point-Based Rendering of Large-Scale 3-D Scan Datasets
IEEE computer graphics and applications, 40, 3, 19-31 (2020)
[DOI: 10.1109/MCG.2020.2974064]

[Preprint]
Brix, Christopher; Noll, Thomas
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
(2020)

[Bachelorarbeit]
Le, Dan-Tuong
Quantitative Analysis of Counterexample Generation for Automata Learning
(2020)

[Bachelorarbeit]
Vogt, Thomas
Learning RFSA in Reverse
(2020)

[Buchbeitrag, Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Adam, Kai; Michael, Judith; Netz, Lukas Stephan Michael; Rumpe, Bernhard; Varga, Simon
Enterprise Information Systems in Academia and Practice: Lessons learned from a MBSE Project
GI-Edition / Proceedings, 59-66 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Adam, Kai; Michael, Judith; Netz, Lukas Stephan Michael; Rumpe, Bernhard; Varga, Simon
Model-Based Software Engineering at RWTH Aachen University
GI-Edition / Proceedings, 183-188 (2020)

[Bericht]
Drave, Imke Helene; Kautz, Oliver; Michael, Judith; Rumpe, Bernhard
Pre-Study on the Usefulness of Difference Operators for Modeling Languages in Software DevelopmentMichael
(2020)

[Fachzeitschriftenartikel]
Cheng, Long; Van Dongen, Boudewijn; van der Aalst, Wil M. P.
Scalable Discovery of Hybrid Process Models in a Cloud Computing Environment
IEEE transactions on services computing, 13, 2, 368-380 (2020)
[DOI: 10.1109/TSC.2019.2906203]

[Fachzeitschriftenartikel]
Kautz, Oliver; Rumpe, Bernhard; Wortmann, Andreas
Automated semantics-preserving parallel decomposition of finite component and connector architectures
Automated software engineering, 27, 1/2, 119-151 (2020)
[DOI: 10.1007/s10515-020-00268-5]

[Fachzeitschriftenartikel]
Schuh, Günther; Häfner; Hopmann, Christian; Rumpe, Bernhard; Brockmann, Matthias; Wortmann, Andreas; Maibaum, Judith; Dalibor, Manuela; Bibow; Sapel; Kröger
Effizientere Produktion mit Digitalen Schatten
Zeitschrift für wirtschaftlichen Fabrikbetrieb, 15, special, 105-107 (2020)
[DOI: 10.3139/104.112339]

[Buch, Doktorarbeit]
von Wenckstern, Michael
Verification of structural and extra-functional properties in component and connector models for embedded and cyber-physical systems
, 440 Seiten : Illustrationen, Diagramme (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Delgrange, Florent; Katoen, Joost-Pieter; Quatmann, Tim; Randour, Mickael
Simple Strategies in Multi-Objective MDPs
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, 346-364 (2020)
[DOI: 10.1007/978-3-030-45190-5_19]

[Beitrag zu einem Tagungsband]
Hölldobler, Katrin; Jansen, Nico; Rumpe, Bernhard; Wortmann, Andreas
Komposition Domänenspezifischer Sprachen unter Nutzung der MontiCore Language Workbench, am Beispiel SysML 2
[Modellierung 2020, 2020-02-19 - 2020-02-21, Vienna, Austria], 189-190 (2020)