[Contribution to a conference proceedings]
Thönnessen, David; Kowalewski, Stefan
Using PLC Programming Languages for Test-Case Specification of Hardware-in-the-loop Tests
[Modellbasierte Entwicklung eingebetteter Systeme, MBEES 2018, 2018-04-16 - 2018-04-18, Hamburg, Germany], 41-50 (2018)

[Report]
Bordasch, Manuel; Facchi, Christian; Heidepriem, Sebastian; Jähnert, Jürger; Jung, Tobias; Köllner, Christian; Kraas, Alexander; Krause, Jan; Krüning, Kai; Kugler, Alexander; Maschler, Benjamin; Schleicher, Christian; Siegrist, Daniel; Simon, Hendrik; Störmer, Christoph; Thönnessen, David; Wassermann, Erik; Weyrich, Michael; Wimmer, Thomas; Zeller, Andreas
VDI Status Report Testing of Networked Systems for Industrie 4.0
(2018)

[Contribution to a book, Contribution to a conference proceedings]
Simon, Hendrik; Kowalewski, Stefan
Mode-Aware Concolic Testing for PLC Software
Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / Carlo A. Furia, Kirsten Winter (eds.), 367-376 (2018)
[DOI: 10.1007/978-3-319-98938-9_21]

[Contribution to a book, Contribution to a conference proceedings]
Schweigler, Martin; Grochowski, Marco; Tamrakar, Sujan; Kowalewski, Stefan
Ground Surface Pattern Recognition with Hidden Markov Models for Low Cost Positioning Improvement
8th International Conference on Pattern Recognition Systems (ICPRS 2017) : 11-13 July 2017, 1-6 (2018)
[DOI: 10.1049/cp.2017.0166]

[Dissertation / PhD Thesis]
Loup, Ulrich
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
(2018, 2019)
[DOI: 10.18154/RWTH-2018-231963]

[Contribution to a book, Contribution to a conference proceedings]
Grohe, Martin; Schweikardt, Nicole
First-Order Query Evaluation with Cardinality Conditions
PODS'18 : Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 10-15, 2018, Houston, TX, USA / General Chair: Jan Van den Bussche, 253-266 (2018)
[DOI: 10.1145/3196959.3196970]

[Contribution to a book, Contribution to a conference proceedings]
Grohe, Martin; Rattan, Gaurav; Woeginger, Gerhard
Graph Similarity and Approximate Isomorphism
43rd International Symposium on Mathematical Foundations of Computer Science : MFCS 2018, August 27-31, 2018, Liverpool, United Kingdom / edited by Igor Potapov, Paul Spirakis, James Worrell, 20, [1]-16 (2018)
[DOI: 10.4230/LIPIcs.MFCS.2018.20]

[Contribution to a book, Contribution to a conference proceedings]
Grohe, Martin; Neuen, Daniel; Schweitzer, Pascal; Wiebking, Daniel
An Improved Isomorphism Test for Bounded-Tree-Width Graphs
45th International Colloquium on Automata, Languages, and Programming : ICALP 2018, Prague, Czech Republic, July 9-13, 2018 / edited by Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella ; European Association for Theoretical Computer Science (EATCS), 67, [1]-14 (2018)
[DOI: 10.4230/LIPIcs.ICALP.2018.67]

[Contribution to a book, Contribution to a conference proceedings]
Grohe, Martin; Neuen, Daniel; Schweitzer, Pascal
A Faster Isomorphism Test for Graphs of Small Degree
59th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2018 : 7-9 October 2018, Paris, France : proceedings / edited by: Mikkel Thorup ; publisher: IEEE, 89-100 (2018)
[DOI: 10.1109/FOCS.2018.00018]

[Contribution to a book, Contribution to a conference proceedings]
Dell, Holger; Grohe, Martin; Rattan, Gaurav
Lovász Meets Weisfeiler and Leman
45th International Colloquium on Automata, Languages, and Programming : ICALP 2018, Prague, Czech Republic, July 9-13, 2018 / edited by Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella ; European Association for Theoretical Computer Science (EATCS), 40, [1]-14 (2018)
[DOI: 10.4230/LIPIcs.ICALP.2018.40]

