[Dissertation / PhD Thesis]
Ströder, Thomas
Symbolic execution and program synthesis : a general methodology for software verification
(2019)
[DOI: 10.18154/RWTH-2019-01779]

[Dissertation / PhD Thesis]
Springer, Paul
High-performance tensor operations : tensor transpositions, spin summations, and tensor contractions
(2019)
[DOI: 10.18154/RWTH-2019-01778]

[Contribution to a book, Contribution to a conference proceedings]
Hiller, Jens; Henze, Martin; Serror, Martin; Wagner, Eric; Richter, Jan Niklas; Wehrle, Klaus
Secure Low Latency Communication for Constrained Industrial IoT Scenarios
Proceedings of the 43rd Annual IEEE Conference on Local Computer Networks (LCN 2018) : October 1-4, 2018, Chicago, USA / general chair: Kemal Akkaya ; editors: Soumaya Cherkaoui, Karl Andersson, Fadi Al-Turjman, 614-622 (2019)
[DOI: 10.1109/LCN.2018.8638027]

[Dissertation / PhD Thesis]
Terwelp, Christoph
Entwicklung eines Referenzmodells für Mobilitätsplattformen
(2019)
[DOI: 10.18154/RWTH-2019-01739]

[Contribution to a book, Journal Article]
Sewall, Jason; Pennycook, S. John; Duran, Alejandro; Terboven, Christian; Tian, Xinmin; Narayanaswamy, Ravi
Developments in Memory Management in OpenMP
International journal of high performance computing and networking, 13, 1, 70-85 (2018, 2019)
[DOI: 10.1504/IJHPCN.2019.097052]

[Journal Article]
Grädel, Erich; Grohe, Martin; Pago, Benedikt Thomas; Pakusa, Wied
A Finite-Model-Theoretic View on Propositional Proof Complexity
Logical methods in computer science : LMCS, 15, 1, 4:1-4:53 (2019)
[DOI: 10.23638/LMCS-15(1:4)2019]

[Contribution to a book, Journal Article]
Drave, Imke Helene; Hillemacher, Steffen; Greifenberg, Timo Herbert; Kriebel, Stefan; Kusmenko, Evgeny; Markthaler, Matthias; Orth, Philipp; Salman, Karin Samira; Richenhagen, Johannes; Rumpe, Bernhard; Schulze, Christoph; von Wenckstern, Michael; Wortmann, Andreas
SMArDT modeling for automotive software testing
Software, 49, 2, 301-328 (2018, 2019)
[DOI: 10.1002/spe.2650]

[Contribution to a book, Contribution to a conference proceedings]
Glebke, René; Henze, Martin; Wehrle, Klaus; Niemietz, Philipp; Trauth, Daniel; Mattfeld, Patrick-Marcel; Bergs, Thomas
A Case for Integrated Data Processing in Large-Scale Cyber-Physical Systems
Proceedings of the 52nd Annual Hawaii International Conference on System Sciences : January 8-11, 2019, Maui, Hawaii / edited by Tung X. Bui, 7252-7261 (2019)
[DOI: 10.24251/HICSS.2019.871]

[Contribution to a conference proceedings, Journal Article]
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Noll, Thomas
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Proceedings of the ACM on programming languages, 3, POPL, 34 (2019)
[DOI: 10.1145/3290347]

[Contribution to a book, Contribution to a conference proceedings]
Decker, Normann; Pirogov, Anton
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac, 513-534 (2019)
[DOI: 10.1007/978-3-030-11245-5_24]

[Journal Article]
Butting, Arvid; Kautz, Oliver; Rumpe, Bernhard; Wortmann, Andreas
Continuously Analyzing Finite, Message-Driven, Time-Synchronous Component & Connector Systems During Architecture Evolution
The journal of systems and software : JSS, 149, 437-461 (2018, 2019)
[DOI: 10.1016/j.jss.2018.12.016]

