TC 10 - Computer Systems Technology

IFIP - International Federation for Information Processing

Technical Committees

TC10 - Computer Systems Technology

est. 1976, revised 1987 Aims and Scopes


Chair Dr. B. ESCHERMANN, CH ABB Schweiz AG Corporate Research Segelhof, Postfach CH-5405 BADEN-DAETTWIL Switzerland Tel. +41 58 586 8411 Fax +41 58 586 5561 e-mail: bernhard.eschermann@ch.abb.com		Vice-Chair Prof. Ricardo Augusto da Luz Reis, BR Federal University of Rio Grande do Sul (UFRGS) Inst. of Informatics Av. Paulo Gama, 110 Porto Alegre/RS - Brasil Tel. (55) (51) 33 08 70 00 e-mail: reis@inf.ufrgs.br		Secretary Prof. Paolo Prinetto, IT Politecnico di Torino Dip. di Automatica e Informatica Corso Duca degli Abruzzi 24 I-10129 Torino TO Italy Tel. +39-011-564-7007 Fax +39-011-564-7099 Mobile +39-335-227529 e-mail: Paolo.Prinetto@polito.it or prinetto@uic.edu


AR AT BE BG BR CL CN CZ DK ES	P. Borensztejn A. Ferscha E. Dirkx P. Borosvska R. Reis M. Solar G. Li P. Hanacek J. Madsen J.-C. Lôpez	FR GB GR HU IT NL NO PL	J.C. Laprie N. Topham V. Goudela A. Pataricza P. Prinetto H.J. Sips O. Landsverk* J. Klamka	PT RU SE SI us US	R. Machado A. Stempkovsky J.Torin* D. M. Kodek J.R. Curd (ACM) D.Etiemble (IEEE)

ex-officio members: WG Chairs

* Member emeritus

WG 10.2 (Embedded Systems)

est. 2006 Aims and Scopes

URL: http://www.ifipwg102.org/

Chair
Prof. Wayne Wolf
Department of Electrical Engineering
Princeton University
Princeton
NJ 08544-5263
USA
Tel: +1 (609) 258-1424
Fax: +1 (609) 258-3745
e-mail: wolf@princeton.edu Vice-Chair
Dr. Bernd Kleinjohann
C-LAB
University of Paderborn
Fuerstenallee 11
D-33102 Paderborn
Germany
Tel: +49 5251 606101
Fax: +49 5251 606066
e-mail: bernd.kleinjohann@c-lab.de Publications Chair
Dr. Lisa Kleinjohann
C-LAB
University of Paderborn
Fuerstenallee 11
D-33102 Paderborn
Germany
Tel: +49 5251 606102
Fax: +49 5251 606066
e-mail: lisa.kleinjohann@c-lab.de

Chair Prof. Wayne Wolf Department of Electrical Engineering Princeton University Princeton NJ 08544-5263 USA Tel: +1 (609) 258-1424 Fax: +1 (609) 258-3745 e-mail: wolf@princeton.edu	Vice-Chair Dr. Bernd Kleinjohann C-LAB University of Paderborn Fuerstenallee 11 D-33102 Paderborn Germany Tel: +49 5251 606101 Fax: +49 5251 606066 e-mail: bernd.kleinjohann@c-lab.de	Publications Chair Dr. Lisa Kleinjohann C-LAB University of Paderborn Fuerstenallee 11 D-33102 Paderborn Germany Tel: +49 5251 606102 Fax: +49 5251 606066 e-mail: lisa.kleinjohann@c-lab.de

Members

PT
FR
US
GB
DE
NL
FR
SI
ES
US
SE
DE L. Almeida
J. Arlat
D. Avresky
G. Bernat
C. Bobda
E. Brinksma
P. Caspi
M. Colnaric
A. Crespo Lorente
N. Dutt
P. Eles
R. Ernst CH
PT
DE
US
CA
DE
FR
FR
US
AT
DE
DE B. Eschermann
J. M. Fernandes
G. Fohler
G. R. Gao
U. Glaesser
W. Halang
T. Jeron
J.-M. Jezequel
K. H. Kim
R. Kirner
B. Kleinjohann
L. Kleinjohann AT
SE
PT
DK
BR
PT
AT
DE
DE
FR
PT
DE H. Kopetz
B. Lisper
R. J. Machado
J. Madsen
C. E. Pereira
L. Pinho
P. Puschner
F. J. Rammig
A. Rettberg
L.-M. Santana Ormeno
H. Santos
K. Schneider DE
FR
CH
SG
BR
DE
US
BE
CA
US B. Steffen
F. Terrier
L. Thiele
P. S. Thiagarajan
F. R. Wagner
K. Waldschmidt
W. Wolf
P. Wolper
L. T. Yang
Y. C. Yeh

