Publications

2018
DOIDaniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle. 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, Springer, 2018.
DOIBenjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms, 30:1-30:68, 2018.
DOIYijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan. 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, Springer, 2018.
DOITim Quatmann, Joost-Pieter Katoen. 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, Springer, 2018.
DOIPhilipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. 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, Springer, 2018.
DOIJohanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen. 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, Springer, 2018.
DOIFrancesco Leofante. 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.
DOITim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. 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, Springer, 2018.
DOIFrancesco Leofante, Erika Ábrahám, Tim Dieter Niemüller, Gerhard Lakemeyer, Armando Tacchella. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics, 87-107, Kluwer, 2018.
DOIFrancesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella. Automated Verification of Neural Networks: Advances, Challenges and Perspectives, 8 Seiten : Tabellen, Diagramme, 2018.
DOIFrancesco Leofante, Erika Ábrahám, Armando Tacchella. 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, Springer, 2018.
DOIErika Ábrahám, Borzoo Bonakdarpour. 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.), Springer, 2018.
DOIMaurice Keulen, Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen. 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, Springer International Publishing, 2018.
DOIMurat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. 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, Springer, 2018.
Rebecca Haehn, Gereon Kremer, Erika Ábrahám. 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, RWTH-Aachen, 2018.
DOIJens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. 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, EasyChair, 2018.
DOISascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees, 2018.
DOI. Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18), 2018.
. 2018 ACM/IEEE 1st International Workshop on Gender Equality in Software Engineering : GE 2018 : 28 May 2018, Gothenburg, Sweden : proceedings, 49 Seiten, IEEE, 2018.
Erika Ábrahám. 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, Springer International Publishing, 2018.
DOISebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary Hayhoe. Model Checking for Safe Navigation Among Humans, Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.), 207-222, Springer, 2018.
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs using Parameter Synthesis, Uncertainty in Artificial Intelligence : Proceedings of the Thirty-Fourth Conference (2018), August 6-10, 2018, Monterey, California, USA / Edited by Amir Globerson, Google Inc. and Tel Aviv University; Ricardo Silva, University College London and The Alan Turing Institute ; General Chairs: Gal Elidan, Google Inc. and The Hebrew University, Israel Kristian Kersting, TU Darmstadt, Germany, 519-529, AUAI Press, 2018.
DOITim Felix Lange. IC3 software model checking, 1 Online-Ressource (viii, 187 Seiten) : Illustrationen, 2018.
DOIHarold Yorick Bruintjes. Model-based reliability analysis of aerospace systems, 1 Online-Ressource (xii, 244 Seiten) : Illustrationen, Diagramme, 2018.
DOISebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova. Parameter-Independent Strategies for pMDPs via POMDPs, Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.), 53-70, Springer, 2018.