| 2018 | 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018 |
| 2018 | A Model-Based Approach for Design Time Elasticity Rules Generation. Mahin Abbasipour, Ferhat Khendek, Maria Toeroe |
| 2018 | AWaRE - Towards Distributed Self-Management for Resilient Cyber Systems. Mohan Baruwal Chhetri, Anton V. Uzunov, Quoc Bao Vo, Ryszard Kowalczyk, Michael Docking, Hien P. Luong, Isuru Rajapakse, Surya Nepal |
| 2018 | B-Repair: Repairing B-Models Using Machine Learning. Chenghao Cai, Jing Sun, Gillian Dobbie |
| 2018 | Back Propagating B System Updates on SysML/KAOS Domain Models. Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar |
| 2018 | Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. Tawfeeq Alsanoosy, Maria Spichkova, James Harland |
| 2018 | Design Concerns for Industrial Big Data System in the Smart Factory Domain: From Product Lifecycle View. Hui Zhao, Jianrong Hou |
| 2018 | Design Verification and Validation for Reliable Safety-Critical Autonomous Control Systems. Rongjie Yan, Junjie Yang, Di Zhu, Kai Huang |
| 2018 | EH-Recommender: Recommending Exception Handling Strategies Based on Program Context. Yuhang Li, Shi Ying, Xiangyang Jia, Yisen Xu, Lily Zhao, Guoli Cheng, Bingming Wang, Jifeng Xuan |
| 2018 | Efficient Algorithms and Tools for MITL Model-Checking and Synthesis. Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege |
| 2018 | Extended Algebraic State-Transition Diagrams. Lionel N. Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar |
| 2018 | Facilitating the Adoption of Standards through Model-Based Representation. Morayo Adedjouma, Gabriel Pedroza, Asma Smaoui, Trung Kien Dang |
| 2018 | Formal Analysis of a Proof-of-Stake Blockchain. Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong |
| 2018 | Formal Modeling and Security Analysis for OpenFlow-Based Networks. Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang |
| 2018 | Formal Ontology Driven Model Refactoring. Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry |
| 2018 | HOMESCAN: Scrutinizing Implementations of Smart Home Integrations. Kulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang |
| 2018 | Kinship Determination in Mobile Social Networks. Tianxin Liang, Xiaoping Yang, Liang Wang, Zhenyuan Han |
| 2018 | Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol |
| 2018 | Modelling and Verification of Large-Scale Sensor Network Infrastructures. Michele Sevegnani, Milan Kabác, Muffy Calder, Julie A. McCann |
| 2018 | Multi-Level Multi-Stage Agent-Based Decision Support System for Simulation of Crowd Dynamics. Raghda Alqurashi, Tom Altman |
| 2018 | Offline Timed Pattern Matching under Uncertainty. Étienne André, Ichiro Hasuo, Masaki Waga |
| 2018 | Reusing Formal Models via Lifting. Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler |
| 2018 | SMI: Stack Management Interface. Maria Spichkova, Jesse Bartlett, Ryan Howard, Adrian Seddon, Xing Zhao, Yuanqing Jiang |
| 2018 | Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor |
| 2018 | Section-Blockchain: A Storage Reduced Blockchain Protocol, the Foundation of an Autotrophic Decentralized Storage Architecture. Yibin Xu |
| 2018 | Semi-Supervised Approach for Recovering Traceability Links in Complex Systems. Emma Effa Bella, Marie-Pierre Gervais, Reda Bendraou, Laurent Wouters, Ali Koudri |
| 2018 | Software Product Line Extraction from Bytecode Based Applications. Tewfik Ziadi, Lom-Messan Hillah |
| 2018 | State Compression Based on One-Sided Communications for Distributed Model Checking. Camille Coti, Sami Evangelista, Laure Petrucci |
| 2018 | Towards Mining Comprehensive Android Sandboxes. Tien-Duy B. Le, Lingfeng Bao, David Lo, Debin Gao, Li Li |
| 2018 | Variant Region Types. Florin Craciun, Wei-Ngan Chin, Shengchao Qin |