PT FR US GB DE NL FR SI ES US SE DE	L. Almeida J. Arlat D. Avresky G. Bernat C. Bobda E. Brinksma P. Caspi M. Colnaric A. Crespo Lorente N. Dutt P. Eles R. Ernst	CH PT DE US CA DE FR FR US AT DE DE	B. Eschermann J. M. Fernandes G. Fohler G. R. Gao U. Glaesser W. Halang T. Jeron J.-M. Jezequel K. H. Kim R. Kirner B. Kleinjohann L. Kleinjohann	AT SE PT DK BR PT AT DE DE FR PT DE	H. Kopetz B. Lisper R. J. Machado J. Madsen C. E. Pereira L. Pinho P. Puschner F. J. Rammig A. Rettberg L.-M. Santana Ormeno H. Santos K. Schneider	DE FR CH SG BR DE US BE CA US	B. Steffen F. Terrier L. Thiele P. S. Thiagarajan F. R. Wagner K. Waldschmidt W. Wolf P. Wolper L. T. Yang Y. C. Yeh

WG 10.3 (Concurrent Systems)

est. 1978, revised 1979, 1988 Aims and Scopes

URL: http://www.ifipwg103.org/

Chair
Prof. Chris Jesshope
Department of Computer Science
University of Amsterdam
Kruislaan 403
1098 SJ Amsterdam
The Netherlands
Tel: +31 20 525 7570
Fax: +31 20 525 7419
e-mail: jesshope@science.uva.nl Vice-Chairs
Prof. Erik Maehle
Institute of Computer Engineering
University of Luebeck
Ratzeburger Allee 160, House 33, Room 104
D-23538 Luebeck
Germany
Tel: +49 451 500-3690
Fax: +49 451 500-3687
e-mail: maehle@iti.uni-luebeck.de
Prof. Guang Gao
Department of Electrical and Computer Engineering
140 Evans Hall
University of Delaware
Newark, DE 19716
USA
Tel: (302) 831-8218
Fax: (302) 831-4316
e-mail: ggao@ee.udel.edu
Secretary
Prof. Makoto Amamiya
Department of Intelligent Systems
Faculty of Information Science and Electrical Engineering
Kyushu University
6-1 Ksuga-koen Ksuga
Fukuoka 816-8580
Japan
Tel: +81-92-583-7613
Fax: +81-92-583-7613
e-mail: amamiya@is.kyushu-u.ac.jp

Chair Prof. Chris Jesshope Department of Computer Science University of Amsterdam Kruislaan 403 1098 SJ Amsterdam The Netherlands Tel: +31 20 525 7570 Fax: +31 20 525 7419 e-mail: jesshope@science.uva.nl	Vice-Chairs Prof. Erik Maehle Institute of Computer Engineering University of Luebeck Ratzeburger Allee 160, House 33, Room 104 D-23538 Luebeck Germany Tel: +49 451 500-3690 Fax: +49 451 500-3687 e-mail: maehle@iti.uni-luebeck.de Prof. Guang Gao Department of Electrical and Computer Engineering 140 Evans Hall University of Delaware Newark, DE 19716 USA Tel: (302) 831-8218 Fax: (302) 831-4316 e-mail: ggao@ee.udel.edu	Secretary Prof. Makoto Amamiya Department of Intelligent Systems Faculty of Information Science and Electrical Engineering Kyushu University 6-1 Ksuga-koen Ksuga Fukuoka 816-8580 Japan Tel: +81-92-583-7613 Fax: +81-92-583-7613 e-mail: amamiya@is.kyushu-u.ac.jp

Members

