Publications

2015
DOIBenjamin Lucien Kaminski, Joost-Pieter Katoen. On the Hardness of Almost–Sure Termination, Mathematical foundations of computer science 2015 : 40th international symposium, MFCS 2015, milan, italy, august 24 - 28, 2015 ; proceedings, part I / giuseppe F. Italiano; giovanni pighizzini; donald T. Sannella (eds.), 308-318, Springer, 2015.
DOISebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. Fault Trees on a Diet, Dependable software engineering: Theories, tools, and applications : First international symposium, SETTA 2015, nanjing, china, november 4-6, 2015, proceedings / edited by xuandong li, zhiming liu, wang yi, 3-18, Springer International Publishing, 2015.
DOIJonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Juggrnaut: using graph grammars for abstracting unbounded heap structures, 159-203, Springer Science + Business Media B.V, 2015.
DOIJoost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo Beron. Understanding Probabilistic Programs, Correct system design : Symposium in honor of ernst-rüdiger olderog on the occasion of his 60th birthday, oldenburg, germany, september 8-9, 2015, proceedings / roland meyer, andré platzer, heike wehrheim (eds.), 15-32, Springer International Publishing, 2015.
DOIViet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll. Compositional Analysis Using Component-Oriented Interpolation, Formal aspects of component software : 11th international symposium, FACS 2014, bertinoro, italy, september 10 - 12, 2014 ; revised selected papers / ivan lanese; eric madelaine (eds.), 69-85, Springer International Publishing, 2015.
DOIChristoph Matheja, Christina Jansen, Thomas Noll. Tree-Like Grammars and Separation Logic, Programming languages and systems : 13th asian symposium, APLAS 2015, pohang, south korea, november 30 - december 2, 2015, proceedings / edited by xinyu feng, sungwoo park, 90-108, Springer International Publishing, 2015.
Kevin Van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications, [International workshop on MILS: Architecture and assurance for secure systems, 20.01.2015-20.01.2015, amsterdam, netherlands], 10 Seiten, 2015.
Tim Lange, Martin R. Neuhäußer, Thomas Noll. IC3 Software Model Checking on Control Flow Automata, Proceedings of the 15th conference on formal methods in computer-aided design (FMCAD 2015) : Austin, texas, USA , september 27 - 30, 2015 / edited by roope kaivola and thomas wahl, 97-104, FMCAD Inc, 2015.
Souymodip Chakraborty, Joost-Pieter Katoen. P-Automata for Markov Decision Processes, [3rd international workshop on strategic reasoning. J. Gutierrez, F. Mogavero, a. Murano, and M. Wooldridge (eds.)], 2-18, 2015.
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Probabilistic Programs - A Natural Model for Approximate Computations, [Workshop on approximate computing, AC15, 2015-10-15 - 2015-10-16, paderborn, germany], 2015.
Kevin Van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications, 25 Folien, 2015.
DOISascha 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, 2015 IEEE conference on control applications (CCA 2015) : Sydney, australia, 21 - 23 september 2015 : [part of IEEE multi-conference on systems and control (MSC 2015)] / [technical sponsor IEEE control systems society and IFAC], 1722-1728, IEEE, 2015.
2014
DOIFriedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. Operational versus weakest pre-expectation semantics for the probabilistic guarded command language, 110-132, Elsevier, 2014.
DOIErika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models : An Introductory Survey, Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, bertinoro, italy, june 16 - 20, 2014 ; advanced lectures / marco bernardo... (eds.), 65-121, Springer, 2014.
DOINils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster. Symbolic counterexample generation for large discrete-time Markov chains, 90-114, Elsevier, 2014.
DOIMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri. Spacecraft early design validation using formal methods, 20-35, Elsevier, 2014.
DOIRalf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal counterexamples for linear-time probabilistic verification, 61-100, Elsevier, 2014.
DOIHans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen. Fast Debugging of PRISM Models, Automated technology for verification and analysis : 12th international symposium, ATVA 2014, sydney, NSW, australia, november 3-7, 2014 ; proceedings / franck cassez ... (eds.), 146-162, Springer, 2014.
Hongfei Fu. Verifying probabilistic systems : new algorithms and complexity results, XII, 152 S., RWTH, Department of Computer Science, 2014.
DOITomáš Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen. Zero-Reachability in Probabilistic Multi-Counter Automata, Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic (CSL) and the twenty-ninth annual ACM/IEEE symposium on logic in computer science (LICS), Article No. 22, 10 S., ACM, 2014.
DOISouymodip Chakraborty, Joost-Pieter Katoen. Parametric LTL on Markov Chains, Theoretical computer science : 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, rome, italy, september 1 - 3, 2014 ; proceedings / josep diaz; ivan lanese; davide sangiorgi (eds.), 207-222, Springer, 2014.
DOIHans Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen. On Abstraction of Probabilistic Systems, Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures / Anne Remke; Mariëlle Stoelinga (eds.), 87-116, Springer, 2014.
DOIHongfei Fu. Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes, Foundations of software science and computation structures : 17th international conference, FOSSACS 2014, held as part of the european joint conferences on theory and practice of software, ETAPS 2014, grenoble, france, april 5 - 13, 2014 ; proceedings / anca muscholl (ed.), 73-87, Springer, 2014.
DOIDennis Guck, Joost-Pieter Katoen, Marielle Stoelinga, Ted Luiten, Judi Romijn. Smart Railroad Maintenance Engineering with Stochastic Model Checking, Proceedings of the second international conference on railway technology: Research, development and maintenance : [held in ajaccio, corsica, france from 8 - 11 april 2014] / ed. by J. Pombo, Paper 299, 16 S., Civil-Comp Press, 2014.
DOIChristina Jansen, Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs, Graph transformation : 7th international conference, ICGT 2014, held as part of STAF 2014, york, UK, july 22 - 24, 2014 ; proceedings / holger giese; barbara könig (eds.), 49-64, Springer, 2014.