Verimag Laboratory / SRI International / NASA/Jet Propulsion Laboratory / Alcatel-Lucent / JPL Laboratory / Microsoft / Cadence Berkeley Labs / /
Country
Germany / United States / /
Facility
Jerusalem Hebrew University / University of Manchester / Technical University / University of Stellenbosch / University of Illinois / Saarland University / NASA Ames Research Center / Research Centre / Max Planck Institute / Stony Brook University / University of Oxford / Oregon State University / Aalborg University / University of Nebraska / University of Toronto / Kansas State University / University of Minnesota / University of Texas / University of Maryland / University of Pennsylvania / /
Organization
University of Stellenbosch / Saarland University / University of Texas at Austin / University of Maryland / Aalborg University / University of Pennsylvania / VCC Program Committee / UC Berkeley / Oregon State University / Max Planck Institute / Research Centre / Technical University Darmstadt / University of Oxford / Stony Brook University / University of Illinois / NASA Ames Research Center / Kansas State University / University of Manchester / National Aeronautics and Space Administration / University of Nebraska / Hebrew University / Katholieke Universiteit Leuven / University of Toronto / University of Minnesota / /
Person
Michal Moskal / Rance Cleaveland / Rajeev Alur / Dennis Dams / Ben Di Vito / Eric Bodden / Bart Jacobs / Mike Hinchey / Marsha Chechik / Rajeev Joshi Orna Kupferman / Cesar Munoz / Howard Barringer / Mahesh Viswanathan / Mike Whalen / Kedar Namjoshi / Klaus Havelund Gerard Holzmann / Matt Dwyer / /
National Aeronautics and Space Administration NASA FORMAL METHODS Symposium