![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
13th 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.