FMERail Bibliography Distribution List

Dines Bjørner

For list entries of authors &c. we shall later insert references to their railway related documents. These references are therefore presently missing: !

1.

• Name: Göran Anger
• Postal Address:
  Industrilogik L4i AB
  Box 21024
  S-100 34 STOCKHOLM
  SWEDEN
  Visit: Gavlegatan 22, Stockholm
• Electronic Addresses:
  • E-Mail: anger@L4i.se
  • URL: http://www.L4i.se/
  • Fax: +46 8 32 12 82, Phone: +46 8 670 37 04, Mobile: +46 708 24 46 48

2.

• Name: Michael Balser
• Postal Address:
  Abt. Programmiermethodik
  Fakultät für Informatik
  89069 Universität Ulm
• Electronic Addresses:
  • E-Mail: balser@informatik.uni-ulm.de
  • URL: http://www.informatik.uni-ulm.de/pm/mitarbeiter/michael.html
  • Fax: (07 31) 50 - 2 41 62

3.

• Name: Manuel Barrio-Solórzano
• Postal Address:
  University of Valladolid
  Spain
• Electronic Addresses:
  • E-Mail: mbarrio@infor.uva.es
  • URL:
  • Fax:

4.

• Name: Patrick Behm
• Postal Address:
  MATRA TRANSPORT INTERNATIONAL
  48, rue Barbes,
  BP 531
  92542 Montrouge Cedex
  France
• Electronic Addresses:
  • E-Mail: patrick.behm@matra-transport.fr
  • URL:
  • Fax: (33) 1 49 65 70 55; tel. (33) 1 49 65 71 35
• Author/Presenter of/at FMERail Workshop Presentation
  

5.

• Name: Marc Benveniste
• Postal Address:
  AQL
  rue de la Châtaignerai
  BP 127
  F-35513, Cesson-Sévigné
  France
• Electronic Addresses:
  • E-Mail: marc.benveniste@computer.org, marc.benveniste@aql.fr
  • URL: http://www.aql.fr
  • Fax: (33/0)2.99.63.70.40

6.

• Name: Dines Bjørner
• Postal Address:
  Dept. IT, Bldg. 344
  Techn. Univ. of Denmark,
  DK-2800 Lyngby,
  Denmark
• Electronic Addresses:
  • E-Mail: db@it.dtu.dk
  • URL: http://www.it.dtu.dk/~db
  • Fax: +45-45.88.45.30
• Author/Presenter of/at FMERail Workshop Presentation
  

7.

• Name: Dr. Sandro Bologna
• Postal Address:
  ENEA CR-CASACCIA
  Via Anguillarese, 301
  00060 Roma
  ITALY
• Electronic Addresses:
  • E-Mail: bologna@casaccia.enea.it
  • URL: http://tisgi.casaccia.enea.it
  • Fax: +39-6-30486511, Tel.:+39-6-30483708

8.

• Name: Arne Borälv, Manager Product Development
• Postal Address:
  Prover Technology AB,
  Alstrømergatan 22, 2tr,
  SE-112 47 Stockholm,
  SWEDEN
• Electronic Addresses:
  • E-Mail: arne@prover.com
  • URL: http://www.prover.com/
  • Fax: +46 8 653 69 00
• Author/Presenter of/at FMERail Workshop Presentation
  

9.

• Name: Greg Burns
• Postal Address:
  PO Box 675
  Carlton South
  Victoria 3053
  Australia
• Electronic Addresses:
  • E-Mail: gregburn@admiral.com.au
  • URL:
  • Fax: +61 3 9663 9777

10.

• Name: Hans-Jürgen Bürckert
• Postal Address:
  DFKI GmbH,
  Stuhlsatzenhausweg 3,
  D-66123 Saarbruecken
  Germany
• Electronic Addresses:
  • E-Mail: hjb@dfki.de
  • URL: http://www.dfki.de/
  • Fax: +49 681 302-2235

11.

• Name: Michael Butler
• Postal Address:
  Dept of Electronics & Computer Science
  University of Southampton
  Highfield
  Southampton SO17 1BJ
  United Kingdom
• Electronic Addresses:
  • E-Mail: M.J.Butler@ecs.soton.ac.uk
  • URL: http://www.ecs.soton.ac.uk/~mjb/
  • Fax: +44-1703-593045

12.

• Name: Ercüment Canver
• Postal Address:
  Abteilung Künstliche Intelligenz
  Fakultät Informatik
  Universität Ulm
  89069 Ulm
  Germany
