| 2016 |
| DOI | Joost-Pieter Katoen.
The Probabilistic Model Checking Landscape,
pages 31-45, ACM Press, 2016. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen.
On the Satisfiability of Some Simple Probabilistic Logics,
pages 56-65, ACM Press, 2016. |
| DOI | Federico Olmedo Beron, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
Reasoning about Recursive Probabilistic Programs,
pages 672-681, ACM Press, 2016. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
Inferring Covariances for Probabilistic Programs,
Volume 9826 of LNCS, pages 191-206, Springer, 2016. |
| DOI | Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen.
Performance Evaluation of Concurrent Data Structures,
Volume 9984 of LNCS, pages 38-49, Springer, 2016. |
| DOI | Tim Quatmann, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen.
Parameter Synthesis for Markov Models,
Volume 9938 of LNCS, pages 50-67, Springer, 2016. |
| DOI | Nils Jansen, Hans Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen.
Bounded Model Checking for Probabilistic Programs,
Volume 9938 of LNCS, pages 68-85, Springer, 2016. |
| DOIFull Text | Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám.
Parameter synthesis for probabilistic systems,
pages 72-74, Albert-Ludwigs-Universität, 2016. |
| DOI | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga.
Confluence reduction for Markov automata,
pages 193-219, Elsevier, 2016. |
| DOI | Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross.
Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks,
pages 307-316, IEEE, 2016. |
| DOI | Joost-Pieter Katoen, Hao Wu.
Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow,
pages 15, ACM Press, 2016. |
| Full Text | Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo Beron.
On the Semantic Intricacies of Conditioning,
2 pages, 2016. |
| DOI | Sebastian Junges, Nils Jansen, Hans Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen.
Safety-constrained Reinforcement Learning for MDPs,
Volume 9636 of LNCS, pages 130-146, Springer, 2016. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo Beron.
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs,
Volume 9632 of LNCS, pages 364-389, Springer, 2016. |
| DOI | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga.
Uncovering Dynamic Fault Trees,
pages 299-310, IEEE, 2016. |
| DOI | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen.
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates,
Volume 9922 of LNCS, pages 253-265, Springer, 2016. |
| DOI | Victor Bos, Harold Yorick Bruintjes, Stefano Tonetta.
Catalogue of System and Software Properties,
Volume 9922 of LNCS, pages 88-101, Springer, 2016. |
| Full Text | Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu.
Probabilistic Verification for Cognitive Models,
Volume FS-16-03 of AAAI Technical Reports, pages 185-188, AAAI Press, 2016. |
| DOI | Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger.
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic,
115 pages, 2016. |
| DOI | Erika Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England.
Satisfiability checking and symbolic computation,
3 pages, 2016. |
| DOIFull Text | Florian Corzilius.
Integrating virtual substitution into strategic SMT solving,
186 pages, 2016. |
| 2015 |
| DOI | Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll.
Verifying pointer programs using graph grammars,
pages 157-162, Elsevier, 2015. |
| Full Text | Arpit Sharma.
Reduction Techniques for Nondeterministic and Probabilistic Systems,
Volume 2015,3 of Aachener Informatik-Berichte, pages XIV, 175 S., Fachgruppe Informatik, RWTH Aachen University, 2015. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec.
Modelling and statistical model checking of a microgrid,
pages 537-554, Springer, 2015. |
| Full Text | Falak Sher.
Abstraction and refinement of probabilistic automata using modal stochastic games,
Volume 2015,10 of Aachener Informatik-Berichte, pages VIII, 105 S. : graph. Darst., Fachgruppe Informatik, RWTH Aachen University, 2015. |