| 2018 |
| DOI | Maurice van Keulen, Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen.
Rule-Based Conditioning of Probabilistic Data,
Volume 11142 of Lecture Notes in Artificial Intelligence, pages 290-305, Springer, 2018. |
| DOI | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu.
Synthesis in pMDPs,
Volume 11138 of LNCS, pages 160-176, Springer, 2018. |
| Full Text | Rebecca Haehn, Gereon Kremer, Erika Ábrahám.
Evaluation of Equational Constraints for CAD in SMT Solving,
Volume 2189 of CEUR workshop proceedings, pages 19-32, RWTH-Aachen, 2018. |
| DOI | Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger.
Harrsh,
Volume 57 of EPiC series in computing, pages 23-36, EasyChair, 2018. |
| DOI | Sascha Müller, Andreas Gerndt, Thomas Noll.
Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees,
2018. |
| Full Text | .
2018 ACM/IEEE 1st International Workshop on Gender Equality in Software Engineering,
IEEE, 2018. |
| Full Text | Erika Ábrahám.
Symbolic Computation Techniques in SMT Solving,
Volume 10900 of LNCS, pages XII-XII, Springer, 2018. |
| DOI | Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary Hayhoe.
Model Checking for Safe Navigation Among Humans,
Volume 11024, Theoretical Computer Science and General Issues of LNCS, pages 207-222, Springer, 2018. |
| Full Text | Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker.
Finite-State Controllers of POMDPs using Parameter Synthesis,
pages 519-529, AUAI Press, 2018. |
| DOI | Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova.
Parameter-Independent Strategies for pMDPs via POMDPs,
Volume 11024, Theoretical Computer Science and General Issues of LNCS, pages 53-70, Springer, 2018. |
| Full Text | Stefan Schupp, Erika Ábrahám.
The HyDRA Tool,
Volume 483 of Research report, 2 pages, Oslo University, 2018. |
| Full Text | Francesco Leofante.
Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories,
pages 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,
pages 519-529, Curran Associates, Inc., 2018. |
| DOIFull Text | Hans Christian Hensel.
The probabilistic model checker Storm,
Volume 2018-06 of Aachener Informatik-Berichte, 331 pages, RWTH Aachen University, Department of Computer Science, 2018. |
| DOIFull Text | Ulrich Loup.
On solving real-algebraic formulas in a satisfiability-modulo-theories framework,
222 pages, 2018. |
| DOI | Francesco 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,
pages 87-107, Kluwer, 2018. |
| DOIFull Text | .
Proceedings of the PhD Symposium at iFM'18 on Formal Methods,
Volume 483 of Research report / University of Oslo, 2018. |
| DOIFull Text | Tim Felix Lange.
IC3 software model checking,
Volume 2019-02 of Aachener Informatik-Berichte, 187 pages, 2018. |
| DOIFull Text | Harold Yorick Bruintjes.
Model-based reliability analysis of aerospace systems,
244 pages, 2018. |
| 2017 |
| DOI | Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate.
Quantitative model-checking of controlled discrete-time Markov processes,
pages 1-35, Elsevier, 2017. |
| DOI | Erika Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England.
Satisfiability checking and symbolic computation,
pages 145-147, ACM, 2017. |
| DOI | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga.
Fault trees on a diet,
pages 651-703, Springer, 2017. |
| DOIFull Text | Hao Wu.
Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -,
174 pages, 2017. |
| DOIFull Text | Christina Jansen.
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic,
286 pages, 2017. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen.
A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations,
pages 1-12, IEEE, 2017. |