| 2018 | B-Repair: Repairing B-Models Using Machine Learning. | Chenghao Cai, Jing Sun, Gillian Dobbie |
| 2018 | Efficient Algorithms and Tools for MITL Model-Checking and Synthesis. | Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege |
| 2018 | Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. | Sarah Benyagoub, Yamine At Ameur, Meriem Ouederni, Atif Mashkoor |
| 2018 | Semi-Supervised Approach for Recovering Traceability Links in Complex Systems. | Emma Effa Bella, Marie-Pierre Gervais, Reda Bendraou, Laurent Wouters, Ali Koudri |
| 2018 | Offline Timed Pattern Matching under Uncertainty. | tienne Andr, Ichiro Hasuo, Masaki Waga |
| 2018 | Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. | Tawfeeq Alsanoosy, Maria Spichkova, James Harland |
| 2018 | Multi-Level Multi-Stage Agent-Based Decision Support System for Simulation of Crowd Dynamics. | Raghda Alqurashi, Tom Altman |
| 2018 | Facilitating the Adoption of Standards through Model-Based Representation. | Morayo Adedjouma, Gabriel Pedroza, Asma Smaoui, Trung Kien Dang |
| 2018 | A Model-Based Approach for Design Time Elasticity Rules Generation. | Mahin Abbasipour, Ferhat Khendek, Maria Toeroe |
| 2017 | A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints. | Xue-Yang Zhu |
| 2017 | TLSsem: A TLS Security-Enhanced Mechanism against MITM Attacks in Public WiFis. | Wei Yang, Xiaohong Li, Zhiyong Feng, Jianye Hao |
| 2017 | BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. | Wanling Xie, Huibiao Zhu, Qiwen Xu |
| 2017 | Reachability Analysis of Self Modifying Code. | Tayssir Touili, Xin Ye |
| 2017 | Functional Requirements-Based Automated Testing for Avionics. | Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster |
| 2017 | Towards Solving Decision Making Problems Using Probabilistic Model Checking. | Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong |
| 2017 | Speeding Up Type-Specific Instrumentation for the Analysis of Complex Systems. | Andrea Ros, Walter Binder |
| 2017 | Learning Likely Invariants to Explain Why a Program Fails. | Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng |
| 2017 | Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design. | Lorenzo Pagliari, Raffaela Mirandola, Catia Trubiani |
| 2017 | Software Reliability Modeling and Analysis via Kernel-Based Approach. | Kei Okumura, Hiroyuki Okamura, Tadashi Dohi |
| 2017 | Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons. | Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif |
| 2017 | Evaluating Suitability of Applying Blockchain. | Sin Kuang Lo, Xiwei Xu, Yin Kia Chiam, Qinghua Lu |
| 2017 | Search-Based Uncertainty-Wise Requirements Prioritization. | Yan Li, Man Zhang, Tao Yue, Shaukat Ali, Li Zhang |
| 2017 | Decomposition and Collaboration of Industrial Control System with Resource Constraints. | Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang |
| 2017 | Formal Modeling and Automatic Code Synthesis for Robot System. | Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song |
| 2017 | Class Modularization Using Indirect Relationships. | Junha Lee, Dae-Kyoo Kim, Jiwoo Park, Sooyong Park |