[Journal Article]
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
On the hardness of analyzing probabilistic programs
Acta informatica, 56, 3, 255-285 (2018, 2019)
[DOI: 10.1007/s00236-018-0321-1]

[Journal Article]
Gürerk, Özgür; Bönsch, Andrea; Kittsteiner, Thomas; Staffeldt, Andreas
Virtual humans as co-workers: A novel methodology to study peer effects
Journal of behavioral and experimental economics, 78, 17-29 (2018, 2019)
[DOI: 10.1016/j.socec.2018.11.003]

[Journal Article]
Reidl, Felix; Sanchez Villaamil, Fernando; Stavropoulos, Konstantinos
Characterising bounded expansion by neighbourhood complexity
European journal of combinatorics, 75, 152-168 (2018, 2019)
[DOI: 10.1016/j.ejc.2018.08.001]

[Contribution to a book, Contribution to a conference proceedings]
Kühn, Jan; Buglowski, Mateusz; Stollenwerk, André; Kowalewski, Stefan; Walter, Marian; Leonhardt, Steffen; Petran, Jan; Kopp, Rüdger; Rossaint, Rolf; Janisch, Thorsten
Fault Identification in a Blood Pump Using Neural Networks
World Congress on Medical Physics and Biomedical Engineering 2018 : June 3-8, 2018, Prague, Czech Republic (Vol.2) / edited by Lenka Lhotska, Lucie Sukupova, Igor Lacković, Geoffrey S. Ibbott, 27-32 (2018, 2019)
[DOI: 10.1007/978-981-10-9038-7_6]

[Contribution to a book, Contribution to a conference proceedings]
Küppers, Bastian; Politze, Marius; Zameitat, Richard; Kerber, Florian Alexander; Schroeder, Ulrik
Practical Security for Electronic Examinations on Students’ Devices
Proceedings of the 2018 Computing Conference / Editors: Kohei AraiSupriya KapoorRahul Bhatia, 290-306 (2018, 2019)
[DOI: 10.1007/978-3-030-01177-2_21]

[Book]
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
Einführung in die mathematische Logik
(2018)
[DOI: 10.1007/978-3-662-58029-5]

[Contribution to a book, Contribution to a conference proceedings]
Beutel, Markus Christian; Gökay, Sevket; Ohler, Fabian Georg; Kohl, Werner; Krempels, Karl-Heinz; Rose, Thomas; Samsel, Christian; Schwinger, Felix Clemens; Terwelp, Christoph
Mobility Service Platforms - Cross-Company Cooperation for Transportation Service Interoperability
ICEIS 2018 : proceedings of the 20th International Conference on Enterprise Information Systems : Funchal, Madeira, Portugal, March 21-24, 2018 / sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; edited by Slimane Hammoudi, Michal Smialek, Olivier Camp and Joaquim Filipe. - Volume 1, 151-161 (2018)
[DOI: 10.5220/0006705501510161]

[Contribution to a book, Contribution to a conference proceedings]
Schwinger, Felix Clemens; Ohler, Fabian Georg; Krempels, Karl-Heinz
Flexible Multicriterial Agenda Planning in Public Transit Systems : An Intelligent Agent for Mobility-oriented Agenda Planning
VEHITS 2018 : proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems : Funchal, Madeira, Portugal, March 16-18, 2018 / sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; edited by Markus Helfert and Oleg Gusikhin, 558-567 (2018)
[DOI: 10.5220/0006795305580567]

[Contribution to a conference proceedings]
Chakrabarti, Arnab; Quix, Christoph; Geisler, Sandra; Pullmann, Jaroslav; Khromov, Artur; Jarke, Matthias
Goal-Oriented Modelling of Relations and Dependencies in Data Marketplaces
[11th International i* Workshop co-located with the 30th International Conference on Advanced Information Systems Enginieering, CAiSE, Talinn, Estonia] (2018)

