[Buchbeitrag, Beitrag zu einem Tagungsband]
Enea, Constantin; Piskac, Ruzica; Decker, Normann; Pirogov, Anton
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
Verification, Model Checking, and Abstract Interpretation / Enea, Constantin (Editor) ; Cham : Springer International Publishing, 2019, Chapter 24 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-11244-8=978-3-030-11245-5 ; doi:10.1007/978-3-030-11245-5 (2019)
[DOI: 10.1007/978-3-030-11245-5_24]

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

[Fachzeitschriftenartikel]
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 (2019)
[DOI: 10.1016/j.socec.2018.11.003]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kühn, Jan; Buglowski, Mateusz; Stollenwerk, André; Kowalewski, Stefan; Walter, Marian; Leonhardt, Klaus 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 (2019)
[DOI: 10.1007/978-981-10-9038-7_6]

[Beitrag zu einem Tagungsband]
Butting, Arvid; Eikermann, Robert; Kautz, Oliver; Rumpe, Bernhard Dieter; Wortmann, Andreas
Modeling Language Variability with Reusable Language Components
International Conference on Systems and Software Product Line, ACM, Sep. 2018. Gothenburg 2018-09-10 - 2018-09-14 (2018)

[Buch]
Kautz, Oliver; roth, alexander; Rumpe, Bernhard Dieter
Achievements, Failures, and the Future of Model-Based Software Engineering
(2018)
[DOI: 10.1007/978-3-319-73897-0]

[Beitrag zu einem Tagungsband]
Bertram, Vincent; Maoz, shara; Ringert, Jan Oliver; Rumpe, Bernhard Dieter; von Wenckstern, Michael von Wenckstern
Component and Connector Views in Practice: An Experience Report (extended abstract)
Software Engineering und Software Management 2018 Ulm 2018-03-05 - 2018-03-09 (2018)

[Beitrag zu einem Tagungsband]
Mayr, Heinrich C; michael, judith; shekhov; ranasinghe; steinberger, Claudia
A Model Centered Perspective on Software-Intensive Systems
9th International Workshop on Enterprise Modeling and Information Systems Architectures Rostock 2018-05-24 - 2018-05-25 (2018)

[Beitrag zu einem Tagungsband]
Kriebel, Stefan; Kusmenko, Evgeny; Rumpe, Bernhard Dieter; von Wenckstern, Michael von Wenckstern
Finding Inconsistencies in Design Models and Requirements by Applying the SMARDT Process
Dagstuhl-Workshop Hamburg 2018-04-16 - 2018-04-18 (2018)

[Beitrag zu einem Tagungsband]
Kriebel, Stefan; Markthaler; Kalam, Karin Samira; Greifenberg, Timo Herbert; Hillemacher, Steffen; Rumpe, Bernhard Dieter; Schulze, Christoph; Wortmann, Andreas; Orth, Philipp; Richenhagen, Johannes Martin
Improving Model-based Testing in Automotive Software Engineering
International Conference on Software Engineering: Software Engineering in Practice Gothenburg 2018-05-27 - 2018-06-03 (2018)

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

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
Kautz, Oliver; Rumpe, Bernhard Dieter
On Computing Instructions to Repair Failed Model Refinements
[Conference on Model Driven Engineering Languages and Systems, MODELS18, 2018-10-15 - 2018-10-16, Copenhagen, Danmark] (2018)
[DOI: 10.1145/3239372.3239384]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Lukarov, Vlatko; Schroeder, Ulrik
Learning Analytics Case Study in Blended Learning Scenarios
Vol-2193 (2018)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Butting, Arvid; Hillemacher, Steffen; Rumpe, Bernhard Dieter; 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 (2018)

[Buch, Doktorarbeit]
Hölldobler, Katrin
MontiTrans: Agile, modellgetriebene Entwicklung von und mit domänenspezifischen, kompositionalen Transformationssprachen
(2018)

[Buchbeitrag, Beitrag zu einem Tagungsband]
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) (2018)
[DOI: 10.1109/CAMAD.2018.8514951]

[Buchbeitrag, Beitrag zu einem Tagungsband]
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 (2018)
[DOI: 10.23919/TMA.2018.8506549]

[Buchbeitrag, Beitrag zu einem Tagungsband]
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 (2018)
[DOI: 10.1109/PST.2018.8514182]

[Abstract, Buchbeitrag, Beitrag zu einem Tagungsband]
Á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 (2018)

[Buch, Tagungsband]
Abraham, Erika; Tarifa, Silvia Lizeth Taipa
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
(2018)

[Buch, Tagungsband]
Abraham, Erika; Di Nitto, Elisabetta; Mirandola, Raffaela
Proceedings of the 1st International Workshop on Gender Equality in Software Engineering (GE 2018)
(2018)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Katelaan, Jens; Matheja, Christoph; Noll, Thomas; Zuleger, Florian
Harrsh: A Tool for Unified Reasoning about Symbolic-Heap separation Logic
13th International Workshop on the Implementation of Logics (IWIL 2018) (2018)
[DOI: 10.29007/qwd8]

