• I
  • ICECCS
  • 2007
  • 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
Advanced Search 
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
Auckland, New Zealand
July 11-July 14
ISBN: 0-7695-2895-3
Table of Contents
Introduction
Keynote Speaker
Real-time Systems
Petra Malik, University of Waikato, New Zealand
Robi Malik, University of Waikato, New Zealand
David Streader, University of Waikato, New Zealand
Steve Reeves, University of Waikato, New Zealand
pp. 25-34
Modeling and Verification
Huaikou Miao, Shanghai University, China
Hongwei Zeng, Shanghai University, China; Wuhan University, China
pp. 47-55
Lijun Yu, Colorado State University, USA
Robert B. France, Colorado State University, USA
Indrakshi Ray, Colorado State University, USA
Kevin Lano, Kings College, UK
pp. 56-63
Jing Li, East China Normal University, China
Huibiao Zhu, East China Normal University, China
Geguang Pu, East China Normal University, China
Jifeng He, East China Normal University, China
pp. 64-73
Hai H. Wang, University of Southampton, UK
Nick Gibbins, University of Southampton, UK
Terry Payne, University of Southampton, UK
Ahmed Saleh, University of Southampton, UK
Jun Sun, National University of Singapore, Singapore
pp. 74-86
Paul Strooper, The University of Queensland, Australia
Margaret A. Wojcicki, The University of Queensland, Australia
pp. 87-96
Safety and Security
Peter Laurens, University of York, UK
Richard F. Paige, University of York, UK
Phillip J. Brooke, University of Teesside, UK
Howard Chivers, Cranfield University, UK
pp. 97-106
Tim McComb, University of Queensland, Australia
Luke Wildman, University of Queensland, Australia
pp. 117-128
Context Awareness and Ubiquitous Computing
Jeongkyu Park, Korea Aerospace University, Korea
Jiung Han, Korea Aerospace University, Korea
Kibong Kang, Korea Aerospace University, Korea
Keung Hae Lee, Korea Aerospace University, Korea
pp. 129-137
Simon Connelly, University of Queensland, Australia
Peter Lindsay, University of Queensland, Australia
Marcus Gallagher, University of Queensland, Australia
pp. 138-147
Weishan Zhang, Tongji University, China
Thomas Kunz, Carleton University, Canada
Klaus Marius, Hansen University of Aarhus, Denmark
pp. 148-160
Formal Languages
Yuzhang Feng, National University of Singapore, Singapore
Yuan Fang Li, National University of Singapore, Singapore
Colin Keng-Yan Tan, National University of Singapore, Singapore
Bimlesh Wadhwa, National University of Singapore, Singapore
Hai Wang, University of Southampton, United Kingdom
pp. 165-174
Jens Dietrich, Massey University, New Zealand
John Hosking, University of Auckland, New Zealand
Jonathan Giles, Massey University, New Zealand
pp. 175-184
Shengchao Qin, Durham University, UK
Guanhua He, Durham University, UK
pp. 185-196
Software Architecture
Thomas Panas, Lawrence Livermore National Laboratory
Thomas Epperly, Lawrence Livermore National Laboratory
Daniel Quinlan, Lawrence Livermore National Laboratory
Andreas Saebjornsen, Lawrence Livermore National Laboratory
Richard Vuduc, Lawrence Livermore National Laboratory
pp. 217-228
Special Session: Addressing Complexity with Autonomic Systems
Roy Sterritt, University of Ulster, Northern Ireland
Sarah Eowyn, Johnston University of Ulster, Northern Ireland
Patricia O'Hagan, Core Systems, Belfast, Northern Ireland
Edward Hanna, Core Systems, Belfast, Northern Ireland
pp. 238-250
Special Session: Grand Challenges--Complex Program Verifier
Andrew Butterfield, Trinity College Dublin, Ireland
Jim Woodcock, University of York, UK
pp. 251-260
Zhenbang Chen, United Nations University
Zhiming Liu, United Nations University
Volker Stolz, United Nations University
Lu Yang, United Nations University
Anders P. Ravn, University of Aalborg, Denmark
pp. 277-289
Wei-Ngan Chin, National University of Singapore, Singapore; Singapore-MIT Alliance
Cristina David, National University of Singapore, Singapore
Huu Hai Nguyen, Singapore-MIT Alliance
Shengchao Qin, Durham University, UK
pp. 307-320
Special Session: Advances in the FMICS-jETI Platform for Program Verification
María del Mar Gallardo, University of Malaga, Spain
Pedro Merino, University of Malaga, Spain
Christophe Joubert, Technical University of Valencia, Spain
David Sanán, University of Malaga, Spain
pp. 321-329
Jirí Barnat, Masaryk University, Czech Republic
Lubos Brim, Masaryk University, Czech Republic
Martin Leucker, Technische Universitat Munchen, Germany
pp. 330-339
Tiziana Margaria, University of Potsdam, Germany
Harald Raffelt, University of Dortmund, Germany
Bernhard Steffen, University of Dortmund, Germany
Martin Leucker, TU Munchen, Germany
pp. 340-352
Selected Papers from the UML&AADL 2007 Workshop
Philippe Cuenot, Siemens VDO, France
DeJiu Chen, Royal Institute of Technology, Sweden
Sébastien Gérard, CEA List, France
Henrik Lönn, Volvo Technology Corporation, Sweden
Mark-Oliver Reiser, Technical University of Berlin, Germany
David Servat, CEA List, France
Carl-Johan Sjöstedt, Royal Institute of Technology, Sweden
Ramin Tavakoli Kolagari, Technical University of Berlin, Germany
Martin Törngren, Royal Institute of Technology, Sweden
Matthias Weber, Carmeq GmbH, Germany
pp. 353-358
Madeleine Faugère, Thales Research and Technology
Thimothée Bourbeau, Thales Research and Technology
Robert de Simone, INRIA, France
Sébastien Gérard, CEA LIST, France
pp. 359-364
From PIMs to PSMs (Abstract)
Peter H. Feiler, Carnegie Mellon University
Dio de Niz, Carnegie Mellon University
Chris Raistrick, Kennedy-Carter
Bruce A. Lewis, US Army, AMRDEC
pp. 365-370
Ricardo Bedin França, IRIT-Universite Paul Sabatier, France
Jean-Paul Bodeveix, IRIT-Universite Paul Sabatier, France
Mamoun Filali, IRIT-Universite Paul Sabatier, France
Jean-François Rolland, IRIT-Universite Paul Sabatier, France
David Chemouil, Centre national d'etudes spatiales, Toulouse
Dave Thomas, EADS Astrium Satellites
pp. 377-382
Author Index
Usage of this product signifies your acceptance of the Terms of Use.