• Electronic Addresses:
  • E-Mail: canver@ki.informatik.uni-ulm.de
  • URL: http://www.informatik.uni-ulm.de/abt/ki/canver.html
  • Fax: +49-731-502-4119

13.

• Name: Simon Carter
• Postal Address:
  Software Verification Research Centre
  Department of Computer Science
  The University of Queensland
  St Lucia, Qld 4072
  AUSTRALIA
• Electronic Addresses:
  • E-Mail: smjc@it.uq.edu.au
  • URL:
  • Fax: +61-7-3365-1533

14.

• Name: Dr. Fabrizio Chiarlone
• Postal Address:
  Sogemar S.p.A.
  via Magenta, 60
  I 20017 Lucernate di Rho (MI)
  Italia
• Electronic Addresses:
  • E-Mail: fabrizio.chiarlone@contship-it.com
  • URL:
  • Fax: +39 029335.214, Phone: +39 029335.300

15.

• Name: Tim Clement
• Postal Address:
  Adelard,
  3 Coborn House,
  Coborn Road,
  London E3 2DA,
  U.K.
• Electronic Addresses:
  • E-Mail: tpc@adelard.co.uk
  • URL: http://www.adelard.co.uk
  • Fax: +44 1953 681212

16.

• Name: David Cooper
• Postal Address:
  School of CMS
  Sheffield Hallam University
  Pond Street
  Sheffield
  S1 1WB
  U.K.
• Electronic Addresses:
  • E-Mail: D.Cooper@shu.ac.uk
  • URL:
  • Fax: +44 114 225 3161

17.

• Name: Ian Cottam
• Postal Address:
  ALSTOM Signalling Ltd PO Box 146 Westinghouse Road Trafford Park Manchester, UK M60 1AX
• Electronic Addresses:
  • E-Mail: ian.cottam@transport.alstom.com
  • URL: www.transport.alstom.com
  • Fax: +44 161 875 2094

18.

• Name: Hamdan Dammag
• Postal Address:
  Computer Science Dept
  = University of Reading
  Whiteknights
  Reading RG6 6AY
  UK
• Electronic Addresses:
  • E-Mail: H.Z.Dammag@reading.ac.uk
  • URL: www.reading.ac.uk/~ssr97hzd
  • Fax: +44 118 975 1994

19.

• Name: Alain Deutsch
• Postal Address:
  INRIA
  78153 Le Chesnay Cedex
  FRANCE
• Electronic Addresses:
  • E-Mail: Alain.Deutsch@INRIA.FR
  • URL: http://www.inria.fr
  • Fax: +33 1 39635469

20.

• Name: Jeremy Dick
• Postal Address:
  Quality Systems and Software Ltd.,
  Magdalen Centre,
  Oxford OX4 4GA,
  UK
• Electronic Addresses:
  • E-Mail: Jeremy.Dick@oxford.qss.co.uk
  • URL:
  • Fax: +44 01865 784286

21.

• Name: Giovanni Dipoppa
• Postal Address:
  ENEA C.R.-Casaccia
  Via Anguillarese, 301
  S.Maria di Galeria
  I00060 Rome
  Italy
• Electronic Addresses:
  • E-Mail: giovanni.dipoppa@casaccia.enea.it
  • URL: http://tisgi.casaccia.enea.it/personnel/dipoppa/index.html
  • Fax: +39 0630486511
• Author/Presenter of/at FMERail Workshop Presentation
  

22.

• Name: Mike Dowling, Mgr.
• Postal Address:
  Trusted Systems Group, CSC Australia Module 7, Endeavour House,
  Fourth Avenue, Technology Park,
  Mawson Lakes, South Australia, 5095
  Australia
• Electronic Addresses:
  • E-Mail: mdowling@csc.com.au
  • URL:
  • Fax: +61 (0)8 8349 4537, Telephone: +61 (0)8 8343 8827

23.

• Name: Georg Droschl
• Postal Address:
  Institute for Software Technology,
  Münzgrabenstrasse 11,
  A-8010 Graz,
  Austria
• Electronic Addresses:
  • E-Mail: droschl@ist.tu-graz.ac.at
  • URL: http://www.ist.tu-graz.ac.at/
  • Fax: ++43 316 873 5706

24.

• Name: Franz Engelmann
• Postal Address:
  c/o SYNLOGIC AG
  Rottmannsbodenstrasse 30
  CH-4102 Binningen
  Switzerland
