| 2018 |
| DOI | Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle Mciver.
Conditioning in Probabilistic Programming,
pages 4, Association for Computing Machinery, 2018. |
| DOI | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen.
Fast Dynamic Fault Tree Analysis by Model Checking Techniques,
pages 370-379, IEEE, 2018. |
| DOI | Stefan Schupp, Justin Winkens, Erika Ábrahám.
Context-Dependent Reachability Analysis for Hybrid Systems,
pages 518-525, IEEE, 2018. |
| DOIFull Text | Gereon Kremer, Erika Ábrahám.
Modular strategic SMT solving with SMT-RAT,
pages 5-25, De Gruyter Open, 2018. |
| DOI | Stefan Schupp, Erika Ábrahám.
Spread the Work,
Volume 10886 of LNCS, pages 89-104, Springer, 2018. |
| DOIFull Text | Stefan Schupp, Erika Ábrahám.
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis,
Volume 10806, Part 2 of LNCS, pages 287-302, Springer, 2018. |
| DOIFull Text | Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann.
Multi-cost Bounded Reachability in MDP,
Volume 10806, Part 2 of LNCS, pages 320-339, Springer, 2018. |
| DOI | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll.
Graph-Based Shape Analysis Beyond Context-Freeness,
Volume 10886 of LNCS, pages 271-286, Springer, 2018. |
| DOI | Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen.
A new proof rule for almost-sure termination,
pages 33:1-33:28, ACM, 2018. |
| DOIFull Text | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
How long, O Bayesian network, will I sample thee?,
Volume 10801 of LNCS, pages 186-213, Springer, 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 | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll.
Quantitative Separation Logic,
159 pages, 2018. |
| DOI | Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu.
Branching Bisimulation and Concurrent Object Verification,
pages 267-278, IEEE, 2018. |
| DOI | Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll.
Let this Graph Be Your Witness!,
Volume 10982 of LNCS, pages 3-11, 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 | 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. |
| DOIFull Text | Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan.
Monitoring CTMCs by Multi-clock Timed Automata,
Volume 10981 of LNCS, pages 507-526, Springer, 2018. |
| DOIFull Text | Tim Quatmann, Joost-Pieter Katoen.
Sound Value Iteration,
Volume 10981 of LNCS, pages 643-661, Springer, 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 | Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen.
Formal Verification of Automotive Simulink Controller Models,
Volume 10951 of LNCS, Springer, 2018. |
| DOI | Francesco Leofante.
Optimal Multi-robot Task Planning,
pages 5771-5772, 2018. |
| DOI | Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen.
Improving Generalization in Software IC3,
LNCS, pages 85-102, Springer, 2018. |
| DOI | Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella.
Automated Verification of Neural Networks,
8 pages, 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. |
| DOI | Erika Ábrahám, Borzoo Bonakdarpour.
HyperPCTL,
Volume 11024, Theoretical Computer Science and General Issues of LNCS, Springer, 2018. |