Runtime Verification 2012 (RV’12)

Third International Conference on Runtime Verification RV 2012, September 25 – September 28, 2012 Istanbul, Turkey

Committees

Chairs and Organizers of the 2012 Edition

General chair:
Serdar Tasiran
 (Koc University, Turkey)

Program chair:
Shaz Qadeer (Microsoft Research, USA)

Program Committee

Howard Barringer (University of Manchester)
Saddek Bensalem (VERIMAG)
Eric Bodden (EC SPRIDE)
Cristian Cadar (Imperial College)
Yliès Falcone (University of Grenoble)
Bernd Finkbeiner (Saarland University)
Stephen Freund (Williams College)
Ganesh Gopalakrishnan (University of Utah)
Wolfgang Grieskamp (Google)
Sylvain Hallé (Université du Québec à Chicoutimi)
Klaus Havelund (NASA Jet Propulsion Laboratory)
Suresh Jagannathan (Purdue University)
Sarfraz Khurshid (University of Texas at Austin)
Martin Leucker (University of Luebeck)
Benjamin Livshits (Microsoft Research)
Shan Lu (University of Wisconsin)
Rupak Majumdar (MPI-SWS)
Oded Maler (VERIMAG)
Sharad Malik (Princeton University)
Atif Memon (University of Maryland)
Peter Müller (ETH Zurich)
Shaz Qadeer (Microsoft Research)
Venkatesh-Prasad Ranganath (Microsoft Research)
Vivek Sarkar (Rice University)
Koushik Sen (University of California at Berkeley)
Oleg Sokolsky (University of Pennsylvania)
Serdar Tasiran (Koc University)
Stavros Tripakis (University of California at Berkeley)
Martin Vechev (ETH Zurich)
Willem Visser (Stellenbosch University)
Zheng Zhang (Microsoft Research)

RV Steering Committee

Howard Barringer (University of Manchester, UK)
Klaus Havelund (NASA/JPL, USA) (co-chair)
Gerard Holzmann (NASA/JPL, USA)
Insup Lee (University of Pennsylvania, USA)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA) (co-chair)
Oleg Sokolsky (University of Pennsylvania, USA)