• Electronic Addresses:
  • E-Mail: engelmann@synlogic.ch
  • URL: http://www.synlogic.ch/web
  • Fax: ++41 (0) 61 425 95 20

25.

• Name: Lars-Henrik Eriksson
• Postal Address:
  Industrilogik L4i AB,
  Box 440,
  SE-101 28 STOCKHOLM,
  SWEDEN
• Electronic Addresses:
  • E-Mail: lhe@L4i.se
  • URL: http://www.L4i.se/lhe
  • Fax: +46 8 411 80 12
• Author/Presenter of/at FMERail Workshop Presentation
  

26.

• Name: Patrik Eriksson
• Postal Address:
  ABB Daimler-Benz
  Transportation Signal AB
  Box 42505
  S-126 16 Stockholm
  Sweden
• Electronic Addresses:
  • E-Mail: sigpae@sesig.abb.se
  • URL:
  • Fax: +46 8 6815055

27.

• Name: Geoff Everist
• Postal Address:
  Manager Automation & Information Systems
  Union Switch & Signal Pty Ltd
  P.O. Box 1168
  Eagle Farm 4009
  Australia
• Electronic Addresses:
  • E-Mail: everistg@switch.aust.com
  • URL:
  • Fax: 61-7-3268-2136

28.

• Name: Alain FAIVRE
• Postal Address:
  RAMS Department
  B Method
  MATRA-TRANSPORT-INTERNATIONAL
  48-56 rue Barbes - BP 531
  92542 Montrouge Cedex
  France
• Electronic Addresses:
  • E-Mail: alain.faivre@matra-transport.fr
  • URL:
  • Fax: (33) 1 49 65 72 79
    Tel: (33) 1 49 65 74 02

29.

• Name: Petra Funk
• Postal Address:
  DFKI GmbH,
  Stuhlsatzenhausweg 3,
  D-66123 Saarbrücken,
  Germany
• Electronic Addresses:
  • E-Mail: funk@dfki.de
  • URL: http://www.dfki.de/~funk/dfki-index.html
  • Fax: +49 681 302 2235

30.

• Name: Dr.-Ing. Jan-Tecker Gayen
• Postal Address:
  Technische Universität
  Institut fuer Eisenbahnwesen und Verkehrssicherung,
  Pockelsstrasse 3,
  D-38106 Braunschweig,
  Germany
• Electronic Addresses:
  • E-Mail: j.gayen@tu-bs.de
  • URL: http://www.ivev.bau.tu-bs.de/
  • Fax: +49 531 391 3380

31.

• Name: dr. Max Geerling
• Postal Address:
  P.O. Box 5021
  NL-2000 CA
  Haarlem
  The Netherlands
• Electronic Addresses:
  • E-Mail: Max.Geerling@computer.org
  • URL: http://www.chess.nl
  • Fax: +31 23 5 149 199

32.

• Name: Chris George
• Postal Address:
  UNU/IIST
  PO Box 3058
  Macau
• Electronic Addresses:
  • E-Mail: cwg@iist.unu.edu
  • URL: http://www.iist.unu.edu/ cwg/
  • Fax: +853 712 940
• Author/Presenter of/at FMERail Workshop Presentation
  

33.

• Name: Jan Friso Groote
• Postal Address:
  P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
• Electronic Addresses:
  • E-Mail: JanFriso.Groote@cwi.nl
  • URL: www.cwi.nl/ jfg
  • Fax: +31-20-592-4199
• Author/Presenter of/at FMERail Workshop Presentation
  

34.

• Name: Enno Grünefeld
• Postal Address:
  Aixo Informationstechnologie GmbH
  Dennewartstrasse 27
  D-52068 Aachen
  Germanay
• Electronic Addresses:
  • E-Mail: Enno.Gruenefeld@Aixo.com
  • URL: http://www.Aixo.com
  • Fax: 0241/963-1123

35.

• Name: David Guaspari
• Postal Address:
  Odyssey Research Associates
  33 Thornwood Drive, suite 500
  Ithaca NY 14850-1250
  USA
• Electronic Addresses:
  • E-Mail: davidg@oracorp.com
  • URL: http://www.oracorp.com
  • Fax: 607 257-1972

36.

• Name: Mr. Guoping Jia Ph.D.
• Postal Address:
  Intellegent Network Group
  Shanghai Bell
  No.188, Bell Rd.
  Shanghai, 201206
  P.R.China
