Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science...
10 KB (728 words) - 15:55, 7 May 2024
algorithms. Springer. p. 45. ISBN 978-3-540-00296-3. Christel Baier; Joost-Pieter Katoen (2008). Principles of model checking. The MIT Press. pp. 20–21 and...
6 KB (718 words) - 21:21, 20 August 2024
specification requirements. It was written by Christel Baier and Joost-Pieter Katoen, and published in 2008 by MIT Press. The introduction and first chapter...
6 KB (665 words) - 21:30, 20 August 2024
Garavel, Frédéric Lang, and Wendelin Serwe, From LOTOS to LNT. In Joost-Pieter Katoen, Rom Langerak, and Arend Rensink, editors, ModelEd, TestEd, TrustEd...
3 KB (273 words) - 16:11, 5 April 2024
University Press, 2003, ISBN 0-521-39115-6. pp. 7–8. Christel Baier; Joost-Pieter Katoen (2008). Principles of Model Checking. The MIT Press. p. 20. ISBN 978-0-262-02649-9...
6 KB (859 words) - 02:30, 3 November 2024
46–57. doi:10.1109/SFCS.1977.32 Sec. 5.1 of Christel Baier and Joost-Pieter Katoen, Principles of Model Checking, MIT Press "Principles of Model Checking...
18 KB (1,832 words) - 00:09, 16 October 2024
Principles of Model Checking (pages 536–580), by Christel Baier and Joost-Pieter Katoen, The MIT Press, Cambridge, Massachusetts. Mohajerani, Sahar; Malik...
3 KB (440 words) - 17:12, 20 November 2024
Bonn in 1999, and moved to TU Dresden as a professor in 2006. With Joost-Pieter Katoen, Baier is coauthor of the book Principles of Model Checking (MIT...
3 KB (271 words) - 19:07, 23 November 2024
Difference Bound Matrices Lecture #20 of Advanced Model Checking Joost-Pieter Katoen Péron, Mathias; Halbwachs, Nicolas (2008). "An Abstract Domain Extending...
25 KB (4,744 words) - 17:02, 16 April 2024
Hellman Nicholas Higham Tony Hoare Holger H. Hoos Ihab Ilyas Lizy John Joost-Pieter Katoen Nam Sung Kim Sven Koenig David Kotz Arvind Krishnamurthy Ravi Kumar...
37 KB (3,840 words) - 12:43, 4 October 2024
Garavel, Frédéric Lang, and Wendelin Serwe, From LOTOS to LNT. In Joost-Pieter Katoen, Rom Langerak, and Arend Rensink, editors, ModelEd, TestEd, TrustEd...
3 KB (448 words) - 20:30, 22 October 2023
LIPIcs 117 MFCS 2019 Aachen, Germany Peter Rossmanith Pinar Heggernes Joost-Pieter Katoen LIPIcs 138 MFCS 2020 Prague, Czech Republic Javier Esparza Daniel...
4 KB (102 words) - 07:24, 18 November 2024
"The Impressive Power of Stopwatches" (CONCUR 2000) Christel Baier, Joost-Pieter Katoen & Holger Hermanns: "Approximate symbolic model checking of continuous-time...
10 KB (941 words) - 03:40, 29 July 2024
Concurrency. USA: Prentice-Hall, Inc. ISBN 0131149849. Baier, Christel; Katoen, Joost-Pieter (2008). Principles of Model Checking. MIT Press. p. 527. ISBN 978-0-262-02649-9...
14 KB (2,013 words) - 17:12, 20 November 2024
20.5470. doi:10.1007/BF01782772. S2CID 9717112. Baier, Christel; Katoen, Joost-Pieter (2008). Principles of Model Checking. MIT Press. ISBN 9780262026499...
13 KB (1,992 words) - 10:44, 21 November 2024
"Trustworthy graph algorithms". In Rossmanith, Peter; Heggernes, Pinar; Katoen, Joost-Pieter (eds.). 44th International Symposium on Mathematical Foundations...
7 KB (719 words) - 05:09, 29 July 2024
Marktoberdorf. He retired on 31 March 2015. Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander (2005). Model-Based Testing...
8 KB (590 words) - 07:16, 12 March 2024
graphs and half-squares", in Rossmanith, Peter; Heggernes, Pinar; Katoen, Joost-Pieter (eds.), 44th International Symposium on Mathematical Foundations...
4 KB (493 words) - 20:25, 28 July 2024
1145/567067.567081. ISBN 0897910907. S2CID 15728260. Baier, Christel; Katoen, Joost-Pieter (2008-01-01). Principles of Model Checking (Representation and Mind...
9 KB (1,570 words) - 15:14, 24 November 2023
Simon Spitsmuis, Royaal Modaal) Pax Steen - (Klompertje Klomp) Joost Swarte - (Katoen en Pinbal, Jopo de Pojo) Ton van Tast Paul Teng - (De Vrienden van...
200 KB (17,188 words) - 20:42, 24 November 2024