[Journal Article]
Grohe, Martin; Kreutzer, Stephan; Rabinovich, Roman; Siebertz, Sebastian; Stavropoulos, Konstantinos
Coloring and Covering Nowhere Dense Graphs
SIAM Journal on Discrete Mathematics, 32, 4, 2467-2481 (2018)
[DOI: 10.1137/18M1168753]

[Contribution to a book, Contribution to a conference proceedings]
Butting, Arvid; Eikermann, Robert; Kautz, Oliver; Rumpe, Bernhard; Wortmann, Andreas
Modeling Language Variability with Reusable Language Components
Proceedings of the 22nd International Software Product Line Conference. - Volume 1 : Gothenburg, Sweden, September 10 - 14, 2018, 65-75 (2018)
[DOI: 10.1145/3233027.3233037]

[Contribution to a book]
Kautz, Oliver; Roth, Alexander; Rumpe, Bernhard
Achievements, Failures, and the Future of Model-Based Software Engineering
The Essence of Software Engineering / Volker Gruhn, Rüdiger Striemer Editors, 221-236 (2018)
[DOI: 10.1007/978-3-319-73897-0_13]

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Bertram, Vincent; Maoz, Shara; Ringert, Jan Oliver; Rumpe, Bernhard; von Wenckstern, Michael
Component and Connector Views in Practice: An Experience Report (extended abstract)
Software Engineering und Software Management 2018 : Tagung vom 5.-9. März 2018 in Ulm / Matthias Tichy, Eric Bodden, Marco Kuhrmann, Stefan Wagner, Jan-Philipp Steghöfer (Hrsg.), 97-99 (2018)
[DOI: 10.18154/RWTH-2019-00608]

[Contribution to a book, Contribution to a conference proceedings]
Mayr, Heinrich C.; Michael, Judith; Shekhovtsov, Vladimir A.; Ranasinghe, Suneth; Steinberger, Claudia
A Model Centered Perspective on Software-Intensive Systems
Enterprise modeling and information systems architectures : EMISA 2018 : proceedings of the 9th International Workshop on Enterprise Modeling and Information Systems Architectures : Rostock, Germany, May 24th to 25th, 2018 / edited by Michael Fellmann (University of Rostock, Information Systems, DE), Kurt Sandkuhl (University of Rostock, Information Systems, DE), 58-64 (2018)

[Contribution to a conference proceedings]
Kriebel, Stefan; Kusmenko, Evgeny; Rumpe, Bernhard; von Wenckstern, Michael
Finding Inconsistencies in Design Models and Requirements by Applying the SMARDT Process
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XIV : Model-Based Development of Embedded Systems : 16.04.2018 - 18.04.2018 / Michaela Huhn, Hardi Hungar, Matthias Riebisch, Sebastian Voss (Hrsg.), 51-60 (2018)
[DOI: 10.18154/RWTH-2019-00591]

[Contribution to a book, Contribution to a conference proceedings]
Kriebel, Stefan; Markthaler, Matthias; Kalam, Karin Samira; Greifenberg, Timo Herbert; Hillemacher, Steffen; Rumpe, Bernhard; Schulze, Christoph; Wortmann, Andreas; Orth, Philipp; Richenhagen, Johannes Martin
Improving Model-based Testing in Automotive Software Engineering
2018 ACM/IEEE 40th International Conference on Software Engineering: Software engineering in practice : ICSE-SEIP 2018 : 30 May-1 June 2018, Gothenburg, Sweden : proceedings / sponsors: ACM - Association for Computing Machinery, SIGSOFT - Special Interest Group on Software Engineering, IEEE Computer Society, TCSE - IEEE Technical Council on Software Engineering ; publisher: IEEE, 172-180 (2018)
[DOI: 10.1145/3183519.3183533]

[Journal Article]
Jolak, Rodi; Wortmann, Andreas; Chaudron, Michel; Rumpe, Bernhard
Does Distance Still Matter? Revisiting Collaborative Distributed Software Design
IEEE software, 35, 6, 40-47 (2018)
[DOI: 10.1109/MS.2018.290100920]

[Journal Article]
Brewka, Gerhard; Lakemeyer, Gerhard
Hybrid Reasoning for Intelligent Systems : A Focus of KR Research in Germany
AI magazine, 39, 4, 80-83 (2018)
[DOI: 10.1609/aimag.v39i4.2838]

[Contribution to a book, Contribution to a conference proceedings]
Kautz, Oliver; Rumpe, Bernhard
On Computing Instructions to Repair Failed Model Refinements
Models 2018 Cøpenhagen : proceedings : 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems : MODELS’18 : Copenhagen, Denmark, October 14-19, 2018 / Conference Chair: Andrzej Wąsowski ; Program Chairs: Richard Paige, Øystein Haugen, 289-299 (2018)
[DOI: 10.1145/3239372.3239384]

