Difference between revisions of "VSTTE address check"

(J Moore)
(Juanjun Zhao)
 
(99 intermediate revisions by 5 users not shown)
Line 1: Line 1:
 
__NOTOC__
 
__NOTOC__
The following is the list of the addresses that we have for the VSTTE 2005 attendees. The purpose of this page is to make sure we ship the proceedings to the appropriate addresses. The page will be removed as soon as the books have been shipped.
+
The following is the list of the addresses that we DO NOT YET HAVE for the VSTTE 2005 attendees (see [[VSTTE_checked_addresses|here]] for the confirmed addresses). The purpose of this page is to make sure we ship the proceedings to the appropriate addresses. The page will be removed as soon as the books have been shipped.
  
 
==HOW TO EDIT YOUR ENTRY==
 
==HOW TO EDIT YOUR ENTRY==
* Find your name in the list
+
* You must be logged in first. Use the "Log in / Create account" link at the top-right of this page (in white over the dark blue background of the Eiffel tower picture). Use the user name and password that have been sent to you by email.
 +
* Find your name in the list.
 
* Click the "Edit" mark to the right of your name.
 
* Click the "Edit" mark to the right of your name.
* You will find yourself in Wiki edit mode and will see two lines of the form <nowiki><pre> and </pre></nowiki>. These delimit your entry.
+
* You will find yourself in Wiki edit mode and will see two lines of the form <nowiki><pre> and </pre></nowiki>. They delimit your entry.
 
* Between those two lines, enter your full postal address (including your name) as it should appear on the envelope.
 
* Between those two lines, enter your full postal address (including your name) as it should appear on the envelope.
  
Line 26: Line 27:
 
<pre>
 
<pre>
 
</pre>
 
</pre>
==Rajeev Alur ==
+
 
<pre>
+
</pre>
+
==Myla Archer ==
+
<pre>
+
</pre>
+
 
==Ralph Back ==
 
==Ralph Back ==
 
<pre>
 
<pre>
</pre>
 
==Thomas Ball ==
 
<pre>
 
</pre>
 
==David  Basin ==
 
<pre>
 
</pre>
 
==Yves Bertot ==
 
<pre>
 
Yves Bertot
 
2004, route des lucioles
 
B.P. 93
 
06902 Sophia Antipolis Cedex
 
France
 
 
</pre>
 
</pre>
  
==Ramesh Bharadwaj ==
 
<pre>
 
</pre>
 
 
==Dines Bjorner ==
 
==Dines Bjorner ==
 
<pre>
 
<pre>
</pre>
 
==Richard Bornat ==
 
<pre>
 
</pre>
 
==Manfred Broy ==
 
<pre>
 
</pre>
 
==Tevfik Bultan ==
 
<pre>
 
Tevfik Bultan
 
Department of Computer Science
 
University of California
 
Santa Barbara, CA 93106-5110
 
USA
 
 
</pre>
 
</pre>
  
==Michael Butler ==
+
==Willem Paul de Roever ==
<pre>
+
Done
Michael Butler
+
<pre>Prof. Dr. W.-P. de Roever, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, Christian-Albrechts-Platz 4, 24118 Kiel, Deutschland
Electronics and Computer Science
+
University of Southampton
+
Highfield
+
Southampton SO17 1BJ
+
United Kingdom
+
 
</pre>
 
</pre>
  
==Egon Börger ==
+
==Michael Ernst ==
 
<pre>
 
<pre>
</pre>
 
==Supratik Chakraborty ==
 
<pre>
 
Supratik Chakraborty
 
Dept. of Computer Science and Engg.
 
I.I.T. Bombay, Powai
 
Mumbai 400076
 
Maharashtra
 
India
 
 
</pre>
 
</pre>
  
==Patrice Chalin ==
+
==David Gill ==
 
<pre>
 
<pre>
</pre>
 
==Roderick Chapman ==
 
<pre>
 
Praxis High Integrity Systems
 
20 Manvers Street
 
Bath
 
BA1 1PX
 
UK
 
 
</pre>
 
</pre>
  
==Marsha Chechik ==
+
==Helen Gill ==
 
<pre>
 
<pre>
Department of Computer Science
 
University of Toronto
 
40 St. George Street, Rm. 3248
 
Toronto, ON M5S 2E4
 
Canada
 
 
</pre>
 
