[Buchbeitrag, Beitrag zu einem Tagungsband]
Grohe, Martin; Lindner, Peter
Infinite Probabilistic Databases
23rd International Conference on Database Theory (ICDT 2020), 16:1-16:20 (2020)
[DOI: 10.4230/LIPICS.ICDT.2020.16]

[Fachzeitschriftenartikel]
Brenner, Andreas; Zecherle, Markus; Verpoort, Sven; Schuster, Kersten; Schnitzler, Claus; Kogel-Hollacher, Markus; Reisacher, Martin; Nohn, Benedikt
Efficient production of design textures on large-format 3D mold tools
Journal of laser applications, 32, 1, 012018 (2020)
[DOI: 10.2351/1.5132401]

[Fachzeitschriftenartikel]
Hinz, Oliver; van der Aalst, Wil M. P.; Weinhardt, Christof
Research in the Attention Economy
Business & information systems engineering, 62, 2, 83-85 (2020)
[DOI: 10.1007/s12599-020-00631-6]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Moerman, Joshua; Rot, Jurriaan
Separation and Renaming in Nominal Sets
28th EACSL Annual Conference on Computer Science Logic (CSL 2020), 31:1-31:17 (2020)
[DOI: 10.4230/LIPICS.CSL.2020.31]

[Fachzeitschriftenartikel]
Ergin, Huseyin; Gray, Jeff; Rumpe, Bernhard; Schindler, Martin
SoSyM reflections: the 2019 “state of the journal” report
Software and systems modeling, 19, 1, 1-4 (2020)
[DOI: 10.1007/s10270-020-00778-6]

[Fachzeitschriftenartikel]
Gray, Jeff; Rumpe, Bernhard
Compositional model analysis
Software and systems modeling, 19, 2, 261-262 (2020)
[DOI: 10.1007/s10270-020-00784-8]

[Fachzeitschriftenartikel]
Fathalla, Said; Vahdati, Sahar; Lange, Christoph; Auer, Sören
Scholarly event characteristics in four fields of science: a metrics-based analysis
Scientometrics : an international journal for all quantitative aspects of the science of science, communication in science and science policy (2020)
[DOI: 10.1007/s11192-020-03391-y]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Klinkenberg, Jannis; Samfass, Philipp; Bader, Michael; Terboven, Christian; Müller, Matthias Stefan
Reactive Task Migration for Hybrid MPI+OpenMP Applications
Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part II / Editors: Roman WyrzykowskiEwa DeelmanJack DongarraKonrad Karczewski, 59-71 (2020)
[DOI: 10.1007/978-3-030-43222-5_6]

[Bachelorarbeit]
Thärigen, Isabel
Identification of characteristic performance behavior in data race detection
(2020)

[Masterarbeit]
Feser, Patrick
Foundations of Interactive Jewelry: Understanding Crafting Practices
(2020)

[Masterarbeit]
Sohail, Anam
Challenges in Recruiting Participants for Studies in HCI
(2020)

[Masterarbeit]
Mayilli, Asif
Understanding How Tangibles Are Used for Data Sharing
(2020)

[Masterarbeit]
Jha, Ajay Kumar
Springlet Apps: Applications of On-Skin Shape Memory Alloy Actuators
(2020)

[Beitrag zu einem Tagungsband]
Drave, Imke Helene; Henrich, Timo; Hölldobler, Katrin; Kautz, Oliver; Michael, Judith; Rumpe, Bernhard
Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen
[Modellierung 2020 Conference, 2020-02-19 - 2020-02-21, Vienna, Austria], 173-188 (2020)

