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

[Beitrag zu einem Tagungsband]
Kusmenko, Evgeny; Nickels, Sebastian; Pavlitskaya, Svetlana; Rumpe, Bernhard; Timmermanns, Thomas
Modeling and Training of Neural Processing Systems
22nd International Conference on Model Driven Engineering Languages and Systems Munich 2019-09-15 - 2019-09-20, 283-293 (2019)

[Beitrag zu einem Tagungsband]
Gatto, Nicola; Kusmenko, Evgeny; Rumpe, Bernhard
Modeling Deep Reinforcement Learning Based Architectures for Cyber-Physical Systems
22nd International Conference on Model Driven Engineering Languages and Systems Munich 2019-09-15 - 2019-09-20, 196-202 (2019)

[Beitrag zu einem Tagungsband]
Kirchhof, Jörg Christian; Kusmenko, Evgeny; Rumpe, Bernhard; Zhang, Hengwen
Simulation as a Service for Cooperative Vehicles
22nd International Conference on Model Driven Engineering Languages and Systems Munich 2019-09-15 - 2019-09-20, 28-37 (2019)

[Beitrag zu einem Tagungsband]
Kirchhof, Jörg Christian; Kusmenko, Evgeny; Meurice, Jean; Rumpe, Bernhard
Simulation of Model Execution for Embedded Systems
22nd International Conference on Model Driven Engineering Languages and Systems Munich 2019-09-15 - 2019-09-20 (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Völker, Marcus; Kowalewski, Stefan
A Change-Based Heuristic for Static Analysis with Policy Iteration
Static Analysis / Chang, Bor-Yuh Evan (Editor) ; Cham : Springer International Publishing, 2019, Chapter 5 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-32303-5=978-3-030-32304-2 ; doi:10.1007/978-3-030-32304-2, 73-95 (2019)
[DOI: 10.1007/978-3-030-32304-2_5]

[Beitrag zu einem Tagungsband]
Drave, Imke Helene; Kautz, Oliver; Michael, Judith; Rumpe, Bernhard
Semantic Evolution Analysis of Feature Models
[The 23rd International Systems and Software Product Line Conference, SPLC19, 2019-09-09 - 2019-09-13, Paris, France], 245-255 (2019)

[Beitrag zu einem Tagungsband]
Ebert, Rolf; Jolianis, Jahir; Kriebel, Stefan; Markthaler, Matthias; Prünster, Benjamin; Rumpe, Bernhard; Salman, Karin Samira
Applying Product Line Testing for the Electric Drive System
[23rd International Systems and Software Product Line Conference, SPLC 2019, 2019-09-09 - 2019-09-13, Paris, France], 14-24 (2019)

[Fachzeitschriftenartikel]
Huang, Mingzhang; Fu, Hongfei; Katoen, Joost-Pieter
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems
Information and computation, 268, 104431 (2019)
[DOI: 10.1016/j.ic.2019.05.004]

[Fachzeitschriftenartikel]
Jarke, Matthias; Otto, Boris; Ram, Sudha
Data Sovereignty and Data Space Ecosystems
Business & information systems engineering, 61, 5, 549-550 (2019)
[DOI: 10.1007/s12599-019-00614-2]

[Buch]
Steffen, Bernhard; Wöginger, Gerhard Johannes
Computing and software science : state of the art and perspectives
, XIX, 590 Seiten (2019)
[DOI: 10.1007/978-3-319-91908-9]

[Buchbeitrag]
Češka, Milan; Dehnert, Christian; Jansen, Nils; Junges, Jan Sebastian Lukas; Katoen, Joost-Pieter
Model Repair Revamped
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, 107-125 (2019)
[DOI: 10.1007/978-3-030-31514-6_7]

[Buchbeitrag]
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
The 10,000 Facets of MDP Model Checking
Computing and software science : state of the art and perspectives / Bernhard Steffen, Gerhard Woeginger (Eds.), 420-451 (2019)
[DOI: 10.1007/978-3-319-91908-9_21]

[Bachelorarbeit]
Hanneken, Lukas
Investigation of Node-Level Performance Variation on the CLAIX2016 and CLAIX2018 Cluster of the RWTH Aachen University
, 1 Online-Ressource (xiii, 65 Seiten) (2019)

[Fachzeitschriftenartikel]
Mannhardt, Felix; Koschmider, Agnes; Baracaldo, Nathalie; Weidlich, Matthias; Michael, Judith
Privacy-Preserving Process Mining : Differential Privacy for Event Logs
Business & information systems engineering, 61, 5, 595-614 (2019)
[DOI: 10.1007/s12599-019-00613-3]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Morris, Christopher; Ritzert, Martin Alexander Felix; Fey, Matthias; Hamilton, William L.; Lenssen, Jan Eric; Rattan, Gaurav; Grohe, Martin
Weisfeiler and Leman Go Neural: Higher-Order Graph Neural Networks
The Thirty-Third AAAI Conference on Artificial Intelligence, the Thirty-First Innovative Applications of Artificial Intelligence Conference, the Ninth AAAI Symposium on Educational Advances in Artificial Intelligence : Honolulu, Hawaii USA - January 27-February 1, 2019 / sponsored by the Association for the Advancement of Artificial Intelligence, 4602-4609 (2019)
[DOI: 10.1609/aaai.v33i01.33014602]

[Fachzeitschriftenartikel]
Winkelmann, Jan; Springer, Paul; Di Napoli, Edoardo
ChASE: Chebyshev Accelerated Subspace Iteration Eigensolver for Sequences of Hermitian Eigenvalue Problems
ACM transactions on mathematical software, 45, 2, 1-34 (2019)
[DOI: 10.1145/3313828]

[Fachzeitschriftenartikel]
Naumann, Uwe
Adjoint Code Design Patterns
ACM transactions on mathematical software, 45, 3, 1-32 (2019)
[DOI: 10.1145/3326162]

[Masterarbeit]
Convent, Simon
Investigating Scheduling and Load Balancing Characteristics of Task-based Programming Models for Hybrid HPC Applications
(2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Pennekamp, Jan; Martin, Henze; Schmidt, Simo Aleksis; Niemietz, Philipp; Fey, Marcel; Trauth, Daniel Harald; Bergs, Thomas; Brecher, Christian; Wehrle, Klaus
Dataflow Challenges in an Internet of Production: A Security & Privacy Perspective
[Proceedings of the 5th ACM Workshop on Cyber-Physical Systems Security and PrivaCy (CPS-SPC \'19)] (2019)
[DOI: 10.1145/3338499.3357357]

[Masterarbeit]
Ricken, Karl
Lehren technikferner Erwachsener mit Hilfe mobiler Geräte am Beispiel "Internet"
(2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Noichl, Svenja; Schroeder, Ulrik
Zu alt für Informatik?: Seniorinnen und Senioren erobern die digitale Welt
P294 - INFORMATIK 2019 - 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, 685-698 (2019)
[DOI: 10.18420/inf2019_82]

[Bachelorarbeit]
Goldin, Anton
MTLG-Erweiterung für intuitive Interaktionsgesten an Multitouch-Displays anhand von Pentomino
(2019)

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Sato, Kento; Laguna, Ignacio; Lee, Gregory L.; Schulz, Martin; Chambreau, Christopher M.; Atzeni, Simone; Bentley, Michael; Gopalakrishnan, Ganesh; Rakamaric, Zvonimir; Sawaya, Geof; Protze, Joachim; Ahn, Dong H.
Pruners : Providing reproducibility for uncovering non-deterministic errors in runs on supercomputers
The international journal of high performance computing applications, 33, 5, 777-783 (2019)
[DOI: 10.1177/1094342019834621]

[Fachzeitschriftenartikel]
Gray, Jeff; Rumpe, Bernhard
Models as the subject of research
Software and systems modeling, 18, 6, 3189-3191 (2019)
[DOI: 10.1007/s10270-019-00751-y]

[Doktorarbeit]
Schupp, Stefan Alexander
State set representations and their usage in the reachability analysis of hybrid systems
, 1 Online-Ressource (217 Seiten) : Illustrationen, Diagramme (2019)

[Bachelorarbeit]
Möhring, Tobias
Entwicklung einer Cross-Platform Feedback-App zur Verbesserung von Unterrichtsstunden von Lehramtsstudierenden und Referendaren
(2019)

[Bachelorarbeit]
Sorressa, Lorenzo
Konzeption eines Lernspieles zur Klassifizierung von Phishing-URLs
(2019)

[Buch, Tagungsband]
Rossmanith, Peter; Heggernes, Pinar; Katoen, Joost-Pieter
44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany / edited by Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen
44th International Symposium on Mathematical Foundations of Computer Science Aachen 2019-08-26 - 2019-08-30 (2019)
[DOI: 10.4230/LIPICS.MFCS.2019.0]

[Fachzeitschriftenartikel]
Fabry, Gregor; Doorschodt, Benedict M.; Grzanna, Tim; Boor, Peter; Elliott, Aaron; Stollenwerk, André; Tolba, René H.; Rossaint, Rolf; Bleilevens, Christian
Cold Preflush of Porcine Kidney Grafts Prior to Normothermic Machine Perfusion Aggravates Ischemia Reperfusion Injury
Scientific reports, 9, 13897 (2019)
[DOI: 10.1038/s41598-019-50101-7]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Röpke, Rene Christian; Schroeder, Ulrik
Mit G/P/S durch die Welt der spielbasierten Lernanwendungen und Serious Games für IT-Sicherheit
Lecture Notes in Informatics (LNI) - Proceedings, 317-318 (2019)
[DOI: 10.18420/DELFI2019_295]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Röpke, Rene Christian; Larisch, Kathrin; Schöbel, Sven; Schroeder, Ulrik
Mit der Lupe unterwegs - eine spiel-basierte Lernanwendung zu Sicherheit im Internet
Lecture Notes in Informatics (LNI) - Proceedings, 315-316 (2019)
[DOI: 10.18420/DELFI2019_217]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Röpke, Rene Christian; Ehlenz, Matthias Siegfried; Leonhardt, Thiemo; Schroeder, Ulrik
Dungeons & DFAs
Lecture Notes in Informatics (LNI) - Proceedings, 287-288 (2019)
[DOI: 10.18420/DELFI2019_320]

[Beitrag zu einem Tagungsband]
Noichl, Svenja; Korth, Susanne; Schroeder, Ulrik
Mobile barrierefreie Lernanwendungen in der Bauindustrie
Workshopband MuC 2019, 2-8 (2019)
[DOI: 10.18420/muc2019-ws-422]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Bit-Monnot, Arthur; Leofante, Francesco; Pulina, Luca; Tacchella, Armando
SMT-based Planning for Robots in Smart Factories
Advances and Trends in Artificial Intelligence. From Theory to Practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019, Proceedings / edited by Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali, 674-686 (2019)
[DOI: 10.1007/978-3-030-22999-3_58]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Berger, Philipp; Nellen, Johanna; Katoen, Joost-Pieter; Ábrahám, Erika; Waez, Md Tawhid Bin; Rambow, Thomas
Multiple Analyses, Requirements Once: Simplifying Testing and Verification in Automotive Model-Based Development
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings / edited by Kim Guldstrand Larsen, Tim Willemse, 59-75 (2019)
[DOI: 10.1007/978-3-030-27008-7_4]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Völker, Marcus; Kloock, Maximilian; Rabanus, Leon; Alrifaee, Bassam; Kowalewski, Stefan
Verification of Cooperative Vehicle Behavior using Temporal Logic
IFAC-PapersOnLine, 52, 8, 99-104 (2019)
[DOI: 10.1016/j.ifacol.2019.08.055]

[Buch, Doktorarbeit]
Hermerschmidt, Lars
Agile modellgetriebene Entwicklung von Software Security & Privacy
, 203 Seiten : llustrationen (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Giesl, Jürgen; Giesl, Peter; Hark, Marcel
Computing Expected Runtimes for Constant Probability Programs
Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : Proceedings / Pascal Fontaine (Ed.), 269-286 (2019)
[DOI: 10.1007/978-3-030-29436-6_16]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Elderhalli, Yassmeen; Volk, Matthias; Hasan, Osman; Katoen, Joost-Pieter; Tahar, Sofiène
Formal Verification of Rewriting Rules for Dynamic Fault Trees
Software Engineering and Formal Methods, 513-531 (2019)
[DOI: 10.1007/978-3-030-30446-1_27]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kiefer, Sandra; Neuen, Daniel
The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs
44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany / edited by Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen (2019)
[DOI: 10.4230/LIPICS.MFCS.2019.45]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Volk, Matthias; Weik, Norman; Katoen, Joost-Pieter; Nießen, Nils
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
Formal Methods for Industrial Critical Systems (FMICS), Lecture notes in computer science, 11687, 40-58 (2019)
[DOI: 10.1007/978-3-030-27008-7_3]

[Preprint]
Löding, Christof; Spinrath, Christopher
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words
, 32 Seiten (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kloock, Maximilian; Kragl, Ludwig; Maczijewski, Janis; Alrifaee, Bassam; Kowalewski, Stefan
Distributed Model Predictive Pose Control of Multiple Nonholonomic Vehicles
2019 IEEE Intelligent Vehicles Symposium (IV) : [Proceedings], 1620-1625 (2019)
[DOI: 10.1109/IVS.2019.8813980]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hohlfeld, Oliver; Krude, Johannes; Reelfs, Jens Helge; Ruth, Jan; Wehrle, Klaus
Demystifying the Performance of XDP BPF
2019 IEEE Conference on Network Softwarization (NetSoft) : [Proceedings] (2019)
[DOI: 10.1109/NETSOFT.2019.8806651]

[Fachzeitschriftenartikel]
Kalenkova, Anna; Burattin, Andrea; de Leoni, Massimiliano; van der Aalst, Wil M. P.; Sperduti, Alessandro
Discovering high-level BPMN process models from event data
Business process management journal, 25, 5, 995-1019 (2019)
[DOI: 10.1108/BPMJ-02-2018-0051]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Reuscher, Tim Andreas; Pyta, Lorenz Matthias; Konrad, Thomas; Richter, Pascal; Abel, Dirk
Proper Orthogonal Decomposition and Bilinear Lyapunov Control of Parabolic Trough Collectors
[2019 27th Mediterranean Conference on Control and Automation (MED), MED19, 2019-07-01 - 2019-07-04, Akko, Israel], 439-444 (2019)
[DOI: 10.1109/MED.2019.8798520]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Ali, Lubna; Schroeder, Ulrik
A tool to enhance the utilization of OER in higher education
EDULEARN19 Proceedings, 7321-7325 (2019)
[DOI: 10.21125/edulearn.2019.1752]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Judel, Sven; Röpke, René; Zaric, Nadja; Schroeder, Ulrik
ILSA - ein integriertes Lernstil-Analysesystem für Moodle
P297, 307-308 (2019)
[DOI: 10.18420/delfi2019_301]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Zaric, Nadja; Judel, Sven; Röpke, Rene Christian; Schroeder, Ulrik
ILSA - an integrated learning styles analytics system
[11th International Conference on Education and New Learning Technologies, EDULEARN, 2019-07-01 - 2019-07-03, Palma, Spain] (2019)
[DOI: 10.21125/edulearn.2019.0770]