[Contribution to a book, Contribution to a conference proceedings]
Bojańczyk, Mikołaj; Grohe, Martin; Pilipczuk, Michał
Definable decompositions for graphs of bounded linear cliquewidth
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Oxford, United Kingdom - July 09-12, 2018, 1-10 (2018)
[DOI: 10.1145/3209108.3209135]

[Contribution to a book, Contribution to a conference proceedings]
Bohlender, Dimitri; Hamm, Daniel; Kowalewski, Stefan
Cycle-Bounded Model Checking of PLC Software via Dynamic Large-Block Encoding
Applied computing 2018 : the 33rd Annual ACM Symposium on Applied Computing : Pau, France, April 9-13, 2018 / sponsored by: ACM Special Interest Group on Applied Computing ; conference chairs: Hisham M. Haddad (Kennesaw State University, USA), Roger L. Wainwright (University of Tulsa, USA), Richard Chbeir (University of Pau & Pays Adour, France), 1891-1898 (2018)
[DOI: 10.1145/3167132.3167334]

[Contribution to a book, Contribution to a conference proceedings]
Bohlender, Dimitri; Kowalewski, Stefan
Design and Verification of Restart-Robust Industrial Control Software
Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / Carlo A. Furia, Kirsten Winter (eds.), 47-68 (2018)
[DOI: 10.1007/978-3-319-98938-9_4]

[Contribution to a book, Contribution to a conference proceedings]
Smieschek, Manfred; Hinrichs, Timo; Stollenwerk, André; Kowalewski, Stefan; Preuß, Rüdiger
A New Condition Indicator for Slow-Rotating Roller Chains based on the Angle and Torque of the Driving Motor
2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) : 20-24 Aug. 2018 / general chair: Birgit Vogel-Heuser (Technical University of Munich) ; publisher: IEEE, 642-644 (2018)
[DOI: 10.1109/COASE.2018.8560542]

[Contribution to a book, Contribution to a conference proceedings]
Neuen, Daniel; Schweitzer, Pascal
An exponential lower bound for individualization-refinement algorithms for graph isomorphism
STOC'18 : Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing : June 25-29, 2018, Los Angeles, CA, USA / sponsored by: ACM SIGACT, 138-150 (2018)
[DOI: 10.1145/3188745.3188900]

[Contribution to a book, Journal Article]
Borisov, Nikolaj; Weyers, Benjamin; Kluge, Annette
Designing a Human Machine Interface for Quality Assurance in Car Manufacturing: An Attempt to Address the "Functionality versus User Experience Contradiction" in Professional Production Environments
Advances in human-computer interaction, 2018, 9502692 (2018)
[DOI: 10.1155/2018/9502692]

[Journal Article]
Fabregat Traver, Diego; Ismail, Ahmed E.; Bientinesi, Paolo
Accelerating molecular dynamics codes by performance and accuracy modeling
Journal of computational science, 27, 77-90 (2018)
[DOI: 10.1016/j.jocs.2018.05.004]

[Contribution to a book, Contribution to a conference proceedings]
Abu Zaid, Faried; Kuske, Dietrich; Lindner, Peter
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures
27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung, 3:1-3:16 (2018)
[DOI: 10.4230/LIPIcs.CSL.2018.3]

[Contribution to a book, Contribution to a conference proceedings]
Drave, Imke Helene; Greifenberg, Timo Herbert; Hillemacher, Steffen; Kriebel, Stefan; Markthaler, Matthias; Rumpe, Bernhard; Wortmann, Andreas
Model-Based Testing of Software-Based System Functions
SEAA 2018 : 44th Euromicro Conference on Software Engineering and Advanced Applications : 29-31 August 2018, Prague, Czech Republic : proceedings / editors: Tomas Bures and Lefteris Angelis, 146-153 (2018)
[DOI: 10.1109/SEAA.2018.00032]

