[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)

[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)
[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, Fachzeitschriftenartikel]
Kautz, Oliver; Kautz, Oliver; Rumpe, Bernhard; Rumpe, Bernhard; Wortmann, Andreas; 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]

[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)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Buchsbaum, Melanie Sarah Katharina; Brecher, C.; Grochowski, M.; Kowalewski, Stefan
Identifikation von Informationen zur Beschreibung der Systemgrenzen eines sicheren, cyber-physischen Automatisierungssystems
Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen : EKA 2020 : 05.-06. Mai 2020 : 16. Fachtagung mit Workshop, Magdeburg, 10 p. (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Grochowski, M.; Kowalewski, Stefan; Buchsbaum, Melanie Sarah Katharina; Brecher, C.
Befähigung der Testautomatisierung für ein cyber-physisches Produktionssystem
Entwurf komplexer Automatisierungssysteme : Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen : EKA 2020 : 05.-06. Mai 2020 : 16. Fachtagung mit Workshop; Magdeburg, 10 p. (2020)

[Fachzeitschriftenartikel]
Wang, Ruijie; Wang, Meng; Liu, Jun; Cochez, Michael; Decker, Stefan Josef
Structured query construction via knowledge graph embedding
Knowledge and information systems, 62, 5, 1819-1846 (2019)
[DOI: 10.1007/s10115-019-01401-x]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Ábrahám, Erika; Bartocci, Ezio; Bonakdarpour, Borzoo; Dobe, Oyendrila
Parameter Synthesis for Probabilistic Hyperproperties
[The 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2020], 12-31 (2020)

[Preprint]
Batz, Kevin; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp
PrIC3: Property Directed Reachability for MDPs
(2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hark, Marcel; Frohn, Florian; Giesl, Jürgen
Polynomial Loops: Beyond Termination
Proceedings of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 279-297 (2020)
[DOI: 10.29007/nxv1]

[Fachzeitschriftenartikel]
Laska, Marius; Blankenbach, Jörg; Klamma, Ralf
Adaptive Indoor Area Localization for Perpetual Crowdsourced Data Collection
Sensors, 20, 5, 1443 (2020)
[DOI: 10.3390/s20051443]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Küppers, Bastian; Eifert, Thomas; Zameitat, Richard; Schroeder, Ulrik
EA and BYOD: Threat Model and Comparison to Paper-based Examinations
Proceedings of the 12th International Conference on Computer Supported Education : May 2-4, 2020. (2020)
[DOI: 10.5220/0009578004950502]

[Fachzeitschriftenartikel]
Osterland, Thomas; Rose, Thomas
Model checking smart contracts for Ethereum
Pervasive and mobile computing, 63, 101129 - (2020)
[DOI: 10.1016/j.pmcj.2020.101129]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Haehn, Rebecca; Ábrahám, Erika; Nießen, Nils
Freight Train Scheduling in Railway Systems
Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings / edited by Holger Hermanns, 225-241 (2020)
[DOI: 10.1007/978-3-030-43024-5_14]

[Doktorarbeit]
Corsten, Christian Leonhard
Use the force: how force touch improves input on handheld touchscreens
, 1 Online-Ressource (xxvii, 240 Seiten) : Illustrationen, Diagramme (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Roepert, Linus; Dahlmanns, Markus; Fink, Ina; Pennekamp, Jan; Henze, Martin
Assessing the Security of OPC UA Deployments
[1st ITG Workshop on IT Security, ITSec] (2020)
[DOI: 10.15496/PUBLIKATION-41813]

[Fachzeitschriftenartikel]
Beverungen, Daniel; Buijs, Joos C. A. M.; Becker, Jörg; Di Ciccio, Claudio; van der Aalst, Wil M. P.; Bartelheimer, Christian; vom Brocke, Jan; Comuzzi, Marco; Kraume, Karsten; Leopold, Henrik; Matzner, Martin; Mendling, Jan; Ogonek, Nadine; Post, Till; Resinas, Manuel; Revoredo, Kate; del-Río-Ortega, Adela; La Rosa, Marcello; Santoro, Flávia Maria; Solti, Andreas; Song, Minseok; Stein, Armin; Stierle, Matthias; Wolf, Verena
Seven Paradoxes of Business Process Management in a Hyper-Connected World
Business & information systems engineering, 12 Seiten (2020)
[DOI: 10.1007/s12599-020-00646-z]

[Doktorarbeit]
Irie, Kazuki
Advancing neural language modeling in automatic speech recognition
, 1 Online-Ressource (xi, 151 Seiten) : Illustrationen (2020)

[Fachzeitschriftenartikel]
Luiten, Jonathon; Fischer, Tobias; Leibe, Bastian
Track to Reconstruct and Reconstruct to Track
Missing Journal / Fehlende Zeitschrift, 5, 2, 1803-1810 (2020)
[DOI: 10.1109/LRA.2020.2969183]

[Fachzeitschriftenartikel]
Pika, Anastasiia; Wynn, Moe T.; Budiono, Stephanus; ter Hofstede, Arthur H. M.; van der Aalst, Wil M. P.; Reijers, Hajo A.
Privacy-Preserving Process Mining in Healthcare
International journal of environmental research and public health, 17, 5, 1612 (2020)
[DOI: 10.3390/ijerph17051612]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Cramer, Tim; Römmer, Manoel; Kosmynin, Boris; Focht, Erich; Müller, Matthias S.
OpenMP Target Device Offloading for the SX-Aurora TSUBASA Vector Engine
Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, 237-249 (2020)
[DOI: 10.1007/978-3-030-43229-4_21]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Löding, Christof; Pirogov, Anton
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König, 522-541 (2020)
[DOI: 10.1007/978-3-030-45231-5_27]

[Beitrag zu einem Tagungsband]
Völker, Simon; Hueber, Sebastian; Holz, Christian; Remy, Christian; Marquardt, Nicolai
GazeConduits: Calibration-Free Cross-Device Collaboration through Gaze and Touch
[The 2020 CHI Conference on Human Factors in Computing Systems, CHI '20] (2020)
[DOI: 10.1145/3313831.3376578]

[Beitrag zu einem Tagungsband]
Völker, Simon; Hueber, Sebastian; Corsten, Christian Leonhard; Remy, Christian
HeadReach: Using Head Tracking to Increase Reachability on Mobile Touch Devices
[The 2020 CHI Conference on Human Factors in Computing Systems, CHI '20] (2020)
[DOI: 10.1145/3313831.3376868]

[Beitrag zu einem Tagungsband]
Wacker, Philipp; Wagner, Adrian; Völker, Simon; Borchers, Jan
Heatmaps, Shadows, Bubbles, Rays: Comparing Mid-Air Pen Position Visualizations in Handheld AR
[The 2020 CHI Conference on Human Factors in Computing Systems, CHI '20] (2020)
[DOI: 10.1145/3313831.3376848]

[Beitrag zu einem Tagungsband]
Subramanian, Krishna; Maas, Johannes; Borchers, Jan
TRACTUS: Understanding and Supporting Source Code Experimentation in Hypothesis-Driven Data Science
[The 2020 CHI Conference on Human Factors in Computing Systems, CHI '20] (2020)
[DOI: 10.1145/3313831.3376764]

[Tagungsband]
Marchal, Maud; Gabbard, Joseph L.; Jorge, Joaquim; Kuhlen, Torsten; Steed, Anthony
2020 IEEE Conference on Virtual Reality and 3D User Interfaces : Atlanta, Georgia, 22-26 March 2020
IEEE transactions on visualization and computer graphics, 26, 5 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
An, Jie; Chen, Mingshuai; Zhan, Bohua; Zhan, Naijun; Zhang, Miaomiao
Learning One-Clock Timed Automata
The 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), April 25-30, 2020, Dublin, Ireland / Biere, Armin and Parker, David (Editors), 444-462 (2020)
[DOI: 10.1007/978-3-030-45190-5_25]

[Fachzeitschriftenartikel]
Tax, Niek; Teinemaa, Irene; van Zelst, Sebastiaan J.
An interdisciplinary comparison of sequence modeling methods for next-element prediction
Software and systems modeling, 21 Seiten (2020)
[DOI: 10.1007/s10270-020-00789-3]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Marchal, Maud; Gabbard, Joseph L.; Jorge, Joaquim; Kuhlen, Torsten; Steed, Anthony
Preface : Message from the Program Chairs and Guest Editors
IEEE transactions on visualization and computer graphics : TVCG, 26, 5, vi-vi (2020)
[DOI: 10.1109/TVCG.2020.2978987]

[Buchbeitrag]
Mann, Samuel Micha; Pennekamp, Jan; Brockhoff, Tobias; Farhang, Anahita; Pourbafrani, Mahsa; Oster, Lukas Emmanuel; Uysal, Merih Seran; Sharma, Rahul; Reisgen, Uwe Kaspar; Wehrle, Klaus; van der Aalst, Wil M. P.
Connected, Digitalized Welding Production : Secure, Ubiquitous Utilization of Data Across Process Layers
Advanced Joining Processes / Lucas F. M. da Silva, Paulo A. F. Martins, Mohamad S. El-Zein, Editors, 101-118 (2020)
[DOI: 10.1007/978-981-15-2957-3_8]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kosek, Mike; Blöcher, Leo; Rüth, Jan; Zimmermann, Torsten; Hohlfeld, Oliver
MUST, SHOULD, DON’T CARE: TCP Conformance in the Wild
Passive and Active Measurement / Sperotto, Anna (Editor), 122-138 (2020)
[DOI: 10.1007/978-3-030-44081-7_8]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Matzutt, Roman; Pennekamp, Jan; Wehrle, Klaus
A Secure and Practical Decentralized Ecosystem for Shareable Education Material
2020 International Conference on Information Networking (ICOIN) : [Proceedings] (2020)
[DOI: 10.1109/ICOIN48656.2020.9016478]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Grohe, Martin
Weisfeiler and Leman’s Unlikely Journey from Graph Isomorphism to Neural Networks
37th International Symposium on Theoretical Aspects of Computer Science : STACS 2020, March 10-13, 2020, Montpellier, France / edited by Christophe Paul, Markus Bläser (2020)
[DOI: 10.4230/LIPICS.STACS.2020.2]

[Fachzeitschriftenartikel]
Gray, Jeff; Rumpe, Bernhard
Modeling dynamic structures
Software and systems modeling, s10270-020-00793-7 (2020)
[DOI: 10.1007/s10270-020-00793-7]

[Fachzeitschriftenartikel]
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Wöginger, Gerhard Johannes
Timeline-based planning over dense temporal domains
Theoretical computer science, 813, 305-326 (2020)
[DOI: 10.1016/j.tcs.2019.12.030]

[Fachzeitschriftenartikel]
Janisch, Thorsten; Stollenwerk, André; Siekmann, Ulrich; Kopp, Rüdger
Treatment of children with Hyperbaric Oxygenation (HBOT) : an Europe-wide survey
Minerva Pediatrica (2020)
[DOI: 10.23736/S0026-4946.20.05741-2]