12-14 December 2018 - Melbourne, Australia
| 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 |
To be announced.