[Contribution to a book, Contribution to a conference proceedings]
Koren, István; Hensen, Benedikt; Klamma, Ralf
Augmented Reality Lernkontexte - Eine Europäische Perspektive
CEUR Workshop Proceedings (2018)

[Contribution to a conference proceedings]
Ehlenz, Matthias Siegfried; Röpke, René; Schroeder, Ulrik
Kollaboratives Multitouch Lernspiel für Reguläre Ausdrücke
[Die 16. E-Learning Fachtagung Informatik, DELFI 2018, Frankfurt, Germany] (2018)

[Contribution to a book]
Frank, Martin; Richter, Pascal; Roeckerath, Christina; Schönbrodt, Sarah
Wie funktioniert eigentlich GPS? - ein computergestützter Modellierungsworkshop
Digitale Werkzeuge, Simulationen und mathematisches Modellieren : didaktische Hintergründe und Erfahrungen aus der Praxis / Gilbert Greefrath, Hans-Stefan Siller (Hrsg.), 137-163 (2018)
[DOI: 10.1007/978-3-658-21940-6_7]

[Contribution to a book, Journal Article]
Bergner, Nadine; Roeckerath, Christina
Lehramtsstudierende auf die Probe gestellt : Frühe Unterrichtspraxis in Lehr-Lern-Laboren
RWTH-Themen : Forschungsmagazin, WS 2017/18, 46-51 (2018)
[DOI: 10.18154/RWTH-2021-07519]

[Contribution to a book, Journal Article]
Schroeder, Ulrik; Heinke, Heidrun
MINT-Förderung für die kommenden Generationen : MINT-L4@RWTH: MINT-Lehrkräfte lernen ein Leben lang an der RWTH Aachen
RWTH-Themen : Forschungsmagazin, WS 2017/18, 52-55 (2018)
[DOI: 10.18154/RWTH-2021-07518]

[Talk (non-conference)]
Nagl, Manfred
Der sprunghafte Anstieg der Informatik - Persönliche Eindrücke von 1969 bis 2018
Austria-Forum Graz (2018)

[Report]
Stickel, Oliver; Brocker, Anke; Stilz, Melanie; Möbus, Antje; Bockermann, Iris; Borchers, Jan Oliver; Pipek, Volkmar
Fab Lab Education In German Academia
(2018)
[DOI: 10.5281/ZENODO.1344438]

[Contribution to a book, Contribution to a conference proceedings]
Althoff, Matthias; Bak, Stanley; Chen, Xin; Fan, Chuchu; Forets, Marcelo; Frehse, Goran; Kochdumper, Niklas; Li, Yangge; Mitra, Sayan; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse, 23-52 (2018)
[DOI: 10.29007/73mb]

[Bachelor Thesis]
Riebeling, Sebastian
Benchmarker - An easy-to-use test bench and building system
(2018)

[Contribution to a book, Journal Article]
Schiffer, Stefan; Ferrein, Alexander
ERIKA : Early Robotics Introduction at Kindergarten Age
Multimodal Technologies and Interaction, 2, 4, 64 (2018)
[DOI: 10.3390/mti2040064]

[Contribution to a conference proceedings]
Niemüller, Tim Dieter; Hofmann, Till; Lakemeyer, Gerhard
CLIPS-based Execution for PDDL Planners
Proceedings of the 2nd Workshop on Integrated Planning, Acting, and Execution (ICAPS IntEx), 9 Seiten (2018)

[Report]
Hofmann, Till; Limpert, Nicolas; Mataré, Victor; Schönitz, Sebastian; Niemüller, Tim Dieter; Ferrein, Alexander; Lakemeyer, Gerhard
The Carologistics RoboCup Logistics Team 2018
(2018)