[Contribution to a book, Contribution to a conference proceedings]
Lukarov, Vlatko; Schroeder, Ulrik
Learning analytics case study in blended learning scenarios
EC-TEL Practitioner Proceedings 2018: 13th European Conference On Technology Enhanced Learning : Leeds, UK, September 3-6, 2018 / Edited by Vania Dimitrova, Sambit Praharaj, Mikhail Fominykh, Hendrik Drachsler (2018)

[Contribution to a book, Contribution to a conference proceedings]
Butting, Arvid; Hillemacher, Steffen; Rumpe, Bernhard; Wortmann, Andreas
Shepherding Model Evolution in Model-Driven Development
MOD-WS 2018, workshops at Modellierung 2018 : joint proceedings of the workshops at Modellierung 2018, co-located with Modellierung 2018 : Braunschweig, Germany, February 21, 2018 / edited by: general and workshop chairs: Ina Schaefer, Loek Cleophas, Michael Felderer and the editors of the included workshops: Steffen Becker, Wolfgang Böhm, Dirk Fahland, Hans-Georg Fill, Robert Heinrich, Kathrin Kirchner, Michael Köhler-Bußmeier, Marco Konersmann, Heinrich C. Mayr, Daniel Moldt, Andreas Oberweis, Felix Reher, Matthias Riebisch, Stefan Sauer, Holger Schlingloff, Bernhard Thalheim, Andreas Vogelsang, Rüdiger Weißbach, Thorsten Weyer, 67-77 (2018)

[Dissertation / PhD Thesis]
Towara, Markus
Discrete adjoint optimization with OpenFOAM
(2018, 2019)
[DOI: 10.18154/RWTH-2019-00475]

[Book, Dissertation / PhD Thesis]
Hölldobler, Katrin
MontiTrans: Agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
Aachener Informatik-Berichte, Software Engineering 36 (2018, 2022)
[DOI: 10.18154/RWTH-2019-00468]

[Contribution to a book, Contribution to a conference proceedings]
Hasslinger, Gerhard; Ntougias, Konstantinos; Hasslinger, Frank; Hohlfeld, Oliver
Comparing Web Cache Implementations for Fast O(1) Updates Based on LRU, LFU and Score Gated Strategies
2018 IEEE 23rd International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD) : 17-19 Sept. 2018 / general chairs: Christos Verikoukis (CTTC, Spain), Mianxiong Dong (Muroran Inst. of Technology, Japan), 7 Seiten (2018)
[DOI: 10.1109/CAMAD.2018.8514951]

[Contribution to a book, Contribution to a conference proceedings]
Rüth, Jan Christoph; Hohlfeld, Oliver
Demystifying TCP Initial Window Configurations of Content Distribution Networks
TMA Conference 2018 : proceedings of the 2nd Network Traffic Maesurement and Analysis Conference : Vienna, Austria, June 26-29, 2018 / TMA Conference 2018 ; general chair: Pedro Casas (AIT Austrian Institute of Technology, Austria) ; publisher: IEEE, 8 Seiten (2018)
[DOI: 10.23919/TMA.2018.8506549]

[Contribution to a book, Contribution to a conference proceedings]
Wüller, Stefan; Assadsolimani, Benjamin; Meyer, Ulrike; Wetzel, Susanne
Privacy-Preserving Subgraph Checking
2018 16th Annual Conference on Privacy, Security and Trust (PST) : August 28-30, 2018, Belfast, Northern Ireland, United Kingdom / edited by Kieran McLaughlin, Ali Ghorbani, Sakir Sezer, Rongxing Lu, Liqun Chen, Robert H. Deng, Paul Miller, Stephen Marsh, Jason Nurse, 6 Seiten (2018)
[DOI: 10.1109/PST.2018.8514182]

[Abstract, Contribution to a book, Contribution to a conference proceedings]
Ábrahám, Erika
Symbolic Computation Techniques in SMT Solving: Mathematical Beauty Meets Efficient Heuristics
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani, XII-XII (2018)

[Book, Proceedings]
Ábrahám, Erika (Editor); Tarifa, Silvia Lizeth Taipa (Editor)
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
Research report / University of Oslo 483 (2018, 2019)
[DOI: 10.18154/RWTH-CONV-236485]

[Book, Proceedings]
Ábrahám, Erika (Editor); Di Nitto, Elisabetta (Editor); Mirandola, Raffaela (Editor)
2018 ACM/IEEE 1st International Workshop on Gender Equality in Software Engineering : GE 2018 : 28 May 2018, Gothenburg, Sweden : proceedings
(2018)

