13. ICECCS 2008: Belfast, Northern Ireland

Keynotes

• Tony Hoare:
  Verified Software: Theories, Tools, Experiments. 3
  
• Kevin Ryan:
  Global Software Engineering Research in a Small Country. 4
  

Verification

• Emil Sekerinski:
  Verifying Statecharts with State Invariants. 7-14
  
• Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves:
  Verifying Semistructured Data Normalization Using PVS. 15-24
  
• Stephen Wong, Jing Sun, Ian Warren, Jun Sun:
  A Scalable Approach to Multi-style Architectural Modeling and Verification. 25-34
  
• Abdolmajid Mousavi, Behrouz H. Far:
  Revisiting Safe Realizability of Message Sequence Charts Specifications. 37-45
  
• Naiyong Jin, Juan Zhou, Taoyong Ni:
  iPSL: An Environment for IP-Based PSL Specification. 46-55
  
• Kugan Vivekanandarajah, Santhosh Kumar Pilakkat:
  Task Mapping in Heterogeneous MPSoCs for System Level Design. 56-65
  
• Guosong Tian, Yu-Chu Tian, Colin J. Fidge:
  High-Precision Relative Clock Synchronization Using Time Stamp Counters. 69-78
  
• Fei Huang, Kai Han, Binoy Ravindran, E. Douglas Jensen:
  Integrated Real-Time Scheduling and Communication with Probabilistic Timing Assurances in Unreliable Distributed Systems. 79-88
  
• Norman F. Schneidewind, Mike Hinchey:
  Why Predicting Outliers in Software is a Good Thing to Do! 91-97
  
• Soheila Bashardoust-Tajali, Jean-Pierre Corriveau:
  On Extracting Tests from a Testable Model in the Context of Domain Engineering. 98-107
  
• Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun:
  A Formal Model of Semantic Web Service Ontology (WSMO) Execution. 111-120
  
• Zhi Quan Lee, Yuan Qin Zhu, Ian Warren:
  Jini++: A Framework for Developing Pervasive and Wireless Distributed Applications. 121-130
  
• Lukasz Juszczyk, Hong Linh Truong, Schahram Dustdar:
  GENESIS - A Framework for Automatic Generation and Steering of Testbeds of ComplexWeb Services. 131-140
  
• Jim Woodcock, Leo Freitas:
  Linking VDM and Z. 143-152
  
• Leo Freitas, Jim Woodcock, Andrew Butterfield:
  POSIX and the Verification Grand Challenge: A Roadmap. 153-162
  
• Amal El Fallah-Seghrouchni, Karin Breitman, Nicolas Sabouret, Markus Endler, Yasmine Charif, Jean-Pierre Briot:
  Ambient Intelligence Applications: Introducing the Campus Framework. 165-174
  
• José Viterbo Filho, Markus Endler, Jean-Pierre Briot:
  Ubiquitous Service Regulation Based on Dynamic Rules. 175-182
  
• Tiziana Margaria:
  The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. 183-189
  
• Guilherme Horta Travassos, Paulo Sérgio Medeiros dos Santos, Paula Gomes Mian, Arilo Claudio Dias Neto, Jorge Calmon de Almeida Biolchini:
  An Environment to Support Large Scale Experimentation in Software Engineering. 193-202
  
• Manoel G. Mendonça, José Carlos Maldonado, Maria Cristina Ferreira de Oliveira, Jeffrey Carver, Sandra Camargo Pinto Ferraz Fabbri, Forrest Shull, Guilherme Horta Travassos, Erika Nina Hohn, Victor R. Basili:
  A Framework for Software Engineering Experimental Replications. 203-212
  
• Isabelle Perseil, Laurent Pautet:
  A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. 217-221
  
• Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard:
  AnExecution Framework for MARTE-Based Models. 222-227
  
• Su-Young Lee, Frédéric Mallet, Robert de Simone:
  Dealing with AADL End-to-End Flow Latency with UML MARTE. 228-233
  
• Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda:
  Contract-Based Approach to Analyze Software Components. 237-242
  
• Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga:
  Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. 243-248
  
• Matthew Clayton Hause, Francis Thom:
  An Integrated MDA Approach with SysML and UML. 249-254
  
• Matthias Brun, Jérôme Delatour, Yvon Trinquet:
  Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. 257-262
  
• Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger:
  AADL Execution Semantics Transformation for Formal Verification. 263-268
  
• Hugues Balp, Etienne Borde, Grégory Haïk, Jean-François Tilman:
  Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems. 269-274
  
• Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers:
  Using AADL to Model a Protocol Stack. 277-281
  
• Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas:
  Modes in Asynchronous Systems. 282-287
  
• Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux:
  A Study of the AADL Mode Change Protocol. 288-293
  
• Peter H. Feiler:
  Efficient Embedded Runtime Systems through Port Communication Optimization. 294-300