Curtis Clifton—Rose-Hulman Institute of Technolgy, USA
Gary T. Leavens—University of Central Florida, USA
Andreas Sewe—Darmstadt University of Technology, Germany
Christoph Bockisch—Darmstadt University of Technology, Germany
Mira Mezini—Darmstadt University of Technology, Germany
Gilles Barthe—INRIA Sophia-Antipolis Méditerranée, France
Cesar Kunz—INRIA Sophia-Antipolis Méditerranée, France
Raffi Khatchadourian—The Ohio State University, USA
Johan Dovland—University of Oslo, Norway
Neelam Soundarajan—The Ohio State University, USA
Emilia Katz—Technion–Israel Institute of Technology, Israel
Shmuel Katz—Technion–Israel Institute of Technology, Israel
Chenchen Xi—University of Manchester, UK
Bruno Harbulot—University of Manchester, UK
John R. Gurd—University of Manchester, UK
William Harrison—Trinity College, Dublin, Ireland
Parisa Rashidi—Washington State University, USA
Roger T. Alexander—Washington State University, USA
Mehmet Aksit—University of Twente, Netherlands [Slides]
Oege de Moor—Oxford University, UK
Gary T. Leavens—University of Central Florida, USA [Slides (PDF)] [Slides (PPT)]
Klaus Ostermann—University of Aarhus, Denmark [Slides (PDF)] [Slides (PPT)]
Page last modified Saturday, October 31, 2009.