[Beitrag zu einem Tagungsband]
Gerasimov, Arkadii; Heuser, Patricia; Ketteniß, Holger; Letmathe, Peter; Michael, Judith; Netz, Lukas Stephan Michael; Rumpe, Bernhard; Varga, Simon
Generated Enterprise Information Systems: MDSE for Maintainable Co-Development of Frontend and Backend
[Modellierung 2020 Conference, 2020-02-19 - 2020-02-21, Vienna, Austria], 22-30 (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard
MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety
AIAA Scitech 2020 Forum : [Proceedings], 0671 (2020)
[DOI: 10.2514/6.2020-0671]

[Fachzeitschriftenartikel]
Hark, Marcel; Kaminski, Benjamin Lucien; Giesl, Jürgen; Katoen, Joost-Pieter
Aiming low is harder: induction for lower bounds in probabilistic program verification
Proceedings of the ACM on programming languages, 4, POPL, 1-28 (2020)
[DOI: 10.1145/3371105]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kirchhof, Jörg Christian; Rumpe, Bernhard; Schmalzing, David Pascal; Wortmann, Andreas
Structurally Evolving Component-Port-Connector Architectures of Centrally Controlled Systems
[14th International Working Conference on Variability Modelling of Software-Intensive Systems, VAMOS'20, 2020-02-05 - 2020-02-07, Magdeburg, Germany], article 23 (2020)

[Fachzeitschriftenartikel]
Buglowski, Mateusz; Bleilevens, Christian; Fabry, Gregor; Kowalewski, Stefan; Stollenwerk, André
Flussgesteuerte pH-Regulierung in einem automatisierten Nierenperfusionssystem
Automation in Medical Engineering Lübeck 2020-03-02 - 2020-03-03, 1, 1 (2020)

[Fachzeitschriftenartikel]
Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control
Acta informatica, 32 Seiten (2020)
[DOI: 10.1007/s00236-020-00374-7]

[Doktorarbeit]
Junges, Sebastian
Parameter synthesis in Markov models
, 1 Online-Ressource (xv, 371 Seiten) : Illustrationen (2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Smieschek, Manfred; Rakel, Stefan; Thönnessen, David; Derks, Andreas; Stollenwerk, André; Kowalewski, Stefan
A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course
[Workshop on Embedded Systems and Cyber-Physical Systems Education, WESE 2019, New York, USA], 231-246 (2020)
[DOI: 10.1007/978-3-030-41131-2_11]

[Fachzeitschriftenartikel]
Stollenwerk, André; Chamberlain, Roger; Edin Grimheden, Martin; Taha, Walid
An Embedded Graduate Lab Course with Spirit
Lecture notes in computer science, 11971, 247-263 (2020)
[DOI: 10.1007/978-3-030-41131-2_12]

[Masterarbeit]
Deb, Amrita
Application of gamification as a support for strategizing in self-regulated learning
(2020)

[Masterarbeit]
Gottschlich, Dirk Manuel
Enhancing e-learning with an interactive gamification analytics tool
(2020)

[Buchbeitrag, Fachzeitschriftenartikel]
Klamma, Ralf; Koren, István; Jarke, Matthias
Mixed Reality and Wearables in Industrial Training
ERCIM news, 120, 27-28 (2020)

[Fachzeitschriftenartikel]
Klinkenberg, Jannis; Samfass, Philipp; Bader, Michael; Terboven, Christian; Müller, Matthias Stefan
CHAMELEON: Reactive Load Balancing for Hybrid MPI+OpenMP Task-Parallel Applications
Journal of parallel and distributed computing, 138, 55-64 (2019, 2020)
[DOI: 10.1016/j.jpdc.2019.12.005]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Tauer, Björn Frederik; Fischer, Dennis; Fuchs, Janosch; Vargas Koch, Laura; Zieger, Stephan
Waiting for Trains: Complexity Results
Algorithms and Discrete Applied Mathematics : 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : Proceedings / Manoj Changat, Sandip Das (Eds.), 282-303 (2020)
[DOI: 10.1007/978-3-030-39219-2_24]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Pourbafrani, Mahsa; van Zelst, Sebastiaan J.; van der Aalst, Wil M. P.
Supporting Decisions in Production Line Processes by Combining Process Mining and System Dynamics
[Intelligent Human Systems Integration 2020, IHSI2020, 2020-02-19 - 2020-02-21, Modena, Italy], 461-467 (2020)
[DOI: 10.1007/978-3-030-39512-4_72]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Pegoraro, Marco; Uysal, Merih Seran; van der Aalst, Wil M. P.
Discovering Process Models from Uncertain Event Data
Business Process Management Workshops : BPM 2019 International Workshops, Vienna, Austria, September 1-6, 2019, Revised Selected Papers / edited by Chiara Di Francescomarino, Remco Dijkman, Uwe Zdun., 238-249 (2019, 2020)
[DOI: 10.1007/978-3-030-37453-2_20]

[Bachelorarbeit]
Kraus, Nicole
Ein Leitfaden für Lehrende zum Einstieg in das Thema Data Mining
(2020)

[Buchbeitrag]
Steinberger, Claudia; Michael, Judith
Using Semantic Markup to Boost Context Awareness for Assistive Systems
Smart Assisted Living : Toward An Open Smart-Home Infrastructure / edited by Feng Chen, Rebeca I. García-Betances, Liming Chen, María Fernanda Cabrera-Umpiérrez, Chris Nugent, 227-246 (2020)
[DOI: 10.1007/978-3-030-25590-9_11]

[Doktorarbeit]
Matheja, Christoph
Automated reasoning and randomization in separation logic
, 1 Online-Ressource (x, 504 Seiten) : Illustrationen, Diagramme (2020)

[Dataset]
Kosek, Mike; Rüth, Jan Christoph; Zimmermann, Torsten; Blöcher, Leo; Hohlfeld, Oliver
Dataset to "MUST, SHOULD, DON’T CARE: TCP Conformance in the Wild"
(2020)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Fögen, Konrad; Lichter, Horst
Semi-Automatic Repair of Over-Constrained Models for Combinatorial Robustness Testing
2019 26th Asia-Pacific Software Engineering Conference (APSEC) : [Proceedings], 110-117 (2020)
[DOI: 10.1109/APSEC48747.2019.00024]

[Fachzeitschriftenartikel]
van der Aalst, Wil M. P.
Case Notion Discovery and Recommendation: Automated Event Log Building on Databases
Knowledge and information systems, 2019, 1-37 (2020)
[DOI: 10.1007/s10115-019-01430-6]

[Fachzeitschriftenartikel]
Grochowski, Marco; Simon, Hendrik; Bohlender, Dimitri; Kowalewski, Stefan; Löcklin, Andreas; Müller, Timo; Jazdi, Nasser; Zeller, Andreas; Weyrich, Michael
Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion
Automatisierungstechnik, 68, 1, 3-14 (2020)
[DOI: 10.1515/auto-2019-0115]

[Fachzeitschriftenartikel]
Hromkovic, Juraj; Rossmanith, Peter
What one has to know when attacking P vs. NP
Journal of computer and system sciences : JCSS, 107, 142-155 (2019, 2020)
[DOI: 10.1016/j.jcss.2019.06.004]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Deussen, Jens; Naumann, Uwe
Discrete Interval Adjoints in Unconstrained Global Optimization
Optimization of Complex Systems: Theory, Models, Algorithms and Applications / edited by Hoai An Le Thi, Hoai Minh Le, Tao Pham Dinh, 78-88 (2020)
[DOI: 10.1007/978-3-030-21803-4_8]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Richter, Pascal; Kepp, Fynn; Büsing, Christina Maria Katharina; Kuhnke, Sascha David
Optimization of robust aiming strategies in solar tower power plants
SolarPACES 2018 : International Conference on Concentrating Solar Power and Chemical Energy Systems : Casablanca, Morocco, 2-5 October 2018 / editors: Christoph Richter. - A, 030045, 1-9 (2019)
[DOI: 10.1063/1.5117557]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Khan, Shahid; Katoen, Joost-Pieter; Volk, Matthias; Bouissou, Marc
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC) : [Proceedings], 266-275 (2019)
[DOI: 10.1109/PRDC47002.2019.00057]

[Beitrag zu einem Tagungsband]
Ritzert, Martin Alexander Felix; Grienenberger, Emilie
Learning Definable Hypotheses on Trees
[22nd International Conference on Database Theory, ICDT19, 2019-03-26 - 2019-03-29, Lisbon, Portugal] (2019)
[DOI: 10.4230/LIPICS.ICDT.2019.24]

[Buchbeitrag, Beitrag zu einem Tagungsband]
ter Beek, Maurice H.; McIver, Annabelle; Oliveira, José N.; Češka, Milan; Hensel, Christian; Junges, Sebastian; Katoen, Joost-Pieter
Counterexample-Driven Synthesis for Probabilistic Program Sketches
Formal Methods – The Next 30 Years / ter Beek, Maurice H. (Editor) [https://orcid.org/0000-0002-2930-6367], 101-120 (2019)
[DOI: 10.1007/978-3-030-30942-8_8]

[Buch, Tagungsband]
Guan, Nan; Katoen, Joost-Pieter; Sun, Jun
Dependable software engineering: theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019 : proceedings
5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications Shanghai 2019-11-27 - 2019-11-29, viii, 138 Seiten : Illustrationen (2019)
[DOI: 10.1007/978-3-030-35540-1]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Vojnar, Tomáš; Zhang, Lijun; Češka, Milan; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter
Shepherding Hordes of Markov Chains
Tools and Algorithms for the Construction and Analysis of Systems / Vojnar, Tomáš (Editor) [https://orcid.org/0000-0002-2746-8792], 172-190 (2019)
[DOI: 10.1007/978-3-030-17465-1_10]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Spel, Jip Josephine; Junges, Sebastian; Katoen, Joost-Pieter
Are Parametric Markov Chains Monotonic?
Automated Technology for Verification and Analysis / Chen, Yu-Fang (Editor), 479-496 (2019)
[DOI: 10.1007/978-3-030-31784-3_28]

[Preprint]
Moerman, Joshua; Rot, Jurriaan
Separation and Renaming in Nominal Sets
(2019)

[Preprint]
Moerman, Joshua; Sammartino, Matteo
Residual Nominal Automata
(2019)

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Noichl, Svenja
Informatik-Kompetenzen für technikferne Erwachsene zur Teilhabe in der Digitalen Welt
MedienPädagogik, 36, Teilhabe, 117-132 (2019)
[DOI: 10.21240/mpaed/36/2019.11.17.X]

[Beitrag zu einem Tagungsband]
Wortmann, Andreas
Towards Component-Based Development of Textual Domain-Specific Languages
[International Conference on Software Engineering Advances, ICSEA 2019, 2019-11-24 - 2019-11-28, Valencia, Spain], 68-73 (2019)