• Electronic Addresses:
  • E-Mail: jiaguoping@sbell.com.cn
  • URL:
  • Fax: +86 21 58347800, +86 2158541240 ext.7275

37.

• Name: B.S. Hansen
• Postal Address:
  Dept. IT, Bldg. 344
  Techn. Univ. of Denmark, DK-2800 Lyngby, Denmark
• Electronic Addresses:
  • E-Mail: bsh@it.dtu.dk
  • URL: +45-45.88.45.30
  • Fax: http://www.it.dtu.dk/~bsh
• Author/Presenter of/at FMERail Workshop Presentation
  

38.

• Name: K.M. Hansen
• Postal Address:
  Danish National Railway Agency,
  ScanRail Consult, Signalling Assessment,
  Pilestræde 58/6,
  DK-1112 Copenhagen K,
  Denmark
• Electronic Addresses:
  • E-Mail: kmh@rdg.bane.dk
  • URL:
  • Fax:
• Author/Presenter of/at FMERail Workshop Presentation
  

39.

• Name: A.E. Haxthausen
• Postal Address:
  Dept. IT, Bldg. 344
  Techn. Univ. of Denmark, DK-2800 Lyngby, Denmark
• Electronic Addresses:
  • E-Mail: ah@it.dtu.dk
  • URL: +45-45.88.45.30
  • Fax: http://www.it.dtu.dk/~ah
• Author/Presenter of/at FMERail Workshop Presentation
  

40.

• Name: Dr. M. Meyer zu Hörste
• Postal Address:
  Institut für Regelungs- und Automatisierungstechnik
  Langer Kamp 8
  D-38106 Braunschweig
  Germany
• Electronic Addresses:
  • E-Mail: meyer@ifra.ing.tu-bs.de
  • URL: http://www.ifra.ing.tu-bs.de/~m31/meyer/meyer.de.html
  • Fax: +49 531 391 51 97 and Phone: +49 531 391 33 31
• Author/Presenter of/at FMERail Workshop Presentation
  

41.

• Name: Dr D.M. Jackson
• Postal Address:
  Praxis Critical Systems Ltd,
  20 Manvers St,
  Bath BA1 1PX,
  UK
• Electronic Addresses:
  • E-Mail: dmj@praxis-cs.co.uk
  • URL: http://www.praxis-cs.co.uk
  • Fax: +44 225 469006
• Author/Presenter of/at FMERail Workshop Presentation
  

42.

• Name: Jean-Marie Jacquet
• Postal Address:
  Department of Computer Science,
  University of Namur,
  rue Grandgagnage 21,
  5000 Namur,
  Belgium
• Electronic Addresses:
  • E-Mail: jmj@info.fundp.ac.be
  • URL: http://www.info.fundp.ac.be/~jmj
  • Fax: +32 81 72 49 67

43.

• Name: Vacius Jusas
• Postal Address:
  Studentu 50-404
  Kaunas
  Lithuania
• Electronic Addresses:
  • E-Mail: vacys@soften.ktu.lt
  • URL:
  • Fax:

44.

• Name: Jan van Katwijk
• Postal Address:
  Department of Information and Software Systems,
  Delft University of Technology,
  Zuidplantsoen 4,
  Delft
  The Netherlands
• Electronic Addresses:
  • E-Mail: J.vanKatwijk@twi.tudelft.nl
  • URL: http://sepc.twi.tudelft.nl/~jan
  • Fax: +31 15 278 44 15

45.

• Name: Vinod Kumar
• Postal Address:
  Real-time Systems and Networks Division
  National Centre for Software Technology
  Gulmohar Cross Road No 9
  Juhu, Mumbai 400 049
  India
• Electronic Addresses:
  • E-Mail: vinod@konark.ncst.ernet.in
  • URL: http://rts.ncst.ernet.in
  • Fax: 91 022 621 0139

46.

• Name: Kim Kjaer-Olsen
• Postal Address:
  Operational Systems Engineering Manager
  Queensland Rail
  4th Floor RC2
  GPO Box 1429
  Brisbane
  Queensland 4001
  Australia
• Electronic Addresses:
  • E-Mail: olsen@qr.com.au
  • URL:
  • Fax: (07) 3235 2747 Australia

47.

• Name: Dr. Salomon Klaczko
• Postal Address:
  LOPOS VTS Vessel Traffic Systems GmbH & Co
  Ness 1
  D-20457 Hamburg
  Germany
