Jan Tretmans Scientist Embedded Systems Innovation by TNO Email:        jan.tretmans AT tno DOT nl Address:     Dr. ir. G.J. Tretmans                   TNO - Embedded Systems Innovation                   PO Box 513                   5600 MB Eindhoven                   The Netherlands Phone:        +31 40 247 8217 Secreatary: +31 40 247 47 20

Jan Tretmans Universitair Hoofddocent (associate professor) Institute for Computing and Information Sciences Model Based System Development Radboud University Nijmegen. Email:        tretmans AT cs DOT ru DOT nl Address:       Dr. ir. G.J. Tretmans                     room HG 02.633                     Institute for Computing and Information Sciences                     Model Based System Development                     Mailbox number 47                     Faculty of Science                     Radboud University Nijmegen                     PO Box  9010                     6500 GL  Nijmegen                      Heyendaalseweg   135                     6525 AJ   Nijmegen                     The Netherlands Phone:         +31 24 36 52069 Secretary:    Ingrid Berenbroek                    +31 24 36 53132                    i.berenbroek AT cs DOT ru DOT nl

Research

• Some publications.
• Some more publications.
• Other papers.
• Projects:  Côte de Resyste,  Atomyste,  Stress, Tangram, Tarot, Artist2, Poseidon (see book), Quasimodo, FATs Domino, ITALIA.
  
  
• Member of:  Research school IPA, IEEE CS, Testnet, Formal Methods Europe,  
• Entry in Narcis, DBLP.
• Model-based Testing with Labeled Transition Systems, video lecture at Microsoft Research (only viewable with MS-IE).
  
  

Teaching

• Testing Techniques
• Master Assignments
  

Conferences

• De Nederlandse Testdag - 19th Dutch Testing Day, Groningen (NL)
• ICTSS 2013 - Int. Conference on Testing Software and Systems (formerly TestCom/Fates), Istanbul, November 13-15, 2013