[Contribution to a book, Contribution to a conference proceedings]
Rüth, Jan Christoph; Glebke, René; Ulmen, Tanja; Wehrle, Klaus
Demo abstract: Towards in-network processing for low-latency industrial control
IEEE INFOCOM 2018 - IEEE Conference on Computer Communications workshops (INFOCOM WKSHPS) : IEEE INFOCOM 2018 - IEEE Conference on Computer Communications workshops (INFOCOM WKSHPS) took place April 15-19, 2018 in Honolulu, HI, USA, 2 Seiten (2018)
[DOI: 10.1109/INFCOMW.2018.8406844]

[Contribution to a book, Contribution to a conference proceedings]
Ohler, Fabian Georg; Beutel, Markus Christian; Gökay, Sevket; Samsel, Christian; Krempels, Karl-Heinz
A Structured Approach to Support Collaborative Design, Specification and Documentation of Communication Protocols
ENASE 2018 : proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering : Funchal, Madeira, Portugal, March 23-24, 2018 / sponsored by INSTICC - Institute for Systems and Technologies of Information, Control and Communication ; edited by Ernesto Damiani, George Spanoudakis and Leszek Maciaszek, 367-375 (2018)
[DOI: 10.5220/0006787503670375]

[Book, Dissertation / PhD Thesis]
Hensel, Hans Christian
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Aachener Informatik-Berichte 2018-06 (2018, 2019)
[DOI: 10.18154/RWTH-2018-231803]

[Journal Article]
van den Beemt, Antoine; Buijs, Joos; van der Aalst, Wil M. P.
Analysing Structured Learning Behaviour in Massive Open Online Courses (MOOCs): An Approach Based on Process Mining and Clustering
International review of research in open and distance learning, 19, 5, 38-60 (2018)
[DOI: 10.19173/irrodl.v19i5.3748]

[Contribution to a book, Contribution to a conference proceedings]
Leemans, Maikel; van der Aalst, Wil M. P.; van den Brand, Mark; Schiffelers, Ramon R. H.; Lensink, Leonard
Software Process Analysis Methodology - A Methodology Based on Lessons Learned in Embracing Legacy Software
ICSME 2018 : 2018 IEEE International Conference on Software Maintenance and Evolution : proceedings : 23-29 September 2018, Madrid, Spain / general chair: Gregorio Robles (Universidad Rey Juan Carlos, Spain) ; publisher: IEEE ; [sponsors: IEEE Computer Society, TCSE - IEEE Technical Council on Software Engineering], 665-674 (2018)
[DOI: 10.1109/ICSME.2018.00076]

[Book, Dissertation / PhD Thesis]
Nicolaescu, Ana-Maria-Cristina
Behavior-based architecture conformance checking
Aachener Informatik Berichte, Software Engineering 37 (2018, 2019)
[DOI: 10.18154/RWTH-2018-231667]

[Master Thesis]
Kryvosheya, Vyacheslav
Haptic Stickers: Thin, Flexible On-Skin Haptic Devices
(2018)

[Master Thesis]
Kindermann, Philip
Embroidered Touchpad Sensors
(2018)

[Master Thesis]
Wagner, Adrian
Analyzing 3D Sketching Performance on Physical Objects in Augmented Reality
(2018)

[Master Thesis]
Kaulitz, Niklas
Looking for Holograms? : Viewing Behaviour in Viewport-Limited Augmented Reality
(2018)

[Master Thesis]
Krispradhana, Aderick
HaptiGuard: Sideway Detection Armband for Hearing-Impaired People
(2018)

[Bachelor Thesis]
Röhl, Georg
Interactive Brooches: Physical Interfaces on Smart Textiles
(2018)

[Master Thesis]
Schmidt, Christian
Comparing Feedback Techniques for Underwater Navigation
(2018)

[Bachelor Thesis]
Sokolowski, Matthias
Wearable Motion Capture for Dancers
(2018)