• Electronic Addresses:
  • E-Mail: Klaczko@lopos.de
  • URL:
  • Fax: +49-40-3751-7206, Phone +49-40-3751-7202

48.

• Name: Dr. El miloudi El Koursi
• Postal Address:
  NRETS
  20 Rue Elisee Reclus
  F-59650, Villeneuve d'ASCQ
  France
• Electronic Addresses:
  • E-Mail: miloudi@terre.inrets.fr
  • URL:
  • Fax: 33 3 20 43 83 24, Phone: 33 3 20 43 83 24

49.

• Name: Tom Lake
• Postal Address:
  InterGlossa Ltd.
  31^A Chain Street
  Reading RG1 2HX
  UK
• Electronic Addresses:
  • E-Mail: Tom.Lake@glossa.co.uk
  • URL: http://www.glossa.co.uk
  • Fax: 44 118 956 1920

50.

• Name: Peter Gorm Larsen
• Postal Address:
  IFAD
  Forskerparken 10A
  DK-5230 Odense M
  Denmark
• Electronic Addresses:
  • E-Mail: peter@ifad.dk
  • URL: http://www.ifad.dk
  • Fax: +4565932999

51.

• Name: Simon Lewis
• Postal Address:
  DXM Software Engineering,
  1 Shire Grove,
  Kirby Misperton,
  Malton, N
  orth Yorkshire, YO17 6XZ,
  United Kingdom
• Electronic Addresses:
  • E-Mail: simonlewis@technologist.com
  • URL:
  • Fax: +44 (01653) 668163

52.

• Name: Peter Lindsay
• Postal Address:
  Dr Peter Lindsay,
  Software Verification Research Centre,
  The University of Queensland,
  Queensland 4072,
  Australia
• Electronic Addresses:
  • E-Mail: P.Lindsay@it.uq.edu.au
  • URL: http://www.it.uq.edu.au/~pal
  • Fax: +61 7 3365 1533

53.

• Name: Margaret McNicol
  Assurance Manager, Product Development
• Postal Address:
  Westinghouse Signals Australia
  Locked Bag 66
  South Melbourne 3205
  Victoria
  Australia
• Electronic Addresses:
  • E-Mail: margaret_mcnicol@westsig.com.au
  • URL:
  • Fax: +61 3 9233 8779
    Phone +61 3 9233 8846

54.

• Name: L.-F. Mejia
• Postal Address:
  Alstom Transport,
  33, rue des Bateliers,
  F-93400 Saint-Ouen,
  France
• Electronic Addresses:
  • E-Mail: Luis-Fernando.Mejia@transport.alstom.com
  • URL:
  • Fax:
• Author/Presenter of/at FMERail Workshop Presentation
  

55.

• Name: Dominique Mery
• Postal Address:
  Universite Henri Poincaré, Nancy 1
  LORIA, BP 239
  F-54506 VANDOEUVRE-LES-NANCY
  FRANCE
• Electronic Addresses:
  • E-Mail: Dominique.Mery@loria.fr
  • URL: http://www.loria.fr/ mery
  • Fax: +33 3 83 41 30 79

56.

• Name: Giorgio Mongardi
• Postal Address:
  Ansaldo Segnalamento Ferroviario
  Via Volvera, 50
  10045 PIOSSASCO (TO)
  Italy
• Electronic Addresses:
  • E-Mail: gmongard@asf.atr.ansaldo.it
  • URL:
  • Fax: (39) 11 9039 381, Phone: (39) 11 9039 291

57.

• Name: Markus Montigel
• Postal Address:
  Fachhochschulstudiengang für Telekommunikation und Medien,
  Herzogenburgerstr. 68,
  A-3100 St. Pölten
  Austria
• Electronic Addresses:
  • E-Mail: montigel@fh-stpoelten.ac.at
  • URL: none so far
  • Fax: +43 2742 313 229
• Author/Presenter of/at FMERail Workshop Presentation
  

58.

• Name: Malcolm Newey
• Postal Address:
  Dept. of Computer Science
  The Australian National University
  Canberra ACT 0200
  Australia
• Electronic Addresses:
  • E-Mail: Malcolm.Newey@cs.anu.edu.au
  • URL: +61 2 6249 0010, phone: +61 2 6249 4506
  • Fax: http://www.cs.anu.edu.au/~Malcolm.Newey/

59.

