default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th ICECCS 2008: Belfast, Northern Ireland
- 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
- 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 K. 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 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 - 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
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.
last updated on 2025-06-02 21:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