[Contribution to a book, Contribution to a conference proceedings]
Gleim, Lars Christoph; Karim, Rezaul; Zimmermann, Lukas; Kohlbacher, Oliver; Stenzhorn, Holger; Decker, Stefan Josef; Beyan, Oya Deniz
Schema extraction for privacy preserving processing of sensitive data
MEPDaW-SeWeBMeDA-SWeTI 2018 : Joint Proceedings of MEPDaW, SeWeBMeDA and SWeTI 2018 ; Joint proceedings of the 4th Workshop on Managing the Evolution and Preservation of the Data Web (MEPDaW), the 2nd Workshop on Semantic Web solutions for large-scale biomedical data analytics (SeWeBMeDA), and the Workshop on Semantic Web of Things for Industry 4.0 (SWeTI) co-located with 15th European Semantic Web Conference (ESWC 2018) ; Heraklion, Crete, Greece, June 3rd-7th, 2018 / Edited by * MEPDaW chairs: Jeremy Debattista, Javier D. Fernández, Jürgen Umbrich, Maria-Esther Vidal, ** SeWeBMeDA chairs: Ali Hasnain, Oya Beyan, Stefan Decker, Dietrich Rebholz-Schuhmann, *** SWeTI chairs: Muhammad Intizar Ali, Pankesh Patel, Amit Sheth, Dhavalkumar Thakker, 36-47 (2018)

[Contribution to a book, Contribution to a conference proceedings]
Doré, Maximilian; Broda, Krysia
Intuitive Reasoning in Formalized Mathematics with ELFE
Computer Supported Education, 549-571 (2018)
[DOI: 10.1007/978-3-030-21151-6_26]

[Preprint]
Grohe, Martin; Lindner, Peter
Probabilistic Databases with an Infinite Open-World Assumption
(2018)

[Contribution to a book, Contribution to a conference proceedings]
Junges, Sebastian; Jansen, Nils; Wimmer, Ralf; Quatmann, Tim; Winterer, Leonore; Katoen, Joost-Pieter; Becker, Bernd
Finite-State Controllers of POMDPs using Parameter Synthesis
34th Conference on Uncertainty in Artificial Intelligence 2018 : Monterey, California, USA, 6-10 August 2018 / editors: Amir Globerson, Ricardo Silva ; Association for Uncertainty in Artificial Intelligence (AUAI). - Volume 1, 519-529 (2018)

[Contribution to a book, Contribution to a conference proceedings]
Hofmann, Till; Mataré, Victor; Schiffer, Stefan; Alexander, Ferrein; Lakemeyer, Gerhard
Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions
The 2018 AAAI Spring Symposium Series technical report : papers presented at the 2018 AAAI Spring Symposium, 549-553 (2018)

[Contribution to a conference proceedings]
Hofmann, Till; Lakemeyer, Gerhard
A Logic for Specifying Metric Temporal Constraints for Golog Programs
CogRob 2018, 11th Cognitive Robotics Workshop : proceedings of the 11th Cognitive Robotics Workshop (CogRob-18), held in conjunction with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-2018) : Tempe, Arizona, USA, October 27, 2018, 36-46 (2018)

[Dissertation / PhD Thesis]
Brütsch, Benedikt
Strategies in infinite games : structured reactive programs and transducers over infinite alphabets
(2018, 2020)
[DOI: 10.18154/RWTH-2020-03492]

[Contribution to a book, Contribution to a conference proceedings]
Hohlfeld, Oliver
Operating a DNS-based Active Internet Observatory
Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, 60-62 (2018)
[DOI: 10.1145/3234200.3234239]

[Master Thesis]
Lahaye, Marcel
Modeling reachability on curved mobile touchscreens
(2018)

[Contribution to a book, Contribution to a conference proceedings]
Dixit, P. M.; Buijs, J. C. A. M.; Verbeek, H. M. W.; van der Aalst, Wil M. P.
Fast Incremental Conformance Analysis for Interactive Process Discovery
Business information systems : 21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018 : proceedings / Witold Abramowicz, Adrian Paschke (eds.), 163-175 (2018)
[DOI: 10.1007/978-3-319-93931-5_12]