[Contribution to a book, Contribution to a conference proceedings]
Katelaan, Jens; Matheja, Christoph; Noll, Thomas; Zuleger, Florian
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
LPAR-22 : 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning / editors: Gilles Barthe, Geoff Sutcliffe and Margus Veanes, 23-36 (2018)
[DOI: 10.29007/qwd8]

[Journal Article]
Müller, Sascha; Gerndt, Andreas; Noll, Thomas
Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees
Journal of Aerospace Information Systems (2018)
[DOI: 10.2514/1.I010669]

[Contribution to a book, Contribution to a conference proceedings]
Haehn, Rebecca; Kremer, Gereon; Ábrahám, Erika
Evaluation of Equational Constraints for CAD in SMT Solving
Satisfiability checking and symbolic computation : SC-Square 2018 : proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, co-located with Federated Logic Conference (FLOC 2018) : Oxford, UK, July 11, 2018 / edited by Anna M. Bigatti (Dipartimento di Matematica, Università degli Studi di Genova, Genova, Italy), Martin Brain (Department of Computer Science, University of Oxford, Oxford, UK ), [19]-32 (2018)

[Contribution to a book, Contribution to a conference proceedings]
van Keulen, Maurice; Kaminski, Benjamin Lucien; Matheja, Christoph; Katoen, Joost-Pieter
Rule-Based Conditioning of Probabilistic Data
Scalable Uncertainty Management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi, 290-305 (2018)
[DOI: 10.1007/978-3-030-00461-3_20]

[Contribution to a book, Contribution to a conference proceedings]
Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk
Synthesis in pMDPs : A Tale of 1001 Parameters
Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang, 160-176 (2018)
[DOI: 10.1007/978-3-030-01090-4]

[Contribution to a book, Contribution to a conference proceedings]
Ábrahám, Erika; Bonakdarpour, Borzoo
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.) (2018)
[DOI: 10.1007/978-3-319-99154-2_2]

[Contribution to a book, Contribution to a conference proceedings]
Leofante, Francesco; Ábrahám, Erika; Tacchella, Armando
Task Planning with OMT: An Application to Production Logistics
Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / Carlo A. Furia, Kirsten Winter (eds.), 316-325 (2018)
[DOI: 10.1007/978-3-319-98938-9_18]

[Preprint]
Leofante, Francesco; Narodytska, Nina; Pulina, Luca; Tacchella, Armando
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
(2018)

[Journal Article]
Leofante, Francesco; Ábrahám, Erika; Niemüller, Tim Dieter; Lakemeyer, Gerhard; Tacchella, Armando
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics
Information systems frontiers, 21, 1, 87-107 (2018, 2019)
[DOI: 10.1007/s10796-018-9858-3]

[Contribution to a book, Contribution to a conference proceedings]
Leofante, Francesco
Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back)
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18) : Stockholm, 13-19 July 2018 / edited by Jérôme Lang ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), 5771-5772 (2018)
[DOI: 10.24963/ijcai.2018/829]

[Contribution to a book, Contribution to a conference proceedings]
Lange, Tim; Prinz, Frederick; Neuhäußer, Martin R.; Noll, Thomas; Katoen, Joost-Pieter
Improving Generalization in Software IC3
Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / Maria del Mar Gallardo, Pedro Merino (eds.), 85-102 (2018)
[DOI: 10.1007/978-3-319-94111-0_5]

[Contribution to a book, Contribution to a conference proceedings]
Berger, Philipp; Katoen, Joost-Pieter; Ábrahám, Erika; Waez, Md Tawhid Bin; Rambow, Thomas
Verifying Auto-generated C Code from Simulink : An Experience Report in the Automotive Domain
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink (2018)
[DOI: 10.1007/978-3-319-95582-7_18]

[Contribution to a book, Contribution to a conference proceedings]
Nellen, Johanna; Rambow, Thomas; Waez, Md Tawhid Bin; Ábrahám, Erika; Katoen, Joost-Pieter
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink (2018)
[DOI: 10.1007/978-3-319-95582-7_23]

[Contribution to a book, Contribution to a conference proceedings]
Quatmann, Tim; Katoen, Joost-Pieter
Sound Value Iteration
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher, 643-661 (2018)
[DOI: 10.1007/978-3-319-96145-3_37]

[Journal Article]
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
Journal of the ACM : JACM, 65, 5, 30:1-30:68 (2018)
[DOI: 10.1145/3208102]

[Contribution to a book, Contribution to a conference proceedings]
Feng, Yijun; Katoen, Joost-Pieter; Li, Haokun; Xia, Bican; Zhan, Naijun
Monitoring CTMCs by Multi-clock Timed Automata
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher, 507-526 (2018)
[DOI: 10.1007/978-3-319-96145-3_27]