</pre>
  
==Alessandro Coglio ==
+
==Allan Goldberg ==
 
<pre>
 
<pre>
Kestrel Institute
 
3260 Hillview Avenue
 
Palo Alto, CA 94041
 
USA
 
 
</pre>
 
</pre>
  
==Green Cordell ==
+
==Masami Hagiya ==
 
<pre>
 
<pre>
Kestrel Institute
 
3260 Hillview Avenue
 
Palo Alto, CA 94041
 
USA
 
 
</pre>
 
</pre>
  
==Patrick Cousot ==
+
==Hagiya's co-author==
 
<pre>
 
<pre>
Patrick Cousot
 
Département d'Informatique
 
École normale supérieure
 
45 rue d'Ulm
 
75230 Paris cedex 05 (France)
 
 
</pre>
 
</pre>
  
==Willem Paul de Roever ==
 
<pre>
 
</pre>
 
==Michael Ernst ==
 
<pre>
 
</pre>
 
==David Evans ==
 
<pre>
 
</pre>
 
==Kathi Fisler ==
 
<pre>
 
</pre>
 
==Kokichi Futatsugi ==
 
<pre>
 
</pre>
 
==David Gill ==
 
<pre>
 
</pre>
 
==Helen Gill ==
 
<pre>
 
</pre>
 
==Allan Goldberg ==
 
<pre>
 
</pre>
 
==Arie Gurfinkel ==
 
<pre>
 
</pre>
 
==Masami Hagiya ==
 
<pre>
 
</pre>
 
==Author Hagiya's ==
 
<pre>
 
</pre>
 
==Anthony Hall ==
 
<pre>
 
</pre>
 
 
==Stefan Hallerstede ==
 
==Stefan Hallerstede ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Klaus Havelund ==
 
==Klaus Havelund ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
==Eric C. R. Hehner ==
+
 
<pre>
+
 
</pre>
+
==Jifeng He==
==Constance Heitmeyer ==
+
<pre>
+
</pre>
+
==Mike Hinchey ==
+
<pre>
+
</pre>
+
==Thai Son Hoang ==
+
<pre>
+
</pre>
+
==Tony Hoare ==
+
<pre>
+
</pre>
+
==Gerard Holzmann ==
+
<pre>
+
</pre>
+
==Vincent Homeier ==
+
 
<pre>
 
<pre>
 +
Done
 +
Jifeng He
 +
Software Engineering Institute
 +
East China Normal University
 +
3663 Zhongshan Road(North)
 +
Shanghai,China
 
</pre>
 
</pre>
 +
 
==Andrew Ireland ==
 
==Andrew Ireland ==
 
<pre>
 
<pre>
</pre>
 
==Bart Jacobs ==
 
<pre>
 
Prof.dr. B.P.F. Jacobs
 
Institute for Computing and Information Sciences (ICIS)
 
Radboud University Nijmegen
 
Heyendaalseweg 135
 
6525 AJ Nijmegen
 
The Netherlands
 
</pre>
 
 
==He Jifeng ==
 
<pre>
 
</pre>
 
==Cliff Jones ==
 
<pre>
 
Prof Cliff Jones
 
School of Computing Science
 
Newcastle University
 
NE1 7RU
 
UK
 
 
</pre>
 
</pre>
  
 
==Mathai Joseph ==
 
==Mathai Joseph ==
 
<pre>
 
<pre>
</pre>
 
==Rajeev Joshi ==
 
<pre>
 
Rajeev Joshi
 
4800 Oak Grove Drive, MS 301-285
 
Pasadena, CA 91109
 
USA
 
 
</pre>
 
</pre>
  
==Joseph Kiniry ==
+
==Tiziana Margaria ==
 
<pre>
 
<pre>
</pre>
 
==Daniel Kröning ==
 
<pre>
 
</pre>
 
==Patrick Lam ==
 
<pre>
 
</pre>
 
==Butler Lampson ==
 
<pre>
 
</pre>
 
==Gary T. Leavens ==
 
<pre>
 
Gary T. Leavens
 
Harris Center (Bldg. 116)
 
School of EECS, University of Central Florida
 
4000 Central Florida Blvd.
 
Orlando, FL 32816-2362
 
USA
 
 
</pre>
 
</pre>
  
==Rustan Leino ==
 
<pre>
 
</pre>
 
