| 2020 |
|---|
| Robin Drahovsky. Parameter synthesis in bayesian networks,
2020. |
| Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Verifying Probabilistic Programs,
Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings / Marco Gribaudo, David N. Jansen, Anne Remke (Eds.), 298-298, Springer, 2020. |
| 2019 |
|---|
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. On the hardness of analyzing probabilistic programs,
255-285, Springer, 2019. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative separation logic: a logic for reasoning about probabilistic pointer programs,
34, ACM, 2019. |
| DOI | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Safety analysis for vehicle guidance systems with dynamic fault trees,
37-50, Elsevier Science, 2019. |
| DOI | Benjamin Lucien Kaminski. Advanced weakest precondition calculi for probabilistic programs,
1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme, 2019. |
| DOI | Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees,
Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers / Cyrille Artho, Peter Csaba Ölveczky, editors, 37-54, Springer, 2019. |
| DOI | Ernst Moritz Hahn, Arnd Hartmanns, Hans Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report),
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings. - Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.), 69-92, Springer Open, 2019. |
| DOI | Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters. The Quantitative Verification Benchmark Set,
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.). - Part 1, 344-350, Springer Open, 2019. |
| DOI | Souymodip Chakraborty. New results on probabilistic verification : automata, logic and satisfiability,
1 Online-Ressource (172 Seiten) : Illustrationen, 2019. |
| DOI | Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer. Correct-by-construction policies for POMDPs,
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 6-8, ACM Press, 2019. |
| DOI | Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas,
Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.), 40-58, Springer, 2019. |
| DOI | Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar. Formal Verification of Rewriting Rules for Dynamic Fault Trees,
Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : Proceedings / Peter Csaba Ölveczky, Gwen Salaün (Eds.), 513-531, Springer, 2019. |
| DOI | Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Multiple Analyses, Requirements Once : Simplifying Testing and Verification in Automotive Model-Based Development,
Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.), 59-75, Springer, 2019. |
| DOI | Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini. Improving Reliability of Myocontrol Using Formal Verification,
564-571, IEEE, 2019. |
| DOI | Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella. Repairing Learned Controllers with Convex Optimization: A Case Study,
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings / edited by Louis-Martin Rousseau, Kostas Stergiou, 364-373, Springer, 2019. |
| DOI | Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella. SMT-based Planning for Robots in Smart Factories,
Advances and trends in artificial intelligence : from theory to practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019 : proceedings / Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali (eds.), 674-686, Springer, 2019. |
| DOI | . 44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany,
1 Online-Ressource : Illustrationen, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2019. |
| DOI | Stefan Schupp. State set representations and their usage in the reachability analysis of hybrid systems,
1 Online-Ressource (217 Seiten) : Illustrationen, Diagramme, 2019. |
| DOI | Christel Baier, Holger Hermanns, Joost-Pieter Katoen. The 10,000 Facets of MDP Model Checking,
Computing and software science : state of the art and perspectives / Bernhard Steffen, Gerhard Woeginger (Eds.), 420-451, Springer, 2019. |
| DOI | Milan Češka, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Model Repair Revamped,
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, 107-125, Springer International Publishing, 2019. |
| DOI | Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems,
104431, Elsevier, 2019. |
| DOI | Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen. On the Complexity of Reachability in Parametric Markov Decision Processes,
30th International Conference on Concurrency Theory : CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands / edited by Wan Fokkink, Rob van Glabbeek, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2019. |
| DOI | Joshua Moerman, Matteo Sammartino. Residual Nominal Automata,
25 Seiten, 2019. |
| DOI | Joshua Moerman, Jurriaan Rot. Separation and Renaming in Nominal Sets,
23 Seiten, 2019. |