Howard Barringer Janusz A. Brzozowski Marsha Chechik Jamieson M. Cobleigh Dimitra Giannakopoulou Arie Gurfinkel Shiva Nejati Corina S. Pasareanu