[Contribution to a book, Contribution to a conference proceedings]
Schemmel, Daniel; Büning, Julian; Soria Dustmann, Oscar; Noll, Thomas; Wehrle, Klaus
Symbolic Liveness Analysis of Real-World Software
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher, 447-466 (2018)
[DOI: 10.1007/978-3-319-96142-2_27]

[Contribution to a book, Contribution to a conference proceedings]
Arndt, Hannah; Jansen, Christina; Katoen, Joost-Pieter; Matheja, Christoph; Noll, Thomas
Let this Graph Be Your Witness! : An Attestor for Verifying Java Pointer Programs
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher, 3-11 (2018)
[DOI: 10.1007/978-3-319-96142-2_1]

[Contribution to a book, Contribution to a conference proceedings]
Yang, Xiaoxiao; Katoen, Joost-Pieter; Lin, Huimin; Liu, Gaoang; Wu, Hao
Branching Bisimulation and Concurrent Object Verification
48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks : DSN 2018 : proceedings : 25-28 June 2018, Luxembourg City, Luxembourg / publisher: IEEE, 267-278 (2018)
[DOI: 10.1109/DSN.2018.00037]

[Preprint]
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Noll, Thomas
Quantitative Separation Logic : A Logic for Reasoning about Probabilistic Programs
(2018)

[Contribution to a book, Contribution to a conference proceedings]
Junges, Sebastian; Katoen, Joost-Pieter; Stoelinga, Marielle; Volk, Matthias
One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs
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.), 272-293 (2018)
[DOI: 10.1007/978-3-319-91268-4_14]

[Contribution to a book, Contribution to a conference proceedings]
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed, 186-213 (2018)
[DOI: 10.1007/978-3-319-89884-1_7]

[Contribution to a conference proceedings, Journal Article]
McIver, Annabelle; Morgan, Carroll; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter
A new proof rule for almost-sure termination
Proceedings of the ACM on Programming Languages, 2, 33:1-33:28 (2018)
[DOI: 10.1145/3158121]

[Contribution to a book, Contribution to a conference proceedings]
Thönnessen, David; Reinker, Niklas; Rakel, Stefan; Svetlakov, Andrei; Kowalewski, Stefan
Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications
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, 1197-1202 (2018)
[DOI: 10.1109/COASE.2018.8560407]

[Contribution to a book, Contribution to a conference proceedings]
Schwarz, Julian; Steffens, Andreas; Lichter, Horst
Code Smells in Infrastructure as Code
2018 International Conference on the Quality of Information and Communications Technology : QUATIC 2018 : Coimbra, Portugal, 4-7 September 2018 : proceedings / organizing chairs: Paulo Rupino (Universidade de Coimbra), Marco Vieira (Universidade de Coimbra), 220-228 (2018)
[DOI: 10.1109/QUATIC.2018.00040]

[Journal Article]
Gray, Jeff; Rumpe, Bernhard
Agile model-based system development
Software and systems modeling, 17, 4, 1053-1054 (2018)
[DOI: 10.1007/s10270-018-0694-1]

[Journal Article]
Hohlfeld, Oliver; Kempf, James; Reisslein, Martin; Schmid, Stefan; Shah, Nadir
Guest Editorial Scalability Issues and Solutions for Software Defined Networks
IEEE journal on selected areas in communications : J-SAC, 36, 12, 2595-2602 (2018)
[DOI: 10.1109/JSAC.2018.2872214]

[Dissertation / PhD Thesis]
Muslim, Arham
OpenLAP: a user-centered open learning analytics platform
(2018, 2019)
[DOI: 10.18154/RWTH-2019-00061]

[Contribution to a book, Contribution to a conference proceedings]
Gebhardt, Sascha; Pick, Sebastian; Hentschel, Bernd; Kuhlen, Torsten
Interactive Visual Analysis of Multi-dimensional Metamodels
[Eurographics Symposium on Parallel Graphics and Visualization, EGPGV, 2018-06-04 - 2018-06-04, Brno, Czech Republic / Hank Childs and Fernando Cucchietti, editors] (2018)
[DOI: 10.2312/pgv.20181098]

[Contribution to a book]
Chandler, Tom; Morgan, Thomas; Kuhlen, Torsten
Exploring Immersive Analytics for Built Environments
Immersive Analytics / edited by Kim Marriott, Falk Schreiber, Tim Dwyer, Karsten Klein, Nathalie Henry Riche, Takayuki Itoh, Wolfgang Stuerzlinger, Bruce H. Thomas, 331-357 (2018)
[DOI: 10.1007/978-3-030-01388-2_11]