Publications

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.
. 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.
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.
Francesco Leofante. Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories, The thirty-second AAAI conference on artificial intelligence, the thirtieth innovative applications of artificial intelligence conference, the eighth AAAI symposium on educational advances in artificial intelligence : New orleans, louisiana USA - february 2-7, 2018 / sponsored by the association for the advancement of artificial intelligence, 8020-8021, 2018.
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs using Parameter Synthesis, 34th conference on uncertainty in artificial intelligence 2018 : Monterey, california, USA, 6-10 august 2018 / editors: Amir globerson, ricardo silva ; association for uncertainty in artificial intelligence (AUAI). - Volume 1, 519-529, Curran Associates, Inc., 2018.
DOIHans Christian Hensel. The probabilistic model checker Storm : symbolic methods for probabilistic model checking, 1 Online-Ressource (vii, 331 Seiten) : Illustrationen, RWTH Aachen University, Department of Computer Science, 2018.
DOIUlrich Loup. On solving real-algebraic formulas in a satisfiability-modulo-theories framework, 1 Online-Ressource (ii, 222 Seiten) : Illustrationen, Diagramme, 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.
DOI. Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18), 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.
2017
DOIIlya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative model-checking of controlled discrete-time Markov processes, 1-35, Elsevier, 2017.
DOISebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. Fault trees on a diet: automated reduction by graph rewriting, 651-703, Springer, 2017.
DOIHao Wu. Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -, 1 Online-Ressource (xvi, 174 Seiten) : Illustrationen, Diagramme, 2017.
DOIChristina Jansen. Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic, 1 Online-Ressource (xi, 286 Seiten) : Diagramme, 2017.
DOIBenjamin Lucien Kaminski, Joost-Pieter Katoen. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations, 2017 32nd annual ACM/IEEE symposium on logic in computer science (LICS) : 20-23 june 2017, reykjavík, iceland, 1-12, IEEE, 2017.