| 2017 | Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. | Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman |
| 2017 | A Composition Mechanism for Refinement-Based Methods. | Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler |
| 2017 | A Model Driven Method to Design and Analyze Secure Architectures of Systems-of-Systems. | Jamal El Hachem, Tarek Al Khalil, Vanea Chiprianov, Muhammad Ali Babar, Philippe Aniort |
| 2017 | Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking. | Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin |
| 2017 | Study of Software-Related Causes in the FDA Medical Device Recalls. | Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha |
| 2017 | Extending ERS for Modelling Dynamic Workflows in Event-B. | Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi |
| 2017 | Efficient Parameter Synthesis Using Optimized State Exploration Strategies. | tienne Andr, Hoang Gia Nguyen, Laure Petrucci |
| 2016 | Universal Analysis and Detection Framework for Location Aided Routing. | Xin Zhang, Xiaohong Li, Zhiyong Feng, Guangquan Xu |
| 2016 | A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles. | Bingqing Xu, Qin Li |
| 2016 | Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. | Zhimin Wu, Yi Xu, Akin Gnay, Yang Liu, Shengchao Qin |
| 2016 | From Code to Design: A Reverse Engineering Approach. | Elliot Varoy, John Burrows, Jing Sun, Sathiamoorthy Manoharan |
| 2016 | Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. | Jri Vain, Leonidas Tsiopoulos, Jishu Guin |
| 2016 | Towards SDN Network Proofs - Taming a Complex System. | Matt Stevens, Bryan C. K. Ng, David Streader, Ian Welch |
| 2016 | Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. | Neeraj Kumar Singh, Yamine At Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn |
| 2016 | Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. | Eduardo Silva, Everton Cavalcante, Thas Vasconcelos Batista, Flvio Oquendo |
| 2016 | Extracting Permission-Based Specifications from a Sequential Java Program. | Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmed |
| 2016 | A Semantic Approach for Managing Trust and Uncertainty in Distributed Systems Environments. | Fano Ramparany, Ravi Mondi, Yves Demazeau |
| 2016 | Fostering Software Architect and Programmer Collaboration. | Van Cam Pham, Shuai Li, Ansgar Radermacher, Sebastien Gerard, Chokri Mraidha |
| 2016 | CostDL: A Cost Models Description Language for Performance Metrics in Database. | Abdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche |
| 2016 | Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL. | Flvio Oquendo |
| 2016 | Guiding the Selection of Security Patterns for Real-Time Systems. | Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel |
| 2016 | Improving Quality of Use Case Documents through Learning and User Interaction. | Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang |
| 2016 | Towards Using Concurrent Java API Correctly. | Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong |
| 2016 | Towards a User-Guided Difference-Based Detection of Atomic Changes. | Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais |
| 2016 | Semantic Technologies for Realising Decentralised Applications for the Web of Things. | Felix Leif Keppmann, Maria Maleshkova, Andreas Harth |