AU
AU
BE
BG
BR
CA
CA
CN
CH
CY
DE
DE G. Egan
A.L. Wendelborn
E. Dirkx
V.D. Lazarov
S. W. Song
W.M. Gentleman
G.M. Silberman
Z. Xu
H. Burkhart
P. Evripidou
Th. Bemmerl
A. Bode ES
FR
FR
FR
FR
FR
FR
GB
GB
GB
IN
IT R. Puigjaner
M. Cosnard
C. Eisenbeis
U. Finger
B. Folliot
C. Girault
M. Raynal
A.J.G. Hey
R. Ibbett
R. Perrott
V.P. Bhatkar
F. Baiardi IT
IT
JP
JP
RU
SE
TR
UK
UK
UK
US
US M. Danelutto
M. Vanneschi
Y. Muraoka
T. Nakatani
N.N. Mirenkov
G. Carlstedt
C. Aykanat
M. O'Boyle
A. Shafarenko
N. Topham
N. Bagherzadeh
R.H. Campbell US
US
US
US
US
US
US
US
US
US
US
US J. Dongarra
K. Ebcioglu
T. El-Ghazawi
E. Feustel
J.L. Gaudiot
M. J. Irwin
L. Rauchwerger
D. Reed
B. Samadi
B.A.Sanders
T. Sterling
H. Zima

AU AU BE BG BR CA CA CN CH CY DE DE	G. Egan A.L. Wendelborn E. Dirkx V.D. Lazarov S. W. Song W.M. Gentleman G.M. Silberman Z. Xu H. Burkhart P. Evripidou Th. Bemmerl A. Bode	ES FR FR FR FR FR FR GB GB GB IN IT	R. Puigjaner M. Cosnard C. Eisenbeis U. Finger B. Folliot C. Girault M. Raynal A.J.G. Hey R. Ibbett R. Perrott V.P. Bhatkar F. Baiardi	IT IT JP JP RU SE TR UK UK UK US US	M. Danelutto M. Vanneschi Y. Muraoka T. Nakatani N.N. Mirenkov G. Carlstedt C. Aykanat M. O'Boyle A. Shafarenko N. Topham N. Bagherzadeh R.H. Campbell	US US US US US US US US US US US US	J. Dongarra K. Ebcioglu T. El-Ghazawi E. Feustel J.L. Gaudiot M. J. Irwin L. Rauchwerger D. Reed B. Samadi B.A.Sanders T. Sterling H. Zima

WG 10.4 (Dependable Computing and Fault-Tolerance)

est. 1980, revised 1988 Aims and Scopes
URL: http://www.dependability.org/wg10.4/


Chair Dr. Richard D. Schlichting Shannon Laboratory, E221 AT&T Labs Research 180 Park Avenue FLORHAM PARK, NJ 07932 USA Tel.: +1 973 360 8234 Fax: +1 973 360 8077 e-mail: rick@research.att.com		Vice-Chairs Dr. Karama Kanoun LAAS - CNRS 7, avenue du Colonel Roche FR-31077 Toulouse Cedex 4 France Tel. +33 5 61 33 62 35 Fax:+33 5 61 33 64 11 e-mail: karama.kanoun@laas.fr


AT AT BR DE DE DE FR FR FR FR FR FR GB GB GB GB GB IT IT IT JP	H. Kopetz S. Poledna E. Martins M. Dal Cin G. Heiner N. Suri S. Budkowski A. Costes K. Kanoun J.C. Laprie G. LeLann D. Powell T. Anderson B. Littlewood B. Randell * L. Strigini R. J. Stroud A. Bondavalli M. Morganti L. Simoncini H. Ihara	JP JP LT PT PT SE US US US US US US US US US US US US US US	Y. Koga Y. Tohma A. Avizienis * H. Madeira P. Verissimo J. Torin * J. Abraham N. Bowen R. Chillarege K. R. Driscoll Ch. Fetzer W. Fuchs G.C. Gilley * J. Goldberg * W. Heimerdinger R.K. Iyer F. Jahanian W.C. Jones * Z. Kalbaraczyk K.H. Kim	US US US US US US US US US US US US US US US US US US US US	C. M. R. Kintala P. Koopman J.H. Lala C.E. Landwehr R.A. Maxion E.J. McCluskey J.F. Meyer * P. Narasimhan D.A. Rennels A.S. Robinson J. Rushby O. S. Saydjari R.D. Schlichting D.P. Siewiorek B. Smith L. Spainhower K.S. Trivedi C.J. Walter C.B. Weinstock Y. C. Yeh

