[FM-India] [ICECCS 2018] Call for participation (December 2018, Melbourne)

[Étienne André]

CALL FOR PARTICIPATION

Please come and join us in Melbourne, Australia on 12-14 December 2018
for the 23rd
International Conference on Engineering Complex Computer Systems (ICECCS
2018).
http://formal-analysis.com/iceccs/2018/

The goal of the ICECCS conference series is to bring together
industrial, academic, and government
experts, from a variety of application domains and software disciplines,
to discuss how
the disciplines' problems and solution techniques interact within the
whole system.
Researchers, practitioners, tool developers and users, and technology
transfer experts
are all welcome. The scope of interest includes long-term research
issues; near-term
requirements and challenges; established complex systems; emerging
promising tools; and
retrospective and prospective reflections of research and development
into complex systems.

Highlights of ICECCS 2018 include three exciting keynote speeches and
the presentation of 29 high
quality contributions (including 18 full technical papers and 11 short
technical papers).


*Keynote Speakers:*

Zhendong Su, ETH Zurich, Switzerland  
Jon Whittle, Monash University, Australia
Nark Staples, Data61, Australia


*Technical Papers:*

Hoang Gia Nguyen, Laure Petrucci and Jaco van de Pol
Layered and Collecting NDFS with Subsumption for Parametric Timed Automata

Étienne André, Ichiro Hasuo and Masaki Waga
Offline timed pattern matching under uncertainty

Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong
and Zhenkai Liang
HOMESCAN: Scrutinizing Implementations of Smart Home Integrations

Cheng-Hao Cai, Jing Sun and Gillian Dobbie    
B-Repair: Repairing B-Models Using Machine Learning

Camille Coti, Sami Evangelista and Laure Petrucci    
State Compression Based on One-Sided Communications for Distributed
Model Checking

Tien-Duy B. Le, Lingfeng Bao, David Lo, Debin Gao and Li Li
Towards Mining Comprehensive Android Sandboxes

Tawfeeq Alsanoosy, Maria Spichkova and James Harland
Cultural Influences on the Requirements Engineering Process: Lessons
Learned from Practice

Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior and
Benjamin Monmege
Efficient algorithms and tools for MITL model-checking and synthesis

Michele Sevegnani, Milan Kabac, Julie McCann and Muffy Calder
Modelling and Verification of Large-Scale Sensor Network Infrastructures

Raghda Alqurashi and Tom Altman
Multi-Level Multi-Stage Agent-Based Decision Support System for
Simulation of Crowd Dynamics

Mahin Abbasipour, Ferhat Khendek and Maria Toeroe
A Model-based Approach for Design Time Elasticity Rules Generation

Mohan Baruwal Chhetri, Anton V. Uzunov, Bao Vo, Ryszard Kowalczyk,
Michael Docking, Hien Luong, Isuru Rajapakse and Surya Nepal    
AWaRE - Towards Distributed Self-Management for Resilient Cyber Systems

Emma Effa Bella, Marie-Pierre Gervais, Reda Bendraou, Laurent Wouters
and Ali Koudri
Semi-supervised Approach for Recovering Traceability Links in Complex
Systems

Yuhang Li, Shi Ying, Xiangyang Jia, Yisen Xu, Lily Zhao, Guoli Cheng,
Bingming Wang and Jifeng Xuan
EH-Recommender: Recommending Exception Handling Strategies Based on
Program Context

Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai and Jin Song Dong
Formal Analysis of a PoS Blockchain (short paper)

Yibin Xu
Section-Blockchain: A Storage Reduced Blockchain Protocol, the
Foundation of An Autotrophic Decentralized Storage System

Florin Craciun, Wei-Ngan Chin and Shengchao Qin
Variant Region Types

Neeraj Singh, Yamine Ait Ameur and Dominique Mery
Formal Ontological Driven Model Refactoring

Lionel Tidjon, Marc Frappier, Michael Leuschel and Amel Mammar
Extended Algebraic State-Transition Diagrams

Maria Spichkova, Jesse Bartlett, Ryan Howard, Adrian Seddon, Xing Zhao
and Yuanqing Jiang
SMI: Stack Management Interface

Tueno Fotso Steve Jeffrey, Marc Frappier, Regine Laleau and Amel Mammar
Back Propagating B System Updates on SysML/KAOS Domain Models

Dana Dghaym, Colin Snook, Thai Son Hoang and Michael Butler
Reusing formal models via lifting

Yongxin Zhao, Xi Wu, Jing Liu and Yilong Yang
Formal Modeling and Security Analysis for OpenFlow based Networks

Liang Tianxin, Xiaoping Yang, Liang Wang and Han Zhenyuan
Kinship determination in mobile social networks

Sarah Benyagoub, Yamine Ait-Ameur, Meriem Ouederni and Atif Mashkoor
Scalable Correct-by-Construction Conversation Protocols with Event-B
Validation, Experiments and Benchmarks

Morayo Adedjouma, Gabriel Pedroza, Asma Smaoui and Trung Kien Dang
Facilitating the Adoption of Standards through Model-based Representation

Hui Zhao and Jianrong Hou
Design Concerns for Industrial Big Data Systems in Smart Factory
Domain:from Product Lifecycle View

Tewfik Ziadi and Lom Messan Hillah
Software Product Line Extraction from Bytecode based applications

Rongjie Yan, Junjie Yang, Di Zhu and Kai Huang
Design Verification and Validation for Reliable Safety-critical
Autonomous Control Systems


*Registration:*
Online registration is open here: http://formal-analysis.com/iceccs/2018/
Early registration deadline is November 2, 2018.