| 2015 |
| Full Text | Nils Jansen.
Counterexamples in probabilistic verification,
pages XI, 224 S.S. . graph. Darst., Publikationsserver der RWTH Aachen University, 2015. |
| Jonathan Heinen.
Verifying Java programs,
pages 219 S. : graph. Darst., Verl. Dr. Hut, 2015. |
| DOIFull Text | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen.
High-level Counterexamples for Probabilistic Automata,
pages 15, Department of Theoretical Computer Science, Technical University of Braunschweig, 2015. |
| DOI | Tim Quatmann, Nils Jansen, Hans Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
Counterexamples for Expected Rewards,
Volume 9109 of LNCS, pages 435-452, Springer, 2015. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen.
Model Checking of Open Interval Markov Chains,
Volume 9081 of LNCS, pages 30-42, Springer, 2015. |
| DOI | Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen.
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems,
Volume 9268 of LNCS, pages 93-107, Springer, 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 | Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám.
PROPhESY,
Volume 9206 of LNCS, pages 214-231, Springer, 2015. |
| DOI | Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski.
Current Challenges in the Verification of Hybrid Systems,
Volume 9361 of LNCS, pages 8-24, Springer, 2015. |
| Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám.
Flow* 1.2,
Volume 34 of EPiC Series in Computer Science, pages 152-159, EasyChair, 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. |
| Sascha Geulen, Martina Joševski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Erika Ábrahám, Walter Unger, Dirk Abel.
Online Lernen als Kontrollstrategie in Hybridfahrzeugen,
Volume 2233 of VDI-Berichte, pages 101-112, VDI-Verl., 2015. |
| DOI | Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit.
Preparing HPC Applications for Exascale,
pages 401-406, IEEE, 2015. |
| DOI | Harold Yorick Bruintjes, Joost-Pieter Katoen, David Lesens.
A Statistical Approach for Timed Reachability in AADL Models,
pages 81-88, IEEE, 2015. |
| DOIFull Text | Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver.
Conditioning in Probabilistic Programming,
pages 199-216, Elsevier Science, 2015. |
| DOI | Joost-Pieter Katoen.
Probabilistic Programming,
Volume 9364 of LNCS, pages 1-3, Springer, 2015. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen.
On the Hardness of Almost–Sure Termination,
Volume 9234 of LNCS, pages 308-318, Springer, 2015. |
| DOI | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga.
Fault Trees on a Diet,
Volume 9409 of LNCS, pages 3-18, Springer, 2015. |
| DOI | Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll.
Juggrnaut,
pages 159-203, Springer, 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. |
| DOI | Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll.
Compositional Analysis Using Component-Oriented Interpolation,
Volume 8997 of LNCS, pages 69-85, Springer, 2015. |
| DOI | Christoph Matheja, Christina Jansen, Thomas Noll.
Tree-Like Grammars and Separation Logic,
Volume 9458 of LNCS, pages 90-108, Springer, 2015. |
| Kevin Van der Pol, Thomas Noll.
Security Type Checking for MILS-AADL Specifications,
10 pages, 2015. |
| Full Text | Tim Lange, Martin R. Neuhäußer, Thomas Noll.
IC3 Software Model Checking on Control Flow Automata,
pages 97-104, FMCAD Inc, 2015. |
| Full Text | Souymodip Chakraborty, Joost-Pieter Katoen.
P-Automata for Markov Decision Processes,
pages 2-18, 2015. |