2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467385817

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Improved Recovery for Proactive, Distributed Routing

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.27 ◽

2015 ◽

Cited By ~ 4

Author(s):

Mojgan Kamali ◽

Luigia Petre

Keyword(s):

Distributed Routing

Download Full-text

Formal Analysis of a Single Sign-On Protocol Implementation for Android

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.20 ◽

2015 ◽

Cited By ~ 8

Author(s):

Quanqi Ye ◽

Guangdong Bai ◽

Kailong Wang ◽

Jin Song Dong

Keyword(s):

Formal Analysis ◽

Protocol Implementation ◽

Single Sign On

Download Full-text

Hardened Flow-Sensitive Trace Formula for Fault Localization

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.16 ◽

2015 ◽

Cited By ~ 1

Author(s):

Si-Mohamed Lamraoui ◽

Shin Nakajima ◽

Hiroshi Hosobe

Keyword(s):

Trace Formula ◽

Fault Localization

Download Full-text

[Copyright notice]

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.3 ◽

2015 ◽

Keyword(s):

Download Full-text

SeBip: A Symbolic Executor for BIP

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.26 ◽

2015 ◽

Author(s):

Wang Qiang ◽

Simon Bliudze

Download Full-text

Additional reviewers

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.9 ◽

2015 ◽

Download Full-text

A Make/Buy/Reuse Feature Development Framework for Product Line Evolution

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.14 ◽

2015 ◽

Cited By ~ 1

Author(s):

Juha Savolainen ◽

Mike Mannion

Keyword(s):

Product Line ◽

Development Framework

Download Full-text

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.4 ◽

2015 ◽

Download Full-text

Towards a Session Logic for Communication Protocols

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.33 ◽

2015 ◽

Cited By ~ 3

Author(s):

Florin Craciun ◽

Tibor Kiss ◽

Andreea Costea

Keyword(s):

Communication Protocols

Download Full-text

Preface

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.5 ◽

2015 ◽

Download Full-text

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Improved Recovery for Proactive, Distributed Routing

Formal Analysis of a Single Sign-On Protocol Implementation for Android

Hardened Flow-Sensitive Trace Formula for Fault Localization

[Copyright notice]

SeBip: A Symbolic Executor for BIP

Additional reviewers

A Make/Buy/Reuse Feature Development Framework for Product Line Evolution

Table of contents

Towards a Session Logic for Communication Protocols

Preface

Export Citation Format

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Improved Recovery for Proactive, Distributed Routing

Formal Analysis of a Single Sign-On Protocol Implementation for Android

Hardened Flow-Sensitive Trace Formula for Fault Localization

[Copyright notice]

SeBip: A Symbolic Executor for BIP

Additional reviewers

A Make/Buy/Reuse Feature Development Framework for Product Line Evolution

Table of contents

Towards a Session Logic for Communication Protocols

Preface

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS)
Latest Publications