| 2018 |
| DOIFull Text | Ulrich Loup.
On solving real-algebraic formulas in a satisfiability-modulo-theories framework,
222 pages, 2018. |
| DOI | Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk.
One Net Fits All,
Volume 10877 of LNCS, pages 272-293, Springer, 2018. |
| DOI | Francesco Leofante.
Optimal Multi-robot Task Planning,
pages 5771-5772, 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. |
| DOI | Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li.
Positive root isolation for poly-powers by exclusion and differentiation,
pages 148-169, Elsevier, 2018. |
| DOIFull Text | .
Proceedings of the PhD Symposium at iFM'18 on Formal Methods,
Volume 483 of Research report / University of Oslo, 2018. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll.
Quantitative Separation Logic,
159 pages, 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. |
| DOIFull Text | Tim Quatmann, Joost-Pieter Katoen.
Sound Value Iteration,
Volume 10981 of LNCS, pages 643-661, Springer, 2018. |
| DOI | Stefan Schupp, Erika Ábrahám.
Spread the Work,
Volume 10886 of LNCS, pages 89-104, Springer, 2018. |
| Full Text | Erika Ábrahám.
Symbolic Computation Techniques in SMT Solving,
Volume 10900 of LNCS, pages XII-XII, Springer, 2018. |
| DOIFull Text | Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle.
Symbolic Liveness Analysis of Real-World Software,
Volume 10982 of LNCS, pages 447-466, 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. |
| DOI | Sascha Müller, Andreas Gerndt, Thomas Noll.
Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees,
2018. |
| DOI | Francesco Leofante, Erika Ábrahám, Armando Tacchella.
Task Planning with OMT,
Volume 11023, Programming and Software Engineering of LNCS, pages 316-325, Springer, 2018. |
| Full Text | Stefan Schupp, Erika Ábrahám.
The HyDRA Tool,
Volume 483 of Research report, 2 pages, Oslo University, 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. |
| DOI | Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow.
Verifying Auto-generated C Code from Simulink,
Volume 10951 of LNCS, Springer, 2018. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo.
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms,
pages 30:1-30:68, 2018. |
| 2017 |
| DOI | Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk.
A storm is Coming,
14 pages, 2017. |
| DOI | Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk.
A Storm is Coming,
Volume 10427 of LNCS, pages 592-600, Springer, 2017. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen.
A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations,
pages 1-12, IEEE, 2017. |
| DOIFull Text | Louis Wachtmeister, Thomas Noll.
Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications,
5 pages, Zenodo, 2017. |
| Marieke Huisman, Thomas Noll, Makoto Tatsuta.
Analysis and Verification of Pointer Programs: October 2-5, 2017,
Volume 2017-04 of NII Shonan Meeting Report, 15 pages, National Institute of Informatics, 2017. |
| DOI | Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann.
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms,
pages 94-103, IEEE, 2017. |