Joost-Pieter Katoen
发表
Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
2003,
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Diego Latella,
Joost-Pieter Katoen,
Ed Brinksma,
1996
.
Marc Bouissou,
Joost-Pieter Katoen,
Shahid Khan,
2020,
2020 16th European Dependable Computing Conference (EDCC).
Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
2001
.
Sebastian Junges,
Joost-Pieter Katoen,
Christian Hensel,
2020,
International Journal on Software Tools for Technology Transfer.
Joost-Pieter Katoen,
Hongfei Fu,
Mingzhang Huang,
2019,
Inf. Comput..
Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
2000,
TACAS.
Manfred Broy,
Alexander Pretschner,
Joost-Pieter Katoen,
2004,
Model-Based Testing of Reactive Systems.
Nils Jansen,
Joost-Pieter Katoen,
Federico Olmedo,
2015
.
Guohua Wu,
Joost-Pieter Katoen,
Naijun Zhan,
2015
.
Joost-Pieter Katoen,
Marnix Claudius Vlot,
1992
.
Sebastian Junges,
Joost-Pieter Katoen,
Christoph Matheja,
2020,
CAV.
Joost-Pieter Katoen,
Justin Hsu,
Christoph Matheja,
2021,
Proc. ACM Program. Lang..
Theo C. Ruys,
Joost-Pieter Katoen,
Pedro R. D'Argenio,
1997,
TACAS.
Sebastian Junges,
Nils Jansen,
Ufuk Topcu,
2020,
TACAS.
Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
2003,
International Journal on Software Tools for Technology Transfer.
Joost-Pieter Katoen,
Tim Quatmann,
2020,
ArXiv.
Marco Bozzano,
Alessandro Cimatti,
Joost-Pieter Katoen,
2010
.
Joost-Pieter Katoen,
Martin Grohe,
Benjamin Lucien Kaminski,
2020,
PODS.
Joost-Pieter Katoen,
Marieke Huisman,
Albert Cohen,
2013
.
Joost-Pieter Katoen,
Thomas Noll,
Stefan Rieger,
2007
.
Joost-Pieter Katoen,
Thomas Noll,
Viet Yen Nguyen,
2014
.
Joost-Pieter Katoen,
Nan Guan,
Jun Sun,
2019,
SETTA.
Joost-Pieter Katoen,
Christoph Matheja,
Benjamin Lucien Kaminski,
2020,
ArXiv.
Joost-Pieter Katoen,
Pedro R. D'Argenio,
Ed Brinksma,
1999,
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).
Joost-Pieter Katoen,
Marcin Szymczak,
J. Katoen,
2019,
SETSS.
Joost-Pieter Katoen,
Philipp Berger,
Lukas Westhofen,
2020,
NFM.
Joost-Pieter Katoen,
Tobias Winkler,
Benjamin Lucien Kaminski,
2020,
LOPSTR.
Joost-Pieter Katoen,
Marcin Szymczak,
2020,
ArXiv.
Manfred Broy,
Alexander Pretschner,
Bengt Jonsson,
2005
.
Sebastian Junges,
Joost-Pieter Katoen,
Tim Quatmann,
2020,
ATVA.
Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
2004
.
Joost-Pieter Katoen,
Pedro R. D'Argenio,
P. D’Argenio,
2005,
Inf. Comput..
Marc Bouissou,
Joost-Pieter Katoen,
Pavel Krcal,
2020,
MARS@ETAPS.
Joost-Pieter Katoen,
Mojgan Kamali,
J. Katoen,
2020,
QEST.
Joost-Pieter Katoen,
Philipp Berger,
Jan Svejda,
2020,
TACAS.
Marc Bouissou,
Joost-Pieter Katoen,
Shahid Khan,
2020,
SAFECOMP.
Krishnendu Chatterjee,
Joost-Pieter Katoen,
Tobias Winkler,
2020,
CAV.
Joost-Pieter Katoen,
Peter Rossmanith,
J. Katoen,
2019,
MFCS.
Mickael Randour,
Joost-Pieter Katoen,
Tim Quatmann,
2020,
TACAS.
Joost-Pieter Katoen,
Pedro R. D'Argenio,
Hendrik Brinksma,
1998
.
Joost-Pieter Katoen,
Tobias Winkler,
Johannes Lehman,
2020,
ArXiv.
Christel Baier,
Lucia Cloth,
Holger Hermanns,
2003
.
Holger Hermanns,
Joost-Pieter Katoen,
Pedro R. D'Argenio,
2006,
IEEE Transactions on Software Engineering.
Sofiène Tahar,
Osman Hasan,
Joost-Pieter Katoen,
2019,
SEFM.
Arend Rensink,
Joost-Pieter Katoen,
Dino Distefano,
2003
.
Joost-Pieter Katoen,
Christoph Matheja,
Benjamin Lucien Kaminski,
2021,
Proc. ACM Program. Lang..
Ezio Bartocci,
Joost-Pieter Katoen,
Laura Kovács,
2020,
ArXiv.
Manfred Broy,
Alexander Pretschner,
Bengt Jonsson,
2004,
Model-Based Testing of Reactive Systems.
Sebastian Junges,
Ufuk Topcu,
Bernd Becker,
2017,
1708.04236.
Joost-Pieter Katoen,
Joost-Pieter Katoen,
Pedro R. D'Argenio,
1997
.
Joost-Pieter Katoen,
Norman Weik,
Nils Nießen,
2019,
FMICS.
Sebastian Junges,
Ufuk Topcu,
Joost-Pieter Katoen,
2020,
IEEE Transactions on Automatic Control.
Marc Bouissou,
Joost-Pieter Katoen,
Shahid Khan,
2019,
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC).
Christel Baier,
Sebastian Junges,
Joost-Pieter Katoen,
2020,
Inf. Comput..
Joost-Pieter Katoen,
Abdelkrime Saidi,
Ivan Baccaro,
1994
.