• Name: Klaus Nökel
• Postal Address:
  G.-Schulenburg-Strasse 24
  D-76189 Karlsruhe
  Germany
• Electronic Addresses:
  • E-Mail: Klaus.Noekel@karlsruhe.netsurf.de
  • URL:
  • Fax:

60.

• Name: Mr. Takahiko Ogino
• Postal Address:
  2-8-38, Hikari-cyo,
  Kokubunji-shi,
  Tokyo, 185-8540,
  Japan
• Electronic Addresses:
  • E-Mail: ogino@rtri.or.jp
  • URL: http://www.rtri.or.jp
  • Fax: +81-42-573-7321
• Author/Presenter of/at FMERail Workshop Presentation
  

61.

• Name: Graeme I Parkin
• Postal Address:
  CISE
  Building 2
  Queens Road
  Teddington
  Middlesex
  TW11 0LW
  UK
• Electronic Addresses:
  • E-Mail: ,
  • URL: Graeme.Parkin@npl.co.uk
  • Fax: http://www.npl.co.uk/

+44 181 977 7091

62.

• Name: Jan Peleska
• Postal Address:
  Universitaet Bremen,
  FB 3 - Informatik,
  Postfach 33 04 40,
  D-28334 BREMEN,
  Germany
• Electronic Addresses:
  • E-Mail: jp@informatik.uni-bremen.de
  • URL: http://www.informatik.uni-bremen.de/~/
  • Fax: +49-421-218-3054
• Author/Presenter of/at FMERail Workshop Presentation
  

63.

• Name: Uwe Petermann
• Postal Address:
  Leipzig University of Applied Sciences
  Dept. of Computer Science
  Postfach 300066
  D-04251 Leipzig
  Germany
• Electronic Addresses:
  • E-Mail: uwe@imn.htwk-leipzig.de
  • URL: http://www.imn.htwk-leipzig.de/~uwe
  • Fax: + (49) 341 30 12 722

64.

• Name: Jan Storbank Pedersen
• Postal Address:
  TERMA Elektronik A/S
  Bregnerødvej 144
  DK-3460 Birkerød
  Denmark
• Electronic Addresses:
  • E-Mail: jnp@terma.com
  • URL:
  • Fax: +45 4594 9645

65.

• Name: Jakob Lyng Petersen
• Postal Address:
  Danish National Railway Agency,
  ScanRail Consult,
  Pilestræde 58/6,
  DK-1112 Copenhagen K,
  Denmark
• Electronic Addresses:
  • E-Mail: jlp@rdg.bane.dk
  • URL:
  • Fax:
• Author/Presenter of/at FMERail Workshop Presentation
  

66.

• Name: Axel Poigné
• Postal Address:
  GMD, Schloss Birlinghoven
  D-53754 Sankt Augustin
  Germany
• Electronic Addresses:
  • E-Mail: poigne@gmd.de
  • URL: http://set.gmd.de/SET/mitarbeiter/Axel.Poigne.htm
  • Fax: + (49) 2241 142384

67.

• Name: Dr F A C Polack
• Postal Address:
  Department of Computer Science
  University of York
  YORK
  UK YO10 5DD
• Electronic Addresses:
  • E-Mail: fiona@cs.york.ac.uk
  • URL: http://www.cs.york.ac.uk/ fiona/
  • Fax: +1904 432767

68.

• Name: Wishnu Prasetya
• Postal Address:
  Informatica Instituut
  Utrecht Universiteit
  POBOX 80.089
  3508 TB Utrecht
  The Netherlands
• Electronic Addresses:
  • E-Mail: wishnu@cs.uu.nl
  • URL: www.cs.uu.nl/people/wishnu/
  • Fax: +3130 2513791

69.

• Name: S. Prehn
• Postal Address:
  Terma Electronics,
  Bregnerødvej 144,
  DK-3450 Birkerød,
  Denmark
• Electronic Addresses:
  • E-Mail: snp@terma.dk
  • URL:
  • Fax:
• Author/Presenter of/at FMERail Workshop Presentation
  

70.

• Name: Dr. Peter Päppinghaus
• Postal Address:
  Siemens AG
  ZT SE 4
  Otto-Hahn-Ring 6
  D-81739 München
  Germany
• Electronic Addresses:
  • E-Mail: peter.paeppinghaus@mchp.siemens.de
  • URL:
  • Fax: +49 89 - 636 4228

71.

• Name: Steve Reeves
• Postal Address:
  Department of Computer Science
  University of Waikato
  Private Bag 3105
  Hamilton
  New Zealand