==Zhiming Liu ==
 
<pre>
 
</pre>
 
==Panagiotis Manolios ==
 
<pre>
 
College of Computer and Information Science
 
Northeastern University
 
360 Huntington Avenue
 
Boston, Massachusetts 02115 U.S.A.
 
</pre>
 
  
==Tiziana Margaria ==
 
<pre>
 
</pre>
 
 
==Edu Metz ==
 
==Edu Metz ==
 
<pre>
 
<pre>
</pre>
 
==Bertrand Meyer ==
 
<pre>
 
</pre>
 
==Jayadev Misra ==
 
<pre>
 
</pre>
 
==J Moore ==
 
<pre>
 
J Strother Moore
 
Department of Computer Sciences
 
Taylor Hall 2.124
 
University of Texas at Austin
 
Austin, TX 78712 USA
 
</pre>
 
 
==Peter Müller ==
 
<pre>
 
</pre>
 
==David A. Naumann ==
 
<pre>
 
David Naumann
 
Computer Science
 
Stevens Institute of Technology
 
Castle Point on Hudson
 
Hoboken, NJ 07030
 
USA
 
 
</pre>
 
</pre>
  
 
==Greg Nelson ==
 
==Greg Nelson ==
 
<pre>
 
<pre>
</pre>
 
==Collin O'Halloran ==
 
<pre>
 
Colin O'Halloran
 
33 Geraldine Road
 
Malvern
 
Worcestershire
 
WR14 3NT
 
UK
 
 
</pre>
 
</pre>
  
==Peter W. O'Hearn ==
 
<pre>
 
</pre>
 
 
==Ernst-Rüdiger Olderog ==
 
==Ernst-Rüdiger Olderog ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
==Manuel Oriol ==
+
 
<pre>
+
 
</pre>
+
 
==Wolfgang Paul ==
+
<pre>
+
</pre>
+
==Amir Pnueli ==
+
<pre>
+
</pre>
+
 
==Sanjiva Prasad ==
 
==Sanjiva Prasad ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Ganesan Ramalingam ==
 
==Ganesan Ramalingam ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Mike Reed ==
 
==Mike Reed ==
 
<pre>
 
<pre>
</pre>
 
==Tom Reps ==
 
<pre>
 
Thomas Reps
 
Computer Sciences Department
 
University of Wisconsin
 
1210 West Dayton Street
 
Madison, WI 53706
 
USA
 
 
</pre>
 
</pre>
  
==Tamara Rezk ==
 
<pre>
 
</pre>
 
 
==Martin Rinard ==
 
==Martin Rinard ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Grigore Rosu ==
 
==Grigore Rosu ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Harald Ruess ==
 
==Harald Ruess ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==John Rushby ==
 
==John Rushby ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Mooly Sagiv ==
 
==Mooly Sagiv ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
==Author Sagiv's ==
+
 
<pre>
+
==Sagiv's co-author==
</pre>
+
==Peter Schmitt ==
+
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Florian Schneider ==
 
==Florian Schneider ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
==Wolfram Schulte ==
 
<pre>
 
Microsoft Research
 
One Microsoft Way
 
Redmond, WA 98052, USA
 
</pre>
 
  
==Natarajan Shankar ==
+
 
<pre>
+
 
</pre>
+
==Natasha Sharygina ==
+
<pre>
+
</pre>
+
 
==Michel Sintzoff ==
 
==Michel Sintzoff ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
==Douglas Smith ==
+
 
<pre>
+
</pre>
+
==Graham Steel ==
+
<pre>
+
</pre>
+
 
==Bernhard Steffen ==
 
==Bernhard Steffen ==
 
<pre>
 
<pre>
</pre>
 
==Ofer Strichman ==
 
<pre>
 
Ofer Strichman
 
The Technion / Industrial Engineering
 
Haifa 32000
 
Israel
 
 
</pre>
 
</pre>
  
==Aaron Stump ==
 
<pre>
 
</pre>
 
==Carolyn Talcott ==
 
<pre>
 
</pre>
 
 
==Cesare Tinelli ==
 
==Cesare Tinelli ==
 
<pre>
 
<pre>
</pre>
 
==Mark Utting ==
 
<pre>
 
Mark Utting
 
Department of Computer Science
 
The University of Waikato
 
Private Bag 3105
 
Hamilton 3240
 
