| 2016 |
|---|
| DOI | Anton J. Wijs, Dragan Bošnački. Many-core on-the-fly model checking of safety properties using GPUs, 169-185, Springer, 2016. |
| DOI | Joost-Pieter Katoen. The Probabilistic Model Checking Landscape, Proceedings of the 31st annual ACM-IEEE symposium on logic in computer science (LICS 2016) : July 5-8, 2016 new york city, USA / LICS general chair: Martin grohe; LICS conference chair: Eric koskinen; LICS program chair: Natarajan shankar, 31-45, ACM Press, 2016. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen. On the Satisfiability of Some Simple Probabilistic Logics, Proceedings of the 31st annual ACM-IEEE symposium on logic in computer science (LICS 2016) : July 5-8, 2016 new york city, USA / LICS general chair: Martin grohe; LICS conference chair: Eric koskinen; LICS program chair: Natarajan shankar, 56-65, ACM Press, 2016. |
| DOI | Federico Olmedo Beron, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Reasoning about Recursive Probabilistic Programs, Proceedings of the 31st annual ACM-IEEE symposium on logic in computer science (LICS 2016) : July 5-8, 2016 new york city, USA / LICS general chair: Martin grohe; LICS conference chair: Eric koskinen; LICS program chair: Natarajan shankar, 672-681, ACM Press, 2016. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Inferring Covariances for Probabilistic Programs, Quantitative evaluation of systems : 13th international conference, QEST 2016, quebec city, QC, canada, august 23-25, 2016 : proceedings / gul agha, benny van houdt (eds.), 191-206, Springer International Publishing, 2016. |
| DOI | Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen. Performance Evaluation of Concurrent Data Structures, Dependable software engineering : theories, tools, and applications : second international symposium, SETTA 2016, beijing, china, november 9-11, 2016 : proceedings / martin fränzle, deepak kapur, naijun zhan (eds.), 38-49, Springer International Publishing, 2016. |
| DOI | Tim Quatmann, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis for Markov Models: Faster Than Ever, Automated technology for verification and analysis : 14th international symposium, ATVA 2016, chiba, japan, october 17-20, 2016, proceedings / edited by cyrille artho, axel legay, doron peled, 50-67, Springer International Publishing, 2016. |
| DOI | Nils Jansen, Hans Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen. Bounded Model Checking for Probabilistic Programs, Automated technology for verification and analysis : 14th international symposium, ATVA 2016, chiba, japan, october 17-20, 2016, proceedings / edited by cyrille artho, axel legay, doron peled, 68-85, Springer International Publishing, 2016. |
| DOI | 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, MBMV 2016 : 19. GI/ITG/GMM-workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" : Albert-ludwigs-universität freiburg im breisgau 1.-2. März 2016 / ralf wimmer (herausgeber), 72-74, Albert-Ludwigs-Universität, 2016. |
| DOI | Mark Timmer, Joost-Pieter Katoen, Jaco Pol, Mariëlle Stoelinga. Confluence reduction for Markov automata, 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, 2016 IEEE 35th symposium on reliable distributed systems (SRDS 2016) : Budapest, hungary, 26-29 september 2016 / institute of electrical and electronics engineers, 307-316, IEEE, 2016. |
| DOI | Joost-Pieter Katoen, Hao Wu. Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow, 15, ACM Press, 2016. |
| Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo Beron. On the Semantic Intricacies of Conditioning, [1st workshop on probabilistic programming semantics, PPS 2016, 20.01.2016-23.01.2016, st. Petersburg, florida, USA : Extended abstracts], 2 Seiten, 2016. |
| DOI | Sebastian Junges, Nils Jansen, Hans Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen. Safety-constrained Reinforcement Learning for MDPs, Tools and algorithms for the construction and analysis of systems : 22nd international conference, TACAS 2016, held as part of the european joint conferences on theory and practice of software, ETAPS 2016, eindhoven, the netherlands, april 2-8, 2016 : proceedings / marsha chechik, jean-françois raskin (eds.), 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, Programming languages and systems : 25th european symposium on programming, ESOP 2016, held as part of the european joint conferences on theory and practice of software, ETAPS 2016, eindhoven, the netherlands, april 2-8, 2016 : proceedings / peter thiemann (eds.), 364-389, Springer, 2016. |
| DOI | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga. Uncovering Dynamic Fault Trees, DSN 2016 : 46th annual IEEE/IFIP international conference on dependable systems and networks : 28 june-1 july 2016, toulouse, france : proceedings / sponsored by: IEEE computer society, IFIP, 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, Computer safety, reliability, and security : 35th international conference, SAFECOMP 2016, trondheim, norway, september 21-23, 2016 : proceedings / amund skavhaug, jérémie guiochet, friedemann bitsch (eds.), 253-265, Springer, 2016. |
| DOI | Victor Bos, Harold Yorick Bruintjes, Stefano Tonetta. Catalogue of System and Software Properties, Computer safety, reliability, and security : 35th international conference, SAFECOMP 2016, trondheim, norway, september 21-23, 2016 : proceedings / amund skavhaug, jérémie guiochet, friedemann bitsch (eds.), 88-101, Springer, 2016. |
| Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu. Probabilistic Verification for Cognitive Models, [Cross-disciplinary challenges for autonomous systems : AAAI 2016 fall symposium series, 17.11.2016-19.11.2016, arlington, virginia, USA], 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 Seiten, 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 Seiten : Illustrationen, 2016. |
| DOI | Florian Corzilius. Integrating virtual substitution into strategic SMT solving, 1 Online-Ressource (IX, 186 Seiten) : Illustrationen, Diagramme, 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, 145-147, ACM, 2016. |
| 2015 |
|---|
| DOI | Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Verifying pointer programs using graph grammars, 157-162, Elsevier, 2015. |
| Arpit Sharma. Reduction Techniques for Nondeterministic and Probabilistic Systems, XIV, 175 S., Fachgruppe Informatik, RWTH Aachen University, 2015. |