[Contribution to a book, Contribution to a conference proceedings]
Schunselaar, Dennis M. M.; Slaats, Tijs; Maggi, Fabrizio M.; Reijers, Hajo A.; van der Aalst, Wil M. P.
Mining Hybrid Business Process Models: A Quest for Better Precision
Business information systems : 21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018 : proceedings / Witold Abramowicz, Adrian Paschke (eds.), 190-205 (2018)
[DOI: 10.1007/978-3-319-93931-5_14]

[Contribution to a book, Contribution to a conference proceedings]
Denisov, Vadim; Fahland, Dirk; van der Aalst, Wil M. P.
Unbiased, Fine-Grained Description of Processes Performance from Event Data
Business process management : 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018 : proceedings / Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke (eds.), 139-157 (2018)
[DOI: 10.1007/978-3-319-98648-7_9]

[Contribution to a book, Contribution to a conference proceedings]
Bloemen, Vincent; van Zelst, Sebastiaan Johannes; van der Aalst, Wil M. P.; van Dongen, Boudewijn F.; van de Pol, Jaco
Maximizing Synchronization for Aligning Observed and Modelled Behaviour
Business process management : 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018 : proceedings / Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke (eds.), 233-249 (2018)
[DOI: 10.1007/978-3-319-98648-7_14]

[Contribution to a book, Contribution to a conference proceedings]
Li, Guangming; de Murillas, Eduardo González López; de Carvalho, Renata Medeiros; van der Aalst, Wil M. P.
Extracting Object-Centric Event Logs to Support Process Mining on Databases
Information Systems in the Big Data Era : CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings / edited by Jan Mendling, Haralambos Mouratidis, 182-199 (2018)
[DOI: 10.1007/978-3-319-92901-9_16]

[Contribution to a book, Contribution to a conference proceedings]
Dixit, Prabhakar M.; Verbeek, H. M. W.; van der Aalst, Wil M. P.
Fast Conformance Analysis Based on Activity Log Abstraction
2018 IEEE 22nd International Enterprise Distributed Object Computing Conference : EDOC 2018 : 16-19 October 2018, Stockholm, Sweden : proceedings / general chair: Robert Lagerström (KTH Royal Institute of Technology, Sweden) ; publisher: IEEE, 135-144 (2018)
[DOI: 10.1109/EDOC.2018.00026]

[Contribution to a book, Contribution to a conference proceedings]
Calvanese, Diego; Kalayci, Tahir Emre; Montali, Marco; Santoso, Ario; van der Aalst, Wil M. P.
Conceptual Schema Transformation in Ontology-Based Data Access
Knowledge engineering and knowledge management : 21st international conference, EKAW 2018, Nancy, France, November 12-16, 2018 / Catherine Faron Zucker, Chiara Ghidini, Amedeo Napoli, Yannick Toussaint (eds.), 50-67 (2018)
[DOI: 10.1007/978-3-030-03667-6_4]

[Contribution to a book, Contribution to a conference proceedings]
Tax, Niek; Sidorova, Natalia; van der Aalst, Wil M. P.; Haakma, Reinder
LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World
Application and theory of petri nets and concurrency : 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018 : proceedings / Victor Khomenko, Olivier H. Roux (eds.), 374-384 (2018)
[DOI: 10.1007/978-3-319-91268-4_20]

[Contribution to a book, Contribution to a conference proceedings]
Dixit, Prabhakar M.; Verbeek, H. M. W.; van der Aalst, Wil M. P.
Incremental Computation of Synthesis Rules for Free-Choice Petri Nets
Formal aspects of component software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings / Kyungmin Bae, Peter Csaba Ölveczky (eds.), 97-117 (2018)
[DOI: 10.1007/978-3-030-02146-7_5]