| 2016 |
| DOIFull Text | Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački.
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components,
pages 274-300, Springer, 2016. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
Inferring Covariances for Probabilistic Programs,
Volume 9826 of LNCS, pages 191-206, Springer, 2016. |
| DOIFull Text | Florian Corzilius.
Integrating virtual substitution into strategic SMT solving,
186 pages, 2016. |
| DOI | Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám.
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis,
pages 723-756, Univ. Press, 2016. |
| DOIFull Text | Anton J. Wijs, Dragan Bošnački.
Many-core on-the-fly model checking of safety properties using GPUs,
pages 169-185, Springer, 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 | Souymodip Chakraborty, Joost-Pieter Katoen.
On the Satisfiability of Some Simple Probabilistic Logics,
pages 56-65, 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 | 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. |
| 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 | Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen.
Performance Evaluation of Concurrent Data Structures,
Volume 9984 of LNCS, pages 38-49, Springer, 2016. |
| DOI | Joost-Pieter Katoen, Hao Wu.
Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow,
pages 15, ACM Press, 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 | Federico Olmedo Beron, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
Reasoning about Recursive Probabilistic Programs,
pages 672-681, ACM Press, 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 | 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. |
| Full Text | Friedrich Gretz.
Semantics and loop invariant synthesis for probabilistic programs,
Publikationsserver der RWTH Aachen University, 2016. |
| DOI | Joost-Pieter Katoen.
The Probabilistic Model Checking Landscape,
pages 31-45, ACM Press, 2016. |
| DOI | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga.
Uncovering Dynamic Fault Trees,
pages 299-310, IEEE, 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 | 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. |
| 2015 |
| DOI | Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen.
A Greedy Approach for the Efficient Repair of Stochastic Models,
Volume 9058 of LNCS, pages 295-309, Springer, 2015. |
| DOI | Harold Yorick Bruintjes, Joost-Pieter Katoen, David Lesens.
A Statistical Approach for Timed Reachability in AADL Models,
pages 81-88, IEEE, 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. |
| DOI | Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit.
Challenges and Recommendations for Preparing HPC Applications for Exascale,
6 pages, 2015. |