NEW ZEALAND
 
</pre>
 
 
==Wyk Eric  Van ==
 
<pre>
 
</pre>
 
==Helmut Veith ==
 
<pre>
 
</pre>
 
==Arnaud Venet ==
 
<pre>
 
</pre>
 
==Laurent Voisin ==
 
<pre>
 
M. Laurent Voisin
 
Systerel
 
Portes de l'Arbois
 
1090, rue René Descartes
 
13857 Aix-en-Provence Cedex 3
 
FRANCE
 
 
</pre>
 
</pre>
  
 
==Georg Weissenbacher ==
 
==Georg Weissenbacher ==
 
<pre>
 
<pre>
</pre>
 
==Jim Woodcock ==
 
<pre>
 
</pre>
 
==Eran Yahav ==
 
<pre>
 
Eran Yahav
 
IBM T.J. Watson Research Center
 
19 Skyline Dr.
 
Hawthorne, NY 10532
 
USA
 
 
</pre>
 
</pre>
  
 
==Steve Zdancewic ==
 
==Steve Zdancewic ==
 
<pre>
 
<pre>
</pre>
 
==Naijun Zhan ==
 
<pre>
 
Naijun Zhan
 
Lab. of Computer Science
 
Institute of Software
 
Chinese Academy of Sciences
 
#4, South Fourth Str., Zhong Guan Cun
 
Beijing, 100190
 
P.R. China
 
</pre>
 
 
==Jian Zhang ==
 
<pre>
 
Prof. Jian Zhang
 
Institute of Software
 
Chinese Academy of Sciences
 
#4, South Fourth Str., Zhong Guan Cun
 
Beijing, 100190
 
P.R. China
 
 
</pre>
 
</pre>
  
 
==Juanjun Zhao ==
 
==Juanjun Zhao ==
 
<pre>
 
<pre>
 +
Jianjun Zhao
 +
School of Software
 +
Shanghai Jiao Tong University
 +
1311 Software Building, 800 Dongchuan Road
 +
Shanghai 200240, China
 
</pre>
 
</pre>

Latest revision as of 06:03, 21 October 2008

The following is the list of the addresses that we DO NOT YET HAVE for the VSTTE 2005 attendees (see here for the confirmed addresses). The purpose of this page is to make sure we ship the proceedings to the appropriate addresses. The page will be removed as soon as the books have been shipped.

HOW TO EDIT YOUR ENTRY

  • You must be logged in first. Use the "Log in / Create account" link at the top-right of this page (in white over the dark blue background of the Eiffel tower picture). Use the user name and password that have been sent to you by email.
  • Find your name in the list.
  • Click the "Edit" mark to the right of your name.
  • You will find yourself in Wiki edit mode and will see two lines of the form <pre> and </pre>. They delimit your entry.
  • Between those two lines, enter your full postal address (including your name) as it should appear on the envelope.

Thank you for your cooperation and for making this volume possible.

-- The VSTTE organization committee

SAMPLE ENTRY

Bertrand Meyer
Chair of Software Engineering
Clausiusstrasse 59
8092 ETH Zentrum
Zurich
Switzerland

Jean-Raymond Abrial


Ralph Back


Dines Bjorner


Willem Paul de Roever

Done

Prof. Dr. W.-P. de Roever, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, Christian-Albrechts-Platz 4, 24118 Kiel, Deutschland

Michael Ernst


David Gill


Helen Gill


Allan Goldberg


Masami Hagiya


Hagiya's co-author


Stefan Hallerstede


Klaus Havelund



Jifeng He

Done
Jifeng He
Software Engineering Institute
East China Normal University
3663 Zhongshan Road(North)
Shanghai,China

Andrew Ireland


Mathai Joseph


Tiziana Margaria



Edu Metz


Greg Nelson


Ernst-Rüdiger Olderog



Sanjiva Prasad


Ganesan Ramalingam


Mike Reed


Martin Rinard


Grigore Rosu


Harald Ruess


John Rushby


Mooly Sagiv


Sagiv's co-author


Florian Schneider



Michel Sintzoff


Bernhard Steffen


Cesare Tinelli


Georg Weissenbacher


Steve Zdancewic


Juanjun Zhao

Jianjun Zhao
School of Software
Shanghai Jiao Tong University
1311 Software Building, 800 Dongchuan Road
Shanghai 200240, China