Joost-Pieter公司卡托恩
伊诺克斯福德   
我是RWTH（跑道）亚琛大学在中软件建模与验证（MOVES）与关联的组和兼职形式化方法和工具组在大学特温特.

自2013年以来，我在亚琛RWTH大学担任杰出教授，是欧洲研究院成员。

有关更多信息，请考虑我的个人简历. 个人兴趣：我的家人，骑脚踏车兜风和音乐（被动）。
书： 模型检查原理麻省理工学院出版社，2008年5月(目录和勘误表)
出版物： 论文目录 城市居民 学者谷歌 DBLP公司 四元搜索 Microsoft学术搜索
活动：概率编程暑期学校17LiVe 16：在验证中学习TCQV 16号机组 概率规划趋势15 CARP第13页 同意11 QEST第11项 质量管理委员会10 2009年CONCUR 罗盘09 WAL 07（墙07） VOSS 07（VOSS 07） 质量保证体系07 25Y进程代数 QEST 04标准 MBT 04（MBT 04） 沃斯02 FMPA 00（FMPA 00） 艺术99
工具： PROPHESY公司 PRINSYS公司 COMPASS（指南针） MRMC公司 电动机 SMYLE公司 利巴夫
选定的邀请会谈： ICTAC 17号 模块17 许可证16 网络16 WATA 16号机组 CAV 15型 阿特瓦15 SEFM第14期 符合13 ACSD+PN 12 iFM/ABZ 12 LSV15Y型 零售价11 FMICS 11 VTSA 11 FSEN 11标准 VMCAI 10 FMWEEK 09（第九周） FMCO 09公司 NWPT 09号 任务08 格式07
选定的方案委员会：阿特瓦17安全组件17 CSL 17号 拉丁美洲贸易协会17 磅/平方英寸17 调频16 HSCC 16号机组 CAV 16型 ICALP 16号机组 Petri网16 符合15 CAV 15型 格式15 磅/平方英寸15 Petri网15 SEFM第15届 FSEN 15标准 阿特瓦14 移动14 磅/平方英寸14 格式14 Petri网14 塔卡斯14 CAV 13 ATVA 13型 堡垒/FMOODS 13 塔卡斯13 拉丁美洲旅游协会13 FSEN 13标准 移动12 阿特瓦12 第12季度 2012年QFM CIAA 12 FMICS 12 FOSSACS第12版 MMB 12 CAV 11型 CONCUR 11（主席） 磅/平方英寸11 ICALP 11公司 法斯11 等值线10 符合10 移动10 NSMC 10 QEST第10项 建议零售价10 塔卡斯10 MMB 10 
指导委员会/编辑委员会： 同意 ETAPS（椅子） 格式STTT公司 QEST公司 同行J 
科学组织： IFIP工作组1.8 IFIP工作组2.2 ACM公司（高级成员）
教学： 概率规划 模型检查 高级模型检查 UML理论 并发理论 概率系统建模与验证 数据结构和算法 
编辑： 编辑的卷
博士毕业生： 恐龙Distefano 弗里德里希·格雷茨韩婷婷 乔纳森·海宁傅鸿飞大卫·N·詹森 玛丽恩·琼格登 卡斯滕·克恩 丹尼尔·克林克 亚历山德鲁·梅雷克莱 马丁·纽豪塞 越南阮 斯特凡·里格 Arpit Sharma公司法拉克·谢尔马克·蒂默 海迪悦伊万·萨普雷夫

联系人：

Ir.Joost-Pieter Katoen教授博士，PDEng
RWTH亚琛大学
LS2：软件建模和验证
D-52056亚琛（德国）
 电话：+49（241）8021200
秘书：+49（241）8021201
传真：+49（241）8022217
 姓ce es dote er wee tee ha dot dee eee


2016年12月7日更新