[Fachzeitschriftenartikel]
Müller, Sascha; Gerndt, Andreas; Noll, Thomas
Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees
Journal of Aerospace Information Systems (2018)
[DOI: 10.2514/1.I010669]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Haehn, Rebecca; Kremer, Gereon; Abraham, Erika
Evaluation of Equational Constraints for CAD in SMT Solving
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation (2018)

[Buchbeitrag, Beitrag zu einem Tagungsband]
van Keulen, Maurice; Kaminski, Benjamin Lucien; Matheja, Christoph; Katoen, Joost-Pieter
Rule-based Conditioning of Probabilistic Data Integration
Proc. of the 12th International Conference on Scalable Uncertainty Management (SUM 2018) (2018)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk
Synthesis in pMDPs: A Tale of 1001 Parameters
Proc. of ATVA (2018)
[DOI: 10.1007/978-3-030-01090-4]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Abraham, Erika; Bonakdarpour, Borzoo
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
Proc. of the 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018) (2018)
[DOI: 10.1007/978-3-319-99154-2]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Leofante, Francesco; Abraham, 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 / edited by Carlo A. Furia, Kirsten Winter (2018)
[DOI: 10.1007/978-3-319-98938-9_18]

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

[Fachzeitschriftenartikel]
Leofante, Francesco; Abraham, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics
Information systems frontiers, 1-21 (2018)
[DOI: 10.1007/s10796-018-9858-3]

[Beitrag zu einem Tagungsband]
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 2018, july 13-19, 2018, Stockholm, Sweden (2018)
[DOI: 10.24963/ijcai.2018/829]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Lange, Tim; Prinz, Frederick; Neuhäußer, Martin R.; Noll, Thomas; Katoen, Joost-Pieter
Improving Generalization in Software IC3
SPIN 2018 (2018)
[DOI: 10.1007/978-3-319-94111-0_5]

[Fachzeitschriftenartikel]
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
On the Hardness of Analyzing Probabilistic Programs
Acta informatica (2018)
[DOI: 10.1007/s00236-018-0321-1]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Berger, Philipp; Katoen, Joost-Pieter; Abraham, Erika; Rambow, Thomas; Waez, Md Tawhid Bin
Verifying Auto-Generated C Code from Simulink
Proc. of Formal Methods Symposium (FM 2018) (2018)
[DOI: 10.1007/978-3-319-95582-7_18]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Nellen, Johanna; Rambow, Thomas; Waez, Md Tawhid Bin; Abraham, Erika; Katoen, Joost-Pieter
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations
Proc. of Formal Methods Symposium (FM 2018) (2018)
[DOI: 10.1007/978-3-319-95582-7_23]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Quatmann, Tim; Katoen, Joost-Pieter
Sound Value Iteration
Prof. of CAV (2018)
[DOI: 10.1007/978-3-319-96145-3_37]

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

[Buchbeitrag, Beitrag zu einem Tagungsband]
Feng, Yijun; Katoen, Joost-Pieter; Li, Haokun; Xia, Bican; Zhan, Naijun
Monitoring CTMCs By Multi-Clock Timed Automata
Proc. of CAV (2018)
[DOI: 10.1007/978-3-319-96145-3_27]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Schemmel, Daniel; Büning, Julian; Dustmann, Oscar Soria; Noll, Thomas; Wehrle, Klaus
Symbolic Liveness Analysis of Real-World Software
Proc. CAV 2018, Part II (2018)
[DOI: 10.1007/978-3-319-96142-2_27]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Arndt, Hannah; Jansen, Christina; Katoen, Joost-Pieter; Matheja, Christoph; Noll, Thomas
Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs
Proc. CAV 2018, Part II (2018)
[DOI: 10.1007/978-3-319-96142-2_1]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Yang, Xiaoxiao; Katoen, Joost-Pieter; Lin, Huimin; Liu, Gaoang; Wu, Hao
Branching Bisimulation and Concurrent Object Verification
Proc. of the 48th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (2018)
[DOI: 10.1109/DSN.2018.00037]

[Preprint]
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Noll, Thomas
Quantitative separation Logic
(2018)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Junges, Sebastian; Katoen, Joost-Pieter; Stoelinga, Marielle; Volk, Matthias
One Net Fits All: A unifying semantics of DFTs using GSPNs
Proc. of Petri Nets (2018)
[DOI: 10.1007/978-3-319-91268-4_14]

[Buchbeitrag, Beitrag zu einem Tagungsband]
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
Proc. of the 27th European Symposium on Programming (ESOP 2018) (2018)
[DOI: 10.1007/978-3-319-89884-1_7]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
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]

[Buchbeitrag, Beitrag zu einem Tagungsband]
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) : Munich, Germany, August 20-24, 2018 (2018)
[DOI: 10.1109/COASE.2018.8560407]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Schwarz, Julian; Steffens, Andreas; Lichter, Horst
Code Smells in Infrastructure as Code
[11th International Conference on the Quality of Information and Communications Technology, QUATIC, 2018-09-04 - 2018-09-07, Coimbra, Portugal] (2018)
[DOI: 10.1109/QUATIC.2018.00040]

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

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