2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538693414

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs2018.2018.00009 ◽

2018 ◽

Cited By ~ 2

Author(s):

Hoang Gia Nguyen ◽

Laure Petrucci ◽

Jaco van de Pol

Keyword(s):

Timed Automata

Download Full-text

Reusing Formal Models via Lifting

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs2018.2018.00029 ◽

2018 ◽

Author(s):

Dana Dghaym ◽

Colin Snook ◽

Thai Son Hoang ◽

Michael Butler

Keyword(s):

Formal Models

Download Full-text

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs2018.2018.00004 ◽

2018 ◽

Download Full-text

Back Propagating B System Updates on SysML/KAOS Domain Models

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs2018.2018.00025 ◽

2018 ◽

Author(s):

Steve Jeffrey Tueno Fotso ◽

Marc Frappier ◽

Regine Laleau ◽

Amel Mammar

Keyword(s):

Domain Models

Download Full-text

Kinship Determination in Mobile Social Networks

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs2018.2018.00033 ◽

2018 ◽

Author(s):

Tianxin Liang ◽

Xiaoping Yang ◽

Liang Wang ◽

Zhenyuan Han

Keyword(s):

Social Networks ◽

Mobile Social Networks

Download Full-text

ICECCS 2018 Organizing Committee

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs2018.2018.00006 ◽

2018 ◽

Download Full-text

Efficient Algorithms and Tools for MITL Model-Checking and Synthesis

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs2018.2018.00027 ◽

2018 ◽

Cited By ~ 1

Author(s):

Thomas Brihaye ◽

Gilles Geeraerts ◽

Hsi-Ming Ho ◽

Arthur Milchior ◽

Benjamin Monmege

Keyword(s):

Model Checking ◽

Efficient Algorithms

Download Full-text

EH-Recommender: Recommending Exception Handling Strategies Based on Program Context

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs2018.2018.00019 ◽

2018 ◽

Cited By ~ 4

Author(s):

Yuhang Li ◽

Shi Ying ◽

Xiangyang Jia ◽

Yisen Xu ◽

Lily Zhao ◽

...

Keyword(s):

Exception Handling

Download Full-text

Formal Ontology Driven Model Refactoring

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs2018.2018.00022 ◽

2018 ◽

Author(s):

Neeraj Kumar Singh ◽

Yamine Ait-Ameur ◽

Dominique Mery

Keyword(s):

Formal Ontology ◽

Model Refactoring

Download Full-text

Formal Analysis of a Proof-of-Stake Blockchain

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs2018.2018.00031 ◽

2018 ◽

Cited By ~ 3

Author(s):

Wai Yan Maung Maung Thin ◽

Naipeng Dong ◽

Guangdong Bai ◽

Jin Song Dong

Keyword(s):

Formal Analysis

Download Full-text

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata

Reusing Formal Models via Lifting

Table of Contents

Back Propagating B System Updates on SysML/KAOS Domain Models

Kinship Determination in Mobile Social Networks

ICECCS 2018 Organizing Committee

Efficient Algorithms and Tools for MITL Model-Checking and Synthesis

EH-Recommender: Recommending Exception Handling Strategies Based on Program Context

Formal Ontology Driven Model Refactoring

Formal Analysis of a Proof-of-Stake Blockchain

Export Citation Format

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata

Reusing Formal Models via Lifting

Table of Contents

Back Propagating B System Updates on SysML/KAOS Domain Models

Kinship Determination in Mobile Social Networks

ICECCS 2018 Organizing Committee

Efficient Algorithms and Tools for MITL Model-Checking and Synthesis

EH-Recommender: Recommending Exception Handling Strategies Based on Program Context

Formal Ontology Driven Model Refactoring

Formal Analysis of a Proof-of-Stake Blockchain

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)
Latest Publications