Arend Rensink Associate professor Formal Methods and Tools  Department of Computer Science University of Twente P.O. Box 217, NL-7500 AE Enschede

Research

• Research interests
• Publications
• Up-to-date overview
• Editorships
• The eprints database
• Current projects
• GRAIL: GRaphs for Object-Oriented VErification (NWO)
• CHARTER:  Aspect-Oriented Software Development (EU Artemis)
• GRASLAND: GRaphs for Software LANguage Definitions (NWO)
• Past projects
• ATOMYSTE: Atom Splitting in Embedded Systems Testing (STW-PROGRESS)
• GROOVE: GRaphs for Object-Oriented VErification (NWO)
• AOSD:  Aspect-Oriented Software Development (EU NoE)
• Tools
  • GROOVE: Graphs for Object-Oriented Verification

Teaching

• Basic Modelling in Computer Science (in dutch)
  
• Formal Methods for Software Engineering (in dutch)
  
• Modelling and Analysis of Concurrent Systems 2
• Advanced Logic
• Program Verification
  

Other activities

• Steering Committee member of ECMDA-FA (European Conference on Model-Driven Arcitecture: Foundations and Applications)
• Conference chair/co-organiser/editor of
• ICGT 2010 (International Conference on Graph Transformation)
• GraBaTs 2008 and 2009 (Graph-Based Tools workshop)
  
• ECMDA-FA 2006 and 2009 (European Conference on Model-Driven Arcitecture: Foundations and Applications)
• Agtive 2007 Tool Contest (Applications of Graph Transformation with Industrial Relevance)
  
• GT-VC 2005, 2006 and 2007 (Graph Transformation for Verification and Concurrency, satellite workshops of Concur 2005, 2006 and 2007)
• MDAFA 2003 (MDA: Foundations and Applications)
• FMOODS 2002 (Formal Methods for Object-Oriented Distributed Systems)
• YOO (Why Object-Orientation, satellite workshop of Concur 2000)
• Publicity chair of FM 2009 (Formal Methods)
  
• Workshops chair of ECMDA-FA 2005 and 2007
  
• PC member of
  • ICGT 2008 (International Conference on Graph Transformation)
    
  • TERMGRAPH 2007 (Computing with Terms and Graphs, satellite workshop of ETAPS 2007)
  • GT-VMT 2007, 2008, 2009 (Graph Transformation and Visual Modeling Techniques, satellite workshop of ETAPS 2007, 2008, 2009)
    
  • AGTIVE 2007 (Applications of Graph Transformation with Industrial Relevance)
    
  • GRABATS 2006 (Graph-Based Tools, satellite workshop of ICGT 2006)
  • ADI 2006 (Aspects, Dependencies, and Interactions, satellite workshop of ECOOP 2006)
    
  • FASE 2006 (Formal Aspects of Software Engineering)
  • ICSOFT (International Conference on Software and Data Technologies, 2006, 2007, 2008, 2009)
    
  • COSMICAH 2005 (COncurrent Systems with dynaMIC Allocated Heaps, satellite workshop of ICALP 2005)
  • FMOODS (Formal Methods for Object-Oriented Distributed Systems, 1999, 2000, 2003, 2005, 2006, 2007, 2008, 2009)
  • MDAFA 2004 (MDA: Foundations and Applications)
  • FUSE 2004 (Foundations of Unanticipated Software Evolution, satellite workshop of ETAPS 2004)
  • USE 2003 (Unanticipated Software Evolution, satellite workshop of ETAPS 2003)
  • AOSD 2003 (Aspect-Oriented Software Development)
  • EXPRESS 2002 (satellite workshop to Concur 2002)
  • CONCUR (Concurrency Theory, 1998 and 1999)
• Guest editor of
• STTT (International Journal on Software Tools for Technlogy Transfer), special issue on Graph-Based Tools
• TAOSD (Transactions on Aspect-Oriented Software Development), special issue on Dependencies and Interactions with Aspects
• Invited speaker at
• ESSCASS 2008 (Estonian Summer School in Computer and Systems Science)
  
• CAMPaM 2008 (Computer Automated Multi-Paradigm workshop)
  
• LAC 2007 (Landelijk Architectuurcongres)
• Fujaba Days 2007
  
• AHA 2007 (Automated Heap Analysis)
  
• ICGT 2006 (International Conference on Graph Transformation)
• SEGRAVIS Advanced School on Visual Modelling Techniques

Personal

• My kids (2000; school pictures 2002; school pictures 2005)
• Other data