Difference between revisions of "VSTTE address check"

(Gerard Holzmann)
(Juanjun Zhao)
 
(79 intermediate revisions by 4 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>
 
Middlesex University
 
School of Computing Science
 
The Burroughs
 
LONDON
 
NW4 4BT
 
UK
 
 
</pre>
 
</pre>
  
==Manfred Broy ==
+
==Willem Paul de Roever ==
<pre>
+
Done
</pre>
+
<pre>Prof. Dr. W.-P. de Roever, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, Christian-Albrechts-Platz 4, 24118 Kiel, Deutschland
==Tevfik Bultan ==
+
<pre>
+
Tevfik Bultan
+
Department of Computer Science
+
University of California
+
Santa Barbara, CA 93106-5110
+
USA
+
 
</pre>
 
</pre>
  
==Michael Butler ==
 
<pre>
 
Michael Butler
 
Electronics and Computer Science
 
University of Southampton
 
Highfield
 
Southampton SO17 1BJ
 
United Kingdom
 
</pre>
 
 
==Egon Börger ==
 
<pre>
 
</pre>
 
==Supratik Chakraborty ==
 
<pre>
 
Supratik Chakraborty
 
Dept. of Computer Science and Engg.
 
I.I.T. Bombay, Powai
 
Mumbai 400076
 
Maharashtra
 
India
 
</pre>
 
 
==Patrice Chalin ==
 
<pre>
 
</pre>
 
==Roderick Chapman ==
 
<pre>
 
Praxis High Integrity Systems
 
20 Manvers Street
 
Bath
 
BA1 1PX
 
UK
 
</pre>
 
 
==Marsha Chechik ==
 
<pre>
 
Department of Computer Science
 
University of Toronto
 
40 St. George Street, Rm. 3248
 
Toronto, ON M5S 2E4
 
Canada
 
</pre>
 
 
==Alessandro Coglio ==
 
<pre>
 
Kestrel Institute
 
3260 Hillview Avenue
 
Palo Alto, CA 94041
 
USA
 
</pre>
 
 
==Green Cordell ==
 
<pre>
 
Kestrel Institute
 
3260 Hillview Avenue
 
Palo Alto, CA 94041
 
USA
 
</pre>
 
 
==Patrick Cousot ==
 
<pre>
 
Patrick Cousot
 
Département d'Informatique
 
École normale supérieure
 
45 rue d'Ulm
 
75230 Paris cedex 05 (France)
 
</pre>
 
 
==Willem Paul de Roever ==
 
<pre>
 
</pre>
 
 
==Michael Ernst ==
 
==Michael Ernst ==
 
<pre>
 
<pre>
</pre>
 
==David Evans ==
 
<pre>
 
</pre>
 
==Kathi Fisler ==
 
<pre>
 
Kathi Fisler
 
WPI Department of Computer Science
 
100 Institute Road
 
Worcester, MA 01609
 
USA
 
 
</pre>
 
</pre>
  
==Kokichi Futatsugi ==
 
<pre>
 
</pre>
 
 
==David Gill ==
 
==David Gill ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Helen Gill ==
 
==Helen Gill ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Allan Goldberg ==
 
==Allan Goldberg ==
 
<pre>
 
<pre>
</pre>
 
==Arie Gurfinkel ==
 
<pre>
 
Arie Gurfinkel
 
Software Engineering Institute
 
4500 Fifth Ave
 
Pittsburgh, PA, 15213-2612
 
USA
 
 
</pre>
 
</pre>
  
Line 189: Line 60:
 
<pre>
 
<pre>
 
</pre>
 
</pre>
==Author Hagiya's ==
+
 
 +
==Hagiya's co-author==
 
<pre>
 
<pre>
</pre>
 
==Anthony Hall ==
 
<pre>
 
Anthony Hall
 
22 Hayward Road
 
Oxford OX2 8LW
 
UK
 
 
</pre>
 
</pre>
  
Line 203: Line 68:
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Klaus Havelund ==
 
==Klaus Havelund ==
 
<pre>
 
<pre>
</pre>
 
==Eric C. R. Hehner ==
 
<pre>
 
</pre>
 
==Constance Heitmeyer ==
 
<pre>
 
</pre>
 
==Mike Hinchey ==
 
<pre>
 
</pre>
 
==Thai Son Hoang ==
 
<pre>
 
Thai Son Hoang
 
Chair of Information Security
 
IFW C48.2
 
Haldeneggsteig 4 / Weinbergstrasse
 
8092 ETH Zentrum
 
Zurich
 
Switzerland
 
 
</pre>
 
</pre>
  
==Tony Hoare ==
+
 
 +
==Jifeng He==
 
<pre>
 
<pre>
</pre>
+
Done
==Gerard Holzmann ==
+
Jifeng He
<pre>
+
Software Engineering Institute
Gerard J. Holzmann
+
East China Normal University
NASA/JPL Laboratory for Reliable Software MS 301-230
+
3663 Zhongshan Road(North)
4800 Oak Grove Drive
+
Shanghai,China
Pasadena, CA 91109
+
USA
+
 
</pre>
 
</pre>
  
==Vincent Homeier ==
 
<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>
Joseph Kiniry
 
UCD CASL
 
Belfield Park building #8
 
Dublin 4
 
IRELAND
 
 
</pre>
 
</pre>
  
==Daniel Kröning ==
 
<pre>
 
ETH Zentrum RZ H14
 
8092 Zuerich
 
</pre>
 
  
==Patrick Lam ==
 
<pre>
 
Department of Electrical and Computer Engineering
 
200 University Avenue West
 
Waterloo, Ontario N2L 3G1
 
</pre>
 
 
==Butler Lampson ==
 
<pre>
 
Butler W. Lampson
 
180 Lake View Ave.
 
Cambridge MA 02138
 
USA
 
</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>
 
 
==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>
 
Chair of Software Engineering
 
ETH Zentrum, RZ J9
 
8092 Zürich
 
Switzerland
 
</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>
 
==Douglas Smith ==
 
<pre>
 
</pre>
 
==Graham Steel ==
 
<pre>
 
Laboratoire Spécification et Vérification
 
École Normale Supérieure de Cachan
 
61, avenue du Président Wilson
 
94235 CACHAN Cedex - France
 
 
</pre>
 
</pre>
  
 
==Bernhard Steffen ==
 
==Bernhard Steffen ==
 
<pre>
 
<pre>
</pre>
 
==Ofer Strichman ==
 
<pre>
 
Ofer Strichman
 
The Technion / Industrial Engineering
 
Haifa 32000
 
Israel
 
</pre>
 
 
==Aaron Stump ==
 
<pre>
 
Aaron Stump
 
Department of Computer Science
 
The University of Iowa
 
201F MacLean Hall
 
Iowa City, IA 52242-1419
 
USA
 
</pre>
 
 
==Carolyn Talcott ==
 
<pre>
 
SRI International
 
333 Ravenswood Avenue
 
Menlo Park, CA 94025, USA
 
 
</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>
 
Jim Woodcock
 
Department of Computer Science
 
University of York
 
Heslington
 
York  YO10 5DD
 
United Kingdom
 
</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