Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Joost-Pieter Katoen - Home page --> Joost-Pieter Katoen
Pure cotton jpk@brusselsThat's me
I am full professor at the RWTH Aachen University (Germany) in the Software Modeling and Verification (MOVES) group and affiliated to the Formal Methods & Tools group at the University of Twente (the Netherlands).

For more information you may consider my CV.  Personal interests: my family, cycling and music (passive).
New book: Principles of Model Checking MIT Press, May 2008 (table of contents)
Publications: list of papers   citeseer   scholar.google   DBLP   h-index
Events: CONCUR-YR 08   WAL 07   VOSS 07   QAES 07   25 Years Process Algebra (05)   QEST 04   MBT 04   VOSS 02   FMPA 00   ARTS 99
Tools: MRMC model checker   MODEST tool environment   SMYLE synthesis tool
Invited talks: GLOBAN 08   TASE 08   FORMATS 07   MOTIVES 07   GVD 06   FMCO 05   AVOCS 05
Program committees: FORMATS 08   SSV 08   DSN 08   MMB 08   SAVCBS 07   QEST 07   FMICS 07   PERFORMANCE 07   DSN 07   VERIFY 07   FSTTCS 06   PSI 06
Steering committees/editorial boards: ETAPS   J. of Software  
Scientific organizations: EPSRC Review College   IFIP WG 1.8   NVTI  
Current teaching: software abstraction   uml foundations   concurrent and probabilistic processes
Editorship: edited volumes

Contact:

Prof. Dr. Ir. Joost-Pieter Katoen
RWTH Aachen University
LS2: Software Modeling and Verification
D-52056 Aachen (Germany)
 Tel: +49 (241) 8021200
Secretary: +49 (241) 8021201
Fax: +49 (241) 8022217
 last name [at] ce es dot er wee tee ha dot dee eee

Miscellaneous


Updated on April 12, 2007