Subscribe
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (2006)
Potsdam
March 27, 2006 to March 30, 2006
ISBN: 0-7695-2546-6
TABLE OF CONTENTS
Introduction
pp. xii
pp. xiii
Introduction
Adaptive Computing
Francis Bordeleau , Zeligsoft and Carleton University
D?Arcy Walsh , Carleton University
pp. 3-12
Architectures
Torsten Dettborn , Friedrich Schiller University Jena, Germany
Steffen Kern , Friedrich Schiller University Jena, Germany
Yang Ji , Friedrich Schiller University Jena, Germany
Christian Erfurth , Friedrich Schiller University Jena, Germany
Wilhelm Rossak , Friedrich Schiller University Jena, Germany
Peter Braun , the agent factory GmbH, Germany
pp. 23-31
Elena Navarro , Computer Science,UCLM
Patricio Letelier , Information Systems and Computation, UPV
Jennifer Perez , Information Systems and Computation, UPV
pp. 32-41
Peter Tabeling , Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany
Rasmus Hofmann , Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany
pp. 42-51
Anne-Francoise Le Meur , INRIA/LIFL , Universite des Sciences et Technologies de Lille, Cedex, France
Laurence Duchien , INRIA/LIFL , Universite des Sciences et Technologies de Lille, Cedex, France
Olivier Barais , INRIA/LIFL , Universite des Sciences et Technologies de Lille, Cedex, France
pp. 52-64
Design Evolution
Tim O?Neill , University of Technology, Sydney
Cameron Maxwell , University of Technology, Sydney
pp. 65-72
Sven Wohlfarth , Technical University Ilmenau, Ilmenau, Germany
pp. 73-79
Jing Dong , University of Texas at Dallas
Sheng Yang , University of Texas at Dallas
Kang Zhang , University of Texas at Dallas
pp. 80-92
Distributed Systems Design
Chuan Feng , University of Arizona
Jerzy W. Rozenblit , University of Arizona
Lizhi Yang , University of Arizona
pp. 103-111
Andras Nadas , Vanderbilt University, Nashville, TN, USA
Peter Volgyesi , Vanderbilt University, Nashville, TN, USA
pp. 112-122
Embedded and Real-Time Software Systems
Jarkko Hyysalo , University of Oulu
Maarit Tihinen , VTT Technical Research Centre of Finland
pp. 130-138
Kaj Hanninen , Arcticus Systems Sweden
Jukka Maki-Turja , Malardalen Research and Technology Centre (MRTC) Sweden
Mikael Nolin , Malardalen Research and Technology Centre (MRTC) Sweden
pp. 139-150
Formal Methods
Ondrej Rysavy , Brno University of Technology, Czech Republic
Frantisek Scuglik , Brno University of Technology, Czech Republic
Miroslav Sveda , Brno University of Technology, Czech Republic
pp. 159-163
Ethan K. Jackson , Vanderbilt University, Nashville, TN
Janos Sztipanovits , Vanderbilt University, Nashville, TN
pp. 164-176
Model-Based System Design
Gabor Karsai , Vanderbilt University, Nashville, TN, USA
Tivadar Szemethy , Vanderbilt University, Nashville, TN, USA
pp. 177-186
Prabhat Ranjan , Motilal Nehru National Institute of Technology, Uttar Pradesh, INDIA
pp. 187-195
Stoyan Paunov , Vanderbilt University, Nashville, TN
James Hill , Vanderbilt University, Nashville, TN
Douglas Schmidt , Vanderbilt University, Nashville, TN
Steven D. Baker , Raytheon Company Portsmouth, RI
John M. Slaby , Raytheon Company Portsmouth, RI
pp. 196-208
Modeling and Analysis of Complex Systems I
Seung-Il Lee , Daegu University
Yong-Doo Lee , Daegu University
Won-Kee Hong , Daegu University
pp. 209-218
Ibrahim Armac , RWTH Aachen University of Technology, Ahornstr.Aachen, Germany
Liviana Manolescu , RWTH Aachen University of Technology, Ahornstr.Aachen, Germany
pp. 219-228
Frank Keenan , Dundalk Institute of Technology, Ireland
pp. 229-240
Modeling and Analysis of Complex Systems II
Bernhard Grone , Hasso-Plattner-Institute for Software Systems Engineering, Potsdam, Germany
pp. 241-246
Tim O?Neill , University of Technology, Sydney
John Leaney , University of Technology, Sydney
Mark Denford , University of Technology, Sydney
David Livolsi , University of Technology, Sydney
pp. 247-258
Modeling and Analysis of Complex Systems III
Jens B?k Jorgensen , University of Aarhus, Aarhus N, Denmark
pp. 259-268
Joachim Bayer , Fraunhofer Institute for Experimental Software Engineering (IESE), Kaiserslautern, Germany
pp. 269-278
Mohammed Hussein , Queens University, Kingston
pp. 279-288
Product-Family Models and Architectures
Sybren Deelstra , University of Groningen, Netherlands
Jos Nijhuis , University of Groningen, Netherlands
Marco Sinnema , University of Groningen, Netherlands
pp. 299-307
Periklis Sochos , Technical University of Ilmenau, Germany
Matthias Riebisch , Technical University of Ilmenau, Germany
Ilka Philippow , Technical University of Ilmenau, Germany
pp. 308-318
Reliability, Safety, Dependability, Security
Elena Navarro , Computer Science Department, UCLM
Pedro Sanchez , Information Technology and Communication, UPCT
Patricio Letelier , Department of Information Systems and Computation, UPV
Juan A. Pastor , Information Technology and Communication, UPCT
Isidro Ramos , Department of Information Systems and Computation, UPV
pp. 319-326
Bo Guo , National University of Defense Technology, Changsha, China
Fang Liu , National University of Defense Technology, Changsha, China
pp. 327-333
Piotr Tomaszewski , Blekinge Institute of Technology
Jim Hakansson , Blekinge Institute of Technology
Lars Lundberg , Blekinge Institute of Technology
Hakan Grahn , Blekinge Institute of Technology
pp. 334-343
Guang Jin , National University of Defense Technology, Changsha, China
Doudou Dong , National University of Defense Technology, Changsha, China
Zhongbao Zhou , National University of Defense Technology, Changsha, China
pp. 344-352
System on a Chip
Claudio Talarico , Eastern Washington University
Min-sung Koh , Eastern Washington University
pp. 353-359
Sepideh Sepideh Mazrouee , Islamic Azad University
Mohammad Reza Kakoee , Islamic Azad University
pp. 368-376
System Assessment, Testing, and Metrics
Miroslav Popovic , University of Novi Sad, Serbia
Ivan Velikic , University of Novi Sad, Serbia
Jelena Tatic , University of Novi Sad, Serbia
pp. 377-386
Yuehong Liao , California State University Los Angeles
Jiang Guo , California State University Los Angeles
pp. 387-396
Roberto Podesta , University of Genoa, Via Opera Pia 13, 16145, Genoa, ITALY
Matteo Marchesotti , University of Genoa, Via Opera Pia 13, 16145, Genoa, ITALY
pp. 397-408
Verification and Validation
Mourad Debbabi , Concordia University, Montreal, Canada
Yosr Jarraya , Concordia University, Montreal, Canada
Andrei Soeanu , Concordia University, Montreal, Canada
Fawzi Hassayne , Defence Research and Development Canada, Ottawa, Ontario, Canada
pp. 409-418
Nikola Bogunovi , University of Zagreb, Croatia
Edgar Pek , University of Zagreb, Croatia
pp. 419-425
Jean-Pierre Talpin , IRISA-INRIA, ESPRESSO team, Campus Universitaire de Beaulieu Rennes, Cedex France
David Berner , IRISA-INRIA, ESPRESSO team, Campus Universitaire de Beaulieu Rennes, Cedex France
Hamoudi Kalla , IRISA-INRIA, ESPRESSO team, Campus Universitaire de Beaulieu Rennes, Cedex France
pp. 426-436
Doctoral Symposium Papers
Klaus Meffert , Technical University Ilmenau
pp. 437-445
Marcel Seelig , University of Potsdam, Germany
pp. 445-452
Zhijie Nie , Wuhan Institute of Chemical Technology, China
Bifeng Li , Wuhan Institute of Chemical Technology, China
Lianlian Cao , Wuhan Institute of Chemical Technology, China
Keqing He , State key laboratory of Software Engineering, Wuhan University, China
pp. 453-459
Adeniyi Onabajo , University of Victoria, Canada
Jens H. Jahnke , University of Victoria, Canada
pp. 460-467
Ivonne Erfurth , Friedrich-Schiller-University Jena, Germany
pp. 468-476
Poster Session Papers
Yuehong Liao , California State University Los Angeles
Behzad Parvi , California State University Los Angeles
pp. 481-482
Haroon Saleem Khan , National University of Computers and Emerging Sciences, Islamabad, Pakistan
pp. 483-484
Yucong Duan , Chinese Academy of Sciences, China
Yuqing Gu , Chinese Academy of Sciences, China
Xiaolan Fu , Chinese Academy of Sciences, China
S.C. Cheung , Hong Kong University of Science & Technology, China
Jing Wang , Towson University, USA
Qingwu Hu , NEC Telecom System, China
pp. 487-488
Mitsuji Matsumoto , GITS Waseda University Tokyo, Japan
Yan Zhang , Jumonji University
pp. 489-490
Steffen Kollmann , University of Oldenburg
Karsten Albers , University of Oldenburg
Frank Bodmann , University of Oldenburg
Frank Slomka , University of Oldenburg
pp. 491-492
Bong-Soo Ha , Daegu University, Korea
Yong-Doo Lee , Daegu University, Korea
Ki-Hyeon Kim , Daegu University, Korea
pp. 493-494
Jung-sick Byun , Daegu University, South Korea
Won-Kee Hong , Daegu University, South Korea
pp. 495-496
Zongkai Yang , Central China Normal University, Wuhan, hubei province, P.R.China
Jixin Wang , Central China Normal University, Wuhan, hubei province, P.R.China
Tao Huang , Central China Normal University, Wuhan, hubei province, P.R.China
Xia Li , Central China Normal University, Wuhan, hubei province, P.R.China
Gang Zhao , Central China Normal University, Wuhan, hubei province, P.R.China
pp. 499-500
Matthias Werner , Berlin University of Technology
Gero Muhl , Berlin University of Technology
pp. 501-502
Dharmender Singh Kushwaha , Moti Lal Nehru National Institute Of Technology, Allahabad, India
A.K. Misra , Moti Lal Nehru National Institute Of Technology, Allahabad, India
pp. 503-504
C. Feng , University of Arizona
J. Peng , University of Arizona
pp. 505-506
Author Index