default search action

combined dblp search
author search
venue search
publication search

ask others

13th ICECCS 2008: Belfast, Northern Ireland

> Home > Conferences and Workshops > ICECCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/iceccs/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/2008
13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland. IEEE Computer Society 2008, ISBN 0-7695-3139-3

Keynotes

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Hoare08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Hoare08
Tony Hoare:
Verified Software: Theories, Tools, Experiments. 3
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Ryan08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Ryan08
Kevin Ryan:
Global Software Engineering Research in a Small Country. 4

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Sekerinski08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Sekerinski08
Emil Sekerinski:
Verifying Statecharts with State Invariants. 7-14
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LeeSDG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LeeSDG08
Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves:
Verifying Semistructured Data Normalization Using PVS. 15-24
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/WongSWS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/WongSWS08
Stephen Wong, Jing Sun, Ian Warren, Jun Sun:
A Scalable Approach to Multi-style Architectural Modeling and Verification. 25-34
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/MousaviF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/MousaviF08
Abdolmajid Mousavi, Behrouz H. Far:
Revisiting Safe Realizability of Message Sequence Charts Specifications. 37-45
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/JinZN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/JinZN08
Naiyong Jin, Juan Zhou, Taoyong Ni:
iPSL: An Environment for IP-Based PSL Specification. 46-55
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/VivekanandarajahP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/VivekanandarajahP08
Kugan Vivekanandarajah, Santhosh Kumar Pilakkat:
Task Mapping in Heterogeneous MPSoCs for System Level Design. 56-65
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/TianTF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/TianTF08
Guosong Tian, Yu-Chu Tian, Colin J. Fidge:
High-Precision Relative Clock Synchronization Using Time Stamp Counters. 69-78
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/HuangHRJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/HuangHRJ08
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
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/SchneidewindH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/SchneidewindH08
Norman F. Schneidewind, Mike Hinchey:
Why Predicting Outliers in Software is a Good Thing to Do! 91-97
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Bashardoust-TajaliC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Bashardoust-TajaliC08
Soheila Bashardoust-Tajali, Jean-Pierre Corriveau:
On Extracting Tests from a Testable Model in the Context of Domain Engineering. 98-107
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/WangGPSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/WangGPSS08
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun:
A Formal Model of Semantic Web Service Ontology (WSMO) Execution. 111-120
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LeeZW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LeeZW08
Zhi Quan Lee, Yuan Qin Zhu, Ian Warren:
Jini++: A Framework for Developing Pervasive and Wireless Distributed Applications. 121-130
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/JuszczykTD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/JuszczykTD08
Lukasz Juszczyk, Hong Linh Truong, Schahram Dustdar:
GENESIS - A Framework for Automatic Generation and Steering of Testbeds of ComplexWeb Services. 131-140
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/WoodcockF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/WoodcockF08
Jim Woodcock, Leo Freitas:
Linking VDM and Z. 143-152
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/FreitasWB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/FreitasWB08
Leo Freitas, Jim Woodcock, Andrew Butterfield:
POSIX and the Verification Grand Challenge: A Roadmap. 153-162
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Fallah-SeghrouchniBSECB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Fallah-SeghrouchniBSECB08
Amal El Fallah Seghrouchni, Karin K. Breitman, Nicolas Sabouret, Markus Endler, Yasmine Charif, Jean-Pierre Briot:
Ambient Intelligence Applications: Introducing the Campus Framework. 165-174
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/FilhoEB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/FilhoEB08
José Viterbo Filho, Markus Endler, Jean-Pierre Briot:
Ubiquitous Service Regulation Based on Dynamic Rules. 175-182
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Margaria08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Margaria08
Tiziana Margaria:
The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. 183-189
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/TravassosSMNB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/TravassosSMNB08
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
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/MendoncaMOCFSTHB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/MendoncaMOCFSTHB08
Manoel G. Mendonça, José Carlos Maldonado, Maria Cristina Ferreira de Oliveira, Jeffrey C. Carver, Sandra Camargo Pinto Ferraz Fabbri, Forrest Shull, Guilherme Horta Travassos, Erika Nina Höhn, Victor R. Basili:
A Framework for Software Engineering Experimental Replications. 203-212
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/PerseilP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/PerseilP08
Isabelle Perseil, Laurent Pautet:
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. 217-221
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/MraidhaTJTG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/MraidhaTJTG08
Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard:
AnExecution Framework for MARTE-Based Models. 222-227
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/0002MS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/0002MS08
Su-Young Lee, Frédéric Mallet, Robert de Simone:
Dealing with AADL End-to-End Flow Latency with UML MARTE. 228-233
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ZitouniSB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ZitouniSB08
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda:
Contract-Based Approach to Analyze Software Components. 237-242
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BoudaliCHKS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BoudaliCHKS08
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga:
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. 243-248
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/HauseT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/HauseT08
Matthew Clayton Hause, Francis Thom:
An Integrated MDA Approach with SysML and UML. 249-254
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BrunDT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BrunDT08
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
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/AbdoulCDPR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/AbdoulCDPR08
Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger:
AADL Execution Semantics Transformation for Formal Verification. 263-268
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BalpBHT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BalpBHT08
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
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/DelanoteBJB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/DelanoteBJB08
Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers:
Using AADL to Model a Protocol Stack. 277-281
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/RollandBFCT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/RollandBFCT08
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas:
Modes in Asynchronous Systems. 282-287
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BertrandDFR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BertrandDFR08
Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux:
A Study of the AADL Mode Change Protocol. 288-293
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/Feiler08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Feiler08
Peter H. Feiler:
Efficient Embedded Runtime Systems through Port Communication Optimization. 294-300

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.