Joost-Pieter Katoen

Person

Prof. Dr. Ir.

Joost-Pieter Katoen

Universitätsprofessor
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)

Speaker & Supervisor

Address

Building: 2353 Informatikzentrum E1

Room: 4214

Ahornstraße 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80 21200
Fax Fax: +49 241 80 22217
 
Play Video
 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : [Proceedings], 2023
[DOI: 10.1109/LICS56636.2023.10175714]
Winkler, Tobias (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
In: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina, 391-409, 2023
[DOI: 10.1007/978-3-031-30820-8_24]
Winkler, Tobias (Corresponding author)
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Search and Explore: Symbiotic Policy Synthesis in POMDPs
In: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III / edited by Constantin Enea, Akash Lal, 113-135, 2023
[DOI: 10.1007/978-3-031-37709-9_6]
Andriushchenko, Roman
Bork, Alexander
Češka, Milan (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
et al.
[Journal Article]
Stochastic games with lexicographic objectives
In: Formal methods in system design, 41 Seiten, 2023
[DOI: 10.1007/s10703-023-00411-4]
Chatterjee, Krishnendu
Katoen, Joost-Pieter
Mohr, Stefanie
Weininger, Maximilian
Winkler, Tobias (Corresponding author)
[Preprint]
Exact Probabilistic Inference Using Generating Functions, 2023
Klinkenberg, Lutz
Winkler, Tobias
Chen, Mingshuai
Katoen, Joost-Pieter
[Contribution to a book]
Parameter Synthesis in Markov Models: A Gentle Survey
In: Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday / Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar (eds.), 407-437, 2022
[DOI: 10.1007/978-3-031-22337-2_20]
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter (Corresponding author)
[Contribution to a conference proceedings, Journal Article]
Reasoning about distributed reconfigurable systems
In: Proceedings of the ACM on programming languages, 6 (OOPSLA2), 145-174, 2022
[DOI: 10.1145/3563293]
Ahrens, Emma (Corresponding author)
Bozga, Marius (Corresponding author)
Iosif, Radu (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
In: NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez, 713-732, 2022
[DOI: 10.1007/978-3-031-06773-0_38]
Basgöze, Daniel
Volk, Matthias (Corresponding author)
Katoen, Joost-Pieter
Khan, Shahid
Stoelinga, Marielle
[Contribution to a book, Contribution to a conference proceedings]
POMDP Controllers with Optimal Budget
In: Quantitative evaluation of systems : 19th international conference, QEST 2022 Warsaw, Poland, September 12-16, 2022, proceedings / Erika Ábrahám, Marco Paolieri (eds.), 107-130, 2022
[DOI: 10.1007/978-3-031-16336-4_6]
Spel, Jip Josephine (Corresponding author)
Stein, Svenja Maria
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
In: Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel, 79-101, 2022
[DOI: 10.1007/978-3-031-13185-1_5]
Chen, Mingshuai (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Klinkenberg, Lutz (Corresponding author)
Winkler, Tobias (Corresponding author)
[Contribution to a conference proceedings, Journal Article]
Weighted programming : a programming paradigm for specifying mathematical models
In: Proceedings of the ACM on programming languages : (PACMPL), 66, 2022
[DOI: 10.1145/3527310]
Batz, Kevin (Corresponding author)
Gallus, Adrian (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Winkler, Tobias (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Under-Approximating Expected Total Rewards in POMDPs
In: Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu, 22-40, 2022
[DOI: 10.1007/978-3-030-99527-0_2]
Bork, Alexander Nikolai (Corresponding author)
Katoen, Joost-Pieter
Quatmann, Tim
[Contribution to a conference proceedings, Journal Article]
DFT modeling approach for operational risk assessment of railway infrastructure
In: International journal on software tools for technology transfer : STTT, 24 (3), 331-350, 2022
[DOI: 10.1007/s10009-022-00652-4]
Weik, Norman (Corresponding author)
Volk, Matthias
Katoen, Joost-Pieter
Nießen, Nils
[Contribution to a book, Contribution to a conference proceedings]
Model Checking Temporal Properties of Recursive Probabilistic Programs
In: Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Patricia Bouyer, Lutz Schröder, 449-469, 2022
[DOI: 10.1007/978-3-030-99253-8_23]
Winkler, Tobias (Corresponding author)
Gehnen, Christina
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Gradient-Descent for Randomized Controllers Under Partial Observability
In: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies, 127-150, 2022
[DOI: 10.1007/978-3-030-94583-1_7]
Heck, Linus
Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Moerman, Joshua
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Out of Control : Reducing Probabilistic Models by Control-State Elimination
In: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies, 450-472, 2022
[DOI: 10.1007/978-3-030-94583-1_22]
Winkler, Tobias (Corresponding author)
Lehmann, Johannes
Katoen, Joost-Pieter
[Journal Article]
Synthesizing optimal bias in randomized self-stabilization
In: Distributed computing, 35 (1), 37-57, 2021
[DOI: 10.1007/s00446-021-00408-4]
Volk, Matthias (Corresponding author)
Bonakdarpour, Borzoo
Katoen, Joost-Pieter
Aflaki, Saba
[Journal Article]
The probabilistic model checker STORM
In: International journal on software tools for technology transfer, 24 (4), 589-610, 2021
[DOI: 10.1007/s10009-021-00633-z]
Hensel, Hans Christian
Junges, Sebastian
Katoen, Joost-Pieter (Corresponding author)
Quatmann, Tim
Volk, Matthias
[Journal Article]
Markov automata with multiple objectives
In: Formal methods in system design, 60 (1), 33-86, 2021
[DOI: 10.1007/s10703-021-00364-6]
Quatmann, Tim
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Scalable Reliability Analysis by Lazy Verification
In: NASA formal methods : 13th international symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings / Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez (eds.), 180-197, 2021
[DOI: 10.1007/978-3-030-76384-8_12]
Khan, Shahid (Corresponding author)
Katoen, Joost-Pieter
Volk, Matthias
Bouissou, Marc
[Contribution to a book, Contribution to a conference proceedings]
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
In: 2021 10th Latin-American Symposium on Dependable Computing (LADC) : proceedings : virtual conference, 22-26 November 2021 / publisher: IEEE ; general chair: Antônio Augusto Fröhlich (UFSC), publication chair: Augusto José Venâncio Neto (UFRN), 2021
[DOI: 10.1109/LADC53747.2021.9672579]
Khan, Shahid (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Volk, Matthias (Corresponding author)
Zafar, Ahmad (Corresponding author)
Sher, Falak (Corresponding author)
[Journal Article]
Probabilistic Data with Continuous Distributions
In: ACM SIGMOD record, 50 (1), 69-76, 2021
[DOI: 10.1145/3471485.3471502]
Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter
[Contribution to a book, Contribution to a conference proceedings]
Model Checking the Multi-Formalism Language FIGARO
In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks : DSN 2021 : proceedings : 21-24 June 2021, virtual event / general chairs: Sy-Yen Kuo (National Taiwan University, Taiwan), Yennun Huang (Academia Sinica, Taiwan) ; publication chairs: Chi-Yi Lin (Tamkang University, Taiwan), Yao-Hsin Chou (National Chi Nan University, Taiwan) ; publisher: IEEE, 463-470, 2021
[DOI: 10.1109/DSN48987.2021.00056]
Khan, Shahid (Corresponding author)
Volk, Matthias
Katoen, Joost-Pieter
Braibant, Alexis
Bouissou, Marc
[Contribution to a book, Contribution to a conference proceedings]
Tweaking the Odds in Probabilistic Timed Automata
In: Quantitative evaluation of systems : 18th International Conference, QEST 2021 Paris, France, August 23-27, 2021 : Proceedings / Alessandro Abate, Andrea Marin (Eds.), 39-58, 2021
[DOI: 10.1007/978-3-030-85172-9_3]
Hartmanns, Arnd (Corresponding author)
Katoen, Joost-Pieter
Kohlen, Bram
Spel, Jip Josephine
[Contribution to a book, Contribution to a conference proceedings]
Finding Provably Optimal Markov Chains
In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I, 173-190, 2021
[DOI: 10.1007/978-3-030-72016-2_10]
Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
[Journal Article]
The complexity of reachability in parametric Markov decision processes
In: Journal of computer and system sciences : JCSS, 119, 183-210, 2021
[DOI: 10.1016/j.jcss.2021.02.006]
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Pérez, Guillermo A.
Winkler, Tobias
[Contribution to a book, Contribution to a conference proceedings]
Generating Functions for Probabilistic Programs
In: Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings / edited by Maribel Fernández, 231-248, 2021
[DOI: 10.1007/978-3-030-68446-4_12]
Klinkenberg, Lutz (Corresponding author)
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Moerman, Joshua
et al.
[Journal Article]
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
In: IEEE transactions on automatic control, 66 (3), 1040-1054, 2020
[DOI: 10.1109/TAC.2020.2990140]
Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils (Corresponding author)
Topcu, Ufuk
et al.
[Contribution to a book, Contribution to a conference proceedings]
Verification of Indefinite-Horizon POMDPs
In: Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / Dang Van Hung, Oleg Sokolsky (eds.), 288-304, 2020
[DOI: 10.1007/978-3-030-59152-6_16]
Bork, Alexander Nikolai
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Quatmann, Tim
[Report]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard Marlon
Dannert, Katrin M.
Lindner, Peter
et al.
[Contribution to a book, Contribution to a conference proceedings]
Stochastic Games with Lexicographic Reachability-Safety Objectives
In: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds), 398-420, 2020
[DOI: 10.1007/978-3-030-53291-8_21]
Chatterjee, Krishnendu
Katoen, Joost-Pieter
Weininger, Maximilian
Winkler, Tobias (Corresponding author)
[Contribution to a conference proceedings, Journal Article]
Multi-cost Bounded Tradeoff Analysis in MDP
In: Journal of automated reasoning, 64 (7), 1483-1522, 2020
[DOI: 10.1007/s10817-020-09574-9]
Hartmanns, Arnd (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim
[Contribution to a book, Contribution to a conference proceedings]
Generative Datalog with Continuous Distributions
In: PODS'20 : Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 14 -19, 2020, Portland, OR USA / General Chair: Dan Suciu (University of Washington, USA); Program Chair: Yufei Tao; Proceedings Chair: Zhewei Wei, 347-360, 2020
[DOI: 10.1145/3375395.3387659]
Grohe, Martin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Lindner, Peter (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Scenario-Based Verification of Uncertain MDPs
In: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, 287-305, 2020
[DOI: 10.1007/978-3-030-45190-5_16]
Cubuktepe, Murat
Jansen, Nils (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Topcu, Ufuk
[Conference Presentation, Journal Article]
Aiming low is harder: induction for lower bounds in probabilistic program verification
In: Proceedings of the ACM on programming languages, 4 (POPL), 1-28, 2020
[DOI: 10.1145/3371105]
Hark, Marcel Tobias (Corresponding author)
Kaminski, Benjamin Lucien
Giesl, Jürgen
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
In: 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing : PRDC 2019 : Kyoto, Japan, 1-3 December 2019 : proceedings / sponsors PRDC 2019: IEEE Computer Society, Tokyo Metropolitan University, Hiroshima University, Kyoto Sangyo University, Nihon University, 266-275, 2019
[DOI: 10.1109/PRDC47002.2019.00057]
Khan, Shahid (Corresponding author)
Katoen, Joost-Pieter
Volk, Matthias
Bouissou, Marc
[Contribution to a book, Contribution to a conference proceedings]
Counterexample-Driven Synthesis for Probabilistic Program Sketches
In: Formal methods - the next 30 years : third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings / Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.), 101-120, 2019
[DOI: 10.1007/978-3-030-30942-8_8]
Češka, Milan
Hensel, Hans Christian
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Shepherding Hordes of Markov Chains
In: 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 2 / edited by Tomáš Vojnar, Lijun Zhang, 172-190, 2019
[DOI: 10.1007/978-3-030-17465-1_10]
Češka, Milan
Jansen, Nils
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Are Parametric Markov Chains Monotonic?
In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 479-496, 2019
[DOI: 10.1007/978-3-030-31784-3_28]
Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
On the Complexity of Reachability in Parametric Markov Decision Processes
In: 30th International Conference on Concurrency Theory : CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands / edited by Wan Fokkink, Rob van Glabbeek, 2019
[DOI: 10.4230/LIPICS.CONCUR.2019.14]
Winkler, Tobias
Junges, Sebastian (Corresponding author)
Pérez, Guillermo A.
Katoen, Joost-Pieter
[Contribution to a book]
Model Repair Revamped
In: 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, 2019
[DOI: 10.1007/978-3-030-31514-6_7]
Češka, Milan
Dehnert, Hans Christian
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Formal Verification of Rewriting Rules for Dynamic Fault Trees
In: 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, 2019
[DOI: 10.1007/978-3-030-30446-1_27]
Elderhalli, Yassmeen (Corresponding author)
Volk, Matthias
Hasan, Osman
Katoen, Joost-Pieter
Tahar, Sofiène
[Contribution to a book, Contribution to a conference proceedings]
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
In: 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, 2019
[DOI: 10.1007/978-3-030-27008-7_3]
Volk, Matthias (Corresponding author)
Weik, Norman
Katoen, Joost-Pieter
Nießen, Nils
[Contribution to a book, Contribution to a conference proceedings]
Correct-by-construction policies for POMDPs
In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 6-8, 2019
[DOI: 10.1145/3313149.3313366]
Jansen, Nils (Corresponding author)
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Quatmann, Tim (Corresponding author)
Becker, Bernd (Corresponding author)
et al.
[Journal Article]
Safety analysis for vehicle guidance systems with dynamic fault trees
In: Reliability engineering & system safety, 186, 37-50, 2019
[DOI: 10.1016/j.ress.2019.02.005]
Ghadhab, Majdi
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Kuntz, Matthias
Volk, Matthias
[Contribution to a conference proceedings, Journal Article]
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
In: Proceedings of the ACM on programming languages, 3 (POPL), 34, 2019
[DOI: 10.1145/3290347]
Batz, Kevin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)
Noll, Thomas (Corresponding author)
[Journal Article]
On the hardness of analyzing probabilistic programs
In: Acta informatica, 56 (3), 255-285, 2018
[DOI: 10.1007/s00236-018-0321-1]
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Finite-State Controllers of POMDPs using Parameter Synthesis
In: 34th Conference on Uncertainty in Artificial Intelligence 2018 : Monterey, California, USA, 6-10 August 2018 / editors: Amir Globerson, Ricardo Silva ; Association for Uncertainty in Artificial Intelligence (AUAI). - Volume 1, 519-529, 2018
Junges, Sebastian
Jansen, Nils
Wimmer, Ralf
Quatmann, Tim
Winterer, Leonore
et al.
[Contribution to a book, Contribution to a conference proceedings]
Model Checking for Safe Navigation Among Humans
In: Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.), 207-222, 2018
[DOI: 10.1007/978-3-319-99154-2_13]
Junges, Sebastian
Jansen, Nils (Corresponding author)
Katoen, Joost-Pieter
Topcu, Ufuk
Zhang, Ruohan
et al.
[Contribution to a book, Contribution to a conference proceedings]
Rule-Based Conditioning of Probabilistic Data
In: Scalable Uncertainty Management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi, 290-305, 2018
[DOI: 10.1007/978-3-030-00461-3_20]
van Keulen, Maurice (Corresponding author)
Kaminski, Benjamin Lucien
Matheja, Christoph
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Synthesis in pMDPs : A Tale of 1001 Parameters
In: Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang, 160-176, 2018
[DOI: 10.1007/978-3-030-01090-4]
Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Topcu, Ufuk
[Journal Article]
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
In: Journal of the ACM : JACM, 65 (5), 30:1-30:68, 2018
[DOI: 10.1145/3208102]
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)
Olmedo, Federico (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs
In: Application and theory of petri nets and concurrency : 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018 : proceedings / Victor Khomenko, Olivier H. Roux (eds.), 272-293, 2018
[DOI: 10.1007/978-3-319-91268-4_14]
Junges, Sebastian
Katoen, Joost-Pieter
Stoelinga, Marielle
Volk, Matthias (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times
In: Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed, 186-213, 2018
[DOI: 10.1007/978-3-319-89884-1_7]
Batz, Kevin (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
Matheja, Christoph (Corresponding author)
[Contribution to a conference proceedings, Journal Article]
A new proof rule for almost-sure termination
In: Proceedings of the ACM on Programming Languages, 2, 33:1-33:28, 2018
[DOI: 10.1145/3158121]
McIver, Annabelle (Corresponding author)
Morgan, Carroll (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Multi-cost Bounded Reachability in MDP
In: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman, 320-339, 2018
[DOI: 10.1007/978-3-319-89963-3_19]
Hartmanns, Arnd
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim (Corresponding author)
[Journal Article]
Fast Dynamic Fault Tree Analysis by Model Checking Techniques
In: IEEE transactions on industrial informatics, 14 (1), 370-379, 2017
[DOI: 10.1109/TII.2017.2710316]
Volk, Matthias
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
[Journal Article]
Conditioning in Probabilistic Programming
In: ACM transactions on programming languages and systems : ACM TOPLAS, 40 (1), 4, 2017
[DOI: 10.1145/3156018]
Olmedo, Federico (Corresponding author)
Gretz, Friedrich (Corresponding author)
Jansen, Nils (Corresponding author)
Kaminski, Benjamin Lucien (Corresponding author)
Katoen, Joost-Pieter (Corresponding author)
et al.
[Contribution to a book, Contribution to a conference proceedings]
A Storm is Coming: A Modern Probabilistic Model Checker
In: Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2, 592-600, 2017
[DOI: 10.1007/978-3-319-63390-9_31]
Dehnert, Hans Christian (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
Motion planning under partial observability using game-based abstraction
In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC) : December 12-15, 2017, Melbourne, Australia, 2201-2208, 2017
[DOI: 10.1109/CDC.2017.8263971]
Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils
Topcu, Ufuk
et al.
[Journal Article]
Fault trees on a diet: automated reduction by graph rewriting
In: Formal aspects of computing, 29 (4), 651-703, 2017
[DOI: 10.1007/s00165-016-0412-0]
Junges, Sebastian (Corresponding author)
Guck, Dennis
Katoen, Joost-Pieter
Rensink, Arend
Stoelinga, Mariëlle