Publications

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.
Stefan Schupp, Erika Ábrahám. The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods, Proceedings of the PhD symposium at iFM’18 on formal methods: Algorithms, tools and applications (PhD-iFM’18) : Research report 483, august 2018 / erika ábrahám and silvia lizeth tapia tarifa (eds.), 2 Seiten, Oslo University, 2018.