[Contribution to a book, Contribution to a conference proceedings]
Wacker, Philipp; Wagner, Adrian; Völker, Simon; Borchers, Jan Oliver
Physical Guides : An Analysis of 3D Sketching Performance on Physical Objects in Augmented Reality
SUI '18 : proceedings of the 2018 Symposium on Spatial User Interaction : October 13-14, 2018, Berlin, Germany, 25-35 (2018)
[DOI: 10.1145/3267782.3267788]

[Contribution to a book, Contribution to a conference proceedings]
Thar, Jan; Stoenner, Sophy; Heller, Florian; Borchers, Jan Oliver
YAWN: Yet Another Wearable Toolkit
ISWC '18 : proceedings of the 2018 ACM International Symposium on Wearable Computers : October 8-12, 2018, Singapore, Singapore, 232-233 (2018)
[DOI: 10.1145/3267242.3267280]

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Thar, Jan; Stoenner, Sophy; Borchers, Jan Oliver
HaptiGames: Personally Fabricated for the Visually Impaired
Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play : companion expended abstracts / general chairs: Florian 'Floyd' Mueller (Exertion Games Lab, RMIT University, Melbourne), Daniel Johnson (Queensland University of Technology, Brisbane), Ben Schouten (Eindhoven University of Technology and Amsterdam University of Applied Sciences), 137-141 (2018)
[DOI: 10.1145/3270316.3270592]

[Contribution to a book, Contribution to a conference proceedings]
Thar, Jan; Stoenner, Sophy; Borchers, Jan Oliver
HapticPong: Low Resolution Games for Visually Impaired
Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play / general chairs: Florian 'Floyd' Mueller (Exertion Games Lab, RMIT University, Melbourne), Daniel Johnson (Queensland University of Technology, Brisbane), Ben Schouten (Eindhoven University of Technology and Amsterdam University of Applied Sciences), 133-136 (2018)
[DOI: 10.1145/3270316.3270593]

[Dissertation / PhD Thesis]
Frohn, Florian
Automated complexity analysis of rewrite systems
(2018, 2019)
[DOI: 10.18154/RWTH-2018-231555]

[Conference Presentation]
Bönsch, Andrea; Kuhlen, Torsten
Influence of Emotions on Personal Space Preferences
2. VECTOR Workshop Tübingen 2018-07-25 - 2018-07-27 (2018)

[Contribution to a conference proceedings]
Bönsch, Andrea; Radke, Sina; Wendt, Jonathan; Vierjahn, Thomas; Habel, Ute; Kuhlen, Torsten
Towards Understanding the Influence of a Virtual Agent’s Emotional Expression on Personal Space
[IEEE Virtual Humans and Crowds for Immersive Environments, VHCIE, Tuebingen/Reutlingen, Germany] (2018)

[Contribution to a book, Contribution to a conference proceedings]
Bönsch, Andrea; Radke, Sina; Overath, Heiko; Asché, Laura M.; Wendt, Jonathan; Vierjahn, Thomas; Habel, Ute; Kuhlen, Torsten
Social VR: How Personal Space is Affected by Virtual Agents' Emotions
25th IEEE Conference on Virtual Reality and 3D User Interfaces : Reutlingen, Germany, 18-22 March 2018 : proceedings / edited by: Kiyoshi Kiyokawa, Frank Steinicke, Bruce Thomas, Greg Welch ; sponsored by: IEEE Computer Society Visualization and Graphics Technical Committee ; publisher: IEEE (2018)
[DOI: 10.1109/VR.2018.8446480]

[Contribution to a book, Contribution to a conference proceedings]
Brecher, Christian; Kusmenko, Evgeny; Lindt, Achim; Rumpe, Bernhard; Storms, Simon; Wein, Stephan; von Wenckstern, Michael; Wortmann, Andreas
Multi-Level Modeling Framework for Machine as a Service Applications Based on Product Process Resource Models
Proceedings of the 2nd International Symposium on Computer Science and Intelligent Control, Article No. 4 (2018)
[DOI: 10.1145/3284557.3284714]

