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
Improving Generalization in Software IC3.

, , , , and . SPIN, volume 10869 of Lecture Notes in Computer Science, page 85-102. Springer, (2018)

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. Dr. Pieter Anne Vermeer University of Stuttgart

 

Other publications of authors with the same name

An industrial-strength formal method -- A Modest survey., , , , and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 284-295. Department of Computer Science, University of Cyprus, (2004)Pomsets for MSC., and . FBT, page 197-207. Verlag Shaker, (1998)A Parallel program for the recognition of P-Invariant segments., and . Algorithms and Parallel VLSI Architectures, page 79-84. Elsevier, (1991)Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks., , , and . SRDS, page 307-316. IEEE Computer Society, (2016)Uncovering Dynamic Fault Trees., , , and . DSN, page 299-310. IEEE Computer Society, (2016)Parameter Synthesis for Markov Models., , , , , , and . CoRR, (2019)Permissive Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , and . CoRR, (2017)Learning Communicating Automata from MSCs., , , and . IEEE Trans. Software Eng., 36 (3): 390-408 (2010)Automated compositional Markov chain generation for a plain-old telephone system., and . Sci. Comput. Program., 36 (1): 97-127 (2000)Safety and Liveness in Concurrent Pointer Programs., , and . FMCO, volume 4111 of Lecture Notes in Computer Science, page 280-312. Springer, (2005)