| 2019 |
| DOI | Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer.
Correct-by-construction policies for POMDPs,
ACM Digital Library, pages 6-8, ACM Press, 2019. |
| DOI | Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen.
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas,
Volume 11687 of LNCS, pages 40-58, Springer, 2019. |
| DOI | Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar.
Formal Verification of Rewriting Rules for Dynamic Fault Trees,
Volume 11724, Theoretical computer science and general issues of LNCS, pages 513-531, Springer, 2019. |
| DOI | Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow.
Multiple Analyses, Requirements Once,
Volume 11687 of LNCS, pages 59-75, Springer, 2019. |
| DOI | Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini.
Improving Reliability of Myocontrol Using Formal Verification,
pages 564-571, IEEE, 2019. |
| DOI | Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella.
Repairing Learned Controllers with Convex Optimization,
Volume 11494 of Theoretical Computer Science and General Issues, pages 364-373, Springer, 2019. |
| DOI | Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella.
SMT-based Planning for Robots in Smart Factories,
Volume 11606 of LNCS, pages 674-686, Springer, 2019. |
| DOIFull Text | .
44th International Symposium on Mathematical Foundations of Computer Science: MFCS 2019, August 26-30, 2019, Aachen, Germany,
Volume 138 of Leibniz international proceedings in informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2019. |
| DOIFull Text | Stefan Schupp.
State set representations and their usage in the reachability analysis of hybrid systems,
217 pages, 2019. |
| DOI | Christel Baier, Holger Hermanns, Joost-Pieter Katoen.
The 10,000 Facets of MDP Model Checking,
Volume 10000 of LNCS, pages 420-451, Springer, 2019. |
| DOI | Milan Češka, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen.
Model Repair Revamped,
Volume 11500 of LNCS, pages 107-125, Springer, 2019. |
| DOI | Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen.
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems,
pages 104431, Elsevier, 2019. |
| DOIFull Text | Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen.
On the Complexity of Reachability in Parametric Markov Decision Processes,
Volume 140 of Leibniz international proceedings in informatics : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2019. |
| DOIFull Text | Joshua Moerman, Matteo Sammartino.
Residual Nominal Automata,
25 pages, 2019. |
| DOI | Joshua Moerman, Jurriaan Rot.
Separation and Renaming in Nominal Sets,
23 pages, 2019. |
| DOI | Jip Josephine Spel, Sebastian Junges, Joost-Pieter Katoen.
Are Parametric Markov Chains Monotonic?,
Volume 11781 of LNCS, pages 479-496, Springer, 2019. |
| DOIFull Text | Milan Češka, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen.
Shepherding Hordes of Markov Chains,
Volume 11428 of LNCS, pages 172-190, Springer, 2019. |
| DOI | .
Dependable software engineering,
Volume 11951 of LNCS, pages viii, 138 Seiten : Illustrationen, Springer, 2019. |
| DOI | Milan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen.
Counterexample-Driven Synthesis for Probabilistic Program Sketches,
Volume 11800 of LNCS, pages 101-120, Springer, 2019. |
| DOIFull Text | Ira Justus Fesefeldt.
Proving termination of pointer programs on top of symbolic execution,
pages 118 S., 2019. |
| DOIFull Text | Saeid Dehnavi, Ali Sedaghatbaf, Bahare Salmani Barzoki, Marjan Sirjani, Mehdi Kargahi, Ehsan Khamespanah.
Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca,
Volume 155 of Procedia computer science, pages 59-68, Elsevier, 2019. |
| DOIFull Text | Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta.
COMPASS 3.0,
Volume 11427 of LNCS, pages 379-385, Springer, 2019. |
| DOI | Tim Felix Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen.
IC3 software model checking,
pages 135-161, Springer, 2019. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou.
Synergizing Reliability Modeling Languages,
pages 266-275, IEEE, 2019. |
| 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. |