2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781509055265, 9781509055272

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2016.024 ◽

2016 ◽

Author(s):

Juri Vain ◽

Leonidas Tsiopoulos ◽

Jishu Guin

Keyword(s):

Timed Automata

Download Full-text

Guiding the Selection of Security Patterns for Real-Time Systems

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2016.027 ◽

2016 ◽

Author(s):

Anas Motii ◽

Brahim Hamid ◽

Agnes Lanusse ◽

Jean-Michel Bruel

Keyword(s):

Real Time ◽

Real Time Systems ◽

Security Patterns ◽

Time Systems ◽

Selection Of

Download Full-text

From Code to Design: A Reverse Engineering Approach

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2016.030 ◽

2016 ◽

Author(s):

Elliot Varoy ◽

John Burrows ◽

Jing Sun ◽

Sathiamoorthy Manoharan

Keyword(s):

Reverse Engineering ◽

Engineering Approach

Download Full-text

Semantic Technologies for Realising Decentralised Applications for the Web of Things

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2016.018 ◽

2016 ◽

Cited By ~ 2

Author(s):

Felix Leif Keppmann ◽

Maria Maleshkova ◽

Andreas Harth

Keyword(s):

Semantic Technologies ◽

Web Of Things ◽

The Web

Download Full-text

Universal Analysis and Detection Framework for Location Aided Routing

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2016.026 ◽

2016 ◽

Author(s):

Xin Zhang ◽

Xiaohong Li ◽

Zhiyong Feng ◽

Guangquan Xu

Download Full-text

Keynotes

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2016.010 ◽

2016 ◽

Download Full-text

Copyright Page

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2016.004 ◽

2016 ◽

Download Full-text

TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2016.013 ◽

2016 ◽

Cited By ~ 3

Author(s):

Barry Dowdeswell ◽

Roopak Sinha ◽

Enrico Haemmerle

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Modelling Link State Routing in Event-B

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2016.035 ◽

2016 ◽

Cited By ~ 4

Author(s):

Mojgan Kamali ◽

Luigia Petre

Keyword(s):

Link State

Download Full-text

Title Page i

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2016.002 ◽

2016 ◽

Keyword(s):

Title Page

Download Full-text

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata

Guiding the Selection of Security Patterns for Real-Time Systems

From Code to Design: A Reverse Engineering Approach

Semantic Technologies for Realising Decentralised Applications for the Web of Things

Universal Analysis and Detection Framework for Location Aided Routing

Keynotes

Copyright Page

TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems

Modelling Link State Routing in Event-B

Title Page i

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS)
Latest Publications