[Journal Article]
van der Aalst, Wil M. P.; Becker, Jörg; Bichler, Martin; Buhl, Hans Ulrich; Dibbern, Jens; Frank, Ulrich; Hasenkamp, Ulrich; Heinzl, Armin; Hinz, Oliver; Hui, Kai-Lung; Jarke, Matthias; Karagiannis, Dimitris; Kliewer, Natalia; König, Wolfgang; Mendling, Jan; Mertens, Peter; Rossi, Matti; Voss, Stefan; Weinhardt, Christof; Winter, Robert; Zdravkovic, Jelena
Views on the Past, Present, and Future of Business and Information Systems Engineering
Business & information systems engineering, 60, 6, 443-477 (2018)
[DOI: 10.1007/s12599-018-0561-1]

[Contribution to a book, Contribution to a conference proceedings]
Wang, Bo; Terboven, Christian; Müller, Matthias S.
Performance Prediction under Power Capping
2018 International Conference on High Performance Computing & Simulation : HPCS 2018 : 16-20 July 2018, Orléans, France : proceedings / HPCS 2018 ; editor: Waleed W. Smari ; associate editor: Khalid Zine-Dine ; in technical cooperation with the ACM, IEEE, IEEE - France Section, Université d’Orléans, Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) [und 12 weiteren], 308-313 (2018)
[DOI: 10.1109/HPCS.2018.00059]

[Contribution to a book, Journal Article]
Davidovic, Davor; Fabregat Traver, Diego; Höhnerbach, Markus; Di Napoli, Edoardo
Accelerating the computation of FLAPW methods on heterogeneous architectures
Concurrency and computation, 30, 24, e4905 (2018)
[DOI: 10.1002/cpe.4905]

[Contribution to a book, Contribution to a conference proceedings]
Stiebel, Tarek; Bosling, Marcel Richard Andre; Steffens, Aljoscha; Pretz, Thomas; Merhof, Dorit
An Inspection System for Multi-Label Polymer Classification
Proceedings 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA) : Politecnico di Torino, Torino, Italy, 04-07 September 2018 / organized by: IEEE Industrial Electronics Society (IES); Institute of Electronics, Computer and Telecommunication Engineering, the National Research Council of Italy (CNR-IEIIT) ; sponsored by: the Institute of Electrical and Electronics Engineers (IEEE), IEEE Industrial Electronics Society (IES), 623-630 (2018)
[DOI: 10.1109/ETFA.2018.8502474]

[Abstract, Contribution to a conference proceedings, Journal Article]
Pomprapa, Anake; Ahmed, W.; Sayani, M. S.; Stollenwerk, André; Kowalewski, Stefan; Leonhardt, Steffen
Classification of Obstructive Sleep Apnea Using Machine Learning
American journal of respiratory and critical care medicine, 197, Abstract Issue, A7449 (2018)

[Contribution to a book, Journal Article]
Khan, Muhammad Ashfaq; Karim, Md. Rezaul; Kim, Yangwoo
A Two-Stage Big Data Analytics Framework with Real World Applications Using Spark Machine Learning and Long Short-Term Memory Network
Symmetry, 10, 10, 485 (2018)
[DOI: 10.3390/sym10100485]

[Journal Article]
Koren, István; Klamma, Ralf
Enabling visual community learning analytics with Internet of Things devices
Computers in human behavior, 89, 385-394 (2018)
[DOI: 10.1016/j.chb.2018.07.036]

[Contribution to a book, Contribution to a conference proceedings]
Dixit, P. M.; Buijs, J. C. A. M.; van der Aalst, Wil M. P.
ProDiGy : Human-in-the-loop process discovery
2018 12th International Conference on Research Challenges in Information Science (RCIS) : 29-31 May 2018 / [IEEE ; event organizer: LS2N - Laboratoire des Sciences du Numérique de Nantes] (2018)
[DOI: 10.1109/RCIS.2018.8406657]