• Electronic Addresses:
  • E-Mail: stever@cs.waikato.ac.nz
  • URL: http://www.cs.waikato.ac.nz/~stever/
  • Fax: +64 7 838 4155

72.

• Name: Prof. Wolfgang Reisig
• Postal Address:
  Humboldt-Universität zu Berlin
  Institut fuer Informatik
  Unter den Linden 6
  D-10099 Berlin
  Germany
• Electronic Addresses:
  • E-Mail: reisig@informatik.hu-berlin.de
  • URL: http://www.informatik.hu-berlin.de/Institut/struktur/softwaretechnik/Reisig.html
  • Fax: +49-30-20993-3067

73.

• Name: Karel Richta
• Postal Address:
  Dept. of Comp.Science & Engineering,
  FEL CTU Prague
  Karlovo nam.13,
  CZ 121 35 Prague 2,
  Czech Republic
• Electronic Addresses:
  • E-Mail: richta@fel.cvut.cz
  • URL: http://cs.felk.cvut.cz/~richta
  • Fax: +420 2 298098

74.

• Name: Joaquin RODRIGUEZ
• Postal Address:
  INRETS-ESTAS 20
  rue Elisee Reclus
  F-59650 Villeneuve d'Ascq
  France
• Electronic Addresses:
  • E-Mail: joaquin.rodriguez@terre.inrets.fr
  • URL:
  • Fax: +33 - (0)3 20 43 83 59

75.

• Name: Jørgen Rubek Hansen
• Postal Address:
  Rambøll A/S
  Bredevej 2
  DK-2830 Virum
  Denmark
• Electronic Addresses:
  • E-Mail: JRH@ramboll.dk
  • URL:
  • Fax:

76.

• Name: Dr. Heinrich Rust
• Postal Address:
  BTU Cottbus
  Postfach 101344
  D-03013 Cottbus
  Germany
• Electronic Addresses:
  • E-Mail: rust@informatik.tu-cottbus.de
  • URL:
  • Fax: ++49-355-69-3810

77.

• Name: Johann Schumann
• Postal Address:
  13409 Midland Rd.
  Nr 41, Poway,
  CA, 92064
  USA
• Electronic Addresses:
  • E-Mail: schumann@in.tum.de
  • URL: http://wwwjessen.informatik.tu-muenchen.de/personen/schumann.html
  • Fax:

78.

• Name: A.C. Simpson
• Postal Address:
  Oxford Univ.,
  Computing Lab.,
  Parks Road,
  Oxford OX1 3QG,
  UK
• Electronic Addresses:
  • E-Mail:
  • URL:
  • Fax:
• Author/Presenter of/at FMERail Workshop Presentation
  

79.

• Name: Irina M. SMARANDACHE
• Postal Address:
  Research Officer, Formal Methods Group
  Dept. of Computer Science,
  The University of Reading
  Whiteknights
  PO Box 225
  Reading RG6 6AY
  ENGLAND
• Electronic Addresses:
  • E-Mail: I.M.Smarandache@reading.ac.uk
  • URL: http://www.reading.ac.uk
  • Fax: (44) 118 975 1994, Tel: (44) 118 931 8611 (Ask for ext. 7626)

80.

• Name: Gunnar Stålmarck, Manager Reearch
• Postal Address:
  Prover Technology AB,
  Alströmergatan 22, 2tr,
  SE-112 47 Stockholm,
  SWEDEN
• Electronic Addresses:
  • E-Mail: gunnar@prover.com
  • URL: http://www.prover.com/
  • Fax: +46 8 653 69 00
• Author/Presenter of/at FMERail Workshop Presentation
  

81.

• Name: Antje Strohmaier
• Postal Address:
  Karlstrasse 111b
  D-64285 Darmstadt
  Germany
• Electronic Addresses:
  • E-Mail: antje@strohmaier.de
  • URL: http://aida.intellektik.informatik.tu-darmstadt.de/~antje
  • Fax:

82.

• Name: Jean-Loup TERRAILLON
• Postal Address:
  ESA/ESTEC/TOS-EME
  Postbus 299
  NL 2200AG NOORDWIJK
  The Netherlands
• Electronic Addresses:
  • E-Mail: JTERRAIL@estec.esa.nl
  • URL:
  • Fax: +31.71.565.5420

83.

