Jan Tretmans Research Fellow Embedded Systems Institute Eindhoven Email:        jan.tretmans AT esi DOT nl Address:      Dr. ir. G.J. Tretmans                    Embedded Systems Institute                    PO Box 513                    5600 MB Eindhoven                    The Netherlands Phone:         +31 40 247 8217 Maps:          Eindhoven, ESI 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 Fax:             +31 24 36 52525 Maps:          Nijmegen, University Secretary:    Irma Haerkens                    +31 24 36 53132                    i.haerkens 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, 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

• QMC - ARTIST Quantitative Model Checking Winter School, Copenhagen, February 27 - March 1, 2012
  
• MBT - Workshop on Model-Based Testing, Tallin, Estonia, March 25, 2012, workshop at ETAPS 2012
  
• ICST 2012   -  Int. Conf. on Software Testing, Verification, and Validation
• TAROT 2012 - 8th TAROT Summer School on Software Testing, Besancon, France.
• De Nederlandse Testdag