| 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. |
| 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 | 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. |
| Full Text | Nils Jansen.
Counterexamples in probabilistic verification,
pages XI, 224 S.S. . graph. Darst., Publikationsserver der RWTH Aachen University, 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. |
| 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. |
| Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám.
Flow* 1.2,
Volume 34 of EPiC Series in Computer Science, pages 152-159, EasyChair, 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. |
| 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. |
| DOI | Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll.
Juggrnaut,
pages 159-203, Springer, 2015. |
| DOI | Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, Walter Unger.
Learning-based Control Strategies for Hybrid Electric Vehicles,
pages 1722-1728, IEEE, 2015. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen.
Model Checking of Open Interval Markov Chains,
Volume 9081 of LNCS, pages 30-42, Springer, 2015. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec.
Modelling and statistical model checking of a microgrid,
pages 537-554, 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 | Benjamin Lucien Kaminski, Joost-Pieter Katoen.
On the Hardness of Almost–Sure Termination,
Volume 9234 of LNCS, pages 308-318, Springer, 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. |
| Full Text | Souymodip Chakraborty, Joost-Pieter Katoen.
P-Automata for Markov Decision Processes,
pages 2-18, 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 | Joost-Pieter Katoen.
Probabilistic Programming,
Volume 9364 of LNCS, pages 1-3, Springer, 2015. |
| Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo.
Probabilistic Programs - A Natural Model for Approximate Computations,
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. |
| 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. |
| Kevin Van der Pol, Thomas Noll.
Security Type Checking for MILS-AADL Specifications,
10 pages, 2015. |
| Kevin Van der Pol, Thomas Noll.
Security Type Checking for MILS-AADL Specifications,
pages 25 Folien, 2015. |
| DOI | Christoph Matheja, Christina Jansen, Thomas Noll.
Tree-Like Grammars and Separation Logic,
Volume 9458 of LNCS, pages 90-108, Springer, 2015. |