• Name: Dr. Doris Tesch
• Postal Address:
  Siemens AG
  ZT SE 4
  Otto-Hahn-Ring 6
  81730 Munich
  Germany
• Electronic Addresses:
  • E-Mail: doris.tesch@mchp.siemens.de
  • URL:
  • Fax: ++49 89 636-42284

84.

• Name: David Tombs
• Postal Address:
  Software Verification Research Centre
  University of Queensland
  Brisbane
  QLD 4072
  Australia
• Electronic Addresses:
  • E-Mail: tombs@csee.uq.edu.au
  • URL: http://svrc.it.uq.edu.au/
  • Fax: +61 7 3365 1533

85.

• Name: Jan Tretmans
• Postal Address:
  University of Twente,
  Dept. of Computer Science,
  Formal Methods and Tools Group,
  PO Box 217,
  7500 AE Enschede,
  The Netherlands
• Electronic Addresses:
  • E-Mail: tretmans@cs.utwente.nl
  • URL: http://fmt.cs.utwente.nl/~tretmans
  • Fax: +31 53 489 3247

86.

• Name: Dr T.H. Tse
• Postal Address:
  Department of Computer Science and Information Systems
  The University of Hong Kong
  Pokfulam Road
  HONG KONG
• Electronic Addresses:
  • E-Mail: tse@csis.hku.hk
  • URL: http://www.csis.hku.hk/~tse
  • Fax: +852 / 2559 8447

87.

• Name: Hans Wachtmeister, Manager International Sales
• Postal Address:
  Prover Technology AB,
  Alströmergatan 22, 2tr,
  SE-112 47 Stockholm,
  SWEDEN
• Electronic Addresses:
  • E-Mail: hawa@prover.com
  • URL: http://www.prover.com/
  • Fax: +46 8 653 69 00

88.

• Name: Lincoln Wallen
• Postal Address:
  Oxford University
  Computing Laboratory
  Parks Road
  Oxford OX1 3QD
  UK
  

  Director
  Smith Institute for Industrial Mathematics and System Engineering
  P.O. Box 183
  Guildford
  Surrey GU 5GG
  UK

• Electronic Addresses:
  • E-Mail: lw@comlab.ox.ac.uk, office@smithinst.ac.uk
  • URL:
  • Fax:

89.

• Name: Alain Wegiel
• Postal Address:
  Dassault Electronique
• Electronic Addresses:
  • E-Mail: Alain.Wegiel@dassault-elec.fr
  • URL:
  • Fax:

90.

• Name: Thomas Willhalm
• Postal Address:
  Universitdt Konstanz
  Fakult]''at für Mathematik und Informatik
  Fach D 188
  D-78457 Konstanz
  Germany
• Electronic Addresses:
  • E-Mail: Thomas.Willhalm@uni-konstanz.de
  • URL: http://www.informatik.uni-konstanz.de/~willhalm/
  • Fax: (++49) 7531/88-3577

91.

• Name: Armin Wolf
• Postal Address:
  c/o GMD FIRST
  Rudower Chaussee 5
  D-12489 Berlin
  Germany
• Electronic Addresses:
  • E-Mail: Armin.Wolf@gmd.de
  • URL: http://www.first.gmd.de/persons/Wolf.Armin.html
  • Fax: +49-30-6392-1805

92.

• Name: J.C.P. Woodcock
• Postal Address:
  Director
  Oxford University Software Engineering Centre
  Wolfson Building
  Parks Road
  Oxford OX1 3QD
  UK
• Electronic Addresses:
  • E-Mail: Jim.Woodcock@comlab.ox.ac.uk
  • URL: http://www.comlab.ox.ac.uk/igdp/
  • Fax: +44 (0) 1865 273839
• Author/Presenter of/at FMERail Workshop Presentation
  

93.

• Name: Yoo Hee-Jun
• Postal Address:
  Formal Methods Lab.
  Dept. Computer Science & Engineering,
  Korea Univ.,
  1 Anamdoga Sungbuk-gu,
  Seoul 136-701, Korea
• Electronic Addresses:
  • E-Mail: hyoo@formal.korea.ac.kr
  • URL: http://formal.korea.ac.kr
  • Fax: 82-2-953-0771

94.

• Name: Jiri Zilka
• Postal Address:
  Vejmluvova 34
  Zdar nad Sazavou
  CZ 591 02
  Czech Republic
• Electronic Addresses:
  • E-Mail: cmodul.zdar@mbox.vol.cz
  • URL:
  • Fax: ++420 616 620 168