2013 18th International Conference on Engineering of Complex Computer Systems
Latest Publications

TOTAL DOCUMENTS

49

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE

9780769550077, 9780769550077

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Adequate Logic for Heterogeneous Systems

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.19 ◽

2013 ◽

Author(s):

Marc Aiguier ◽

Boris Golden ◽

Daniel Krob

Keyword(s):

Heterogeneous Systems

Download Full-text

Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.46 ◽

2013 ◽

Author(s):

Peng Liu ◽

Huibiao Zhu ◽

Shengchao Qin ◽

Phillip J. Brooke ◽

Xi Wu

Keyword(s):

Web Services ◽

Operational Semantics ◽

Algebraic Semantics

Download Full-text

Preface

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.5 ◽

2013 ◽

Download Full-text

Model-Based Verification of Energy-Aware Real-Time Automotive Systems

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.27 ◽

2013 ◽

Author(s):

Eun-Young Kang ◽

Gilles Perrouin ◽

Pierre-Yves Schobbens

Keyword(s):

Real Time ◽

Energy Aware ◽

Automotive Systems ◽

Download Full-text

CosyVerif: An Open Source Extensible Verification Environment

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.15 ◽

2013 ◽

Author(s):

Etienne Andre ◽

Yousra Lembachar ◽

Laure Petrucci ◽

Francis Hulin-Hubard ◽

Alban Linard ◽

...

Keyword(s):

Download Full-text

Automated Analysis of Reliability Architectures

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.37 ◽

2013 ◽

Author(s):

Marco Bozzano ◽

Alessandro Cimatti ◽

Cristian Mattarei

Keyword(s):

Automated Analysis

Download Full-text

Resilient Architecture for Complex Computing Systems

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.45 ◽

2013 ◽

Author(s):

Ichiro Satoh

Keyword(s):

Computing Systems

Download Full-text

Goal Model Elaboration for Software Evolution

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.11 ◽

2013 ◽

Author(s):

Shinichi Honiden

Keyword(s):

Software Evolution ◽

Download Full-text

Model-Driven Performance Prediction of Distributed Real-Time Embedded Defense Systems

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.29 ◽

2013 ◽

Author(s):

Katrina Falkner ◽

Vanea Chiprianov ◽

Nickolas Falkner ◽

Claudia Szabo ◽

James Hill ◽

...

Keyword(s):

Real Time ◽

Performance Prediction ◽

Model Driven ◽

Defense Systems

Download Full-text

Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.24 ◽

2013 ◽

Author(s):

Qin Li ◽

Graeme Smith

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text