| 2015 |
| DOI | Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo Beron.
Understanding Probabilistic Programs,
Volume 9360 of LNCS, pages 15-32, Springer, 2015. |
| Jonathan Heinen.
Verifying Java programs,
pages 219 S. : graph. Darst., Verl. Dr. Hut, 2015. |
| DOI | Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll.
Verifying pointer programs using graph grammars,
pages 157-162, Elsevier, 2015. |
| 2014 |
| DOI | Dimitri Bohlender, Harold Yorick Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll.
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models,
Volume 8803 of LNCS, pages 177-192, Springer, 2014. |
| DOI | Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
Accelerating Parametric Probabilistic Verification,
Volume 8657 of LNCS, pages 404-420, Springer, 2014. |
| DOI | Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer.
Analysis of Timed and Long-Run Objectives in Markov Automata,
pages Paper 17, Department of Theoretical Computer Science, Technical University of Braunschweig, 2014. |
| DOI | Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer.
Counterexample Generation for Discrete-Time Markov Models,
Volume 8483 of LNCS, pages 65-121, Springer, 2014. |
| DOI | Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins.
Counterexample Generation for Hybrid Automata,
Volume 419 of Communications in Computer and Information Science, pages 88-106, Springer, 2014. |
| DOI | Joost-Pieter Katoen, Hao Wu.
Exponentially timed SADF,
pages Article No. 1, 10 S., ACM, 2014. |
| DOI | Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen.
Fast Debugging of PRISM Models,
Volume 8837 of LNCS, pages 146-162, Springer, 2014. |
| DOI | .
Formal techniques for distributed objects, components, and systems: 34th IFIP WG 6.1 international conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3 - 5, 2014,
Volume 8461 of LNCS, pages XII, 299 S., Springer, 2014. |
| Full Text | Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll.
Formal Validation Methods in Model-Based Spacecraft Systems Engineering,
pages 340-375, Taylor and Francis, 2014. |
| DOI | Christina Jansen, Thomas Noll.
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs,
LNCS, pages 49-64, Springer, 2014. |
| DOI | Anton J. Wijs, Joost-Pieter Katoen, Dragan Bosnacki.
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components,
Volume 8559 of LNCS, pages 309-325, Springer, 2014. |
| DOI | Arpit Sharma, Joost-Pieter Katoen.
Layered Reduction for Abstract Probabilistic Automata,
pages 21-31, IEEE, 2014. |
| DOI | Arpit Sharma, Joost-Pieter Katoen.
Layered Reduction for Modal Specification Theories,
Volume 8348 of LNCS, pages 1-19, Springer, 2014. |
| DOI | Hongfei Fu.
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes,
Volume 8412 of LNCS, pages 73-87, Springer, 2014. |
| DOI | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
Minimal counterexamples for linear-time probabilistic verification,
pages 61-100, Elsevier, 2014. |
| Full Text | Joost-Pieter Katoen.
Model Checking Gigantic Markov Models,
Volume 8702 of LNCS, pages XV-XVII, Springer, 2014. |
| DOI | Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen.
Observable Interface Behaviour and Inheritance,
pages 561-605, Cambridge Univ. Press, 2014. |
| DOI | Hans Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen.
On Abstraction of Probabilistic Systems,
Volume 8453 of LNCS, pages 87-116, Springer, 2014. |
| DOI | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver.
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language,
pages 110-132, Elsevier, 2014. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen.
Parametric LTL on Markov Chains,
Volume 8705 of LNCS, pages 207-222, Springer, 2014. |
| DOI | Alfons Laarman, Anton J. Wijs.
Partial Order Reduction for Multi-Core LTL Model Checking,
Volume 8855 of LNCS, pages 267-283, Springer, 2014. |
| DOI | Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu.
Performance Analysis of Computing Servers,
Volume 8376 of LNCS, pages 57-72, Springer, 2014. |