PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Katoen, Joost-Pieter"

Author of the publication

copydeleteadd this publication to your clipboard
Foundations for Entailment Checking in Quantitative Separation Logic (extended version).

, , , , , , and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Prof. iR Dr. Pieter Anne Vermeer University of Stuttgart

 

Other publications of authors with the same name

Code Generation Based on Formal BURS Therory and Heuristic Search., and . Acta Inf., 34 (8): 597-635 (1997)A Stochastic Causality-Based Process Algebra., , , and . Comput. J., 38 (7): 552-565 (1995)Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks., , , and . Distributed Computing, 9 (4): 157-171 (1996)Symbolic counterexample generation for large discrete-time Markov chains., , , , , , and . Sci. Comput. Program., (2014)Bottom-Up Tree Acceptors., and . Sci. Comput. Program., 13 (1): 51-72 (1989)Conditioning in Probabilistic Programming., , , , , and . ACM Trans. Program. Lang. Syst., 40 (1): 4:1-4:50 (2018)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , and . UAI, page 519-529. AUAI Press, (2018)Quantitative Verification in Practice., , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 127. Springer, (2010)Model Checking for Safe Navigation Among Humans., , , , , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 207-222. Springer, (2018)High-Level Counterexamples for Probabilistic Automata., , , , , and . QEST, volume 8054 of Lecture Notes in Computer Science, page 39-54. Springer, (2013)