https://dev.eiffel.com/api.php?action=feedcontributions&feedformat=atom&user=Bertot
EiffelStudio: an EiffelSoftware project - User contributions [en]
2026-04-15T19:34:20Z
User contributions
MediaWiki 1.24.1
https://dev.eiffel.com/index.php?title=VSTTE_address_check&diff=11354
VSTTE address check
2008-07-22T06:13:52Z
<p>Bertot: /* Yves Bertot */</p>
<hr />
<div>__NOTOC__<br />
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.<br />
<br />
==HOW TO EDIT YOUR ENTRY==<br />
* Find your name in the list<br />
* Click the "Edit" mark to the right of your name.<br />
* 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.<br />
* Between those two lines, enter your full postal address (including your name) as it should appear on the envelope.<br />
<br />
Thank you for your cooperation and for making this volume possible.<br />
<br />
-- The VSTTE organization committee<br />
<br />
==<font color="#a00000">SAMPLE ENTRY==<br />
<pre><br />
Bertrand Meyer<br />
Chair of Software Engineering<br />
Clausiusstrasse 59<br />
8092 ETH Zentrum<br />
Zurich<br />
Switzerland<br />
</pre><br />
</font><br />
<br />
==Jean-Raymond Abrial ==<br />
<pre><br />
</pre><br />
==Rajeev Alur ==<br />
<pre><br />
</pre><br />
==Myla Archer ==<br />
<pre><br />
</pre><br />
==Ralph Back ==<br />
<pre><br />
</pre><br />
==Thomas Ball ==<br />
<pre><br />
</pre><br />
==David Basin ==<br />
<pre><br />
</pre><br />
==Yves Bertot ==<br />
<pre><br />
Yves Bertot<br />
2004, route des lucioles<br />
B.P. 93<br />
06902 Sophia Antipolis Cedex<br />
France<br />
</pre><br />
<br />
==Ramesh Bharadwaj ==<br />
<pre><br />
</pre><br />
==Dines Bjorner ==<br />
<pre><br />
</pre><br />
==Richard Bornat ==<br />
<pre><br />
</pre><br />
==Manfred Broy ==<br />
<pre><br />
</pre><br />
==Tevfik Bultan ==<br />
<pre><br />
Tevfik Bultan<br />
Department of Computer Science <br />
University of California <br />
Santa Barbara, CA 93106-5110<br />
USA<br />
</pre><br />
<br />
==Michael Butler ==<br />
<pre><br />
</pre><br />
==Egon Börger ==<br />
<pre><br />
</pre><br />
==Supratik Chakraborty ==<br />
<pre><br />
Supratik Chakraborty<br />
Dept. of Computer Science and Engg.<br />
I.I.T. Bombay, Powai<br />
Mumbai 400076<br />
Maharashtra<br />
India<br />
</pre><br />
<br />
==Patrice Chalin ==<br />
<pre><br />
</pre><br />
==Roderick Chapman ==<br />
<pre><br />
</pre><br />
==Marsha Chechik ==<br />
<pre><br />
Department of Computer Science<br />
University of Toronto<br />
40 St. George Street, Rm. 3248<br />
Toronto, ON M5S 2E4<br />
Canada<br />
</pre><br />
<br />
==Alessandro Coglio ==<br />
<pre><br />
Kestrel Institute<br />
3260 Hillview Avenue<br />
Palo Alto, CA 94041<br />
USA<br />
</pre><br />
<br />
==Green Cordell ==<br />
<pre><br />
Kestrel Institute<br />
3260 Hillview Avenue<br />
Palo Alto, CA 94041<br />
USA<br />
</pre><br />
<br />
==Patrick Cousot ==<br />
<pre><br />
</pre><br />
==Willem Paul de Roever ==<br />
<pre><br />
</pre><br />
==Michael Ernst ==<br />
<pre><br />
</pre><br />
==David Evans ==<br />
<pre><br />
</pre><br />
==Kathi Fisler ==<br />
<pre><br />
</pre><br />
==Kokichi Futatsugi ==<br />
<pre><br />
</pre><br />
==David Gill ==<br />
<pre><br />
</pre><br />
==Helen Gill ==<br />
<pre><br />
</pre><br />
==Allan Goldberg ==<br />
<pre><br />
</pre><br />
==Arie Gurfinkel ==<br />
<pre><br />
</pre><br />
==Masami Hagiya ==<br />
<pre><br />
</pre><br />
==Author Hagiya's ==<br />
<pre><br />
</pre><br />
==Anthony Hall ==<br />
<pre><br />
</pre><br />
==Stefan Hallerstede ==<br />
<pre><br />
</pre><br />
==Klaus Havelund ==<br />
<pre><br />
</pre><br />
==Eric C. R. Hehner ==<br />
<pre><br />
</pre><br />
==Constance Heitmeyer ==<br />
<pre><br />
</pre><br />
==Mike Hinchey ==<br />
<pre><br />
</pre><br />
==Thai Son Hoang ==<br />
<pre><br />
</pre><br />
==Tony Hoare ==<br />
<pre><br />
</pre><br />
==Gerard Holzmann ==<br />
<pre><br />
</pre><br />
==Vincent Homeier ==<br />
<pre><br />
</pre><br />
==Andrew Ireland ==<br />
<pre><br />
</pre><br />
==Bart Jacobs ==<br />
<pre><br />
</pre><br />
==He Jifeng ==<br />
<pre><br />
</pre><br />
==Cliff Jones ==<br />
<pre><br />
Prof Cliff Jones<br />
School of Computing Science<br />
Newcastle University<br />
NE1 7RU<br />
UK<br />
</pre><br />
<br />
==Mathai Joseph ==<br />
<pre><br />
</pre><br />
==Rajeev Joshi ==<br />
<pre><br />
</pre><br />
<br />
<br />
==Joseph Kiniry ==<br />
<pre><br />
</pre><br />
==Daniel Kröning ==<br />
<pre><br />
</pre><br />
==Patrick Lam ==<br />
<pre><br />
</pre><br />
==Butler Lampson ==<br />
<pre><br />
</pre><br />
==Gary T. Leavens ==<br />
<pre><br />
</pre><br />
==Rustan Leino ==<br />
<pre><br />
</pre><br />
==Zhiming Liu ==<br />
<pre><br />
</pre><br />
==Panagiotis Manolios ==<br />
<pre><br />
College of Computer and Information Science<br />
Northeastern University<br />
360 Huntington Avenue<br />
Boston, Massachusetts 02115 U.S.A.<br />
</pre><br />
<br />
==Tiziana Margaria ==<br />
<pre><br />
</pre><br />
==Edu Metz ==<br />
<pre><br />
</pre><br />
==Bertrand Meyer ==<br />
<pre><br />
</pre><br />
==Jayadev Misra ==<br />
<pre><br />
</pre><br />
==J Moore ==<br />
<pre><br />
</pre><br />
==Peter Müller ==<br />
<pre><br />
</pre><br />
==David A. Naumann ==<br />
<pre><br />
David Naumann<br />
Computer Science<br />
Stevens Institute of Technology<br />
Castle Point on Hudson<br />
Hoboken, NJ 07030 <br />
USA<br />
</pre><br />
<br />
==Greg Nelson ==<br />
<pre><br />
</pre><br />
==Collin O'Halloran ==<br />
<pre><br />
</pre><br />
==Peter W. O'Hearn ==<br />
<pre><br />
</pre><br />
==Ernst-Rüdiger Olderog ==<br />
<pre><br />
</pre><br />
==Manuel Oriol ==<br />
<pre><br />
</pre><br />
==Wolfgang Paul ==<br />
<pre><br />
</pre><br />
==Amir Pnueli ==<br />
<pre><br />
</pre><br />
==Sanjiva Prasad ==<br />
<pre><br />
</pre><br />
==Ganesan Ramalingam ==<br />
<pre><br />
</pre><br />
==Mike Reed ==<br />
<pre><br />
</pre><br />
==Tom Reps ==<br />
<pre><br />
</pre><br />
==Tamara Rezk ==<br />
<pre><br />
</pre><br />
==Martin Rinard ==<br />
<pre><br />
</pre><br />
==Grigore Rosu ==<br />
<pre><br />
</pre><br />
==Harald Ruess ==<br />
<pre><br />
</pre><br />
==John Rushby ==<br />
<pre><br />
</pre><br />
==Mooly Sagiv ==<br />
<pre><br />
</pre><br />
==Author Sagiv's ==<br />
<pre><br />
</pre><br />
==Peter Schmitt ==<br />
<pre><br />
</pre><br />
==Florian Schneider ==<br />
<pre><br />
</pre><br />
==Wolfram Schulte ==<br />
<pre><br />
Microsoft Research<br />
One Microsoft Way<br />
Redmond, WA 98052, USA<br />
</pre><br />
<br />
==Natarajan Shankar ==<br />
<pre><br />
</pre><br />
==Natasha Sharygina ==<br />
<pre><br />
</pre><br />
==Michel Sintzoff ==<br />
<pre><br />
</pre><br />
==Douglas Smith ==<br />
<pre><br />
</pre><br />
==Graham Steel ==<br />
<pre><br />
</pre><br />
==Bernhard Steffen ==<br />
<pre><br />
</pre><br />
==Ofer Strichman ==<br />
<pre><br />
Ofer Strichman<br />
The Technion / Industrial Engineering<br />
Haifa 32000<br />
Israel<br />
</pre><br />
<br />
==Aaron Stump ==<br />
<pre><br />
</pre><br />
==Carolyn Talcott ==<br />
<pre><br />
</pre><br />
==Cesare Tinelli ==<br />
<pre><br />
</pre><br />
==Mark Utting ==<br />
<pre><br />
Mark Utting<br />
Department of Computer Science<br />
The University of Waikato<br />
Private Bag 3105<br />
Hamilton 3240<br />
NEW ZEALAND<br />
</pre><br />
<br />
==Wyk Eric Van ==<br />
<pre><br />
</pre><br />
==Helmut Veith ==<br />
<pre><br />
</pre><br />
==Arnaud Venet ==<br />
<pre><br />
</pre><br />
==Laurent Voisin ==<br />
<pre><br />
</pre><br />
==Georg Weissenbacher ==<br />
<pre><br />
</pre><br />
==Jim Woodcock ==<br />
<pre><br />
</pre><br />
==Eran Yahav ==<br />
<pre><br />
Eran Yahav<br />
IBM T.J. Watson Research Center<br />
19 Skyline Dr.<br />
Hawthorne, NY 10532<br />
USA<br />
</pre><br />
<br />
==Steve Zdancewic ==<br />
<pre><br />
</pre><br />
==Naijun Zhan ==<br />
<pre><br />
Dr. Naijun Zhan<br />
Lab. of Computer Science<br />
Institute of Software<br />
Chinese Academy of Sciences<br />
#4, South Fourth Str., Zhong Guan Cun<br />
Haidian District, Beijing<br />
100190<br />
P.R. China<br />
</pre><br />
<br />
==Jian Zhang ==<br />
<pre><br />
</pre><br />
==Juanjun Zhao ==<br />
<pre><br />
</pre></div>
Bertot
https://dev.eiffel.com/index.php?title=VSTTE_address_check&diff=11353
VSTTE address check
2008-07-22T06:13:26Z
<p>Bertot: /* Yves Bertot */</p>
<hr />
<div>__NOTOC__<br />
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.<br />
<br />
==HOW TO EDIT YOUR ENTRY==<br />
* Find your name in the list<br />
* Click the "Edit" mark to the right of your name.<br />
* 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.<br />
* Between those two lines, enter your full postal address (including your name) as it should appear on the envelope.<br />
<br />
Thank you for your cooperation and for making this volume possible.<br />
<br />
-- The VSTTE organization committee<br />
<br />
==<font color="#a00000">SAMPLE ENTRY==<br />
<pre><br />
Bertrand Meyer<br />
Chair of Software Engineering<br />
Clausiusstrasse 59<br />
8092 ETH Zentrum<br />
Zurich<br />
Switzerland<br />
</pre><br />
</font><br />
<br />
==Jean-Raymond Abrial ==<br />
<pre><br />
</pre><br />
==Rajeev Alur ==<br />
<pre><br />
</pre><br />
==Myla Archer ==<br />
<pre><br />
</pre><br />
==Ralph Back ==<br />
<pre><br />
</pre><br />
==Thomas Ball ==<br />
<pre><br />
</pre><br />
==David Basin ==<br />
<pre><br />
</pre><br />
==Yves Bertot ==<br />
<pre><br />
2004, route des lucioles<br />
B.P. 93<br />
06902 Sophia Antipolis Cedex<br />
France<br />
</pre><br />
<br />
==Ramesh Bharadwaj ==<br />
<pre><br />
</pre><br />
==Dines Bjorner ==<br />
<pre><br />
</pre><br />
==Richard Bornat ==<br />
<pre><br />
</pre><br />
==Manfred Broy ==<br />
<pre><br />
</pre><br />
==Tevfik Bultan ==<br />
<pre><br />
Tevfik Bultan<br />
Department of Computer Science <br />
University of California <br />
Santa Barbara, CA 93106-5110<br />
USA<br />
</pre><br />
<br />
==Michael Butler ==<br />
<pre><br />
</pre><br />
==Egon Börger ==<br />
<pre><br />
</pre><br />
==Supratik Chakraborty ==<br />
<pre><br />
Supratik Chakraborty<br />
Dept. of Computer Science and Engg.<br />
I.I.T. Bombay, Powai<br />
Mumbai 400076<br />
Maharashtra<br />
India<br />
</pre><br />
<br />
==Patrice Chalin ==<br />
<pre><br />
</pre><br />
==Roderick Chapman ==<br />
<pre><br />
</pre><br />
==Marsha Chechik ==<br />
<pre><br />
Department of Computer Science<br />
University of Toronto<br />
40 St. George Street, Rm. 3248<br />
Toronto, ON M5S 2E4<br />
Canada<br />
</pre><br />
<br />
==Alessandro Coglio ==<br />
<pre><br />
Kestrel Institute<br />
3260 Hillview Avenue<br />
Palo Alto, CA 94041<br />
USA<br />
</pre><br />
<br />
==Green Cordell ==<br />
<pre><br />
Kestrel Institute<br />
3260 Hillview Avenue<br />
Palo Alto, CA 94041<br />
USA<br />
</pre><br />
<br />
==Patrick Cousot ==<br />
<pre><br />
</pre><br />
==Willem Paul de Roever ==<br />
<pre><br />
</pre><br />
==Michael Ernst ==<br />
<pre><br />
</pre><br />
==David Evans ==<br />
<pre><br />
</pre><br />
==Kathi Fisler ==<br />
<pre><br />
</pre><br />
==Kokichi Futatsugi ==<br />
<pre><br />
</pre><br />
==David Gill ==<br />
<pre><br />
</pre><br />
==Helen Gill ==<br />
<pre><br />
</pre><br />
==Allan Goldberg ==<br />
<pre><br />
</pre><br />
==Arie Gurfinkel ==<br />
<pre><br />
</pre><br />
==Masami Hagiya ==<br />
<pre><br />
</pre><br />
==Author Hagiya's ==<br />
<pre><br />
</pre><br />
==Anthony Hall ==<br />
<pre><br />
</pre><br />
==Stefan Hallerstede ==<br />
<pre><br />
</pre><br />
==Klaus Havelund ==<br />
<pre><br />
</pre><br />
==Eric C. R. Hehner ==<br />
<pre><br />
</pre><br />
==Constance Heitmeyer ==<br />
<pre><br />
</pre><br />
==Mike Hinchey ==<br />
<pre><br />
</pre><br />
==Thai Son Hoang ==<br />
<pre><br />
</pre><br />
==Tony Hoare ==<br />
<pre><br />
</pre><br />
==Gerard Holzmann ==<br />
<pre><br />
</pre><br />
==Vincent Homeier ==<br />
<pre><br />
</pre><br />
==Andrew Ireland ==<br />
<pre><br />
</pre><br />
==Bart Jacobs ==<br />
<pre><br />
</pre><br />
==He Jifeng ==<br />
<pre><br />
</pre><br />
==Cliff Jones ==<br />
<pre><br />
Prof Cliff Jones<br />
School of Computing Science<br />
Newcastle University<br />
NE1 7RU<br />
UK<br />
</pre><br />
<br />
==Mathai Joseph ==<br />
<pre><br />
</pre><br />
==Rajeev Joshi ==<br />
<pre><br />
</pre><br />
<br />
<br />
==Joseph Kiniry ==<br />
<pre><br />
</pre><br />
==Daniel Kröning ==<br />
<pre><br />
</pre><br />
==Patrick Lam ==<br />
<pre><br />
</pre><br />
==Butler Lampson ==<br />
<pre><br />
</pre><br />
==Gary T. Leavens ==<br />
<pre><br />
</pre><br />
==Rustan Leino ==<br />
<pre><br />
</pre><br />
==Zhiming Liu ==<br />
<pre><br />
</pre><br />
==Panagiotis Manolios ==<br />
<pre><br />
College of Computer and Information Science<br />
Northeastern University<br />
360 Huntington Avenue<br />
Boston, Massachusetts 02115 U.S.A.<br />
</pre><br />
<br />
==Tiziana Margaria ==<br />
<pre><br />
</pre><br />
==Edu Metz ==<br />
<pre><br />
</pre><br />
==Bertrand Meyer ==<br />
<pre><br />
</pre><br />
==Jayadev Misra ==<br />
<pre><br />
</pre><br />
==J Moore ==<br />
<pre><br />
</pre><br />
==Peter Müller ==<br />
<pre><br />
</pre><br />
==David A. Naumann ==<br />
<pre><br />
David Naumann<br />
Computer Science<br />
Stevens Institute of Technology<br />
Castle Point on Hudson<br />
Hoboken, NJ 07030 <br />
USA<br />
</pre><br />
<br />
==Greg Nelson ==<br />
<pre><br />
</pre><br />
==Collin O'Halloran ==<br />
<pre><br />
</pre><br />
==Peter W. O'Hearn ==<br />
<pre><br />
</pre><br />
==Ernst-Rüdiger Olderog ==<br />
<pre><br />
</pre><br />
==Manuel Oriol ==<br />
<pre><br />
</pre><br />
==Wolfgang Paul ==<br />
<pre><br />
</pre><br />
==Amir Pnueli ==<br />
<pre><br />
</pre><br />
==Sanjiva Prasad ==<br />
<pre><br />
</pre><br />
==Ganesan Ramalingam ==<br />
<pre><br />
</pre><br />
==Mike Reed ==<br />
<pre><br />
</pre><br />
==Tom Reps ==<br />
<pre><br />
</pre><br />
==Tamara Rezk ==<br />
<pre><br />
</pre><br />
==Martin Rinard ==<br />
<pre><br />
</pre><br />
==Grigore Rosu ==<br />
<pre><br />
</pre><br />
==Harald Ruess ==<br />
<pre><br />
</pre><br />
==John Rushby ==<br />
<pre><br />
</pre><br />
==Mooly Sagiv ==<br />
<pre><br />
</pre><br />
==Author Sagiv's ==<br />
<pre><br />
</pre><br />
==Peter Schmitt ==<br />
<pre><br />
</pre><br />
==Florian Schneider ==<br />
<pre><br />
</pre><br />
==Wolfram Schulte ==<br />
<pre><br />
Microsoft Research<br />
One Microsoft Way<br />
Redmond, WA 98052, USA<br />
</pre><br />
<br />
==Natarajan Shankar ==<br />
<pre><br />
</pre><br />
==Natasha Sharygina ==<br />
<pre><br />
</pre><br />
==Michel Sintzoff ==<br />
<pre><br />
</pre><br />
==Douglas Smith ==<br />
<pre><br />
</pre><br />
==Graham Steel ==<br />
<pre><br />
</pre><br />
==Bernhard Steffen ==<br />
<pre><br />
</pre><br />
==Ofer Strichman ==<br />
<pre><br />
Ofer Strichman<br />
The Technion / Industrial Engineering<br />
Haifa 32000<br />
Israel<br />
</pre><br />
<br />
==Aaron Stump ==<br />
<pre><br />
</pre><br />
==Carolyn Talcott ==<br />
<pre><br />
</pre><br />
==Cesare Tinelli ==<br />
<pre><br />
</pre><br />
==Mark Utting ==<br />
<pre><br />
Mark Utting<br />
Department of Computer Science<br />
The University of Waikato<br />
Private Bag 3105<br />
Hamilton 3240<br />
NEW ZEALAND<br />
</pre><br />
<br />
==Wyk Eric Van ==<br />
<pre><br />
</pre><br />
==Helmut Veith ==<br />
<pre><br />
</pre><br />
==Arnaud Venet ==<br />
<pre><br />
</pre><br />
==Laurent Voisin ==<br />
<pre><br />
</pre><br />
==Georg Weissenbacher ==<br />
<pre><br />
</pre><br />
==Jim Woodcock ==<br />
<pre><br />
</pre><br />
==Eran Yahav ==<br />
<pre><br />
Eran Yahav<br />
IBM T.J. Watson Research Center<br />
19 Skyline Dr.<br />
Hawthorne, NY 10532<br />
USA<br />
</pre><br />
<br />
==Steve Zdancewic ==<br />
<pre><br />
</pre><br />
==Naijun Zhan ==<br />
<pre><br />
Dr. Naijun Zhan<br />
Lab. of Computer Science<br />
Institute of Software<br />
Chinese Academy of Sciences<br />
#4, South Fourth Str., Zhong Guan Cun<br />
Haidian District, Beijing<br />
100190<br />
P.R. China<br />
</pre><br />
<br />
==Jian Zhang ==<br />
<pre><br />
</pre><br />
==Juanjun Zhao ==<br />
<pre><br />
</pre></div>
Bertot