* Member emeritus

WG 10.5 (Design and Engineering of Electronic Systems)

est. 1981, revised 1988, merged with WG 10.2 in 1994 Aims and Scopes
URL: http://www.inf.ufrgs.br/ifip10-5/real-index.html


Chair Prof. Michel Robert Montpellier Lab. of Computer Science, Robotics, and Microelectronics (LIRMM) Microelectronics Dep. 161, Rue Ada 34392 Montpellier Cedex 5 France Tel. +33(0) 467 418 518 Fax +33(0) 467 418 500 e-mail: Michel.Robert@lirmm.fr		Vice-Chairs Prof. Ricardo Augusto da Luz Reis Federal University of Rio Grande do Sul (UFRGS) Inst. of Informatics Av. Paulo Gama, 110 Porto Alegre/RS - Brasil Tel. (55) (51) 33 08 70 00 e-mail: reis@inf.ufrgs.br Prof. Luís Miguel Silveira Technical University of Lisbon, School of Engineering Dep. of Electrical and Computer Engineering INESC I&D Lisboa Rua Alves Redol 9, sala 136 1000 Lisboa, Portugal Tel.+ (351) 21 31 00 33 7 Fax +(351) 21 31 45 84 3 e-mail: lms@inesc-id.pt


AU AU BE BR CA CA CA CA DE DE DE DE DE DE DE DE DE DE DE DE	G.J. Milne A. Postula L. Claesen R.Reis D. Agnew E. Cerny D. Gale P. Paulin W. Damm H. Eveking M. Glesner W. Grass R.W. Hartenstein T. Margaria K. Mueller-Glaser W. Nebel R. Piloty * F.J. Rammig W. Rosenstiel P. Schwarz	ES FR FR FR FR FR FR GB GB GB GR IT JP JP JP KR NO PL PT RU	C. Delgado Kloos F. Anceau P. Bakowski D. Borrione A. Jerraya J. Mermet M. Robert M. Edwards P. Ivey G. Musgrave O. Koufopavlou D. Sciuto M. Fujita O. Karatsu A. Yamada K. Choi E. Aas A. Pawlak L.M. Silveira A.L. Stempkovsky	SK TW US US US US US US US US US US US US US US US US US	N. Fristacky J.-Y. Jou M.R. Barbacci F. Brglez R. Camposano E.M. Clarke Jr. J.P. Damore J.A. Darringer G. R. Hellestrand W. A. Hunt Jr. S.D. Johnson D. Luckham G. De Micheli R.A. Newton H. Ofek P.A. Subrahmanyam R. Waxman J. Willis W. Wolf

* Member emeritus

SIG 10.5.1 CHARME (Special Interest Group on Formal Design and Verification Methods for Correct Hardware-like Systems)

URL: http://www.cs.indiana.edu/~sjohnson/sig-charme/

Chair
Prof. Steven D. JOHNSON
University of Indiana
Computer Science Dept.
Lindley Hall, Room 215
150 S. Woodlawn
BLOOMINGTON,
IN 47405-7104, USA
Tel. +1 812-855-2567
Fax +1 812-855-482+
e-mail: sjohnson@cs.indiana.edu

BE
CA
CA
DE
DE
DE
FR
FR
FR Luc Claesen
Mark Aagaard
Alan J. Hu
Hans Eveking
Thomas Kropf
Tiziana Margaria
Dominique Borrione
Nicolas Halbwachs
Laurence Pierre GB
GB
GB
IL
IL
IL
IT
IT
SE Tom Melham
Alan Mycroft
Ken Turner
Danny Geist
Sagi Katz
Yossi Malkal
Benedetto Intrigila
Enrico Tronci
Mary Sheeran US
US
US
US
US
US
US
US Byron Cook
Ganesh Gopalakrishnan
Warren A. Hunt
Andrew Martin
Ken McMillian
John O'Leary
Kanna Shimizu
Miroslav Velev