| 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. |
| DOI | Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella.
Automated Verification of Neural Networks,
8 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 | 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 | Stefan Schupp, Justin Winkens, Erika Ábrahám.
Context-Dependent Reachability Analysis for Hybrid Systems,
pages 518-525, IEEE, 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. |
| 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 | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen.
Fast Dynamic Fault Tree Analysis by Model Checking Techniques,
pages 370-379, IEEE, 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. |
| 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. |
| 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 | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll.
Graph-Based Shape Analysis Beyond Context-Freeness,
Volume 10886 of LNCS, pages 271-286, Springer, 2018. |
| Full Text | Francesco Leofante.
Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories,
pages 8020-8021, 2018. |
| DOI | Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger.
Harrsh,
Volume 57 of EPiC series in computing, pages 23-36, EasyChair, 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 | Erika Ábrahám, Borzoo Bonakdarpour.
HyperPCTL,
Volume 11024, Theoretical Computer Science and General Issues of LNCS, Springer, 2018. |
| DOIFull Text | Tim Felix Lange.
IC3 software model checking,
Volume 2019-02 of Aachener Informatik-Berichte, 187 pages, 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, 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. |
| 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. |
| 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. |
| DOIFull Text | Harold Yorick Bruintjes.
Model-based reliability analysis of aerospace systems,
244 pages, 2018. |
| DOIFull Text | Gereon Kremer, Erika Ábrahám.
Modular strategic SMT solving with SMT-RAT,
pages 5-25, De Gruyter Open, 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 | 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. |