| 2019 |
| DOI | .
Dependable software engineering,
Volume 11951 of LNCS, pages viii, 138 Seiten : Illustrationen, 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 | Tim Felix Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen.
IC3 software model checking,
pages 135-161, Springer, 2019. |
| DOI | Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini.
Improving Reliability of Myocontrol Using Formal Verification,
pages 564-571, IEEE, 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 | 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. |
| DOIFull Text | Souymodip Chakraborty.
New results on probabilistic verification,
172 pages, 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. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
On the hardness of analyzing probabilistic programs,
pages 255-285, Springer, 2019. |
| DOIFull Text | Ira Justus Fesefeldt.
Proving termination of pointer programs on top of symbolic execution,
pages 118 S., 2019. |
| DOIFull Text | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll.
Quantitative separation logic,
pages 34, ACM, 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. |
| DOIFull Text | Joshua Moerman, Matteo Sammartino.
Residual Nominal Automata,
25 pages, 2019. |
| DOI | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk.
Safety analysis for vehicle guidance systems with dynamic fault trees,
pages 37-50, Elsevier Science, 2019. |
| DOI | Joshua Moerman, Jurriaan Rot.
Separation and Renaming in Nominal Sets,
23 pages, 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 | 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 | Stefan Schupp.
State set representations and their usage in the reachability analysis of hybrid systems,
217 pages, 2019. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou.
Synergizing Reliability Modeling Languages,
pages 266-275, IEEE, 2019. |
| DOI | Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll.
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees,
Volume 1008 of Communications in computer and information science, pages 37-54, Springer, 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. |
| DOIFull Text | Ernst Moritz Hahn, Arnd Hartmanns, Hans Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz.
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models,
Volume 11429 of LNCS, pages 69-92, Springer, 2019. |
| DOIFull Text | Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters.
The Quantitative Verification Benchmark Set,
Volume 11427 of LNCS, pages 344-350, Springer, 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. |
| 2018 |
| Full Text | .
2018 ACM/IEEE 1st International Workshop on Gender Equality in Software Engineering,
IEEE, 2018. |